|
Accession number;99A0263656
|
| Title;Reasoning from inconsistent knowledge bases. |
| Author;
OCHI HIROSHI
(Sci. Univ. of Tokyo, Fac. of Sci. and Technol.)
TAHARA IKUO
(Sci. Univ. of Tokyo, Fac. of Sci. and Technol.)
|
Journal Title;IEIC Technical Report (Institute of Electronics, Information and Communication Engineers)
|
Journal Code:S0532B
|
ISSN:0913-5685
|
|
VOL.98;NO.499(AI98 68-75);PAGE.39-46(1999)
|
| Figure&Table&Reference;FIG.3, REF.6 |
| Pub. Country;Japan |
| Language;Japanese |
| Abstract;This paper presents a framework to infer non-trivial conclusions from an inconsistent knowledge base by introducing contexts. Many approaches for handling inconsistency in knowledge bases have proposed to get maximal consistent subbases and to apply classical entailment on these consistent subbases to deduce plausible conclusions. This treatment needs appropriate selection principles on maximal consistent subbases. We propose a way to select a unique maximal consistent subbase by giving a context that is consistent with the subbase rather than by giving a priority ordering. We show that the maximal consistent subbase is uniquely decided by the hitting set of minimal conflict subbases, and define the context on the basis of this result. We also present a procedure for answering whether a query with context holds in the inconsistent knowledge base. (author abst.) |
|
|
|
Related Articles;
|
