Using predicate logic to integrate qualitative reasoning and classical decision theory
J. Fox, Dominic A. Clark, Andrzej Glowinski, M.J. O'Neil · IEEE Transactions on Systems Man and Cybernetics · 1990
An approach that accommodates classical decision theory within a framework of first-order logic with nonmonotonic extensions is described. Among the benefits offered by the approach are the potential: to express qualitative arguments about the desirability of decision options in the absence of probability or utility parameters; to automate techniques for generating decision options; and to initiate, control, and terminate a decision process autonomously. The rationality of a logical decision framework is discussed. A particular benefit of implementing decision procedures in a nonmonotonic logic is that decision systems can adapt automatically as beliefs change, contradictions are encountered, or new knowledge is acquired. A general conclusion is that metaknowledge and metalevel reasoning must be integral elements of a decision theory because of the versatility and operating flexibility they offer.>