Temporal Interaction of Information and Belief

The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator Bt and a non-normal information operator It which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the proposed logic, the AGM theory of belief revision and the notion of plausibility is discussed.

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

[2]  Giacomo Bonanno,et al.  A Simple Modal Logic for Belief Revision , 2005, Synthese.

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

[4]  D. Fudenberg,et al.  Perfect Bayesian equilibrium and sequential equilibrium , 1991 .

[5]  Oliver Board,et al.  Dynamic interactive epistemology , 2004, Games Econ. Behav..

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

[7]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[8]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

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

[10]  Giacomo Bonanno,et al.  A simple modal logic for belief revision , 2005 .

[11]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[12]  N. Malcolm.  On Knowledge and Belief , 1954 .

[13]  Mordecai Kurz,et al.  On rational belief equilibria , 1994 .

[14]  Pierpaolo Battigalli,et al.  Strategic Independence and Perfect Bayesian Equilibria , 1996 .

[15]  Valentin Goranko,et al.  Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..

[16]  Joseph Y. Halpern,et al.  Belief Revision: A Critique , 1996, J. Log. Lang. Inf..

[17]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.