Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Engineering and Knowledge Management

EKAW 1994: A Future for Knowledge Acquisition pp 118–136Cite as

Components of problem solving and types of problems

  • Conference paper
  • First Online:

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

Abstract

A typology of problems is presented that is used for indexing and accessing reusable problem solving components in a library that supports the CommonKADS methodology for building knowledge based systems. Eight types of problems, such as planning, assessment etc., are distinguished, and their dependencies are explained. These dependencies suggest that the typology is to be viewed as a “suite” rather than the usual taxonomy of “generic tasks”. Developing the suite has lead to some new insights and elaborations of [Newell and Simon, 1972]'s theory for modeling problem solving.

  • Tasks are distinguished from problem definitions. A tasks is constructed by finding and configuring problem solving methods (PSMs), which are suitable for solving the (well-) defined problem. Tasks and PSMs therefore have a one to one correspondence ([O'Hara and Shadbolt, 1993]), while there is a one to many corresponce between a problem definition (type) and PSMs.

  • Three phases are proposed that turn spontaneous, ill-defined problems into well-defined ones, respectively. into problem solving tasks.

  • A complete solution consists of three components: a case model, an argument structure and a conclusion. The conclusion is a sub-part of both other components.

  • Tasks (PSMs) package recurring chains of dependent types of problems in variable ways.

  • The availability of behavioural models, or of structural/behavioural models in a domain determines to a large extent which types of problems can be posed and solved.

The research reported is partially funded by the Esprit programme of the European Commission, P-5248, KADS-II. I would like to thank André Valente for commenting on this paper. A different, and far more elaborate version of the framework presented this paper can be found in [Breuker, 1994b]

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. Aamodt, A., Bredeweg, B., Breuker, J., Duursma, C., Löckenhoff, C., Orsvarn, K., Top, J., Valent, A., and van der Velde, W. (1992). The CommonKADS Library. Deliverable 1.3. KADS-II/T1.3/VUB/TR/005/1.0, KADS Consortium, Free University, Brussels.

    Google Scholar 

  2. Breuker, J. (1993). Modelling Artificial Legal Reasoning. In Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J., and Kodratoff, Y., editors, Knowledge Acquisition for Knowledge Based Systems, Proceedings of the EKAW-93, pages 66–78, Berlin. Springer.

    Google Scholar 

  3. Breuker, J. (1994). A suite of problem types. In Breuker, J. and de Velde, W. V., editors, The CommonKADS Library for Expertise Modeling. IOS-Press, Amsterdam.

    Google Scholar 

  4. Breuker, J. and de Greef, P. (1993). Modelling system-user cooperation. In Schreiber, G., Wielinga, B., and Breuker, J., editors, KADS: a Principled Approach to Knowledge Engineering, pages 47–70. Academic Press, London.

    Google Scholar 

  5. Breuker, J. and de Velde, W. V., editors (1994). The CommonKADS Library for Expertise Modeling. IOS-Press, Amsterdam.

    Google Scholar 

  6. Breuker, J., Wielinga, B., van Someren, M., de Hoog, R., Bredeweg, B., Wielemaker, J., Billault, J.-P., Davoodi, M., and S, H. (1987). Model Driven Knowledge Acquisition: Interpretation Models. Esprit P1098 KADS A1, University of Amsterdam.

    Google Scholar 

  7. Chandrasekaran, B. (1983). Towards a Taxonomy of Problem Solving Tasks. AI Magazine, 4(1):9–17.

    Google Scholar 

  8. Chandrasekaran, B. (1990). Design problem solving: a task analysis. AI Magazine, pages 59–71.

    Google Scholar 

  9. Chandrasekaran, B. and Johnson, T. (1993). Generic tasks and task structures. In David, J.-M., Krivine, J.-P., and Simmons, R., editors, Second Generation Expert Systems, pages 232–272. Springer, Berlin.

    Google Scholar 

  10. Clancey, W. (1985). Heuristic classification. Artificial Intelligence, 27:289–350.

    Google Scholar 

  11. Clancey, W. (1992). Model construction operators. Artificial Intelligence, 53:1–115.

    Google Scholar 

  12. Console, L. and Torasso, P. (1991). A spectrum of definitions of model based diagnosis. Computational Intelligence, 7(3):133–141. extension of paper from the ECCAI-90 Proceedings.

    Google Scholar 

  13. de Kleer, J., Mackworth, A., and Reiter, R. (1992). Characterizing diagnoses and systems. Artificial Intelligence, 56(2–3):197–222.

    Google Scholar 

  14. de Velde, W. V. (1988). Inference structure as a basis for problem solving. In Kodratoff, Y., editor, Proceedings of the 8th European Conference on AI, pages 202–207, London. Pitman.

    Google Scholar 

  15. de Velde, W. V. (1993). Issues in knowledge level modelling. In David, J.-M., Krivine, J.-M., and Simmons, R., editors, Second Generation Expert Systems, pages 211–231. Springer, Berlin.

    Google Scholar 

  16. deKleer, J. and Williams, B. (1987). Diagnosing multiple faults. Artificial Intelligence, 32:97–130.

    Google Scholar 

  17. Friedrich, G. (1993). Model-based diagnosis and repair. AI Communications, 6(3/4):187–206.

    Google Scholar 

  18. Marcus, S. and McDermott, J., editors (1988). Automating Knowledge Acquisition for Expert Systems. Kluwer, Reading MA.

    Google Scholar 

  19. McCarthy, J. (1956). The inversion of functions defined by Turing machines. Automata Studies, Annals of Mathematical Studies, 34:177–181.

    Google Scholar 

  20. McDermott, J. (1988). Preliminary steps towards a taxonomy of problem-solving methods. In Marcus, S., editor, Automating Knowledge Acquisition for Expert Systems, pages 225–255. Kluwer Academic Publishers, The Netherlands.

    Google Scholar 

  21. Newell, A. and Simon, H. (1972). Human Problem Soving. Prentice Hall, Englewood Cliffs, NJ.

    Google Scholar 

  22. O'Hara, K. and Shadbolt, N. (1993). Locating generic tasks. Knowledge Acquisition, 5(4):449–481.

    Google Scholar 

  23. Poeck, K. and Gappa, U. (1993). Making role-limiting shells more Ωexible. In Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J., and Kodratoff, Y., editors, Knowledge Acquisition for Knowledge Based Systems, Proceedings of the EKAW-93, pages 103–122, Berlin. Springer.

    Google Scholar 

  24. Schreiber, G., Wielinga, B., and Breuker, J. (1993). KADS: a Principled Approach to Knowledge Engineering. Academic Press, London.

    Google Scholar 

  25. Sergot, M. and Jones, A. (1992). Deontic Logic in the Representation of Law. Artificial Intelligence and Law, 1(1):45–64.

    Google Scholar 

  26. Simmons, R. (1992). The role of associational and causal reasoning in problem solving. Artificial Intelligence, 53(2–3):159–207.

    Google Scholar 

  27. Steels, L. (1990). Components of expertise. AI Magazine, 11(2):28–49.

    Google Scholar 

  28. Stefik, M. (1981). Planning with constraints (MOLGEN: Part 1). Artificial Intelligence, 16:111–140.

    Google Scholar 

  29. Sundin, U. (1994). Assignment and scheduling. In Breuker, J. and de Velde, W. V., editors, The CommonKADS Library for Expertise Modeling. IOS-Press, Amsterdam.

    Google Scholar 

  30. Valente, A. (1994). Modeling components for planning problems. In Breuker, J. and de Velde, W. V., editors, The CommonKADS Library for Expertise Modeling. IOS-Press, Amsterdam.

    Google Scholar 

  31. Valente, A. and Breuker, J. (1994). A commonsense theory about normative systems. In Breuker, J., editor, Proceedings of the ECAI Workshop on Artificial Normative Systems. ECAI.

    Google Scholar 

  32. Valente, A., Breuker, J., and Bredeweg, B. (1993). Integrating modelling approaches in the Common KADS library. In Sloman, A., Hogg, D., Humphreys, G., Ramsay, A., and Partridge, D., editors, Prospects for Artificial Intelligence, Proceedings of the AISB-93, pages 121–130. IOS Press, Amsterdam.

    Google Scholar 

  33. Valente, A. and Löckhoff, C. (1994). Assessment. In Breuker, J. and de Velde, W. V., editors, The CommonKADS Library for Expertise Modeling. IOS-Press, Amsterdam.

    Google Scholar 

  34. van Harmelen, F. and Balder, J. (1993). ML 2: a formal language for KADS models of expertise. In Schreiber, G., Wielinga, B., and Breuker, J., editors, KADS, a principled approach to knowledge based system development, pages 169–201. Academic Press.

    Google Scholar 

  35. Wielinga, B., de Velde, W. V., Schreiber, G., and Akkermans, H. (1993). Expertise model definition document. Esprit P5248 KADS-II/M2/UvA/026/1.1, University of Amsterdam. date May 24 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Social Science Informatics, University of Amsterdam, Roeterstraat 15, NL-1018, WB Amsterdam, The Netherlands

    Joost Breuker

Authors
  1. Joost Breuker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Luc Steels Guus Schreiber Walter Van de Velde

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Breuker, J. (1994). Components of problem solving and types of problems. In: Steels, L., Schreiber, G., Van de Velde, W. (eds) A Future for Knowledge Acquisition. EKAW 1994. Lecture Notes in Computer Science, vol 867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58487-0_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-58487-0_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58487-2

  • Online ISBN: 978-3-540-49006-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation