Skip to Main content Skip to Navigation
Conference papers

On the Epistemic Logic of Incomplete Argumentation Frameworks

Abstract : 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.
Complete list of metadata
Contributor : Andreas Herzig Connect in order to contact the contributor
Submitted on : Thursday, November 25, 2021 - 6:33:08 PM
Last modification on : Monday, November 29, 2021 - 3:41:43 PM


Files produced by the author(s)



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⟩



Les métriques sont temporairement indisponibles