A Possibilistic Analysis of Inconsistency - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

A Possibilistic Analysis of Inconsistency

(1) , (1)
1

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.
Fichier principal
Vignette du fichier
dubois_15485.pdf (105.42 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01303802 , version 1 (18-04-2016)

Identifiers

Cite

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, ⟨10.1007/978-3-319-23540-0_23⟩. ⟨hal-01303802⟩
64 View
69 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More