A Possibilistic Analysis of Inconsistency

Abstract : 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.
Keywords : Logic
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01303802
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 18, 2016 - 4:30:49 PM
Last modification on : Thursday, June 27, 2019 - 4:27:50 PM
Long-term archiving on : Tuesday, July 19, 2016 - 3:00:33 PM

File

dubois_15485.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01303802, version 1
  • OATAO : 15485

Collections

Citation

Didier Dubois, Henri Prade. A Possibilistic Analysis of Inconsistency. 9th International Conference on Scalable Uncertainty Management (SUM 2015), Sep 2015, Quebec, Canada. pp. 347-353. ⟨hal-01303802⟩

Share

Metrics

Record views

110

Files downloads

111