Reuse of problem-solving methods and family resemblances

Long Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1319)


In the last years a common notion of a Problem-Solving Method (PSM) emerged from different knowledge engineering frameworks. As a generic description of the dynamic behaviour of knowledge based systems PSMs are favored subjects of reuse. Up to now, most investigations on the reuse of PSMs focus on static features and methods as objects of reuse. By this, they ignore a lot of information of how the PSM was developed that is, in principle, entailed in the different parts of a conceptual model of a PSM.

In this paper the information of the different parts of PSMs is reconsidered from a reuse process point of view. A framework for generalized problem-solving methods is presented that describes the structure of a category of methods based on family resemblances. These generalized methods can be used to structure libraries of PSMs and — in the process of reuse — as a means to derive an incarnation, i.e. a member of its family of PSMs.

For illustrating the ideas, the approach is applied to the task rsp. problem type of parametric design.


Problem Solving Methods Reuse Similarities Categories of PSMs 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Aamodt et al., 1993]
    A. Aamodt, B. Benus, C. Duursma, Chr. Tomlinson, R. Schrooten, and W. van der Velde: Task Features and their Use in CommonKADS. Deliverable 1.5. Version 1.0, Consortium, University of Amsterdam, 1993.Google Scholar
  2. [Angele et al., 1996]
    J. Angele, S. Decker, R. Perkuhn, and R. Studer: Modeling Problem Solving Methods in New KARL. In: Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW'96), Banff, Canada, November 1996, 1–1 — 1–18.Google Scholar
  3. [Angele, Fensel, and Studer, 1996]
    J. Angele, D. Fensel, and R. Studer: Domain and Task Modeling in MIKE. In: A. Sutcliffe, D. Benyon, F. van Assche (Eds.): Domain Knowledge for Interactive System Design, Chapman & Hall, 1996, 149–163.Google Scholar
  4. [Benjamins, 1993]
    R. Benjamins: Problem Solving Methods for Diagnosis. Ph.D. Thesis, University of Amsterdam, Amsterdam, 1993.Google Scholar
  5. [Benjamins, 1995]
    R. Benjamins: Suite in Dm: A suite of problem types in diagnostic methods. In: Proceedings of the Knowledge Engineering Forum `95 (KEF'95), St. Augustin, Germany, March 1995, 7–18.Google Scholar
  6. [Benjamins, Fensel, and Straatman, 1996]
    R. Benjamins, D. Fensel, and R. Straatman: Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering. In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI `96), Budapest, August 1996, 408–412.Google Scholar
  7. [Breuker, 1994]
    J.A. Breuker: A suite of problem types. In: [Breuker and van de Velde, 1994] IOS Press, Amsterdam, 1994, 57–87.Google Scholar
  8. [Breuker and van de Velde, 1994]
    J.A. Breuker and W. van de Velde (Eds.): The CommonKADS Library for Expertise Modeling. IOS Press, Amsterdam, 1994.Google Scholar
  9. [Chandrasekaran, Johnson, and Smith, 1992]
    B. Chandrasekaran, T.R. Johnson, and J.W. Smith: Task-Structure Analysis for Knowledge Modeling. Communications of the ACM, 35(9),1992,124–137.CrossRefGoogle Scholar
  10. [Eriksson et al., 1995]
    H. Eriksson, Y. Shahar, S.W. Tu, A.R. Puerta, and M.A. Musen: Task Modeling with Reusable Problem-Solving Methods. Artificial Intelligence, 79, 2, 1995, 293–326.CrossRefGoogle Scholar
  11. [Fensel and Schoenegge, 1997]
    D. Fensel and A. Schoenegge: Hunting for Assumptions as Developing Method for Problem-Solving Methods. To appear in: Workshop Proceedings Problem-solving Methods for Knowledge-based Systems in Connection with the Fifteenth International Joint Conference on Artificial Intelligence (IJCAP97), Nagoya, Japan, August 1997.Google Scholar
  12. [Fensel and Straatman, 1996]
    D. Fensel and R. Straatman: Problem-Solving Methods: Making Assumptions for Efficiency Reasons. In: Proceedings of the 9th European Knowledge Acquisition Workshop (EKAW'96), Nottingham, England, May 1996, Lecture Notes in Artificial Intelligence (LNAI), vol. 1076, Springer-Verlag, Berlin, 1996, 17–32.Google Scholar
  13. [Gennari et al., 1994]
    J.H. Gennari, S. Tu, Th.E. Rothenfluh, and M.A. Musen: Mapping Domains to Methods in Support of Reuse. International Journal of Human-Computer Studies (IJHCS), 41, 1994, 399–424.CrossRefGoogle Scholar
  14. [Lakoff, 1991]
    G. Lakoff: Women, fire, and dangerous things: what categories reveal about the mind. University of Chicago Press, Chicago, 1991.Google Scholar
  15. [Motta and Zdrahal, 1996]
    E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge Based Systems Workshop (KAW'96), Banff, Canada, November 1996, 9-1 — 9–20.Google Scholar
  16. [Newell, 1982]
    A. Newell: The Knowledge Level. Artificial Intelligence, 18, 1982, 87–127.CrossRefGoogle Scholar
  17. [Puerta et al., 1992]
    A. R. Puerta, J. W. Egar, S. W. Tu, and M. A. Musen: A MultipleMethod Knowledge Acquisition Shell for the Automatic Generation of Knowledge Acquisition Tools. Knowledge Acquisition, 4, 1992, 171–196.CrossRefGoogle Scholar
  18. [Rosch, 1975]
    E. Rosch and C.B. Mervis: Family Resemblances: Studies in the Internal Structure of Categories. Cognitive Psychology, 7, 1975, 573–605.CrossRefGoogle Scholar
  19. [Schreiber et al., 1994]
    A.Th. Schreiber, B.J. Wielinga, R. de Hoog, H. Akkermans, and W. van de Velde: CommonKADS: A Comprehensive Methodology for KBS Development. IEEE Expert, December 1994, 28–37.Google Scholar
  20. [Schreiber, Wielinga, and Breuker, 1993]
    G. Schreiber, B. Wielinga, and J. Breuker (Eds.): KADS. A Principled Approach to Knowledge-Based System Development. Knowledge-Based Systems, vol. 11, Academic Press, London, 1993.Google Scholar
  21. [Steels, 1990]
    L. Steels: Components of Expertise. AI Magazine, 11(2), 1990, 29–49.Google Scholar
  22. [Studer et al., 1996]
    R. Studer, H. Eriksson, J.H. Gennari, S. Tu, D. Fensel, and M.A. Musen: Ontologies and the Configuration of Problem Solving Methods. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge Based Systems Workshop (KAW'96), Banff, Canada, November 1996, 11-1 — 11–20.Google Scholar
  23. [ten Teije, 1997]
    A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis. Ph.D. Thesis, University of Amsterdam, Amsterdam, 1997.Google Scholar
  24. [ten Teije et al., 1996]
    A. ten Teije, F. van Harmelen, Guus Schreiber, and Bob Wielinga: Construction of Problem Solving Methods as Parametric Design. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge Based Systems Workshop (KAW'96), Banff, Canada, November 1996,12-1 — 12–20.Google Scholar
  25. [Terpstra et al., 1993]
    P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadbolt: Knowledge Acquisition Support Through Generalized Directive Models. In: J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer, Berlin, 1993, 428–455.Google Scholar
  26. [Tversky, 1977]
    S. Tversky: Features of similarity. Psychological Review, 84, 1977, 327–352.CrossRefGoogle Scholar
  27. [Wittgenstein, 1953]
    L. Wittgenstein: Philosophical Investigations. Macmillan, New York, 1953.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  1. 1.Institute AIFBUniversity of Karlsruhe (TH)KarlsruheGermany

Personalised recommendations