Skip to Main content Skip to Navigation
Conference papers

A formal characterization of the outcomes of rule-based argumentation systems

Leila Amgoud 1 Philippe Besnard 2
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Rule-based argumentation systems are developed for reasoning about defeasible information. As a major feature, their logical language distinguishes between strict rules and defeasible ones. This paper presents the first study on the outcomes of such systems under various semantics such as naive, stable, preferred, ideal and grounded. For each of these semantics, it characterizes both the extensions and the set of plausible inferences drawn by these systems under a few intuitive postulates.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01239724
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, December 8, 2015 - 10:39:56 AM
Last modification on : Sunday, June 14, 2020 - 3:28:25 AM
Long-term archiving on: : Wednesday, March 9, 2016 - 1:08:16 PM

File

amgoud_12511.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01239724, version 1
  • OATAO : 12511

Citation

Leila Amgoud, Philippe Besnard. A formal characterization of the outcomes of rule-based argumentation systems. 7th International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, United States. pp. 78-91. ⟨hal-01239724⟩

Share

Metrics

Record views

157

Files downloads

204