Inconsistency Management from the Standpoint of Possibilistic Logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems Année : 2015

Inconsistency Management from the Standpoint of Possibilistic Logic

Résumé

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.
Fichier principal
Vignette du fichier
Dubois_15084.pdf (265.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01282037 , version 1 (03-03-2016)

Identifiants

Citer

Didier Dubois, Henri Prade. Inconsistency Management from the Standpoint of Possibilistic Logic. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2015, 23 (Suppl. 1), pp.15-30. ⟨10.1142/S0218488515400024⟩. ⟨hal-01282037⟩
74 Consultations
173 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More