Default Reasoning with Contexts

Contents

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.