Problem-Solving Methods: Making Assumptions for Efficiency Reasons

摘要

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.