Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering
V. Richard Benjamins, Dieter Fensel, Remco Straatman · UvA-DARE (University of Amsterdam) · 1996
A problem-solving method describes a reasoning process that efficiently achieves a goal by applying domain knowledge. How- ever, a problem-solving method cannot directly be applied because of existence of a gap between, on one hand, a problem-solving method and domain knowledge it uses, and, on other hand, a problem-solving method and goal that it is supposed to achieve. In this paper, we distinguish two types of assumptions based on an architecture of problem-solving methods, that are able to b ridge gap: one type of assumption is used to strengthen a problem-solving method, and other to weaken goal to be achieved. We also show how effect of one assumption type can be substituted by effect of other type, and refer to this as the law of conse rvation of assumptions.