Revision by Conditionals: From Hook to Arrow

The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a revision operator to handle conditionals as input? Our approach to this question of 'conditional revision' is distinctive insofar as it abstracts from the controversial details of how to revise by factual sentences. We introduce a 'plug and play' method for uniquely extending any iterated belief revision operator to the conditional case. The flexibility of our approach is achieved by having the result of a conditional revision by a Ramsey Test conditional ('arrow') determined by that of a plain revision by its corresponding material conditional ('hook'). It is shown to satisfy a number of new constraints that are of independent interest.

[1]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

[2]  Richard Booth,et al.  On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators , 2018, KR.

[3]  Van Fraassen,et al.  A PROBLEM FOR RELATIVE INFORMATION MINIMIZERS IN PROBABILITY KINEMATICS , 1981 .

[4]  Jake Chandler,et al.  From iterated revision to iterated contraction: Extending the Harper Identity , 2019, Artif. Intell..

[5]  Norman Y. Foo,et al.  Learning From Conditionals: Judy Benjamin's Other Problems , 1996, ECAI.

[6]  I. Douven,et al.  A new resolution of the Judy Benjamin problem , 2011 .

[7]  Igor Douven,et al.  A Puzzle About Stalnaker’s Hypothesis , 2011 .

[8]  Joseph Y. Halpern,et al.  Probability Update: Conditioning vs. Cross-Entropy , 1997, UAI.

[9]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[10]  Richard Booth,et al.  The Irreducibility of Iterated to Single Revision , 2017, J. Philos. Log..

[11]  Maurice Pagnucco,et al.  Dynamic belief revision operators , 2003, Artif. Intell..

[12]  Gabriele Kern-Isberner.  Postulates for Conditional Belief Revision , 1999, IJCAI.

[13]  Igor Douven,et al.  Learning Conditional Information , 2012 .

[14]  Conal Duddy,et al.  A measure of distance between judgment sets , 2012, Soc. Choice Welf..

[15]  Craig Boutilier,et al.  Revision by Conditional Beliefs , 1993, AAAI.

[16]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[17]  R. I. G. Hughes,et al.  A Problem for Relative Information Minimizers, Continued , 1986, The British Journal for the Philosophy of Science.

[18]  Stephan Hartmann,et al.  Learning from Conditionals , 2020, Mind.

[19]  S. Shapiro,et al.  Mathematics without Numbers , 1993 .

[20]  Richard Booth,et al.  Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..

[21]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[22]  Sven Ove Hansson,et al.  In Defense of the Ramsey Test , 1992 .

[23]  John G. Kemeny,et al.  Mathematical models in the social sciences , 1964 .

[24]  Gabriele Kern-Isberner,et al.  A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision , 2004, Annals of Mathematics and Artificial Intelligence.

[25]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[26]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[27]  Richard Booth,et al.  Elementary Iterated Revision and the Levi Identity , 2019, LORI.