Abstract
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as belief, desire and intention. In particular, we investigate the possibility of extending the logics of games with the notion of agents’ intentions (in the sense of Cohen and Levesque’s BDI theory). We propose a new operator (straσ) that can be used to formalize reasoning about outcomes of strategies in game-like scenarios. We briefly discuss the relationship between intentions and goals in this new framework, and show how to capture dynamic logic-like constructs. Finally, we demonstrate how game-theoretical concepts like Nash equilibrium can be expressed to reason about rational intentions and their consequences.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. Journal of the ACM 49, 672–713 (2002)
Baltag, A.: A logic for suspicious players. Bulletin of Economic Research 54(1), 1–46 (2002)
Blum, A.L., Furst, M.L.: Fast planning through graph analysis. Artificial Intelligence 90, 281–300 (1997)
Bonanno, G.: Modal logic and game theory: Two alternative approaches. Risk Decision and Policy 7, 309–324 (2002)
Bonanno, G.: A characterization of von Neumann games in terms of memory. Synthese 139(2), 237–256 (2004)
Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press (1987)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995–1072. Elsevier Science Publishers, Amsterdam (1990)
Giunchiglia, F., Traverso, P.: Planning as model checking. In: ECP, pp. 1–20 (1999)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Harrenstein, B.P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: A modal characterization of Nash equilibrium. Fundamenta Informaticae 57(2-4), 281–321 (2003)
Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)
Pollack, M.: The uses of plans. Artificial Intelligence 57(1), 43–68 (1992)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning KR 1991, pp. 473–484 (1991)
Stalnaker, R.: Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy 12, 133–163 (1996)
van Benthem, J.: Games in dynamic epistemic logic. Bulletin of Economic Research 53(4), 219–248 (2001); Proceedings of LOFT-4
van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of AAMAS 2005 (2005)
van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese (2005)
van Otterloo, S., Jonker, G.: On Epistemic Temporal Strategic Logic. In: Proceedings of LCMAS, pp. 35–45 (2004)
van Otterloo, S., van der Hoek, W., Wooldridge, M.: Preferences in game logics. In: Proceedings of AAMAS 2004 (2004)
Wooldridge, M.: An Introduction to Multi Agent Systems. John Wiley & Sons, Chichester (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jamroga, W., van der Hoek, W., Wooldridge, M. (2005). Intentions and Strategies in Game-Like Scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds) Progress in Artificial Intelligence. EPIA 2005. Lecture Notes in Computer Science(), vol 3808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11595014_51
Download citation
DOI: https://doi.org/10.1007/11595014_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30737-2
Online ISBN: 978-3-540-31646-6
eBook Packages: Computer ScienceComputer Science (R0)