The Logic of Conditional Doxastic Actions : A theory of dynamic multi-agent belief revision

We present a logic of conditional doxastic actions, obtained by incorporating ideas from belief revision theory into the usual dynamic logic of epistemic actions. We do this by extending to actions the setting of epistemic plausibility models, developed in Baltag and Smets (2006) for representing (static) conditional beliefs. We introduce a natural extension of the notion of update product from Baltag and Moss (2004) to plausibility models.

[1]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[2]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

[3]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

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

[5]  Alexandru Baltag,et al.  Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision , 2006, WoLLIC.

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

[7]  Hans Rott.  Conditionals and theory change: Revisions, expansions, and additions , 2004, Synthese.

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

[9]  P. Gärdenfors.  Belief Revisions and the Ramsey Test for Conditionals , 1986 .

[10]  Mehrnoosh Sadrzadeh,et al.  The Algebra of Multi-Agent Dynamic Belief Revision , 2006, LCMAS.

[11]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[12]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[13]  J. Bennett.  A Philosophical Guide to Conditionals , 2003 .

[14]  André Fuhrmann,et al.  Undercutting and the Ramsey test for conditionals , 1994, Synthese.

[15]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

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

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

[18]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[19]  Krister Segerberg,et al.  Default Logic as Dynamic Doxastic Logic , 1999 .

[20]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[21]  Krister Segerberg.  Irrevocable Belief Revision in Dynamic Doxastic Logic , 1998, Notre Dame J. Formal Log..

[22]  Pierre-Yves Schobbens,et al.  Counterfactuals and Updates as Inverse Modalities , 1996, J. Log. Lang. Inf..

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

[24]  H. V. Ditmarsch.  Prolegomena to Dynamic Logic for Belief Revision , 2005 .