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.

Citations

570	On the logic of theory change: Partial meet contraction and revision functions - Alchourron, Gärdenfors, et al. - 1985
238	Ordinal Conditional Functions: A Dynamic Theory of Epistemic States - Spohn - 1988
203	A(1988) Two modelings for theory change - Grove
192	A Theory of Conditionals - Stalnaker - 1968
171	All I know: A study in autoepistemic logic - Levesque - 1990
148	Revisions of Knowledge Systems Using Epistemic Entrenchment - Gardenfors, Makinson - 1988
145	On the logic of iterated belief revision - Darwiche, Pearl - 1997
144	System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning - Pearl - 1990
100	Nonmonotonic Inference Based on Expectations - Gärdenfors, Makinson - 1994
88	Conditional logics of normality: A modal approach - Boutilier - 1994
77	Relations between the logic of theory change and nonmonotonic logic - Gärdenfors, Makinson - 1991
56	Theory contraction through base contraction - Fuhrmann - 1991
39	Unifying default reasoning and belief revision in a modal framework - Boutilier - 1994
38	Preferential belief Change Using Generalized Epistemic Entrenchment - Rott - 1992
33	On the logic of theory change: Safe contraction - Alchourrón, Makinson - 1985
24	Revision by Conditional Beliefs - Boutilier, Goldszmidt - 1993
23	Nonmonotonic inference based on expections - Grdenfors, Makinson
23	Belief revisions and the Ramsey test for conditionals - Gärdenfors - 1986
21	Iteration of conditionals and the Ramsey test - Levi - 1988
13	Reasoning with qualitative probabilities can be tractable - Goldszmidt, Pearl - 1992
13	Conditionals and theory change: revision, expansions, and additions - Rott - 1989
10	Inaccessible worlds and irrelevance: Preliminary report - Boutilier - 1991
8	Ove Hansson. In defense of base contraction - Sven - 1992
7	The Logic of Conditionals. D.Reidel - Adams - 1975
7	On the logic of theory change: Partial meet contraction and revision functions - on, ardenfors, et al. - 1985
7	The probability of a possibility: Adding uncertainty to default rules - Boutilier - 1993
5	Epistemic entrenchment in autoepistemic logic - Boutilier - 1992
5	Sequences of revisions: On the semantics of nested conditionals - Boutilier - 1992
3	Ove Hansson. In defense of the Ramsey test - Sven - 1992
2	Theory revision and probability. Notre Dame - Schlechta - 1991
1	REFERENCES 36 [7] Craig Boutilier. The probability of a possibility: Adding uncertainty to default rules - appear - 1995
1	Boutilier and Mois es Goldszmidt. Revision by conditional beliefs - Craig - 1993
1	G ardenfors. Belief revisions and the Ramsey test for conditionals - Peter - 1986
1	G ardenfors. Knowledge in Flux: Modelingthe Dynamics of Epistemic States - Peter - 1988
1	25] David Makinson and Peter G ardenfors. Relations between the logic of theory change and nonmonotonic logic - Blackwell, Oxford - 1973
1	26] Judea Pearl. System Z: A natural ordering of defaults with tractable applications to default reasoning - Springer-Verlag - 1990
1	A nonmonotonicconditional logic for belief revision - Rott - 1990
1	Theory revision and probability. Notre Dame Journal of Formal Logic, 307(2):307--318 - Schlechta - 1991
1	A Proofs of Main Results The truth of many of the propositions in the paper is rather obvious and their proofs are excluded. Certain results are described offin::An+162((KA1)A2)Aig in the body of the paper and have their proofs sketched there. These proof - Inquiry - 1984
1	A PROOFS OF MAIN RESULTS 38 a) If there is no such element then K A 1 ` :A n+1 . The minimal cluster of M A 1 is formed by the set min(M; A 1 ). Since the relative ordering of all other worlds is unaffected by this revision, min(M A 1 ; A n+1 ) = min(M; A - appear - 1995
1	A PROOFS OF MAIN RESULTS 39 Proof Let A k be the most recent compatible revision for A n . Since A n is compatible with the subsequence A 1 ,: : : A k , we have that min(((M A 1 ) A 2 \Delta \Delta \Delta) A k ; A n ) lies within the minimal cluster of (( - appear - 1995
1	Moisés Goldszmidt. A theory of conditional belief revision - Boutilier - 1994
1	Knowledge in Flux: Modelingthe Dynamics of Epistemic States - Gärdenfors - 1988