Department of Computer Science
University of British Columbia
Vancouver, BC, CANADA, V6T 1Z4
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