Skip to Main content Skip to Navigation
New interface
Conference papers

Quasi-possibilistic logic and measures of information and conflict

Abstract : Possibilistic logic and quasi-classical logic are two logics that were developed in artificial intelligence for coping with inconsistency in different ways, yet preserving the main features of classical logic. This paper presents a new logic, called quasi-possibilistic logic, that encompasses possibilistic logic and quasi-classical logic, and preserves the merits of both logics. Indeed, it can handle plain conflicts taking place at the same level of certainty (as in quasi-classical logic), and take advantage of the stratification of the knowledge base into certainty layers for introducing gradedness in conflict analysis (as in possibilistic logic). When querying knowledge bases, it may be of interest to evaluate the extent to which the relevant available information is precise and consistent. The paper review measures of (im)precision and inconsistency/conflict existing in possibilistic logic and quasi-classical logic, and proposes generalized measures in the unified framework.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 11:26:49 AM
Last modification on : Monday, July 4, 2022 - 9:16:14 AM


  • HAL Id : hal-03300698, version 1


Didier Dubois, Sébastien Konieczny, Henri Prade. Quasi-possibilistic logic and measures of information and conflict. First International Workshop on Knowledge Representation and Approximate reasoning (KR & AR 2003), 2003, Olsztyn, Poland. pp.101-125. ⟨hal-03300698⟩



Record views