Logique quasi-possibiliste et mesures de conflit - Association Française d'Intelligence Artificielle Access content directly
Conference Papers Year : 2004

Logique quasi-possibiliste et mesures de conflit

Abstract

Quasi-possibilistic logie and measures of conflict This paper presents a new logic, called quasi-possibilistic logic, which encompasses possibilistic logic and quasiclassical logic, and preserves the merits of both logics, which are both close to classical logic. Indeed, we can both handle plain conflicts taking place at the saine 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 cobflict 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 inconsistency/conflict existing, tri possibilistic logic and quasi-ciassical logic, and proposes genendized measures in the unified framework
Cet article présente une nouvelle logique, nommée logique quasi-possibiliste, qui généralise la logique possibiliste et la logique quasi-classique (une logique paraconsistante définie dans [BH95), permettant de tirer parti des avantages des deux logiques, qui sont toutes les deux proches de la logique propositionnelle classique. Cette logique peut résoudre les conflits apparaissant au même niveau de certitude (comme la logique quasi-classique), mais elle peut également prendre en compte la stratification de la base pour introduire de la gradualité dans l'analyse des conflits (comme en logique possibiliste). Nous présentons également des mesures de conflits associées à la logique définie. Ces mesures de conflits peuvent être utiles dans de nombreux cadres. Par exemple, lors de l'intermgation d'une base de connaissances, il peut être utile de savoir à quel point la réponse fournie provient d'une source d'information conflictuelle.
Fichier principal
Vignette du fichier
rfia04b.pdf (132.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03369702 , version 1 (08-10-2021)

Identifiers

  • HAL Id : hal-03369702 , version 1

Cite

Didier Dubois, Sébastien Konieczny, Henri Prade. Logique quasi-possibiliste et mesures de conflit. 14ème Congrés Francophone AFRIF-AFIA de Reconnaissance des Formes et d'Intelligence Artificielle (RFIA 2004), Association française pour la reconnaissance et l'interprétation des formes; Association française pour l'intelligence artificielle, Jan 2004, Toulouse, France. pp.1081-1090. ⟨hal-03369702⟩
32 View
41 Download

Share

Gmail Facebook X LinkedIn More