Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge Engineering and Knowledge Management

EKAW 1996: Advances in Knowledge Acquisition pp 17–32Cite as

Problem-solving methods: Making assumptions for efficiency reasons

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

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

Abstract

In this paper we present the following view on problem-solving methods for knowledge-based systems: Problem-solving methods describe an efficient reasoning strategy to achieve a goal by introducing assumptions about the available domain knowledge and the required functionality. Assumptions, dynamic reasoning behavior, and functionality are the three elements necessary to characterize a problem-solving method.

Supported by the Netherlands Computer Science Research Foundation with financial support from the Netherlands Organization for Scientific Research (NWO).

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. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.): Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  2. V. R. Benjamins: Problem Solving Methods for Diagnosis, PhD Thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993.

    Google Scholar 

  3. B. Bredeweg: Model-based diagnosis and prediction of behaviour. In [Breuker & Van de Velde, 1994], pp. 121–153.

    Google Scholar 

  4. J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.

    Google Scholar 

  5. T. Bylander: Complexity Results for Planning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991.

    Google Scholar 

  6. T. Bylander and B. Chandrasekaran: Generic Tasks in Knowledge-Based Reasoning. The Right Level of Abstraction for Knowledge Acquisition. In B. Gaines et al. (eds.): Knowledge Acquisition for Knowledge-Based Systems, vol I, pp. 65–77, Academic Press, London, 1988.

    Google Scholar 

  7. T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, pages 25–60, 1991.

    Google Scholar 

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

  9. J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  10. J. H. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 32():97–130, 1987.

    Google Scholar 

  11. D. Fensel: Assumptions and Limitations of a Problem-Solving Method: A Case Study. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95), Banff, Canada, February 26th–February 3th, 1995.

    Google Scholar 

  12. D. Fensel: Formal Specification Languages in Knowledge and Software Engineering, The Knowledge Engineering Review, 10(4), 1995.

    Google Scholar 

  13. D. Fensel and R. Groenboom: A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems. In Proceedings of the Knowledge Engineering: Methods and Languages Workshop (KEML'96), January 15–16, 1996.

    Google Scholar 

  14. D. Fensel and F. van Harmelen: A Comparison of Languages which Operationalize and Formalize KADS Models of Expertise, The Knowledge Engineering Review, 9(2), 1994.

    Google Scholar 

  15. A. Goel, N. Soundararajan, and B. Chandrasekaran: Complexity in Classificatory Reasoning. In 6th National Conference on Artificial Intelligence (AAAI'87), Seattle, Washington, July 13–17, 1987, pages 421–425.

    Google Scholar 

  16. M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM, 42:741–843, 1995.

    Google Scholar 

  17. D: Kozen: Logics of Programs. In J. v. Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ., B. V., Amsterdam, 1990.

    Google Scholar 

  18. D. Landes and R. Studer: The Treatment of Non-Functional Requirements in MIKE. In Proceedings of the 5th European Software Engineering Conference ESEC'95, Barcelona, Spain, September 25–28, 1995.

    Google Scholar 

  19. H. J. Levesque: Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23(2):155–212, 1984.

    Google Scholar 

  20. S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.

    Google Scholar 

  21. S. Marcus, J. Stout, and J. McDermott VT: An Expert Elevator Designer That Uses Knowledge-based Backtracking, AI Magazine, 9(1):95–111, 1988.

    Google Scholar 

  22. M. A. Musen: Overcoming the Limitations of Role-Limiting Methods, Knowledge Acquisition, 4 (2): 165–170, 1992.

    Google Scholar 

  23. B. Nebel: Artificial intelligence: A Computational Perspective. To appear in G. Brewka (ed.), Essentials in Knowledge Representation.

    Google Scholar 

  24. K. Poeck, D. Fensel, D. Landes, and J. Angele: Combining KARL And CRLM For Designing Vertical Transportation Systems. In [Schreiber & Birmingham, 1996].

    Google Scholar 

  25. F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  26. W. Reif: The KIV Approach to Software Engineering. In M. Broy and S. Jähnichen (eds.): Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science (LNCS), no 1009, Springer-Verlag, Berlin, 1995.

    Google Scholar 

  27. E. Rich and K. Knight: Artificial Intelligence, McGraw-Hill, New York, 2nd edition, 1991.

    Google Scholar 

  28. C. Rouveirol and P. Albert: Knowledge level model of a configurable learning system. In Lecture Notes in Aritificial Intelligence (LNAI), no 867 Springer-Verlag, Berlin, 1994.

    Google Scholar 

  29. A. Th. Schreiber and B. Birmingham (eds.): Special Issue on Sisyphus, The International Journal of Human-Computer Studies, to appear, 1996.

    Google Scholar 

  30. A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker (eds.): KADS: A Principled Approach to Knowledge-Based System Development, vol 11 of Knowledge-Based Systems Book Series, Academic Press, London, 1993.

    Google Scholar 

  31. A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28–37, 1994.

    Google Scholar 

  32. L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.

    Google Scholar 

  33. R. Straatman and P. Beys: A Performance Model for Knowledge-based Systems. In M. Ayel and M. C. Rousset (eds.): EUROVAV-95 European Symposium on the Validation and Verification of Knowledge Based Systems, pages 253–263. ADEIRAS, Universite de Sovoie, Chambery, 26–28 June 1995.

    Google Scholar 

  34. W. Tank: Modellierung von Expertise über Konfigurationsaufgaben, Infix, Sankt Augustin, Germany, 1992.

    Google Scholar 

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

  36. P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadtbolt: Knowledge Acquisition Support Through Generalised Directive Models. In [David et al., 1993], pp. 428–455.

    Google Scholar 

  37. J. Top and H. Akkermans: Tasks and Ontologies in Engineering Modeling, International Journal of Human-Computer Studies, 41():585–617, 1994.

    Google Scholar 

  38. F. van Harmelen and A. ten Teije: Approximations in Diagnosis: Motivations and Techniques. In C. Bioch and Y.H. Tan (eds.), Proceedings of the Dutch Conference on AI(NAIC'95), Rotterdam, June 1995.

    Google Scholar 

  39. W. Van de Velde: A Constructivist View on Knowledge Engineering. In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), Amsterdam, August 1994.

    Google Scholar 

  40. B. J. Wielinga and A. Th. Schreiber: Conceptual Modelling of Large Reusable Knowledge Bases. In K. von Luck and H. Marburger (eds.): Management and Processing of Complex Data Structures, Springer-Verlag, Lecture Notes in Computer Science, no 777, pages 181–200, Berlin, Germany, 1994.

    Google Scholar 

  41. B. Wielinga, J. M. Akkermans, and A. TH. Schreiber: A Formal Analysis of Parametric Design Problem Solving. In B. R. Gaines and M. A. Musen (eds.): Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-95), vol II, pp. 31/1–37/15, Alberta, Canada, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Social Science Informatics (SWI), University of Amsterdam, The Netherlands

    Dieter Fensel & Remco Straatman

Authors
  1. Dieter Fensel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Remco Straatman
    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

Fensel, D., Straatman, R. (1996). Problem-solving methods: Making assumptions for efficiency reasons. 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_2

Download citation

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

  • 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