Foreword; Wiebe van der Hoek. nLogics for Epistemic Programs; Alexandru Baltag and Lawrence Moss. nA Counterexample to Six Fundamental Principles of Belief Revision; Hans Rott.nComparing Semantics of Logics for Multi-Agent Systems; Valentin Goranko and Wojciech Jamroga. nA Characterization of Von Neumann Games In Terms of Memory; Giacomo Bonanno. nAn Evolutionary Game Theoretic Perspective on Learning in Multi-Agent Systems; Karl Tuyls, Ann Nowe, Tom Lenaerts and Bernard Manderick. nEvolution of Conversational Meaning and Conversational Principles; Robert van Rooy.nMonotonic Inference and Neural Networks; Reinhard Blutner. nA Model of Jury Decisions Where All Jurors Have the Same Evidence; Franz Dietrich and Christian List. nA SAT-Based Approach to Unbounded Mode Checking for Altnernating-Time Temporal Epistemic Logic; M. Kacprzak and W. Penczek. nUpdate Semantics for Security Protocols; Arjen Hommerson, John-Jules Meyer and Erik de Vink. nIndex.
Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency.
Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective Information, Interaction, and Agency neatly ties together classical themes like rationality, decision-making and belief revision with games, strategies and learning in a multi-agent setting.
Unified by the central notions Information, Interaction, and Agency, the essays in this volume provide refreshing methodological perspectives on belief revision, dynamic epistemic logic, von Neumann games, and evolutionary game theory; all of which in turn are central approaches to understanding our own rationality and that of other agents.
Goes across 'classical' borderlines of disciplines
Unifies logic, game theory, epistemics and studies in multi-agent systems
Combination of classical and novel approaches to information, interaction and agency