Skip to Main content Skip to Navigation
Journal articles

Inconsistency Management from the Standpoint of Possibilistic Logic

Didier Dubois 1 Henri Prade 1
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Uncertainty and inconsistency pervade human knowledge. Possibilistic logic, where propositional logic formulas are associated with lower bounds of a necessity measure, handles uncertainty in the setting of possibility theory. Moreover, central in standard possibilistic logic is the notion of inconsistency level of a possibilistic logic base, closely related to the notion of consistency degree of two fuzzy sets introduced by L. A. Zadeh. Formulas whose weight is strictly above this inconsistency level constitute a sub-base free of any inconsistency. However, several extensions, allowing for a paraconsistent form of reasoning, or associating possibilistic logic formulas with information sources or subsets of agents, or extensions involving other possibility theory measures, provide other forms of inconsistency, while enlarging the representation capabilities of possibilistic logic. The paper offers a structured overview of the various forms of inconsistency that can be accommodated in possibilistic logic. This overview echoes the rich representation power of the possibility theory framework.
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, March 3, 2016 - 11:12:08 AM
Last modification on : Thursday, March 18, 2021 - 2:24:38 PM
Long-term archiving on: : Saturday, June 4, 2016 - 10:41:01 AM


Files produced by the author(s)



Didier Dubois, Henri Prade. Inconsistency Management from the Standpoint of Possibilistic Logic. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing, 2015, 23 (Suppl. 1), pp.15-30. ⟨10.1142/S0218488515400024⟩. ⟨hal-01282037⟩



Record views


Files downloads