OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Doutre, Sylvie and Herzig, Andreas and Perrussel, Laurent Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. (2019) In: 2nd Chinese Conference on Logic and Argumentation (CLAR 2018), 16 June 2018 (Hangzhou, China).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-981-13-7791-4_8


We provide a logical analysis of Dung's abstract argumentation frameworks and their dynamics. We express attack relation and argument status by means of propositional variables and define acceptability criteria by formulas of propositional logic, which enables us to formulate the standard reasoning problems in logic. While the approaches in the literature express these problems as Boolean or quantified Boolean formulas, we here take advantage of a variant of Propositional Dynamic Logic PDL: Dynamic Logic of Propositional Assignments DL-PA, whose atomic programs are assignments of propositional variables to truth values. One of the benefits is that algorithms computing extensions of argumentation frameworks can be viewed as particular DL-PA programs. This allows us to formally prove the correctness of these algorithms. Another benefit is that in the same logic, we can also design and study programs which modify argumentation frameworks. Indeed, the basic operations on these propositional variables, viz. change of the truth values of the attack variables and the argument status variables, are nothing but atomic programs of DL-PA. We mainly focus on how the acceptance of one or more arguments can be enforced and show how this can be achieved by changing the truth values of the propositional variables describing the attack relation in a minimal way.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Logic in Asia: Studia Logica Library book series (LIAA) https://link.springer.com/chapter/10.1007/978-981-13-7791-4_8
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
ANR : Agence nationale de la recherche (France)
Deposited On:27 Nov 2019 15:41

Repository Staff Only: item control page