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.
Keywords
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
Richard Benjamins and Wouter Jansweijer. Towards a competence theory of diagnosis. IEEE Expert, 9(5), 1994.
V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993.
J. Breuker and W. Van de Velde, editors. CommonKADS Library for Expertise Modelling: Reusable Problem Solving Components. IOS-Press, Amsterdam, August 1994.
J. A. Breuker, editor. Model Driven Knowledge Acquisition: Interpretation Models. University of Amsterdam and STL Ltd, 1987. ESPRIT Project P1098, Deliverable D1 (task A1).
B. Chandrasekaran. Generic tasks in knowledge based reasoning: High level building blocks for expert system design. IEEE Expert, 1(3):23–30, 1986.
B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11:59–71, 1990.
B. Chandrasekaran, T. R. Johnson, and J. W. Smith. Task-structure analysis for knowledge modelling. Communications of the ACM, 35(9):124–137, 1992.
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.
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.
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.
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.
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.
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.
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.
L. Steels. Components of expertise. AI Magazine, 11(2):29–49, Summer 1990.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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