Default Reasoning with Contexts

Daniel B. Hunter and Daniel F. Bostwick

We describe a system that combines default reasoning with contexts. Contexts are arranged in a hierarchy where more specific contexts represent revisions of the state of belief in more general contexts. We describe our algorithm for default reasoning in a context hierarchy and provide a translation of our representation into a default logic theory whose inferences agree with our algorithm. We conclude with a discussion of different notions of context and give a justification of our default rules when contexts are understood as states of belief.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.