Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Résumé

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.
Fichier principal
Vignette du fichier
doutre_24749.pdf (437 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03622809 , version 1 (29-03-2022)

Identifiants

Citer

Sylvie Doutre, Andreas Herzig, Laurent Perrussel. Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. 2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩. ⟨hal-03622809⟩
16 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More