Presentation | 1999/1/12 Reasoning from inconsisten knowledge bases Hiroshi OCHI, Ikuo TAHARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | inconsistent knowledge base / context / maximal consistent subbase / mininal conflict subbase / hitting set |
Paper # | AI98-74 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1999/1/12(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Reasoning from inconsisten knowledge bases |
Sub Title (in English) | |
Keyword(1) | inconsistent knowledge base |
Keyword(2) | context |
Keyword(3) | maximal consistent subbase |
Keyword(4) | mininal conflict subbase |
Keyword(5) | hitting set |
1st Author's Name | Hiroshi OCHI |
1st Author's Affiliation | Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo() |
2nd Author's Name | Ikuo TAHARA |
2nd Author's Affiliation | Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo |
Date | 1999/1/12 |
Paper # | AI98-74 |
Volume (vol) | vol.98 |
Number (no) | 499 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |