Private Expansion and Revision in Multi-agent Settings

AGM belief change aims at modeling the evolution of an agent’s beliefs about its environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents’ beliefs must be taken into account. In this work, we study private expansion and revision operators in such a multi-agent setting. More precisely, we investigate the changes induced by a new piece of information made available to one agent in the set. We point out an adaptation of AGM expansion and revision postulates to this setting, and present expansion and revision operators.

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

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

[3]  Andreas Herzig,et al.  Action progression and revision in multiagent belief structures , 2004 .

[4]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[5]  Guillaume Aucher,et al.  Perspectives on belief and change , 2008 .

[6]  Hans van Ditmarsch,et al.  Prolegomena to Dynamic Logic for Belief Revision , 2005, Synthese.

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

[8]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[9]  A. Baltag,et al.  Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .

[10]  Johan van Benthem,et al.  Logic in Games , 2014 .

[11]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[12]  Robert J. Aumann,et al.  Interactive epistemology I: Knowledge , 1999, Int. J. Game Theory.

[13]  W. van der Hoek,et al.  An Introduction to Dynamic Epistemic Logic , 2004 .

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

[15]  Guillaume Aucher,et al.  Generalizing AGM to a multi-agent setting , 2010, Log. J. IGPL.

[16]  P. Kleingeld,et al.  The Stanford Encyclopedia of Philosophy , 2013 .

[17]  Guillaume Aucher.  Private announcement and belief expansion: an internal perspective , 2012, J. Log. Comput..

[18]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

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

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

[21]  M. de Rijke,et al.  Logic, language and computation, vol. 2 , 1999 .

[22]  Kazem Sadegh-Zadeh,et al.  Non-Classical Logics , 2015 .

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

[24]  R. Parikh.  Beliefs, belief revision, and splitting languages , 1999 .

[25]  Giacomo Bonanno,et al.  Epistemic Foundations of Game Theory , 2012 .

[26]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

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

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

[29]  S. Hansson,et al.  Twenty-Five Years of Research in Belief Change , 2011 .