On the Epistemic Logic of Incomplete Argumentation Frameworks

Andreas Herzig (1) , Antonio Yuste-Ginel (2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 Universidad de Málaga [Málaga] = University of Málaga [Málaga]

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.

Domaines: Logique [math.LO]; Mathématique discrète [cs.DM]; Calcul formel [cs.SC]; Intelligence artificielle [cs.AI]

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⟩