Abstract dialectical frameworks (ADFs) are introduced as a general formalism for modeling and evaluating argumentation. However, the role of discussion in reasoning in ADFs has not been clarified well so far. The current work provides a discussion game as a proof method for preferred semantics of ADFs to cover this gap. We show that an argument is credulously acceptable (deniable) by an ADF under preferred semantics iff there exists a discussion game that can defend the acceptance (denial) of the argument in question.
CITATION STYLE
Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2019). Discussion games for preferred semantics of abstract dialectical frameworks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11726 LNAI, pp. 62–73). Springer Verlag. https://doi.org/10.1007/978-3-030-29765-7_6
Mendeley helps you to discover research relevant for your work.