The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems?

In this paper we present the following view on problem-solving methods: Problemsolvingmethods describe an efficient reasoning strategy to achieve a goal by introducingassumptions about the available domain knowledge and the "functionality" of thetask. These assumptions characterize a problem-solving method. This differs fromcurrent views on problem-solving methods. Current work does not explicitly take therole of efficiency of problem-solving methods into consideration, whereas we regard...