Undercutting in argumentation systems

Leila Amgoud (1, 2) , Farid Nouioua (3)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 CNRS - Centre National de la Recherche Scientifique
3 LSIS - Laboratoire des Sciences de l'Information et des Systèmes

Rule-based argumentation systems are developed for reasoning about defeasible information. They take as input a theory made of a set of strict rules, which encode strict information, and a set of defeasible rules which describe general behaviour with exceptional cases. They build arguments by chaining such rules, define attacks between them, use a semantics for evaluating the arguments, and finally identify the plausible conclusions that follow from the rules. One of the main attack relations of such systems is the so-called undercutting which blocks the application of defeasible rules in some contexts. In this paper, we show that this relation is powerful enough to capture alone all the different conflicts in a theory. We present the first argumentation system that uses only undercutting and fully characterize both its extensions and its plausible conclusions under various acceptability semantics.

Mots clés: Rule-based argumentation; Undercutting; Acceptability semantics

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Leila Amgoud, Farid Nouioua. Undercutting in argumentation systems. International Conference on Scalable Uncertainty Management (SUM 2015), Sep 2015, Quebec, Canada. pp. 267-281. ⟨hal-01592025⟩