Probabilistic Dynamic Epistemic Logic

In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.

[1]  Klaus Krickeberg,et al.  Probability Theory: Basic Concepts · Limit Theorems Random Processes , 1969 .

[2]  Samuel B. Williams,et al.  ASSOCIATION FOR COMPUTING MACHINERY , 2000 .

[3]  R. Jeffrey.  The Logic of Decision , 1984 .

[4]  A. N. Kolmogorov,et al.  Foundations of the theory of probability , 1960 .

[5]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[6]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[7]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[8]  Erik P. de Vink,et al.  Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1999, Theor. Comput. Sci..

[9]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[10]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[11]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

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

[13]  Erik P. de Vink,et al.  Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..

[14]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[15]  J. Altham.  Naming and necessity. , 1981 .

[16]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[17]  J. Riley,et al.  The analytics of uncertainty and information: Long-run relationships and the credibility of threats and promises , 1992 .

[18]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .

[19]  Lars Erik Holmquist,et al.  Fun and Games , 2005, Heading Home With Your Newborn.

[20]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[21]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[22]  Huaiyu Zhu.  On Information and Sufficiency , 1997 .

[23]  David Rudd,et al.  A Problem in Probability. , 1974 .

[24]  C. S. Jackson.  A Problem in Probability , 1913 .

[25]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[26]  B. D. ten Cate,et al.  Internalizing epistemic actions , 2002 .

[27]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[28]  Jr. Henry E. Kyburg.  Uncertainty logics , 1994 .

[29]  Robert van Rooy,et al.  Quality and Quantity of Information Exchange , 2003, J. Log. Lang. Inf..

[30]  Samir Okasha,et al.  Philosophical Theories of Probability , 2002 .

[31]  Casper Johannes Albers,et al.  Distributional inference : the limits of reason , 2003 .

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

[33]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[34]  Joseph Y. Halpern.  The relationship between knowledge, belief, and certainty , 1991, Annals of Mathematics and Artificial Intelligence.

[35]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..