Assumptions of Problem-Solving Methods

摘要

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 as-sumptions are met. In principle, such assumptions may refer to any kind of condition involved in a problem-solving method's applicability, in-cluding its required domain knowledge. In this paper, we propose a con- ceptual organization for assumptions of problem-solving methods and suggest a formal language to describe them. For illustration we take ex- amples from the Propose & Revise problem-solving method and from diagnosis.