Quasi-possibilistic logic and its measures of information and conflit - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2003

Quasi-possibilistic logic and its measures of information and conflit

Résumé

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.
Fichier principal
Vignette du fichier
Quasi-Possibilistic Logic and its Measures of Information and Conflit.pdf (510.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03375247 , version 1 (13-10-2021)

Identifiants

  • HAL Id : hal-03375247 , version 1

Citer

Didier Dubois, Sébastien Konieczny, Henri Prade. Quasi-possibilistic logic and its measures of information and conflit. Fundamenta Informaticae, 2003, 57 (2-4), pp.1001-125. ⟨hal-03375247⟩
27 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More