OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Possibilistic Analysis of Inconsistency

Dubois, Didier and Prade, Henri A Possibilistic Analysis of Inconsistency. (2015) In: 9th International Conference on Scalable Uncertainty Management (SUM 2015), 16 September 2015 - 18 September 2015 (Quebec, Canada).

(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-319-23540-0_23


Central in standard possibilistic logic (where propositional logic formulas are associated with lower bounds of their necessity measures), is the notion of inconsistency level of a possibilistic logic base. Formulas whose level is strictly above this inconsistency level constitute a sub-base free of any inconsistency. Some extensions, based on the notions of paraconsistent completion of a possibilistic logic base, and of safely supported formulas, have been proposed for handling formulas below the level of inconsistency. In this paper we further explore these ideas, and show the interest of considering the minimal inconsistent subsets in this setting. Lines for further research are also outlined.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 9310 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-319-23539-4. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-319-23540-0_23
HAL Id:hal-01303802
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:11 Mar 2016 14:25

Repository Staff Only: item control page