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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beauvieux A, Dague P. A General Consistency checking and restoring Engine for Knowledge Bases, ECAI, p. 77–82, 1990.
Boswell R., Craw S. Organising Knowledge refinement operators. In Proc of EUROVAV. p. 149–161. Kluwer Academic Publishers. 1999.
Bouali F, Loiseau S, Rousset MC. Rule Base Debugging, ITCAI, p. 166–169, 1996.
Bouali F, Loiseau S, Rousset MC. Revision of rule base, EUROVAV, p. 193–203, 1997.
De Kleer J. An assumption-based truth maintenance system, AI. 28, p. 127–224, 1986.
Ginsberg A. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, AAAI, p. 585–589, 1988.
Loiseau S. Refinement of KB based on Consistency, ECAI, p. 845–849, 1992.
Mooney R.J, Ourston D. A multistrategy approach to theory refinement, Machine Learning. Vol IV, p. 141–164, 1994.
Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D. Checking an expert system knowledge base for consistency and completeness, IJCAI, p. 375–3791985.
Preece A.D, Talbot S, Vignollet L, Evaluation of verification tools for knowledge-based systems; Int. J. Human-Computer Studies 47 p. 629–658 1997.
Rousset MC. On the consistency of KB: the COVADIS system, ECAI, p. 79–84, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Djelouah, R., Duval, B., Loiseau, S. (2002). Validation and Reparation of Knowledge Bases. In: Hacid, MS., Raś, Z.W., Zighed, D.A., Kodratoff, Y. (eds) Foundations of Intelligent Systems. ISMIS 2002. Lecture Notes in Computer Science(), vol 2366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48050-1_35
Download citation
DOI: https://doi.org/10.1007/3-540-48050-1_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43785-7
Online ISBN: 978-3-540-48050-1
eBook Packages: Springer Book Archive