An argumentation system for defeasible reasoning

Abstract : Rule-based argumentation systems are developed for reasoning about defeasible information. They take as input a theory made of a set of facts, a set of strict rules, which encode strict information, and a set of defeasible rules which describe general behavior 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 theory. Undercutting is one of the main attack relations of such systems. It consists of blocking the application of defeasible rules when their exceptional cases hold. In this paper, we consider this relation for capturing all the different conflicts in a theory. We present the first argumentation system that uses only undercutting, and show that it satisfies the rationality postulates proposed in the literature. Finally, we fully characterize both its extensions and its plausible conclusions under various acceptability semantics. Indeed, we show full correspondences between extensions and sub-theories of the theory under which the argumentation system is built.
Document type :
Journal articles
Complete list of metadatas

Cited literature [61 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02325979
Contributor : Leila Amgoud <>
Submitted on : Tuesday, October 22, 2019 - 1:29:40 PM
Last modification on : Saturday, October 26, 2019 - 1:55:47 AM

File

IJAR-Rule-based-Systems.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02325979, version 1

Citation

Leila Amgoud, Farid Nouioua. An argumentation system for defeasible reasoning. International Journal of Approximate Reasoning, 2017. ⟨hal-02325979⟩

Share

Metrics

Record views

13

Files downloads

14