Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
R. Davis and D.B. Lenat. Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill, 1982.
Jürgen Frank, Birgit Rupprecht, and Weit Schmelmer. Knowledge-based assistance for the development of drugs. IEEE Expert, 12(1):40–48, 1997.
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.
Katharina Morik, Stephan Wrobel, Jörg-Uwe Kietz, and Werner Emde. Knowledge Acquisition and Machine Learning. Academic Press, London, 1993.
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.
Dick Ourston and Raymond Mooney. Theory refinement combining analytical and empirical methods. Artificial Intelligence, 66:273–309, 1994.
Gareth Palmer. Applying KRUST to a new KBS tool: experience with Kappa. Technical Report 95/9, SCMS, Robert Gordon University, October 1995.
Gareth J. Palmer and Susan Craw. The selection of training cases for automated knowledge refinement. In EUROVAV-97, 1997.
Bradley L. Richards and Raymond J. Mooney. Refinement of first-order hornclause domain theories. Machine Learning, 19(2):95–131, 1995.
Ray Rowe. An expert system for the formulation of pharmaceutical tablets. Manufacturing Intelligence, 14:13–15, 1993.
John Turner. Product formulation expert system. Manufacturing Intelligence, (8):12–14, 1991.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boswell, R., Crawl, S., Rowe, R. (1997). Knowledge refinement for a design system. In: Plaza, E., Benjamins, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1997. Lecture Notes in Computer Science, vol 1319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026777
Download citation
DOI: https://doi.org/10.1007/BFb0026777
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63592-5
Online ISBN: 978-3-540-69606-3
eBook Packages: Springer Book Archive