Action progression and revision in multiagent belief structures

We present a model for progressing and revising doxastic belief states in a multiagent setting. The model is sophisticated enough to deal not only with both ontic and epistemic actions, but also to handle the case where it is not common belief that an action occurred or that an observation has been made. Our model includes a multiagent extension of AGM-style belief revision.

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

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

[3]  Robert Demolombe,et al.  Formalisation de l' ´ des croyances dans le Calcul des Situations , 2002 .

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

[5]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[6]  Wei Liu,et al.  A Framework for Multi-Agent Belief Revision , 2001, Stud Logica.

[7]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

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

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

[10]  Hector J. Levesque,et al.  Specifying Communicative Multi-Agent Systems (Invited Paper) , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

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

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

[13]  Wiebe van der Hoek,et al.  Public Announcements and Belief Expansion , 2004, Advances in Modal Logic.

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

[15]  Michael Thielscher,et al.  Knowledge of Other Agents and Communicative Actions in the Fluent Calculus , 2004, ICAPS.

[16]  Moshe Tennenholtz,et al.  Multi-Agent Belief Revision , 1996, TARK.

[17]  Yan Zhang,et al.  Reasoning about Knowledge by Variable Forgetting , 2004, KR.

[18]  Jerome David Sable,et al.  LANGUAGE AND INFORMATION STRUCTURE IN INFORMATION SYSTEMS , 1963 .

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

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