Logical theories and abstract argumentation: A survey of existing works

Philippe Besnard (1, 2) , Claudette Cayrol (3) , Marie-Christine Lagasquie-Schiex (3, 4)

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

In 1995, in his seminal paper introducing the abstract argumentation framework, Dung has also established the first relationship between this framework and a logical framework (in this case: logic programming). Since that time, a lot of work have pursued this path, proposing different definitions, uses and exhibiting distinct relationships between argumentation and logic. In this paper, we present a survey of existing works about this topic and more especially those that address the following question: “How logic has been used for capturing various aspects or parts of Dung’s argumentation”. This survey covers many different approaches but is not intended to be totally exhaustive due to the huge quantity of papers in this scope. Moreover, due to the fact that each approach has its own specificities, sometimes antagonistic with the other approaches, and is also justified by its own context of definition or use, the aim of this survey is not to identify one approach as being better than another.

Mots clés: Abstract argumentation; Logics

Domaines: Logique en informatique [cs.LO]

Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex. Logical theories and abstract argumentation: A survey of existing works. Argument and Computation, 2020, 11 (1-2), pp.41-102. ⟨10.3233/AAC-190476⟩. ⟨hal-02875289⟩