Epistemic Argumentation Framework: Theory and Computation
Chiaki Sakama and Tran Cao Son
Journal of Artificial Intelligence Research, vol.69, pages 1103-1126, 2020.
Abstract
The paper introduces the notion of an epistemic argumentation framework (EAF) as a means to integrate the beliefs
of a reasoner with argumentation. Intuitively, an EAF encodes the beliefs of an agent who reasons about arguments.
Formally, an EAF is a pair of an argumentation framework and an epistemic constraint. The semantics of the EAF
is defined by the notion of an ω-epistemic labelling set, where ω is complete, stable, grounded, or preferred,
which is a set of ω-labellings that collectively satisfies the epistemic constraint of the EAF.
The paper shows how EAF can represent different views of reasoners on the same argumentation framework.
It also includes representing preferences in EAF and multi-agent argumentation.
Finally, the paper discusses complexity issues and computation using epistemic logic programming.
Available Online