By Topic

Using predicate logic to integrate qualitative reasoning and classical decision theory

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
J. Fox ; Imperial Cancer Res. Fund Labs., London, UK ; D. A. Clark ; A. J. Glowinski ; M. J. O'Neil

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

Published in:

IEEE Transactions on Systems, Man, and Cybernetics  (Volume:20 ,  Issue: 2 )