Valid attacks in Argumentation Frameworks with Recursive Attacks (IRIT-2017-16)

Claudette Cayrol (1) , Jorge Fandinno (1) , Luis Fariñas del Cerro (2, 3) , Marie-Christine Lagasquie-Schiex (1, 4)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique
4 UT3 - Université Toulouse III - Paul Sabatier

The purpose of this work is to study a generalisation of Dung’s abstract argumentation frameworks that allows representing recursive attacks, that is, a class of attacks whose targets are other attacks. We do this by developing a theory of argumentation where the classic role of attacks in defeating arguments is replaced by a subset of them, which is extension dependent and which, intuitively, represents a set of “valid attacks” with respect to the extension. The studied theory displays a conservative generalisation of Dung’s semantics (complete, preferred and stable) and also of its principles (conflict-freeness, acceptability and admissibility). Furthermore, despite its conceptual differences, we are also able to show that our theory agrees with the AFRA interpretation of recursive attacks for the complete, preferred and stable semantics.

Domaines: Intelligence artificielle [cs.AI]

Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex. Valid attacks in Argumentation Frameworks with Recursive Attacks (IRIT-2017-16). [Research Report] IRIT/RR- -2017- -16- -FR, IRIT - Institut de recherche en informatique de Toulouse. 2017, pp.1-39. ⟨hal-02884131⟩