Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks

Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij

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.

Manuscript (in PDF-format)

Reference:
Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2019). Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (eds. Kern-Isberner, G., & Ognjanović, Z.), 62-73. Berlin: Springer. https://doi.org/10.1007/978-3-030-29765-7_6

Bart Verheij's home page - research - publications