Comparing Variants of Strategic Ability

We show that different semantics of ability in ATL give rise to different validity sets. As a consequence, different notions of ability induce different strategic logics and different general properties of games. Moreover, the study can be seen as the first systematic step towards satisfiability-checking algorithms for ATL with imperfect information.

[1]  Nicolas Markey,et al.  On the Expressiveness and Complexity of ATL , 2007, FoSSaCS.

[2]  Michael Wooldridge,et al.  On the complexity of practical ATL model checking , 2006, AAMAS '06.

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

[4]  Hector J. Levesque,et al.  Towards a logical theory of coordination and joint ability , 2007, AAMAS '07.

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

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

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

[8]  Jürgen Dix,et al.  Model Checking Abilities of Agents: A Closer Look , 2008, Theory of Computing Systems.

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

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

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

[12]  Pierre-Yves Schobbens,et al.  Approximating ATL* in ATL , 2002, VMCAI.

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

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

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

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

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