Abstract
Knowledge refinement tools seek to correct faulty knowledge based systems (KBSs). Most current refinement systems are applicable only to a single KBS shell, and typically they ignore the procedural aspects of KBS reasoning. This paper describes the KrustWorks framework which refines a number of different shells, and can be extended to new ones. Internal knowledge structures represent rules in the target KBS and their interactions, and generic tools manipulate these structures. In this paper KrustWorks is evaluated on two aero-space applications into which various artificial faults have been introduced. KrustWorks identifies and fixes these faults, except when the training examples provide insufficient fault evidence. The evaluation demonstrates the effectiveness of KrustWorks as a refinement tool, and confirms that it can represent the knowledge and problem-solving in real expert systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Robin Boswell, Susan Craw, and Ray Rowe. Knowledge refinement for a design system. In Enric Plaza and Richard Benjamins, editors, Knowledge Acquisition, Modeling and Management, Proceedings of the 10th European Workshop (EKAW97), pages 49–64, Sant Feliu de Guixols, Spain, 1997. Springer.
Robin Boswell and Susan Craw. Knowledge modelling for a generic refinement framework. Knowledge Based Systems, 12:317–325, 1999. An earlier version appears in Proceedings of the BCS Expert Systems Conference, pages 58-74, Springer, 1998.
Susan Craw and Robin Boswell. Representing Problem-Solving for Knowledge Refinement. In Proceedings of the Sixteenth National Conference on Artificial Intelligence, pages 227–234, Orlando, FL, 1999. AAAI Press/MIT Press.
Patrick M. Murphy and Michael J. Pazzani. Revision of production system rulebases. In W. W. Cohen and H. Hirsh, editors, Machine Learning: Proceedings of the 11th International Conference, pages 199–207, New Brunswick, NJ, 1994. Morgan Kaufmann.
Oren Etzioni. Acquiring search-control knowledge via static analysis. Artificial Intelligence, 62:255–301, 1993.
David E. Smith and Mark A. Peot. Suspending recursion in causal-link planning. In Proceedings of the Third International Conference on AI Planning Systems, Edinburgh, Scotland, 1996. AAAI press.
Dieter Fensel, Enrico Motta, S. Decker, and Z. Zdrahal. Using ontologies for defining tasks, problem-solving methods and their mappings. In Enric Plaza and Richard Benjamins, editors, Knowledge Acquisition, Modeling and Management, Proceedings of the 10th European Workshop (EKAW97), pages 113–128, Sant Feliu de Guixols, Spain,1997Springer.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boswell, R., Craw, S. (2000). Experiences with a Generic Refinement Toolkit. In: Dieng, R., Corby, O. (eds) Knowledge Engineering and Knowledge Management Methods, Models, and Tools. EKAW 2000. Lecture Notes in Computer Science(), vol 1937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39967-4_18
Download citation
DOI: https://doi.org/10.1007/3-540-39967-4_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41119-2
Online ISBN: 978-3-540-39967-4
eBook Packages: Springer Book Archive