Craig Boutilier
Department of Computer Science
University of British Columbia
Vancouver, BC, CANADA, V6T 1Z4
email: cebly@cs.ubc.ca
Abstract
We describe a model of iterated belief revision that
extends the AGM theory of revision to account for the effect
of a revision on the conditional beliefs of an agent.
In particular, this model ensures that
an agent makes as few changes as possible to the conditional component
of its belief set. Adopting the Ramsey test, minimal
conditional revision provides
acceptance conditions for arbitrary right-nested conditionals. We show that
problem of determining acceptance of any such nested conditional can
be reduced to acceptance tests for unnested conditionals. Thus, iterated
revision can be accomplished in a ``virtual'' manner, using uniterated
revision.
(To appear, Journal of Philosophical Logic, 1995)
Return to List of Papers