Skip to Main content Skip to Navigation
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

https://hal-univ-artois.archives-ouvertes.fr/hal-03300698
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 11:26:49 AM
Last modification on : Thursday, September 9, 2021 - 3:10:00 PM

Identifiers

  • HAL Id : hal-03300698, version 1

Citation

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⟩

Share

Metrics

Record views

14