A dynamic-epistemic hybrid logic for intentions and information changes in strategic games

Synthese - Tập 171 - Trang 291-320 - 2009
O. Roy1
1Faculty of Philosophy, University of Groningen, Groningen, The Netherlands

Tóm tắt

In this paper I present a dynamic-epistemic hybrid logic for reasoning about information and intention changes in situations of strategic interaction. I provide a complete axiomatization for this logic, and then use it to study intentions-based transformations of decision problems.

Từ khóa


Tài liệu tham khảo

Alchourron C.E., Gardenfors P., Makinson D. (1985) On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2): 510–530

Areces C., ten Cate B. (2007) Hybrid logic. In: Blackburn P., Benthem J., Wolter F. (eds) Handbook of modal logic. Elsevier, Amsterdam, pp 821–868

Aumann R. (1999) Interactive epistemology I: Knowledge. International Journal of Game Theory 28: 263–300

Aumann R., Dreze J. (2008) Rational expectations in games. American Economic Review 98(1): 72–86

Baltag A., Smets S., Zvesper J. (2009) Keep ‘hoping’ for rationality: A solution to the backward induction paradox. Synthese 169(2): 301–333

Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press, Cambridge, MA

Blackburn P., van Benthem J., Wolter F. (Eds.) (2006) Handbook of modal logic. Elsevier, Amsterdam

Brandenburger A. (2007) The power of paradox: Some recent developments in interactive epistemology. International Journal of Game Theory 35: 465–492

Bratman M. (1987) Intention, plans and practical reason. Harvard University Press, London

Bratman M. (1999) Faces of intention; selected essays on intention and agency. Cambridge University Press, Cambridge

Bratman M. (2009) Intention, belief, practical, theoretical. In: Timmerman J., Skorupski J., Robertson S. (eds) Spheres of reason. Oxford University Press, Oxford

Bratman M., Israel D., Pollack M. (1988) Plans and resource-bounded practical reasoning. Computational Intelligence 4: 349–355

Cohen P., Levesque H. (1990) Intention is choice with commitment. Artificial Intelligence 42(2–3): 213–261

Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Cambridge

Gargov G., Goranko V. (1993) Modal logic with names. Journal of Philosophical Logic 22(3): 607–636

Georgeff, M., Pell, B., Pollack, M., Tambe, M., & Wooldridge, M. (1999). The belief-desire-intention model of agency. In Intelligent agents V: Agent Thories, Architectures, and Languages. 5th International Workshop, ATAL’98. Proceedings. pp. 1–10. Springer–Verlag.

Gerbrandy, J. (1999). Bisimulations on planet kripke. Ph.D. thesis, University of Amsterdam, ILLC. Dissertation Series DS-1999-01.

Girard, P. (2008). Modal logics for belief and preference change. Ph.D. thesis, Stanford University.

Gul F., Pesendorfer W. (2001) Temptation and self-control. Econometrica 69(6): 1403–1435

Hansen, J. (2009). Hybrid public announcement logic (Manuscript).

Harman G. (1976) Practical reasoning. Review of Metaphysics 29(3): 431–463

Liu, F. (2008). Changing for the better: Preference dynamics and agent diversity. Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-2008-02.

McClennen E. (1990) Rationality and dynamic choice: Foundational explorations. Cambridge University Press, New York

Osborne M., Rubinstein A. (1994) A course in game theory. MIT Press, Cambridge

Plaza, J. (1989). Logics of Public Communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems: Poster session program, Oak Ridge National Laboratory, pp. 201–216.

Rott H. (2001) Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Ford University Press, Oxford

Roy O. (2009) Intentions and interactive transformations of decision problems. Synthese 169(2): 335–349

ten Cate, B. (2002). Internalizing epistemic actions. In M. Martinez (Ed.), Proceedings of the NASSLLI 2002 student session, Stanford University, pp. 103–123.

ten Cate, B. (2005). Model theory for extended modal languages. Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01.

van Benthem J. (2007a) Dynamic logic for belief revision. Journal of Applied Non-classical Logics 17(2): 129–155

van Benthem J. (2007b) Rational dynamic and epistemic logic in games. International Game Theory Review 9(1): 13–45

van Benthem, J. (to appear). Logical dynamics of information flow. Cambridge: Cambridge University Press.

van Benthem J., Girard P., Roy O. (2008) Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic 38(1): 83–125

van Benthem J., van Otterloo S., Roy O. (2006) Preference logic, conditionals, and solution concepts in games. In: Lagerlund H., indström S., Sliwinski R. (eds) Modality matters: Twenty-five essays in honour of Krister Segerberg, Vol 53. University of Uppsala, Uppsala

van der Hoek W., Jamroga W., Wooldrige M. (2007) Towards a theory of intention revision. Synthese 155(2): 265–290

van Ditmarsch, H., van de Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic, Vol. 337 of Synthese Library Series. Springer.

van Hees M, Roy O. (2008) Intentions and plans in decision and game theory. In: Verbeek B. (eds) Reasons and intentions, Aldershot. England, Ashgate Publishers, pp 207–226

Velleman J. (1997) How to share an intention. Philosophy and Phenomenological Research 57(1): 29–50

von Neumann J., Morgenstern O. (1994) A theory of games and economic behaviour. Princeton University Press, Princeton, NJ

Wooldridge M. (2000) Reasoning about rational agents. MIT Press, Cambirdge