Abstract
Overview. There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. These models attempt to identify logical elements in our day-to-day social activities. When interactions are modeled as games, reasoning involves analysis of agents’ long-term powers for influencing outcomes. Agents devise their respective strategies on how to interact so as to ensure maximal gain. In recent years, researchers have tried to devise logics and models in which strategies are “first class citizens”, rather than unspecified means to ensure outcomes. Yet, these cover only basic models, leaving open a range of interesting issues, e.g. communication and coordination between players, especially in games of imperfect information. Game models are also relevant in the context of system design and verification. In this article we will discuss research on logic and automata-theoretic models of games and strategic reasoning in multi-agent systems. We will get acquainted with the basic tools and techniques for this emerging area, and provide pointers to the exciting questions it offers.
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
Anderson, J.: How Can the Human Mind Occur in the Physical Universe? Oxford University Press, New York (2007)
van Benthem, J., Ghosh, S., Liu, F.: Modelling simultaneous games with dynamic logic. Knowledge, Rationality and Action 165, 247–268 (2008)
Berlekamp, E., Conway, J., Guy, R.: Winning Ways for Your Mathematical Plays, 2nd edn., vol. 1. A.K. Peters (2001)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. CUP (2001)
Borgo, S.: Coalition in action logic. In: Veloso, M. (ed.) Proceedings of IJCAI 2007, pp. 1822–1827 (2007)
Bouton, C.: Nim, a game with a complete mathematical theory. The Annals of Mathematics, 2nd Ser. 3(1/4), 35–39 (1902)
Chatterjee, K., Henzinger, T., Piterman, N.: Strategy logic, pp. 59–73. Springer (2007)
Chellas, B.: Modal Logic: An Introduction. CUP (1980)
Fisher, R., Ury, W., Patton, B.: Getting to Yes: Negotiating Agreements Without Giving in. Penguin Books, Harmondsworth (1995)
Gale, D.: The game of hex and Brouwer fixed-point theorem. The American Mathematical Monthly 86, 818–827 (1979)
Gale, D., Stewart, F.: Infinite games with perfect information. In: Contributions to the Theory of Games, Volume 2. Annals of Mathematics Studies, vol. 28, pp. 245–266. Princeton University Press (1953)
Ghosh, S., Meijering, B.: On combining cognitive and formal modeling: a case study involving strategic reasoning. In: Proceedings of the workshop on Reasoning about other minds (RAOM 2011). CEUR Workshop Proceedings, vol. 751, pp. 79–92 (2011)
Ghosh, S., Meijering, B., Verbrugge, R.: Logic meets cognition: empirical reasoning in games. In: Proceedings of the 3rd International Workshop on Logics for Resource Bounded Agents (LRBA 2010), in 3rd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2010. CEUR Workshop Proceedings, vol. 627, pp. 15–34 (2010)
Ghosh, S., Ramanujam, R., Simon, S.: Playing Extensive Form Games in Parallel. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 153–170. Springer, Heidelberg (2010)
Ghosh, S., Ramanujam, R., Simon, S.: On strategy composition and game composition (2011) (manuscript)
Goldblatt, R.: Parallel action: Concurrent dynamic logic with independent modalities. Studia Logica 51, 551–578 (1992)
Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences 25(2), 144–170 (1982)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)
Hedden, T., Zhang, J.: What do you think I think you think? Strategic reasoning in matrix games. Cognition 85, 1–36 (2002)
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 Multi-Agent Systems (AAMAS 2005), pp. 157–164. ACM Inc., New York (2005)
Juvina, I., Taatgen, N.A.: Modeling control strategies in the n-back task. In: Proceedings of the 8th International Conference on Cognitive Modeling. Psychology Press, New York (2007)
Kleene, S.: Representation of events in nerve nets and finite automata. In: Automata Studies. Annals of Mathematics Studies, vol. 34, pp. 3–41. Princeton University Press (1956)
Lovett, M.C.: A strategy-based interpretation of Stroop. Cognitive Science 29(3), 493–524 (2005)
Martin, D.: Borel Determinacy. Annals of Mathematics 102, 363–371 (1975)
Meijering, B., van Maanen, L., van Rijn, H., Verbrugge, R.: The facilitative effect of context on second-order social reasoning. In: Proceedings of the 32nd Annual Meeting of the Cognitive Science Society. Cognitive Science Society (2010)
Monderer, D., Shapley, L.: Potential games. Games and Economic Behaviour 14, 124–143 (1996)
Nash, J.: Equilibrium points in n-person games. Proceedings of the National Academy of Sciences 36, 89–93 (1950)
Parikh, R.: The logic of games and its applications. Selected Papers of the International Conference on “Foundations of Computation Theory” on Topics in the Theory of Computation, pp. 111–139. Elsevier North-Holland, Inc., New York (1985)
Paul, S., Ramanujam, R.: Imitation in large games. In: Proceedings of the First International Symposium on Games, Automata, Logics and Verification (GandALF), pp. 162–172. Electronic Proceedings in Theoretical Computer Science (2010)
Paul, S., Ramanujam, R.: Dynamic Restriction of Choices: Synthesis of Societal Rules. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 28–50. Springer, Heidelberg (2011)
Paul, S., Ramanujam, R.: Neighbourhood structure in large games. In: Proceedings of the 13th Conference on the Theoretical Aspects of Rationality and Knowledge (TARK 2011), pp. 121–130 (2011)
Paul, S., Ramanujam, R., Simon, S.: Dynamic restriction of choices: A preliminary logical report. In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 218–226 (2009)
Paul, S., Ramanujam, R., Simon, S.: Stability under Strategy Switching. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds.) CiE 2009. LNCS, vol. 5635, pp. 389–398. Springer, Heidelberg (2009)
Pauly, M.: Logics for Social Software. Ph.D. thesis. University of Amsterdam (2001)
Pinchinat, S.: A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 253–267. Springer, Heidelberg (2007)
Polya, G.: How to Solve It. A New Aspect of Mathematical Method. Princeton University Press, Princeton (1945)
Raiffa, H.: The Art and Science of Negotiation. Harvard University Press, Cambridge (1982)
Raiffa, H., Richardson, J., Metcalfe, D.: Negotiation Analysis: The Science and Art of Collaborative Decision Making. Belknap Press of Harvard Univ. Press, Cambridge (2002)
Ramanujam, R., Simon, S.: Structured strategies in games on graphs. In: Logic and Automata. Text in Logic and Games, vol. 2, pp. 553–566. AUP (2007)
Ramanujam, R., Simon, S.: A Communication Based Model for Games of Imperfect Information. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 509–523. Springer, Heidelberg (2010)
Simon, S.: A logical study of strategies in games. Ph.D. thesis, The Institute of Mathematical Sciences, Chennai (August 2009)
Trapa, P., Novak, M.: Nash equilibria for an evolutionary language game. Journal of Mathematical Biology 41, 172–188 (2000)
Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Proceedings of XIth Conference (Theoretical Aspects of Rationality and Knowledge), pp. 269–278 (2007)
Zermelo, E.: Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels. In: Proceedings of the Fifth Congress of Mathematicians, pp. 501–504. CUP (1913)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ghosh, S., Ramanujam, R. (2012). Strategies in Games: A Logic-Automata Study. In: Bezhanishvili, N., Goranko, V. (eds) Lectures on Logic and Computation. ESSLLI ESSLLI 2011 2010. Lecture Notes in Computer Science, vol 7388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31485-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-31485-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31484-1
Online ISBN: 978-3-642-31485-8
eBook Packages: Computer ScienceComputer Science (R0)