Generic logical encoding for argumentation - Université Toulouse III - Paul Sabatier - Toulouse INP
Article Dans Une Revue Journal of Logic and Computation Année : 2023

Generic logical encoding for argumentation

Résumé

Argumentation has become an essential tool in AI, allowing the representation of knowledge with only a set of arguments and a binary relation between arguments, the attack relation. Since the seminal work presented in 1995 by Dung, many extensions have been proposed in order to enrich this very simple framework by the addition of a second type of interaction, the support relation, and by the use of higher-order or collective interactions. In parallel, several links have been exhibited and studied between Logics and Abstract Argumentation, showing that these two domains are closely interrelated. Among these works, one can find several logical encodings of abstract argumentation frameworks. Nevertheless, these encodings are very often built ad hoc and only for some given frameworks. The aim of this paper is to propose a generic logical encoding covering several families of abstract argumentation frameworks, from Dung’s framework to the most enriched framework using higher-order and collective evidential supports and attacks.
Fichier non déposé

Dates et versions

hal-03746630 , version 1 (05-08-2022)

Identifiants

Citer

Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex. Generic logical encoding for argumentation. Journal of Logic and Computation, 2023, 33 (3), pp.623-704. ⟨10.1093/logcom/exac039⟩. ⟨hal-03746630⟩
108 Consultations
0 Téléchargements

Altmetric

Partager

More