Name
Abstract | ||
|---|---|---|
This paper is a first work on the link bet ween two fields: validation and refinement in knowledge base systems and revision i n knowledge representation. The validation evaluates knowledge base quality; among the criterion which can define this quality an interesting one is coherency. The c oherency of a set of rules can be viewed as the potential consistency of this set of rules with respect to every possible input. Refinement is a way to modify an incoherent knowledge base in order to restore its coherency. A revision operation is an inference relation, which is defined in order to reason under inconsistency, it provides a way to select rules to delete in order to restore the consistency. In the two fields, usually the initial knowledge base is consistent and the inconsistency can only come from some input on which a deduction must be done. This paper underlines the link betwee n refinement and revision by comparing consistency to coherency and then by defi ning an inference relation for refinement. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1007/978-1-4757-6916-6_11 | EUROVAV |
Keywords | Field | DocType |
non monotonic inference relation,revision,refinement,validation,diagnosis,consistency handling,coherency,knowledge based system,consistency,knowledge base,knowledge representation | Knowledge representation and reasoning,Inference,Computer science,Knowledge extraction,Artificial intelligence,Natural language processing,Knowledge base | Conference |
ISBN | Citations | PageRank |
0-7923-8645-0 | 1 | 0.37 |
References | Authors | |
15 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Florence Dupin De Saint-cyr | 1 | 254 | 21.86 |
| f dupin | 2 | 1 | 0.37 |
| Stéphane Loiseau | 3 | 62 | 16.72 |