Skip to main content

Explicit and operational models as a basis for second generation knowledge acquisition tools

  • Conference paper
Second Generation Expert Systems

Abstract

The paper describes the transition from a first generation knowledge acquisition approach towards a second generation, model-based one. Firstly, we depict the first generation knowledge acquisition tool KRITON with its components interview, protocol, and text analysis and we render the underlying assumptions of the tool. Then, we make a point for second generation, model-based knowledge acquisition took and discuss their architecture. We focus on the role of explicit models of problem-solving methods in automated knowledge acquisition tools and on the guidance that models of methods can provide. We give a short description of the KADS-oriented knowledge-modeling language OMOS that we developed, among others, to analyze the facet of guidance. We combine aspects of the KRITON-based development with features of the modeling language OMOS, thus obtaining a second generation view on knowledge engineering, supported by a special architecture for computer supported model-based knowledge acquisition. Finally, we highlight future developments that exploit the guidance of the method models for automated knowledge acquisition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anjo Anjewierden and Jan Wielemaker. Shelley — computer aided knowledge engineering. In Bob Wielinga, John Boose, Brian Gaines, Guus Schreiber, and Maarten van Someren, editors, Proceedings of EKAW90, pages 41–59, Amsterdam, 1990. IOS Press.

    Google Scholar 

  2. Nathalie Aussenac. Conception d’une methodologie et d’un outil d’acquisition de connaissances expertes. PhD thesis, Universite Paul Sabatier, Toulouse, November 1989.

    Google Scholar 

  3. Ansgar Bernardi, Harold Boley, Christoph Klauck, Philip Hanschke, Knut Hinkelmann, Ralf Legleitner, Otto Kühn, Manfred Mayer, Michael Richter, Franz Sehmal-hofer, Gabi Schmidt, and Walter Sommer. ARC-TEC: Acquisition, representation and compilation of technical knowledge. In Jean-Paul Haton and Jean-Claude Rault, editors, Proceedings of Avignon 91, volume 1, pages 133–145, Avignon, France, 1991. EC2.

    Google Scholar 

  4. John H. Boose. A knowledge acquisition program for expert systems based on personal construct psychology. International Journal of Man-Machine Studies, 23:495–525, 1985.

    Article  Google Scholar 

  5. R. Brachman and G.J. Schmolze. An overwiev of the KL-ONE knowledge representation system. Cognitive Science, 9(11):216–260, 1985.

    Google Scholar 

  6. Ronald J. Brachman. On the epistemological status of semantic networks. In N.V. Findler, editor, Associative Networks: Representation and Use of Knowledge by Computers, pages 3–50 50. Academic Press, New York, 1979.

    Google Scholar 

  7. Sonja Branskat. Case-based knowledge acquisition in the preformai phase. In John Boose and Brian Gaines, editors, Proceedings of the 6th Banff knowledge acquisition for knowledge-based systems workshop, pages 5–1/5–20, Calgary, Canada, 1991. AAAI, University of Calgary.

    Google Scholar 

  8. Sonja Branskat. Fallbasierte Wissensakquisition. Working paper 606, GMD, St. Augustin, FRG, 1992.

    Google Scholar 

  9. Harry Bretthauer and Juergen Kopp. The meta class system MCS: A portable object system for Common Lisp. Technical Report 554, GMD, St. Augustin, July 1991.

    Google Scholar 

  10. Joost Breuker and Bob Wielinga. Models of expertise in knowledge acquisition. In Giovanni Guida and Carlo Tasso, editors, Topics in Expert System Design, Methodologies and Tools, Studies in Computer Science and Artificial Intelligence, pages 265–295. North-Holland, Amsterdam, 1989.

    Google Scholar 

  11. D.C. Brown. A graduate-level expert system course. AI Magazine, Fall 1987.

    Google Scholar 

  12. B. Chandrasekaran. Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design. IEEE Expert, pages 32–30, Fall 1986.

    Google Scholar 

  13. B. Chandrasekaran. Generic tasks as building blocks for knowledge-based systems: The diagnosis and routine design examples. The Knowledge Engineering Review, 3(3):183–210, Octobre 1988.

    Article  Google Scholar 

  14. Thomas Christaller, Franco di Primio, and Angi Voß. The AI workbench BABYLON. Academic Press, London, 1992.

    MATH  Google Scholar 

  15. William J. Clancey. The knowledge level reinterpreted: Modeling how systems interact. Machine Learning, Special Issue on Knowledge Acquisition, 4(3, 4):285–292, 1989.

    Google Scholar 

  16. Nancy Cooke and James McDonald. The application of psychological scaling techniques to knowledge elicitation for knowledge-based systems. International Journal of Man-Machine Studies, 26:533–550, 1987.

    Article  Google Scholar 

  17. Paul de Greef and Jost Breuker. Analysing system-user cooperation in KADS. Knowledge Acquisition, 4(1):89–108, 1992.

    Article  Google Scholar 

  18. Franco di Primio and Karl Wittur. BABYLON, a meta-interpretation model for handling mixed knowledge representations. In Proceedings of the 7th International Workshop on Expert Systems and Their Applications, volume 1, pages 821–833, Avignon, 1987.

    Google Scholar 

  19. Joachim Diederich and Marc Linster. Knowledge-based knowledge elicitation. In Giovanni Guida and Carlo Tasso, editors, Topics in Expert System Design, pages 323–352. North-Holland, Amsterdam, 1989.

    Google Scholar 

  20. Joachim Diederich, Ingo Ruhmann, and Mark May. KRITON: A knowledge acquisition tool for expert systems. International Journal of Man-Machine Studies, 26:29–40, 1987.

    Article  Google Scholar 

  21. A. Ericsson and Herbert Simon. Protocol-Analysis — Verbal Reports as Data. MIT Press, Cambridge, 1984.

    Google Scholar 

  22. Brian R. Gaines. Second generation knowledge acquisition systems. In John H. Boose, Brian R. Gaines, and Marc Linster, editors, Proceedings of EKAW88, pages 17/1–17/14, Sankt Augustin, 1988. GMD. GMD-Studie 143.

    Google Scholar 

  23. Brian R. Gaines and Marc Linster. Integrating a knowledge acquisition tool, an expert system shell and a hypermedia system. International Journal of Expert Systems, 3(2):105–129, 1990.

    Google Scholar 

  24. Brian R. Gaines, Marc Linster, and Mildred L. G. Shaw. An integrated knowledge support system. In Proceedings of FCGS: International Conference on Fifth Generation Computer Systems, pages 1157–1164, Tokyo, 1992. ICOT.

    Google Scholar 

  25. Brian R. Gaines and Mildred L.G. Shaw. New directions in the analysis and interactive elicitation of personal construct systems. In Mildred L. G. Shaw, editor, Recent Advances in Personal Construct Technology, Computers and People, pages 147–182. Academic Press, London, 1981.

    Google Scholar 

  26. Ute Gappa. CLASSIKA: A knowledge acquisition tool for use by experts. In John H. Boose and Brian R. Gaines, editors, Proceedings of the 4th Banff Knowledge-Acquisition for Knowledge-Based Systems Workshop, pages 14/1–14/15. AAAI, University of Calgary, 1989.

    Google Scholar 

  27. Werner Karbach and Marc Linster. Wissensakquisition für Expertensysteme: Techniken, Modelle und Softwarewerkzeuge. Hanser Verlag, München, June 1990.

    Google Scholar 

  28. Werner Karbach, Marc Linster, and Angi Voß. OFFICE-Plan, tackling the synthesis frontier. In Dieter Metzing, editor, Proceedings of GWAI89, volume 216 of Informatik Fachberichte, pages 379–387, Heidelberg, 1989. Gesellschaft fuer Informatik, Springer Verlag.

    Google Scholar 

  29. Werner Karbach, Marc Linster, and Angi Voß. Models, methods, roles and tasks: Many labels — one idea? Knowledge Acquisition, 2(4):279–300, 1990.

    Article  Google Scholar 

  30. Werner Karbach and Angi Voß. MODEL-K for prototyping and strategic reasoning at the knowledge level. In Jean-Marc David, Jean-Paul Krivine, and Reid Simmons, editors, Second generation exppert systems. Springer, 1992, Forthcoming.

    Google Scholar 

  31. Werner Karbach, Angi Voß, Ralf Schukey, and Uwe Drouven. MODEL-K: Prototyping at the knowledge level. In Proceedings of the First International Conference on Knowledge Modeling and Expertise Transfer’, Sophia Antipolis, France, 1991.

    Google Scholar 

  32. George Kelly. The Psychology of Personal Constructs. Norton, New York, 1955.

    Google Scholar 

  33. Georg Klinker, C. Bhola, Geoffrey Dallemagne, David Marques, and John Mc-Dermott. Usable and reusable programming constructs. Knowledge Acquisition, 3(2):117–135, 1991.

    Article  Google Scholar 

  34. Otto Kühn, Marc Linster, and Gabi Schmidt. Clamping, COKAM, KADS and OMOS. In Proceedings of EKAW91. University of Strathclyde, 1991. Also published as Technical Memo TM-91-03 of DFKI, Kaiserslautern.

    Google Scholar 

  35. Thomas Kuhn. The structure of scientific revolutions. University of Chicago Press, Chicago, 1970.

    Google Scholar 

  36. M. LaPrance. The knowledge acquisition grid: A method for training knowledge engineers. Int. Journal of Man-Machine Studies, 26:245–255, 1987.

    Article  Google Scholar 

  37. Marc Linster. Integrating acquisition, representation, and interpretation. In John H. Boose, Brian R. Gaines, and Jean-Gabriel Ganascia, editors, Proceedings of EKAW89, pages 565–577, Paris, 1989.

    Google Scholar 

  38. Marc Linster. Towards a second generation knowledge acquisition tool. Knowledge Acquisition, 1(2):163–183, 1989.

    Article  Google Scholar 

  39. Marc Linster. Knowledge acquisition based on explicit methods of problem-solving. PhD thesis, University of Kaiserslautern, Kaiserslautern, February 1992.

    Google Scholar 

  40. Marc Linster. Linking modeling to make sense and modeling to implement systems in an operational environment. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition: EKAW92, volume 599 of LNAI, pages 55–74, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  41. Marc Linster. Using the operational modeling language OMOS to tackle the Sisy-phus’92 office-planning problem. In Marc Linster, editor, Sisyphus’92: Models of problem solving, volume 630 of Technical report of GMD, St. Augustin, 1992. GMD.

    Google Scholar 

  42. Marc Linster and Mark Musen. Use of KADS to create a conceptual model of the ONCOCIN task. Knowledge Acquisition, 4(1):55–88, 1992.

    Article  Google Scholar 

  43. John McDermott. Preliminary steps toward a taxonomy of problem-solving methods. In Sandra Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 225–256. Kluwer Academic, Boston, 1988.

    Google Scholar 

  44. Katharina Morik. Acquiring domain models. International Journal of Man-Machine Studies, 26:93–104, 1987.

    Article  Google Scholar 

  45. Katharina Morik. Sloppy modeling. In Joerg Siekmann, editor, Knowledge Representation and Organization in Machine Learning, volume 347 of LNAI, pages 107–133. Springer Verlag, Heidelberg, 1989.

    Chapter  Google Scholar 

  46. Mark A. Musen. Automated Generation of Model-Based Knowledge Acquisition Tools. Research Notes in Artificial Intelligence. Pitman Publishing, London, 1989.

    Google Scholar 

  47. Frank Puppe. Problemlösungsmethoden in Expertensystemen. Studienreihe Informatik. Springer Verlag, Berlin Heidelberg, 1990.

    MATH  Google Scholar 

  48. Mildred L. G. Shaw. On Becoming a Personal Scientist. Computers and People Series. Academic Press, 1980.

    Google Scholar 

  49. Mildred L.G. Shaw and B. Gaines. An interactive knowledge elicitation technique using personal construct technology. In A. Kidd, editor, Knowledge Acquisition for Expert Systems. Plenum Press, New York, 1987.

    Google Scholar 

  50. Mildred L.G. Shaw and Brian R. Gaines. KITTEN: Knowledge initiation and transfer tools for experts and novices. International Journal of Man-Machine Studies, 27(3):251–280, 1987.

    Article  Google Scholar 

  51. Luc Steels. The componential framework and its role in reusability. In Jean-Marc David, Jean-Paul Krivine, and Reid Simmons, editors, Second Generation Expert Systems. Springer, 1992, Forthcoming.

    Google Scholar 

  52. Gertjan van Heijst, Peter Terpstra, Bob Wielinga, and Nigel Shadbolt. Using generalised directive models in knowledge acquisition. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 112–132, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  53. Jürgen Walther, Angi Voß, Marc Linster, Thomas Hemmann, Hans Vos, and Werner Karbach. MoMo: Initial specification of the alpha version. Technical report, GMD, St. Augustin, FRG, 1992.

    Google Scholar 

  54. Bob Wielinga, Guus Schreiber, and Jost Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1):5–54, 1992.

    Article  Google Scholar 

  55. Stefan Wrobel. Design goals for sloppy modeling systems. International Journal of Man Machine Systems, 24(4):461–477, October 1988.

    Article  Google Scholar 

  56. Edward Yourdon. Decline and fall of the American programmer. Prentice Hall, Engkewood Cliffs, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Linster, M. (1993). Explicit and operational models as a basis for second generation knowledge acquisition tools. In: David, JM., Krivine, JP., Simmons, R. (eds) Second Generation Expert Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77927-5_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77927-5_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-77929-9

  • Online ISBN: 978-3-642-77927-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics