Using predicate logic to integrate qualitative reasoning and classical decision theory

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.<
>