Premium
VALIDATION OF FIRST‐ORDER RULE‐BASED SYSTEMS 1
Author(s) -
Cordier M. O.,
Loiseau S.
Publication year - 1996
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.1996.tb00275.x
Subject(s) - knowledge base , computer science , consistency (knowledge bases) , domain knowledge , knowledge based systems , open knowledge base connectivity , base (topology) , knowledge acquisition , expert system , legal expert system , data mining , domain (mathematical analysis) , artificial intelligence , information retrieval , knowledge management , mathematics , personal knowledge management , organizational learning , mathematical analysis
Knowledge base validation and knowledge base refinement aim to help the expert to improve an existing knowledge base. They deal with the final knowledge acquisition phase and rely on a quality measurement of an existing knowledge base. We present our approach to knowledge base refinement, which is based on results in the domain of knowledge base validation. Our approach is based on a general consistency definition of a knowledge base and on a study of causes of knowledge base inconsistency. Our approach relies significantly on a differentiation of sure and expert knowledge in the knowledge base. We have implemented a system that has two phases: one computational phase decides on the consistency of a knowledge base, and, if necessary, a second phase helps the expert to interactively update the knowledge base. We present some related work in the domain. We illustrate the use of our system with an example.