Diversity of Agents and Their Interaction

Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. In this paper we provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show how these can be encoded in dynamic epistemic logics allowing for individual variation among agents. Next, we explore the interaction of diverse agents by looking at some concrete scenarios of communication and learning, and we propose a logical methodology to deal with these as well. We conclude with some further questions on the logic of diversity and interaction.

[1]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

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

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

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

[5]  Giacomo Bonanno,et al.  Belief revision in a temporal framework , 2006 .

[6]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[7]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

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

[9]  Fenrong Liu,et al.  Preference Change and Information Processing , 2006 .

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

[11]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[12]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[13]  Henrik Lagerlund,et al.  Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg , 2006 .

[14]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

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

[16]  Fenrong Liu,et al.  Dynamic Variations: Update and Revision for Diverse Agents , 2004 .

[17]  Mark Jago,et al.  Logics for resource-bounded agents , 2006 .

[18]  Guillaume Aucher.  How Our Beliefs Contribute to Interpret Actions , 2005, CEEMAS.

[19]  Johan van Benthem,et al.  Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.

[20]  Abraham Silberschatz,et al.  Operating system concepts : Windows XP update , 2003 .

[21]  Seth Bullock,et al.  Simple Heuristics That Make Us Smart , 1999 .

[22]  J. Benthem,et al.  Diversity of Logical Agents in Games , 2004 .

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

[24]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[25]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[26]  Phan Minh Dung,et al.  An Argumentation-Theoretic Foundations for Logic Programming , 1995, J. Log. Program..

[27]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

[28]  Wiebe van der Hoek,et al.  A General Approach to Multi-agent Minimal Knowledge , 2000, JELIA.

[29]  Brian Logan,et al.  Modal Logics for Communicating Rule-Based Agents , 2006, ECAI.

[30]  J. Plaza.  Logics of Public Announcements , 1989 .

[31]  Renata Wassermann.  Resource Bounded Belief Revision , 1999 .

[32]  Yanjing Wang,et al.  Dynamic epistemic verification of security protocols: framework and case study , 2007 .

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

[34]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[35]  Dov M. Gabbay,et al.  Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.

[36]  Johan van Benthem,et al.  Dynamic Update with Probabilities , 2009, Stud Logica.

[37]  Michael Zakharyaschev,et al.  A Note on Relativised Products of Modal Logics , 2002, Advances in Modal Logic.

[38]  P. Todd,et al.  Simple Heuristics That Make Us Smart , 1999 .

[39]  Lawrence S. Moss.  Exploring Logical Dynamics, Johan van Benthem , 2000, J. Log. Lang. Inf..