Revision and update in multiagent belief structures ( abstract )

None of the logics existing in the literature can currently deal with all these characteristics: Baltag et col.’s approach [4, 3] offers a satisfactory handling of (1) and (3), but lacks (2) (there are only epistemic actions), and (4) (agents cannot revise beliefs). Gerbrandy et col.’s approach [6, 8, 7] and van der Hoek et col.’s approach [14] contain a satisfactory account of (2) and (3), while they lack (1) (an agent cannot have erroneous beliefs about inexecutability of actions, else his beliefs may get inconsistent), and (4) (agents cannot revise beliefs). Gärdenfors et col.’s belief revision [1, 5] is the standard approach for (4), but there are neither ontic actions nor updates, and it does not deal with higherorder beliefs. Van der Meyden [20] and Aucher [2] have a more general account of multiagent belief revision, but they do not allow for ontic actions. Katsuno and Mendelzon’s belief update [13] is the standard approach for (3), but it does not account for revision, and does not deal with higher-order beliefs. Halpern

[1]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

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

[3]  Hans van Ditmarsch,et al.  Epistemic actions and minimal models , 2002 .

[4]  Ron van der Meyden,et al.  Common Knowledge and Update in Finite Environments , 1998, Inf. Comput..

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

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

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

[8]  Ron van der Meyden,et al.  Mutual Belief Revision (Preliminary Report) , 1994, KR.

[9]  John-Jules Ch. Meyer,et al.  Tests as Epistemic Updates , 1994, ECAI.

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

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

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

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

[15]  Andreas Herzig,et al.  Action representation and partially observable planning using epistemic logic , 2003, IJCAI.

[16]  Mark Ryan,et al.  Knowledge in multiagent systems: initial configurations and broadcast , 1999, TOCL.

[17]  Shmuel Zamir,et al.  Communication among agents: a way to revise beliefs in KD45 Kripke structures★ , 2004, J. Appl. Non Class. Logics.

[18]  Hans van Ditmarsch,et al.  Descriptions of Game Actions , 2002, J. Log. Lang. Inf..

[19]  Dominique Longin,et al.  Sensing and revision in a modal logic of belief and action , 2002, ECAI.