Skip to main content

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

  • Theoretical and General Issues
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1076))

Abstract

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.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Richard Benjamins and Wouter Jansweijer. Towards a competence theory of diagnosis. IEEE Expert, 9(5), 1994.

    Google Scholar 

  3. V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993.

    Google Scholar 

  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. 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. 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. B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11:59–71, 1990.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. L. Steels. Components of expertise. AI Magazine, 11(2):29–49, Summer 1990.

    Google Scholar 

  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. 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. 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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Nigel Shadbolt Kieron O'Hara Guus Schreiber

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Orsvärn, K. (1996). Principles for libraries of task decomposition methods — Conclusions from a case-study. In: Shadbolt, N., O'Hara, K., Schreiber, G. (eds) Advances in Knowledge Acquisition. EKAW 1996. Lecture Notes in Computer Science, vol 1076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61273-4_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-61273-4_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61273-5

  • Online ISBN: 978-3-540-68391-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics