Problem-Solving Methods: Making Assumptions for Efficiency Reasons
Buchtitel: Proceedings of the 9th European Knowledge Acquisition Workshop EKAW-96, Nottingham, England, May 14-17 1996
Reihe: Lecture Notes in Artificial Intelligence (LNAI)
Verlag: Springer-Verlag, Berlin
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.