Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case |
| |
Authors: | Benferhat Salem Dubois Didier Prade Henri |
| |
Institution: | (1) Institut de Recherche en Informatique de Toulouse (I.R.I.T.), Université Paul Sabatier - C.N.R.S, 118 route de Narbonne, 31062 Toulouse Cadex 4, France |
| |
Abstract: | This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argued consequence relation, taking into account the existence of consistent arguments in favour of a conclusion and the absence of consistent arguments in favour of its contrary, is particularly investigated. Flat knowledge bases, i.e., without any priority between their elements, are studied under different inconsistency-tolerant consequence relations, namely the so-called argumentative, free, universal, existential, cardinality-based, and paraconsistent consequence relations. The syntax-sensitivity of these consequence relations is studied. A companion paper is devoted to the case where priorities exist between the pieces of information in the knowledge base. |
| |
Keywords: | inconsistency argumentation nonmonotonic reasoning syntax-sensitivity |
本文献已被 SpringerLink 等数据库收录! |
|