Principles for libraries of task decomposition methods — Conclusions from a case-study

  • Klas Orsvärn
Theoretical and General Issues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1076)


Chandrasekaran and Steels proposed several years ago that libraries of reusable problem solving methods, for use in model-driven knowledge acquisition, should be organized as hierarchies of task decomposition methods, rather than as collections of complete methods. One of the most comprehensive examples to date is Benjamins' library of methods for diagnosis tasks. In a case-study of using Benjamins' library, to model a specific diagnosis application, the most suitable model generated by the library had to be modified in several ways, despite the fact that the application is relatively simple and mainstream. This caused significant difficulties, both in identifying the modification requirements, and in creating the necessary adaptations. This paper proposes a set of general principles which libraries of task decomposition methods can be evaluated against, in order to prevent unnecessary adaptations. The principles concern method correctness, specialization of selection criteria, and method generality.


Transfer Task Task Feature Interpretation Model Discrimination Method Symptom Detection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. M. Akkermans, B. J. Wielinga, and A. Th. Schreiber. Steps in constructing problem-solving methods. In N. Aussenac, G. Boy, B. Gaines, M. Linster, J.-G. Ganascia, and Y. Kodratoff, editors, Proc. of EKAW'93, number 723 in Lecture Notes in Computer Science, pages 45–65. Springer-Verlag, 1993.Google Scholar
  2. 2.
    Richard Benjamins and Wouter Jansweijer. Towards a competence theory of diagnosis. IEEE Expert, 9(5), 1994.Google Scholar
  3. 3.
    V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993.Google Scholar
  4. 4.
    J. Breuker and W. Van de Velde, editors. CommonKADS Library for Expertise Modelling: Reusable Problem Solving Components. IOS-Press, Amsterdam, August 1994.Google Scholar
  5. 5.
    J. A. Breuker, editor. Model Driven Knowledge Acquisition: Interpretation Models. University of Amsterdam and STL Ltd, 1987. ESPRIT Project P1098, Deliverable D1 (task A1).Google Scholar
  6. 6.
    B. Chandrasekaran. Generic tasks in knowledge based reasoning: High level building blocks for expert system design. IEEE Expert, 1(3):23–30, 1986.Google Scholar
  7. 7.
    B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11:59–71, 1990.Google Scholar
  8. 8.
    B. Chandrasekaran, T. R. Johnson, and J. W. Smith. Task-structure analysis for knowledge modelling. Communications of the ACM, 35(9):124–137, 1992.Google Scholar
  9. 9.
    J. H. Geimari, R. B. Altman, and M. A. Musen. Reuse with Protégé-II: From elevators to ribosomes. Technical Report KSL-94-71, Stanford Knowledge Systems Lab, 1995.Google Scholar
  10. 10.
    J. McDermott. Preliminary steps towards a taxonomy of problem-solving methods. In S. Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 225–255. Kluwer, Boston, 1988.Google Scholar
  11. 11.
    Klas Orsvärn. Case-study in knowledge modelling with Benjamins' library of diagnosis methods. In Proc. Knowledge Engineering Forum '95, number 903 in Arbeitspapiere der GMD, pages 83–94, Sankt Augustin, Germany, March 1995. GMD.Google Scholar
  12. 12.
    Klas Orsvärn, Olle Olsson, and Hesham A. Hassan. Guidelines for adapting an interpretation model in an application. In Proc. Knowledge Engineering Forum '95, number 903 in Arbeitspapiere der GMD, pages 95–106, Sankt Augustin, Germany, March 1995. GMD.Google Scholar
  13. 13.
    Karsten Poeck and Ute Gappa. Making role-limiting shells more flexible. In N. Aussenac, G. Boy, B. Gaines, M. Linster, J.-G. Ganascia, and Y. Kodratoff, editors, Proc. of EKAW'93, number 723 in Lecture Notes in Computer Science, pages 103–122. Springer-Verlag, 1993.Google Scholar
  14. 14.
    A.R. Puerta, J. Egar, S. Tu, and M. Musen. A multiple-method shell for the automatic generation of knowledge acquisition tools. Knowledge Acquisition, 4:171–196, 1992.Google Scholar
  15. 15.
    William F. Punch III. A Diagnosis System Using A Task Integrated Problem Solver Architecture (TIPS), Including Causal Reasoning. PhD thesis, Ohio State University, Ohio, 1989.Google Scholar
  16. 16.
    L. Steels. Components of expertise. AI Magazine, 11(2):29–49, Summer 1990.Google Scholar
  17. 17.
    L. Steels. The componential framework and its role in reusability. In Jean-Marc David, Jean-Paul Krivine, and Reid Simmons, editors, Second Generation Expert Systems, pages 273–298. Springer-Verlag, Berlin Heidelberg, Germany, 1993.Google Scholar
  18. 18.
    G. van Heijst, P. Terpstra, B. J. Wielinga, and N. Shadbolt. Using generalised directive models in knowledge acquisition. In Th. Wetter, K. D. Althoff, J. Boose, B. Gaines, M. Linster, and F. Schmalhofer, editors, Current Developments in Knowledge Acquisition: EKAW-92, Berlin, Germany, 1992. Springer-Verlag.Google Scholar
  19. 19.
    B. Wielinga, J. Akkermans, and A. Schreiber. A formal analysis of parametric design. In Proc. 9th Banff Knowledge-Acquisition for Knowledge-Based Systems Workshop, March 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Klas Orsvärn
    • 1
  1. 1.Swedish Institute of Computer ScienceKistaSweden

Personalised recommendations