Discussion Games for Preferred Semantics of Abstract Dialectical FrameworksKeshavarzi Zafarghandi, A., Verbrugge, R. & Verheij, B., 2019, Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Kern-Isberner, G. & Ognjanović, Z. (eds.). Cham: Springer, p. 62-73 12 p. (Lecture Notes in Computer Science ; vol. 11726).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
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.
|Title of host publication||Symbolic and Quantitative Approaches to Reasoning with Uncertainty|
|Editors||Gabriele Kern-Isberner, Zoran Ognjanović|
|Place of Publication||Cham|
|Number of pages||12|
|Publication status||Published - 2019|
|Name||Lecture Notes in Computer Science|