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

https://hal-univ-tlse3.archives-ouvertes.fr/hal-03450084
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

File

kr2021-0069-herzig-et-al.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles