Basic equivalence of logic-based argumentation systems
Résumé
An argumentation system consists mainly of a set of interacting arguments and a semantics for evaluating them.
In this paper, we study when two argumentation systems are equivalent. We focus on argumentation systems defined around a Tarskian logic. We propose different equivalence criteria, study their links and finally show under which conditions two systems are equivalent wrt each of the proposed criteria.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|