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.
Origin : Files produced by the author(s)