On the Epistemic Logic of Incomplete Argumentation Frameworks - Université Toulouse III - Paul Sabatier - Toulouse INP
Communication Dans Un Congrès Année : 2020

On the Epistemic Logic of Incomplete Argumentation Frameworks

Résumé

We study the relation between two existing formalisms: incomplete argumentation frameworks (IAFs) and epistemic logic of visibility (ELV). We show that the set of completions of a given IAF naturally corresponds to a specific equivalence class of possible worlds within the model of visibility. This connection is further strengthened in two directions. First, we show how to reduce argument acceptance problems of IAFs to ELV model-checking problems. Second, we highlight the epistemic assumptions that underlie IAFs by providing a minimal epistemic logic for IAFs.
Fichier principal
Vignette du fichier
kr2021-0069-herzig-et-al.pdf (158.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03450084 , version 1 (25-11-2021)

Identifiants

Citer

Andreas Herzig, Antonio Yuste-Ginel. On the Epistemic Logic of Incomplete Argumentation Frameworks. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.681-685, ⟨10.24963/kr.2021/69⟩. ⟨hal-03450084⟩
33 Consultations
31 Téléchargements

Altmetric

Partager

More