ABSTRACT
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch strategies, and a global (social) decision may remove some choices, based on the strategies being adopted by players. We propose a logical formalism in which such choices are specified, and a model of bounded memory strategies in which the eventual implications of such choices can be computed, and present preliminary results.
- {AHK02} Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman. Alternating-time temporal logic. Journal of ACM, 49(5):672--713, 2002. Google ScholarDigital Library
- {Ben01} J. van Benthem. Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4):219--248, 2001.Google ScholarCross Ref
- {Ben02} J. van Benthem. Extensive games as process models. Journal of Logic Language and Information, 11:289--313, 2002. Google ScholarDigital Library
- {Ben07} J. van Benthem. In praise of strategies. In J. van Eijck and R. Verbrugge, editors, Foundations of Social Software, Studies in Logic, pages 283--317. College Publications, 2007.Google Scholar
- {Bon02} G. Bonanno. Modal logic and game theory: Two alternative approaches. Risk Decision and Policy, 7:309--324, December 2002.Google ScholarCross Ref
- {BS99} K. Binmore and L. Samuelson. Evolutionary drift and equilibrium selection. Review of Economic Studies, 66:363--393, 1999.Google ScholarCross Ref
- {Gho08} S. Ghosh. Strategies made explicit in dynamic game logic. In Logic and the Foundations of Game and Decision Theory, 2008.Google Scholar
- {HJW05} Wiebe van der Hoek, Wojciech Jamroga, and Michael Wooldridge. A logic for strategic reasoning. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 157--164, 2005. Google ScholarDigital Library
- {HK03} Takashi Hashimoto and Yuya Kumagai. Meta-evolutionary game dynamics for mathematical modelling of rules dynamics. In Advances in Artificial Life, volume 2801 of LNCS, pages 107--117. Springer, 2003.Google Scholar
- {Hor05} Ulrich Horst. Dynamic systems of social interactions. In NSF/CEME Mathematical Economics Conference at Berkeley, 2005.Google Scholar
- {HW03} Wiebe van der Hoek and Michael Wooldridge. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75(1):125--157, 2003.Google ScholarCross Ref
- {JHW05} Wojciech Jamroga, Wiebe van der Hoek, and Michael Wooldridge. Intentions and strategies in game-like scenarios. In Multi-agent Systems: Theory and Applications, volume 3808 of Lecture Notes in Computer Science, pages 512--523, 2005. Google ScholarDigital Library
- {PRS09} S. Paul, R. Ramanujam, and S. Simon. Stability under strategy switching. In Proceedings of Computability in Europe 2009 (to appear), 2009. Google ScholarDigital Library
- {PW07} W. R. Parke and G. A. Waters. An evolutionary game theory explanation of ARCH effects. Journal of Economic Dynamic and Control, 31:2234--2262, 2007.Google ScholarCross Ref
- {PY93} H Peyton Young. The evolution of conventions. Econometrica, 61(1):57--84, 1993.Google ScholarCross Ref
- {PY00} H Peyton Young. The diffusion of innovations in social networks. Economics Working Paper Archive 437, The Johns Hopkins University, Department of Economics, May 2000.Google Scholar
- {RS08} R. Ramanujam and S. Simon. Dynamic logic on games with structured strategies. In Proceedings of the Conference on Principles of Knowledge Representation and Reasoning, pages 49--58, 2008.Google Scholar
- {SP00} Brian Skyrms and Robin Pemantle. A dynamic model of social network formation. Proceedings of the National Academy of Sciences, 97(16):9340--9346, 2000.Google ScholarCross Ref
- {VV00} Marina De Vos and Dirk Vermeir. A logic for modeling decision making with dynamic preferences. In Proceedings of the Logic in Artificial Intelligence (JELIA), volume 1919 of LNAI, pages 391--406, 2000. Google ScholarDigital Library
- {VV02} Marina De Vos and Dirk Vermeir. Dynamic decision-making in logic programming and game theory. In Australian Joint Conference on Artificial Intelligence, pages 36--47, 2002. Google ScholarDigital Library
- {Wei97} Joergen W. Weibull. Evolutionary Game Theory. MIT Press, 1997.Google Scholar
Index Terms
- Dynamic restriction of choices: a preliminary logical report
Recommendations
Dynamic restriction of choices: synthesis of societal rules
LORI'11: Proceedings of the Third international conference on Logic, rationality, and interactionWe study a game model to highlight the mutual recursiveness of individual rationality and societal rationality. These are games that change intrinsically based on the actions / strategies played by the players. There is an implicit player - the society, ...
Foreseeing meaningful choices
AIIDE'14: Proceedings of the Tenth AAAI Conference on Artificial Intelligence and Interactive Digital EntertainmentA choice positively contributes to a player's sense of agency when it leads to meaningfully different content. We shed light on what a player may consider meaningfully different by developing a formalism for interactive stories in terms of the change in ...
Comments