Models of Strategic Reasoning

There is a growing body of literature that analyzes games in terms of the “process of deliberation” that leads the players to select their component of a rational outcome. Although the details of the various models of deliberation in games are different, they share a common line of thought: The rational outcomes of a game are arrived at through a process in which each player settles on an optimal choice given her evolving beliefs about her own choices and the choices of her opponents. The goal is to describe deliberation in terms of a sequence of belief changes about what the players are doing or what their opponents may be thinking. The central question is: What are the update mechanisms that match different game-theoretic analyses? The general conclusion is that the rational outcomes of a game depend not only on the structure of the game, but also on the players’ initial beliefs, which dynamical rule is being used by the players to update their inclinations (in general, different players may be using different rules), and what exactly is commonly known about the process of deliberation.

[1]  Wojciech Jamroga,et al.  State and path coalition effectivity models for logics of multi-player games , 2012, AAMAS.

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

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

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

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

[6]  Nils Bulling,et al.  Modelling and verifying abilities of rational agents , 2010 .

[7]  Fabio Mogavero Reasoning About Strategies , 2013, FSTTCS 2013.

[8]  Thomas Ågotnes,et al.  A Logic of Strategic Ability Under Bounded Memory , 2009, J. Log. Lang. Inf..

[9]  Brian F. Chellas Modal Logic: Normal systems of modal logic , 1980 .

[10]  G. Bonanno Modal logic and game theory: two alternative approaches , 2002 .

[11]  J. Dix,et al.  Model Checking Logics of Strategic Ability: Complexity* , 2010 .

[12]  Wojciech Jamroga,et al.  Alternating-time temporal logics with irrevocable strategies , 2007, TARK '07.

[13]  Valentin Goranko,et al.  Tableau-based decision procedures for logics of strategic ability in multiagent systems , 2008, TOCL.

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

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

[16]  Marc Pauly,et al.  Logic for social software , 2000 .

[17]  Michael Wooldridge,et al.  Preferences in game logics , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[18]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[19]  Jürgen Dix,et al.  Reasoning about temporal properties of rational play , 2008, Annals of Mathematics and Artificial Intelligence.

[20]  Mark A. Brown On the logic of ability , 1988, J. Philos. Log..

[21]  Michael Wooldridge,et al.  Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.

[22]  Jonathan A. Zvesper,et al.  Keep ‘hoping’ for rationality: a solution to the backward induction paradox , 2009, Synthese.

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

[24]  Krishnendu Chatterjee,et al.  Strategy logic , 2007, Inf. Comput..

[25]  Wojciech Jamroga,et al.  Comparing variants of strategic ability: how uncertainty and memory influence general properties of games , 2014, Autonomous Agents and Multi-Agent Systems.

[26]  W. Hoek,et al.  Epistemic logic: a survey , 2002 .

[27]  W. Jamroga,et al.  Constructive Knowledge: What Agents Can Achieve under Incomplete Information , 2005 .

[28]  Nina Gierasimczuk,et al.  Belief revision as a truth-tracking process , 2011, TARK XIII.

[29]  Eric Pacuit,et al.  Dynamic Models of Rational Deliberation in Games , 2015, Models of Strategic Reasoning.

[30]  Brian F. Chellas On bringing it about , 1995, J. Philos. Log..

[31]  Olivier Roy,et al.  Verification of voting protocols , 2005 .

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

[33]  Alexandru Baltag,et al.  Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades , 2009, TARK '09.

[34]  Sophie Pinchinat A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies , 2007, ATVA.

[35]  Jonathan A. Zvesper,et al.  Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets , 2007, ArXiv.

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

[37]  Wojciech Jamroga,et al.  ATL* With Truly Perfect Recall: Expressivity and Validities , 2014, ECAI.

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

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

[40]  R. Aumann On the Centipede Game , 1998 .

[41]  Joseph Y. Halpern,et al.  Reasoning about knowledge: a survey , 1995 .

[42]  Soumya Paul,et al.  Automata and Compositional Strategies in Extensive Form Games , 2015, Models of Strategic Reasoning.

[43]  Wojciech Jamroga,et al.  Strategic commitment and release in logics for multi-agent systems , 2008 .

[44]  R. Aumann Correlated Equilibrium as an Expression of Bayesian Rationality Author ( s ) , 1987 .

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

[46]  Sven Schewe ATL* Satisfiability Is 2EXPTIME-Complete , 2008, ICALP.

[47]  Valentin Goranko,et al.  Complete axiomatization and decidability of Alternating-time temporal logic , 2006, Theor. Comput. Sci..

[48]  Wojciech Jamroga,et al.  Verifying agents with memory is harder than it seemed , 2010, AI Commun..

[49]  Andrés Perea,et al.  Finite Reasoning Procedures for Dynamic Games , 2015, Models of Strategic Reasoning.

[50]  Johan van Benthem,et al.  Logic of Strategies: What and How? , 2015, Models of Strategic Reasoning.

[51]  Cees Witteveen,et al.  A Modal Characterization of Nash Equilibrium , 2003, Fundam. Informaticae.

[52]  Pierpaolo Battigalli,et al.  Strong Belief and Forward Induction Reasoning , 2002, J. Econ. Theory.

[53]  M. Pauly A Logical Framework for Coalitional Effectivity in Dynamic Procedures , 2001 .

[54]  Sergiu Hart,et al.  Games in extensive and strategic forms , 1992 .

[55]  Andreas Herzig,et al.  Using STIT Theory to Talk About Strategies , 2015, Models of Strategic Reasoning.

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

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

[58]  Wojciech Jamroga,et al.  Intentions and Strategies in Game-Like Scenarios , 2005, EPIA.

[59]  Geir B. Asheim,et al.  Admissibility and common belief , 2003, Games Econ. Behav..

[60]  Aniello Murano,et al.  What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic , 2012, CONCUR.

[61]  Wojciech Jamroga,et al.  Rational play and rational beliefs under uncertainty , 2009, AAMAS.

[62]  Ferucio Laurentiu Tiplea,et al.  Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable , 2011, ArXiv.

[63]  R. Aumann Backward induction and common knowledge of rationality , 1995 .

[64]  Tuomas Sandholm,et al.  Distributed rational decision making , 1999 .

[65]  H. Keiding,et al.  Effectivity functions in social choice , 1991 .

[66]  R. Parikh The logic of games and its applications , 1985 .

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

[68]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

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

[70]  Guillaume Aucher,et al.  Dynamic epistemic logic in update logic , 2016, J. Log. Comput..

[71]  Jan M. Broersen,et al.  CTL.STIT: enhancing ATL to express important multi-agent system verification properties , 2010, AAMAS.

[72]  Raluca Diaconu,et al.  MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE , 2012, Appl. Artif. Intell..

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

[74]  Wojciech Jamroga,et al.  Comparing Semantics of Logics for Multi-Agent Systems , 2004, Synthese.

[75]  Dirk Walther,et al.  On Satisfiability in ATL with Strategy Contexts , 2012, JELIA.

[76]  Constantin Enea,et al.  An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking , 2011, J. Appl. Non Class. Logics.

[77]  V. Goranko Coalition games and alternating temporal logics , 2001 .

[78]  G. van Drimmelen Satisfiability in alternating-time temporal logic , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[79]  H. Moulin,et al.  Cores of effectivity functions and implementation theory , 1982 .

[80]  R. Aumann Agreeing to disagree. , 1976, Nature cell biology.

[81]  Michael Wooldridge,et al.  ATL Satisfiability is Indeed EXPTIME-complete , 2006, J. Log. Comput..

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

[83]  Giacomo Bonanno,et al.  Reasoning About Strategies and Rational Play in Dynamic Games , 2015, Models of Strategic Reasoning.

[84]  Aniello Murano,et al.  Relentful strategic reasoning in alternating-time temporal logic , 2010, J. Log. Comput..

[85]  Nicolas Markey,et al.  ATL with Strategy Contexts and Bounded Memory , 2009, LFCS.

[86]  Jan van Eijck,et al.  Strategies in Social Software , 2015, Models of Strategic Reasoning.

[87]  J. McKenzie Alexander Local interactions and the dynamics of rational deliberation , 2009 .

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