A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013)

Résumé

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.
Fichier principal
Vignette du fichier
amgoud_12511.pdf (269.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01239724 , version 1 (08-12-2015)

Identifiants

Citer

Leila Amgoud, Philippe Besnard. A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013). 7th International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, United States. pp. 78-91, ⟨10.1007/978-3-642-40381-1_7⟩. ⟨hal-01239724⟩
87 Consultations
75 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More