2016-06-10 Argumentation-based defeasible reasoning
10/06/2016, 14h, salle 3/124 du bâtiment 5 du LIRMM, 161 rue Ada, 34095 Montpellier, France
Argumentation is an alternative approach for defeasible reasoning. It is based on the idea of justifying plausible conclusions by “strong” arguments. Starting from a knowledge base encoded in a logical language, an argumentation system defines arguments and attacks between them using the consequence operator associated with the language. Finally, it uses a semantics for evaluating the arguments. The plausible conclusions to be drawn from the knowledge base are those supported by “good” arguments.
In this talk, we present two families of such systems: the family using extension semantics and the one using ranking semantics. We discuss the outcomes of both families and compare them. We then compare the argumentation approach with other well-known approaches for defeasible reasoning, namely default logic.
Dernière mise à jour le 06/06/2016