of Problem-Solving Methods and their Role in Knowledge Engineering
msra
摘要
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 the existence of a gap between, on the one hand, a problem-solving method and the domain knowledge it uses, and, on the other hand, a problem-solving method and the 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 bridge the gap: one type of assumption is used to strengthen a problem-solving method, and the other to weaken the goal to be achieved. We also show how the effect of one assumption type can be substituted by the effect of the other type, and refer to this as "the law of conservation of assumptions".
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络