Quasi-Possibilistic Logic and its Measures of Information and Conflict

Issue title: The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)

Article type: Research Article

Authors: Dubois, Didier | Konieczny, Sébastien | Prade, Henri

Affiliations: Institut de Recherche en Informatique de Toulouse, 31062 Toulouse, France

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.

Keywords: possibilistic logic, possibilistic logic, measures of information, inconsistency, uncertainty

Journal: Fundamenta Informaticae, vol. 57, no. 2-4, pp. 101-125, 2003