Abstract
This paper presents a logical framework that extends the Game Description Language with coalition operators from Alternating-time Temporal Logic and prioritised strategy connectives. Our semantics is built upon the standard state transition model. The new framework allows us to formalise van Benthem’s game-oriented principles in multi-player games, and formally derive Weak Determinacy and Zermelo’s Theorem for two-player games. We demonstrate with a real-world game how to use our language to specify a game and design a strategy, and how to use our framework to verify a winning/no-losing strategy. Finally, we show that the model-checking problem of our logic is in 2EXPTIME with respect to the size of game structure and the length of formula, which is no worse than the model-checking problem in ATL ⋆ .
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Information and Computation 208(6), 677–693 (2010)
van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 157–164. ACM (2005)
Kaneko, M., Nagashima, T.: Game logic and its applications. Studia Logica 57(2/3), 325–354 (1996)
Parikh, R.: The logic of games and its applications. In: Karplnski, M., van Leeuwen, J. (eds.) Topics in the Theory of Computation Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT 1983. North-Holland Mathematics Studies, vol. 102, pp. 111–139. North-Holland (1985)
Pauly, M., Parikh, R.: Game logic-an overview. Studia Logica 75(2), 165–182 (2003)
van Benthem, J.: Reasoning about strategies. In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, pp. 336–347. Springer (2013)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
Genesereth, M., Love, N., Pell, B.: General game playing: Overview of the AAAI competition. AI Magazine 26(2), 62–72 (2005)
Mogavero, F., Murano, A., Vardi, M.Y.: Reasoning about strategies. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, pp. 133–144. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)
Ramanujam, R., Simon, S.E.: Dynamic logic on games with structured strategies. In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 49–58 (2008)
Zhang, D., Thielscher, M.: Representing and reasoning about game strategies. To Appear in J. Philosophical Logic (2014)
van Benthem, J.: In praise of strategies. In: Eijck, J.V., Verbrugge, R. (eds.) Games, Actions, and Social Software. ILLC scientific publications, Institute for Logic, Language and Computation (ILLC), University of Amsterdam (2008)
Herzig, A., Lorini, E., Walther, D.: Reasoning about actions meets strategic logics. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 162–175. Springer, Heidelberg (2013)
Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 269–278. ACM (2007)
Van den Herik, H.J., Uiterwijk, J.W., Van Rijswijck, J.: Games solved: Now and in the future. Artificial Intelligence 134(1), 277–311 (2002)
Polak, B.: Backward induction: Chess, strategies, and credible threats (2007), http://oyc.yale.edu/economics/econ-159/lecture-15
Allis, L.V., van den Herik, H.J., Huntjens, M.P.H.: Go-moku solved by new search techniques. Computational Intelligence 12, 7–23 (1996)
Allis, L., van der Meulen, M., van den Herik, H.: Proof-number search. Artificial Intelligence 66(1), 91–124 (1994)
Allis, L.V.: A knowledge-based approach of connect-four. Vrije Universiteit, Subfaculteit Wiskunde en Informatica (1988)
Allis, L.V.: Searching for solutions in games and artificial intelligence. Ph.D. thesis, University of Limburg, The Netherlands (1994)
Wágner, J., Virág, I.: Solving renju. ICGA Journal 24(1), 30–35 (2001)
Ruan, J., Van Der Hoek, W., Wooldridge, M.: Verification of games in the game description language. Journal of Logic and Computation 19(6), 1127–1156 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Jiang, G., Zhang, D., Perrussel, L. (2014). GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. In: Pham, DN., Park, SB. (eds) PRICAI 2014: Trends in Artificial Intelligence. PRICAI 2014. Lecture Notes in Computer Science(), vol 8862. Springer, Cham. https://doi.org/10.1007/978-3-319-13560-1_58
Download citation
DOI: https://doi.org/10.1007/978-3-319-13560-1_58
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13559-5
Online ISBN: 978-3-319-13560-1
eBook Packages: Computer ScienceComputer Science (R0)