Knowledge Games and Coalitional Abilities

We present our recent work on the interaction of knowledge and coalitional abilities, on quantifying over information change, and on imperfect information games wherein the actions are public announcements or questions with informative answers. Such case studies should be seen as an implementation of the general programmatic ideas found in Johan van Benthem’s recent books Logical Dynamics of Information and Interaction and Logic in Games.

[1]  Yanjing Wang,et al.  Hidden protocols , 2011, TARK XIII.

[2]  Hans van Ditmarsch,et al.  Coalitions and announcements , 2008, AAMAS.

[3]  Thomas Ågotnes,et al.  Action and Knowledge in Alternating-Time Temporal Logic , 2006, Synthese.

[4]  Clare Dixon,et al.  Using temporal logics of knowledge for specification and verification - a case study , 2006, J. Appl. Log..

[5]  Nuel D. Belnap,et al.  Seeing To it That: A Canonical Form for Agentives , 2008 .

[6]  Felix A. Fischer,et al.  An integrated framework for adaptive reasoning about conversation patterns , 2005, AAMAS '05.

[7]  Erich Neuwirth,et al.  Some strategies for mastermind , 1982, Z. Oper. Research.

[8]  Yoav Shoham,et al.  Marginal contribution nets: a compact representation scheme for coalitional games , 2005, EC '05.

[9]  Robert Stalnaker.  On the evaluation of solution concepts , 1994 .

[10]  Yann Chevaleyre,et al.  Representing Utility Functions via Weighted Goals , 2009, Math. Log. Q..

[11]  J. Harsanyi.  Games with Incomplete Information Played by 'Bayesian' Players, Part III. The Basic Probability Distribution of the Game , 1968 .

[12]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

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

[14]  Yann Chevaleyre,et al.  Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling , 2006, KR.

[15]  Geert Jonker,et al.  On Epistemic Temporal Strategic Logic , 2005, LCMAS.

[16]  M. de Rijke,et al.  JFAK. Essays Dedicated to Johan van Benthem on the occasion of his 50th Birthday , 1999 .

[17]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[18]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[19]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[20]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[21]  Wojciech Jamroga,et al.  What agents can achieve under incomplete information , 2006, AAMAS '06.

[22]  T. Ichiishi,et al.  Game Theory and Applications , 1990 .

[23]  Hans van Ditmarsch,et al.  The Logic of Pit , 2006, Synthese.

[24]  Yanjing Wang,et al.  Reasoning About Agent Types and the Hardest Logic Puzzle Ever , 2012, Minds and Machines.

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

[26]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

[27]  Memories and Knowledge Games , 1999 .

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

[29]  Pierre-Yves Schobbens,et al.  Alternating-time logic with imperfect recall , 2004, LCMAS.

[30]  Andreas Herzig,et al.  What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability , 2007, TARK '07.

[31]  R. Aumann,et al.  Epistemic Conditions for Nash Equilibrium , 1995 .

[32]  Heinrich Wansing,et al.  Knowledge and belief in philosophy and artificial intelligence , 1995 .

[33]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[34]  H. V. Ditmarsch.  Prolegomena to Dynamic Logic for Belief Revision , 2005 .

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

[36]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[37]  Michael J. Fischer,et al.  Bounds on secret key exchange using a random deal of cards , 2004, Journal of Cryptology.

[38]  Ken Binmore,et al.  Fun and games : a text on game theory , 1992 .

[39]  Tim French,et al.  Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.

[40]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

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

[42]  Johan van Benthem,et al.  In Praise of Strategies , 2012, Games, Actions and Social Software.

[43]  H. Jaap van den Herik,et al.  Admissibility in opponent-model search , 2003, Inf. Sci..

[44]  Frederic Brenton Fitch,et al.  A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.

[45]  J. Hintikka.  Knowledge and belief , 1962 .

[46]  Cees Witteveen,et al.  Boolean games , 2001 .

[47]  Jérôme Lang,et al.  Strategic voting and the logic of knowledge , 2012, TARK.

[48]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction , 2014 .

[49]  John-Jules Ch. Meyer,et al.  Actions That Make You Change Your Mind (Extended Abstract) , 1995, KI.

[50]  Wiebe van der Hoek,et al.  Modal logic for games and information , 2007, Handbook of Modal Logic.

[51]  J. Benthem,et al.  Logics of communication and change , 2006 .

[52]  Hans van Ditmarsch,et al.  Some Game Theory of Pit , 2004, PRICAI.

[53]  Wojciech Jamroga,et al.  Constructive knowledge: what agents can achieve under imperfect information , 2007, J. Appl. Non Class. Logics.

[54]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[55]  Johan van Benthem,et al.  What one may come to know , 2004 .

[56]  Ronen I. Brafman,et al.  CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements , 2011, J. Artif. Intell. Res..

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

[58]  W. V. Quine.  Quantifiers and Propositional Attitudes , 1956 .

[59]  Andreas Herzig,et al.  A normal simulation of coalition logic and an epistemic extension , 2007, TARK '07.

[60]  Johan van Benthem,et al.  Question–answer games , 2011, J. Appl. Non Class. Logics.

[61]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[62]  Johan van Benthem,et al.  Game Solution, Epistemic Dynamics and Fixed-Point Logics , 2010, Fundam. Informaticae.

[63]  A. P. Monsuwé,et al.  Modeling Strategic Reasoning , 2012 .

[64]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

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

[66]  Koji Hasebe,et al.  Iterative information update and stability of strategies , 2011, Synthese.

[67]  Andreas Herzig,et al.  Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency , 2006, J. Log. Comput..

[68]  Philippe Balbiani,et al.  Group announcement logic , 2010, J. Appl. Log..

[69]  Hans Zantema.  De achterkant van SUDOKU , 2007 .

[70]  Stefan Wölfl.  Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency , 2004, JELIA.

[71]  Michael Wooldridge,et al.  A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications , 2008, Math. Log. Q..

[72]  D. Bergemann,et al.  Robust Mechanism Design , 2003 .

[73]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[74]  Ronen I. Brafman,et al.  Reasoning With Conditional Ceteris Paribus Preference Statements , 1999, UAI.

[75]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[76]  Jan van Leeuwen,et al.  Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .

[77]  Jürgen Dix,et al.  Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete , 2006, EUMAS.

[78]  Johan van Benthem,et al.  Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.

[79]  Johan van Benthem,et al.  Toward a Dynamic Logic of Questions , 2009, J. Philos. Log..

[80]  Andreas Herzig,et al.  Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.

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

[82]  Ronen I. Brafman,et al.  Preference‐Based Constrained Optimization with CP‐Nets , 2004, Comput. Intell..

[83]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[84]  Hans van Ditmarsch,et al.  What will they say?—Public Announcement Games , 2011, Synthese.

[85]  Wojciech Jamroga,et al.  Strategic games and truly playable effectivity functions , 2013, Autonomous Agents and Multi-Agent Systems.

[86]  Charles A. Holt.  Classroom Games Trading in a Pit Market , 1996 .

[87]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[88]  Peter Winkler,et al.  Comparing information without leaking it , 1996, CACM.

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

[90]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[91]  W. Jamroga.  Some Remarks on Alternating Temporal Epistemic Logic , 2003 .

[92]  Martin K. Purvis,et al.  Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments , 2004, PRICAI.

[93]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[94]  Hans van Ditmarsch,et al.  The Secret of My Success , 2006, Synthese.