OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Amgoud, Leila and Besnard, Philippe A formal characterization of the outcomes of rule-based argumentation systems. (2013) In: 7th International Conference on Scalable Uncertainty Management (SUM 2013), 16 September 2013 - 18 September 2013 (Washington, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-642-40381-1_7


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8078 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-642-40380-4. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-40381-1_7
HAL Id:hal-01239724
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:05 Nov 2015 16:21

Repository Staff Only: item control page