Validation and Reparation of Knowledge Bases

Authors:
R. Djelouah;Béatrice Duval;Stéphane Loiseau
Affiliations:
-;-;-
Venue:
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Year:
2002

Citing 5
Cited 2

An assumption-based TMS

Artificial Intelligence
Refinement of knowledge bases based on consistency

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Evaluation of verification tools for knowledge-based systems

International Journal of Human-Computer Studies
Organising Knowledge Refinement Operators

EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Checking an expert systems knowledge base for consistency and completeness

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

A semantic validation of conceptual graphs

Knowledge-Based Systems
Advanced empirical testing

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Two properties characterize the quality of a knowledge base (KB): coherency and completeness. In our work, the completeness of the KB is evaluated on a set of test cases. The incompleteness is revealed by test cases that cannot be proved, called deficiencies. We also use test cases to check the coherency of the KB: we propose a new notion, called C_coherency, that extends previous definitions of coherency. The situations that reveal the C_incoherency of the KB are called conflicts. When the problems in a KB have been identified, our aim is to restore the validity of this base. For each conflict and each deficiency, we determine which modifications of the KB can suppress this problem without introducing new deficiencies or conflicts in the KB.