Towards a Generic Logical Encoding for Argumentation

Théo Duchatelle (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul

Several enrichments have been proposed for Dung abstract argumentation framework. These enrichments modify the standard setting by adding extra properties, thus changing the way arguments (and possibly other elements) are selected. The use of logical tools to encode and capture the original framework and some of its enrichments, have already been proposed. We extend these works by proposing a generic logical encoding which aims at being as modular as possible and which enables, by its genericity, not only to encompass the existing encodings, but also to define encodings for enriched frameworks that have not yet been studied through this scope.

Domaines: Intelligence artificielle [cs.AI]

Théo Duchatelle. Towards a Generic Logical Encoding for Argumentation. Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. OHAAI : Online Handbook of Argumentation for AI, Volume 2, 2, , pp.12-16, 2021. ⟨hal-03285723⟩