Handling various forms of inconsistency in possibilistic logic

Publication Type:
Conference Proceeding
Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, 2011, pp. 327 - 331
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2013007844OK.pdf Published version211.26 kB
Adobe PDF
Possibilistic logic results from the application of possibility theory to classical logic, here propositional logic. 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 weight is strictly above this inconsistency level constitute a sub-base free of any inconsistency. However, several extensions, such as paraconsistent or multiple sources extensions of possibilistic logic, or extensions involving other possibility theory measures, provide other forms of inconsistency, while enlarging the representation power of possibilistic logic. The paper offers a structured overview of the various forms of inconsistency that can be accommodated in possibilistic logic. © 2011 IEEE.
Please use this identifier to cite or link to this item: