Undercutting in Argumentation Systems
- 426 Downloads
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.
KeywordsRule-based argumentation Undercutting Acceptability semantics
This work benefited from the support of AMANDE ANR-13-BS02-0004 and ASPIQ ANR-12-BS02-0003 projects of the French National Research Agency.
- 2.Amgoud, L., Caminada, M., Cayrol, C., Lagasquie, M.C., Prakken, H.: Towards a Consensual Formal Model: inference part. Deliverable of ASPIC project (2004)Google Scholar