Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems

A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. While the Sleeping Beauty problem has been viewed as revealing problems with conditioning in the presence of imperfect recall, the analysis done here reveals that the problems are not so much due to imperfect recall as to asynchrony. The implications of this analysis for van Fraassen's Reflection Principle and Savage's Sure-Thing Principle are considered.

[1]  B. Finetti.  Sul significato soggettivo della probabilità , 1931 .

[2]  Ronald Fagin,et al.  Modelling knowledge and action in distributed systems , 2005, Distributed Computing.

[3]  D. Lewis.  Attitudes De Dicto and De Se , 1979 .

[4]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[5]  Adam Elga,et al.  Self‐locating belief and the Sleeping Beauty problem , 2000 .

[6]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[7]  Ariel Rubinstein,et al.  On the Interpretation of Decision Problems with Imperfect Recall , 1996, TARK.

[8]  Adam J. Grove,et al.  On the Expected Value of Games with Absentmindedness , 1997 .

[9]  M. Schervish,et al.  Stopping to Reflect , 2004 .

[10]  Henry Rutgers Marshall.  Belief and Will , 1899, The International Journal of Ethics.

[11]  Bradley Monton,et al.  Sleeping Beauty and the forgetful Bayesian , 2002 .

[12]  D. Lewis,et al.  Sleeping Beauty: reply to Elga , 2001 .

[13]  Cian Dorr,et al.  Sleeping Beauty: in defence of Elga , 2002 .

[14]  Frank Arntzenius,et al.  Some Problems for Conditionalization and Reflection , 2003 .

[15]  Ronald Fagin,et al.  Modelling Knowledge and Action in Distributed Systems , 1988, Concurrency.

[16]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[17]  D. G. Rees,et al.  Foundations of Statistics , 1989 .

[18]  Bas C. van Fraassen,et al.  Belief and the problem of Ulysses and the sirens , 1995 .

[19]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[20]  Joseph Y. Halpern.  On Ambiguities in the Interpretation of Game Trees , 1996, TARK.

[21]  Christopher Hitchcock,et al.  Beauty and the Bets , 2004, Synthese.

[22]  Patrick Billingsley,et al.  Probability and Measure. , 1986 .

[23]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.