Abstract
A significant problem in the development of Knowledge-Based Systems (KBS) is its verification step. This paper describes an expert system verification approach that considers system specifications, and consequently, Knowledge Bases (KB) to be partially described when development starts. This partial description is not necessarily perfect and our work aims at using Machine Learning techniques to progressively improve the quality of expert system Knowledge Bases. by coping with two major KB anomalies: incompleteness and incorrectness. In agreement with the current tendency, KBs considered in our approach are expressed in different formalisms. Results obtained with two different learning algorithms, confirm the hypothesis that integrating machine learning techniques in the verification step of a Knowledge-Based System life cycle, is a promising approach.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Laurent: “Vers une terminologie valide pour le domaine de la validation”, actes des JFVAV, pp 1–15, Dourdan, Avril 1992.
Quinlan: “Learning Efficient Classification Procedures and their Application to Chess End Games”, in Machine Learning: An Artificial Intelligence Approach, R.S. Michalski, J.G.Carbonell & T.M.Mitchell (Eds.), Morgan Kaufmann 1983, pp 463–482.
Michalski: “A Theory and a Methodology of Inductive Learning”, in Machine Learning: An Artificial Intelligence Approach, R.S. Michalski, J.G.Carbonell & T.M.Mitchell (Eds.), Morgan Kaufmann 1983, pp 83–134.
Quinlan: “Learning Logical Definitions from Relations”, in Machine Learning Journal, 5, pp 239–266, 1990.
Bisson: “Conceptual Clustering in a First-Order Logic Representation”, Proceeding of 10th ECAI, Vienna 1992.
Nguyen & al.: “Checking an Expert System Knoweldge Base for consistency and completeness”, IJCAI 1985, pp 375–379.
Rousset: “On the Consistency of Knowledge Bases: The COVADIS System”, ECAI 1988, pp 79–84.
Loiseau: “Validation, acquisition et mise au point interactive des BC: le système COCO-X fondé sur la cohérence”, thèse de doctorat, univeristé de Paris-Sud, 1990.
Ayel: “Détection d'incohérences dans les bases de connaissances: SACCO”, thèse d'état, Chambery, 1987.
Politakis & et. al.: “Using Empirical Analysis to Refine E.S Knowledge Bases”, Artificial Intelligence 22, pp 23–48, 1984.
Wilkins: “Knowledge base refinement using apprenticeship learning techniques. In Proceedings of the 7th National Conference on Artificial Intelligence, pp 646–651, St. Paul, MN, August 1988.
Danyluk: “Finding new rules for incomplete theories: explicit biases for induction with contextual information”. In proceedings of the 6th International Workshop on Machine Learning, pp 34–36, Ithaca, NY, June 1989.
Whitehall: “Knowledge-Based Learning: An Integration of Deductive and Inductive Learning for Knowledge Base Completion”, PhD thesis, University of Illinois, Urbana, IL, October 1990.
Flann & Dietterich: “A study of explanation-based methods for inductive learning”. Machine Learning, 4 (2), pp 187–226, 1989.
Mooney & Ourston: “Induction over the unexplained: Integrated learning of concepts with box explainable and conventional aspects”. In proceedings of the 6th International Workshop on Machine Learning, pp 5–7, Ithaca, NY, June 1989.
Cohen: “Learning from textbook knowledge: A case study. In proceedings of the 8th National Conference on Artificial Intelligence, pp 743–748, Boston, MA, July 1990.
Mitchell & al.: “EBL: An Unifying View”, ML Journal, vol 1, number 1, Kluwer Academic Publishers, 1986, pp 47–80.
Cohen: “Abductive Explanation-Based Learning: A Solution to the multiple Inconsistent Explanation Problem”, in Machine Learning Journal, Vol 8, number 2, March 1992.
Rajamoney & DeJong: “The Classification, Detection and Handling of Imperfect Theory Problems”, IJCAI 1987, pp 205–207.
Matwin & Plante: “A Deductive-Inductive Method For Theory Revision”, IWML 1991, pp 160–174.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lounis, H. (1993). Integrating machine-learning techniques in knowledge-based systems verification. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_38
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive