By Topic

An overview of automated reasoning

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
$31 $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

2 Author(s)
Post, S. ; Planning Res. Corp., McLean, VA, USA ; Sage, A.P.

Two general approaches to reasoning with imperfect information are discussed: nonmonotonic reasoning and a calculus of uncertainty. Default reasoning is posed as an approach that is potentially capable of integrating many facets of these two approaches. Practical requirements for default reasoning are then established. This is done by identifying a number of cases that involve incomplete and uncertain information and showing how they can be addressed by default reasoning. Parametric and symbolic reasoning are differentiated, and it is shown that both types are necessary. This distinction is important, as most approaches tend to neglect either the parametric or the symbolic aspect of default reasoning, thereby restricting its use to one of the two approaches discussed above. Five capabilities that are necessary to effect default reasoning are identified. The major characteristics for systems that handle incomplete and uncertain information as well as other types of imperfect information are established

Published in:

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