Quasi-possibilistic logic and measures of information and conflict - Université d'Artois Access content directly
Conference Papers Year : 2003

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.
No file

Dates and versions

hal-03300698 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03300698 , version 1

Cite

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⟩
25 View
0 Download

Share

Gmail Facebook X LinkedIn More