Knowledge refinement for a design system

  • Robin Boswell
  • Susan Crawl
  • Ray Rowe
Long Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1319)


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.


Knowledge Refinement Knowledge Maintenance Design Application 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    R. Davis and D.B. Lenat. Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill, 1982.Google Scholar
  4. 4.
    Jürgen Frank, Birgit Rupprecht, and Weit Schmelmer. Knowledge-based assistance for the development of drugs. IEEE Expert, 12(1):40–48, 1997.CrossRefGoogle Scholar
  5. 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. 6.
    Katharina Morik, Stephan Wrobel, Jörg-Uwe Kietz, and Werner Emde. Knowledge Acquisition and Machine Learning. Academic Press, London, 1993.Google Scholar
  7. 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
  8. 8.
    Dick Ourston and Raymond Mooney. Theory refinement combining analytical and empirical methods. Artificial Intelligence, 66:273–309, 1994.CrossRefGoogle Scholar
  9. 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. 10.
    Gareth J. Palmer and Susan Craw. The selection of training cases for automated knowledge refinement. In EUROVAV-97, 1997.Google Scholar
  11. 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. 12.
    Ray Rowe. An expert system for the formulation of pharmaceutical tablets. Manufacturing Intelligence, 14:13–15, 1993.Google Scholar
  13. 13.
    John Turner. Product formulation expert system. Manufacturing Intelligence, (8):12–14, 1991.Google Scholar
  14. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Robin Boswell
    • 1
  • Susan Crawl
    • 1
  • Ray Rowe
    • 2
  1. 1.School of Computer and Mathematical SciencesThe Robert Gordon UniversityAberdeen
  2. 2.Hurdsfield Industrial EstateZENECA PharmaceuticalsMacclesfield

Personalised recommendations