Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Engineering and Knowledge Management

EKAW 1996: Advances in Knowledge Acquisition pp 1–16Cite as

Assumptions of problem-solving methods

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

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

Abstract

Assumptions of problem-solving methods refer to necessary applicability conditions of problem-solving methods, indicating that a problem-solving method is only applicable to realize a task, if the assumptions are met. In principle, such assumptions may refer to any kind of condition involved in a problem-solving method's applicability, including its required domain knowledge. In this paper, we propose a conceptual organization for assumptions of problem-solving methods and suggest a formal language to describe them. For illustration we take examples from the Propose & Revise problem-solving method and from diagnosis.

Richard Benjamins is supported by the Netherlands Computer Science Research Foundation with financial support from the Netherlands Organization for Scientific Research (NWO). The work has partly been supported by the HCM program, financed by the CEC.

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. A. Aamodt, B. Benus, C. Duursma, C. Tomlinson, R. Schrooten, and W. Van de Velde. Task features and their use in commonkads. Technical Report KADS-II/T1.5/VUB/TR/014/1.0, Free University of Brussels & University of Amsterdam & Lloyd's Register, 1992.

    Google Scholar 

  2. J. M. Akkermans, B. J. Wielinga, and A. Th. Schreiber. Steps in constructing problem-solving methods. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop. Volume 2: Shareable and Reusable Problem-Solving Methods, pages 29–1–29–21, Alberta, Canada, January 30–February 4 1994. SRDG Publications, University of Calgary.

    Google Scholar 

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

    Google Scholar 

  4. V. R. Benjamins. Problem-solving methods for diagnosis and their role in knowledge acquisition. International Journal of Expert Systems: Research and Applications, 8(2):93–120, 1995.

    Google Scholar 

  5. B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11:59–71, 1990.

    Google Scholar 

  6. B. Chandrasekaran, T. R. Johnson, and J. W. Smith. Task-structure analysis for knowledge modeling. Communications of the ACM, 35(9):124–137, 1992.

    Google Scholar 

  7. L. Console and P. Torasso. Integrating models of the correct behaviour into abductive diagnosis. In L. C. Aiello, editor, Proc. ECAI-90, pages 160–166, London, 1990. ECCAI, Pitman.

    Google Scholar 

  8. D. Fensel. Assumptions and limitations of a problem-solving method: A case study. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada, 1995. SRDG Publications, University of Calgary.

    Google Scholar 

  9. D. Fensel, R. Straatman, and F. van Harmelen. The mincer metaphor: a new view on problem-solving methods for knowledge-based systems. Technical report, SWI, University of Amsterdam, Amsterdam, 1995.

    Google Scholar 

  10. J.H Gennari, S.W Tu, T.E Rotenfluh, and M.A. Musen. Mapping domains to methods in support of reuse. International Journal of Human-Computer Studies, 41:399–424, 1994.

    Google Scholar 

  11. C. Pierret-Golbreich. TASK model: a framework for the design of models of expertise and their operationalization. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 37.1–37.22. SRDG Publications, University of Calgary, 1994.

    Google Scholar 

  12. C. Pierret-Golbreich. Modular and reusable specifications in knowledge engineering: Formal specification of goals and their development. In Workshop on Knowledge Engineering Methods and Languages (KEML), 1996.

    Google Scholar 

  13. C. Pierret-Golbreich and I. De Louis. Task: Task centered representation for expert systems at the knowledge level. In Proc. of the 8th AISB-conference. Springer-Verlag, 1991.

    Google Scholar 

  14. C. Pierret-Golbreich and X. Talon. An algebraic specification of the dynamic behavior of knowledge-based systems. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada, 1995. SRDG Publications, University of Calgary.

    Google Scholar 

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

  16. William F. Punch and B. Chandrasekaran. An investigation of the roles of problem-solving methods in diagnosis. In Proc. of the Tenth International Workshop: Expert Systems and their Applications, pages 25–36, Avignon, France, 1990. EC2.

    Google Scholar 

  17. M. Reinders and B. Bredeweg. Strategic reasoning as a reflective task. In Proceedings of IMSA-92, pages 159–163, 1992.

    Google Scholar 

  18. M. Schmidt-Schauß. Computational Aspects of an Order-Sorted Logic with Term Declarations. Springer-Verlag, Berlin, Germany, 1989. Lecture Notes in Artificial Intelligence No. 395.

    Google Scholar 

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

    Google Scholar 

  20. A. ten Teije and F. van Harmelen. An extended spectrum of logical definitions for diagnostic systems. In Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, 1994.

    Google Scholar 

  21. A. ten Teije and F. van Harmelen. An extended spectrum of logical definitions for diagnostic systems. Computational Intelligence, 1995. Submitted.

    Google Scholar 

  22. G. van Heijst. The Role of Ontologies in Knowledge Engineering. PhD thesis, University of Amsterdam, May 1995.

    Google Scholar 

  23. K. van Marcke. A generic tutoring environment. In L. C. Aiello, editor, Proc. of the Ninth European Conference on Artificial Intelligence, pages 655–660, London, UK, 1990. Pitman.

    Google Scholar 

  24. J. Vanwelkenhuysen and P. Rademakers. Mapping knowledge-level analysis onto a computational framework. In L. Aiello, editor, Proc. ECAI-90, pages 681–686, London, 1990. Pitman.

    Google Scholar 

  25. B. J. Wielinga, W. Van de Velde, A. Th. Schreiber, and J. M. Akkermans. The Common KADS framework for knowledge modelling. In B. R. Gaines, M. A. Musen, and J. H. Boose, editors, Proc. 7th Banff Knowledge Acquisition Workshop, volume 2, pages 31.1–31.29. SRDG Publications, University of Calgary, Alberta, Canada, 1992.

    Google Scholar 

  26. G. Yost. Configuring elevator systems. Technical report, Digital Equipment Corporation, 111 Locke Drive (LMO2/K11), Marlboro MA 02172, 1992.

    Google Scholar 

  27. Z. Zdrahal and E. Motta. An in-depth analysis of propose & revise problem solving methods. In B. R. Gaines and M. A. Musen, editors, Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Alberta, Canada, 1995. SRDG Publications, University of Calgary.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SWI, University of Amsterdam, Roetersstraat 15, NL-1018, WB Amsterdam, The Netherlands

    Richard Benjamins

  2. LRI, University of Paris-Sud, Bâtiment 490, 91405, Orsay Cedex, France

    Christine Pierret-Golbreich

Authors
  1. Richard Benjamins
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christine Pierret-Golbreich
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Benjamins, R., Pierret-Golbreich, C. (1996). Assumptions of problem-solving methods. 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_1

Download citation

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

  • 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

Search

Navigation