A Dynamic Logic Framework for Abstract Argumentation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

A Dynamic Logic Framework for Abstract Argumentation

Résumé

We provide a logical analysis of abstract argumentation frameworks and their dynamics. Following previous work, we express attack relation and argument status by means of propositional variables and define acceptability criteria by formulas of propositional logic. We here study the dynamics of argumentation frameworks in terms of basic operations on these propositional variables, viz. change of their truth values. We describe these operations in a uniform way within a well-known variant of Propositional Dynamic Logic PDL: the Dynamic Logic of Propositional Assignments, DL-PA. The atomic programs of DL-PA are assignments of propositional variables to truth values, and complex programs can be built by means of the connectives of sequential and nondeterministic composition and test. We start by showing that in DL-PA, the construction of extensions can be performed by a DL-PA program that is parametrized by the definition of acceptance. We then mainly focus on how the acceptance of one or more arguments can be enforced and show that 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_12958.pdf (263.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04103466 , version 1 (23-05-2023)

Identifiants

  • HAL Id : hal-04103466 , version 1

Citer

Sylvie Doutre, Andreas Herzig, Laurent Perrussel. A Dynamic Logic Framework for Abstract Argumentation. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71. ⟨hal-04103466⟩
56 Consultations
38 Téléchargements

Partager

More