By Topic

Handling incompleteness in reasoning: application to situational analysis and real time reactive systems

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)
Wild, C. ; Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA ; Xiao, H.

There are many situations where a human or machine reasoner must make inferences even when the information available is incomplete. Various approaches have been proposed regarding which inferences should be made under these circumstances. Most of the proposals for extending incomplete theories (closed world assumption, circumscription and default theories) choose a single preferred extension. However in many cases, reasoning about possible and relevant worlds is required. The authors propose a new approach to handling incompleteness called constraint quantification which generalizes both existential and universal quantification. The use of this method to analyze contingencies in situations and the application to reactive systems for real-time reasoning is discussed

Published in:

System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on  (Volume:ii )

Date of Conference:

8-11 Jan 1991