Knowledge refinement for a design system
The Krust refinement tool has already been successfully applied to a variety of relatively simple classificatory problems, and a generic refinement framework is being developed. This paper describes the application of Krust to a design system Tfs, whose task is tablet formulation for a major pharmaceutical company. It shows how novel components can be included within Krust's underlying knowledge model, and how Krust's refinement mechanisms can be extended as required, by adding new operators to the existing toolsets. New mechanisms have been added whereby proofs of related examples are used to constrain and guide Krust's refinement generation. TFs has provided valuable widening experience for attaining our eventual goal of developing a framework for a generic knowledge refinement toolkit.
KeywordsKnowledge Refinement Knowledge Maintenance Design Application
Unable to display preview. Download preview PDF.
- 1.Susan Craw and Paul Hutton. Protein folding: Symbolic refinement competes with neural networks. In Armand Prieditis and Stuart Russell; editors, Machine Learning: Proceedings of the Twelfth International Conference, pages 133–141, Tahoe City, CA, 1995. Morgan Kaufmann.Google Scholar
- 2.Susan Craw, Derek Sleeman, Robin A. Boswell, and Leonardo Carbonara. Is knowledge refinement different from theory revision? In Stefan Wrobel, editor, Proceedings of the MLNet Familiarization Workshop on Theory Revision and Restructuring in Machine Learning (ECML-94), pages 32–34, Catania, ITALY, 1994. GMD Technical Report Number 842.Google Scholar
- 3.R. Davis and D.B. Lenat. Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill, 1982.Google Scholar
- 5.Allen Ginsberg, Sholom M. Weiss, and Peter G. Politakis. Seek2: A generalized approach to automatic knowledge base refinement. In Proceedings of the Ninth IJCAI Conference, pages 367–374, 1985.Google Scholar
- 6.Katharina Morik, Stephan Wrobel, Jörg-Uwe Kietz, and Werner Emde. Knowledge Acquisition and Machine Learning. Academic Press, London, 1993.Google Scholar
- 7.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 Eleventh International Conference, pages 199–207, New Brunswick, NJ, 1994. Morgan Kaufmann.Google Scholar
- 9.Gareth Palmer. Applying KRUST to a new KBS tool: experience with Kappa. Technical Report 95/9, SCMS, Robert Gordon University, October 1995.Google Scholar
- 10.Gareth J. Palmer and Susan Craw. The selection of training cases for automated knowledge refinement. In EUROVAV-97, 1997.Google Scholar
- 11.Bradley L. Richards and Raymond J. Mooney. Refinement of first-order hornclause domain theories. Machine Learning, 19(2):95–131, 1995.Google Scholar
- 12.Ray Rowe. An expert system for the formulation of pharmaceutical tablets. Manufacturing Intelligence, 14:13–15, 1993.Google Scholar
- 13.John Turner. Product formulation expert system. Manufacturing Intelligence, (8):12–14, 1991.Google Scholar
- 14.David C. Wilkins. Knowledge base refinement as improving an incorrect and incomplete domain theory. In Y. Kodratoff and R. S. Michalski, editors, Machine Learning Volume III, pages 493–513. Morgan Kaufmann, San Mateo, CA, 1990.Google Scholar