Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Default reasoning with qualified syllogisms

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

1 Author(s)
Schwartz, D.G. ; Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA

Prior works by the author have introduced the system QUAL (herein Q) of qualified syllogisms. An example of such a syllogism is “Most birds can fly; Tweety is a bird; therefore, it is likely that Tweety can fly.” Q provides a formal language for expressing such syllogisms, together with a semantics which validates them. Also introduced in the prior works is the notion of a path logic. Reformulating Q as a path logic allows for the expression of modifier combination rules, such as “From likely P and unlikely P, infer uncertain P.” The present work builds on this, showing how to incorporate Q into a system for default reasoning. Here is introduced the notion of a dynamic reasoning system (DRS), consisting of a path logic, together with a semantic net, or more exactly, a taxonomic hierarchy that allows for multiple inheritance. The taxonomic hierarchy enables definition of a specificity relation, which can then be used in default reasoning (more specific information takes priority over less specific). Modifier combination rules prescribe what to do when defaults are applied in the context of multiple inheritance. Propositions derived in this manner all bear qualitative likelihood modifiers, representing the extent to which the proposition is believed

Published in:

Uncertainty Modeling and Analysis, 1995, and Annual Conference of the North American Fuzzy Information Processing Society. Proceedings of ISUMA - NAFIPS '95., Third International Symposium on

Date of Conference:

17-19 Sep 1995