Handling Locally Stratified Inconsistent Knowledge Bases |
| |
Authors: | Salem Benferhat Laurent Garcia |
| |
Affiliation: | (1) Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier, 118, route de Narbonne, 31065 Toulouse Cedex, France;(2) Laboratoire d'Études et de Recherche en Informatique d'Angers (LERIA), Université d'Angers, 2, boulevard Lavoisier, 49045 Angers Cedex 01, France |
| |
Abstract: | This paper investigates the idea of reasoning, in a local (or contextual) way, under prioritized and possibly inconsistent knowledge bases. Priorities are not supposed to be given globally between all the beliefs in the knowledge base, but locally inside sets of pieces of information responsible for inconsistencies. This local stratification offers more flexibility for representing priorities between beliefs. Given this local ordering, we discuss five basic definitions of influence relations between conflicts. These elementary notions of influence between two conflicts A and B exhaustively explore the situations where solving A leads to solve B. Then we propose natural approaches to restore the coherence of a knowledge base on the basis of influence relations between locally-stratified conflicts. |
| |
Keywords: | Inconsistency handling conflicts local stratification |
本文献已被 SpringerLink 等数据库收录! |
|