Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT


Aus Aifbportal

Wechseln zu: Navigation, Suche

Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering

Published: 1996 August

Buchtitel: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996

Referierte Veröffentlichung


A problem-solving method describes a reasoning process that efficiently achieves a goal by applying domain knowledge. However, 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".

Download: Media:1996_612_Benjamins_Assumptions_of__1.ps.gz