Reasoning about temporal properties of rational play

Annals of Mathematics and Artificial Intelligence

Volumn 53, Issue 1-4, 2008, Pages 51-114

  Bulling, Nils ^a   Jamroga, Wojciech ^a   Dix, Jürgen ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Game theory; Modal and temporal logic; Rationality; Reasoning about agents

Indexed keywords

EID: 67349113157     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-009-9110-4     Document Type: Article

References (51)

1. Ågotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Samet, D. (ed.) Proceedings of TARK XI, pp. 15-24 (2007)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), pp. 100-109. IEEE Computer Society Press, Silver Spring (1997)
3. R. Alur T.A. Henzinger O. Kupferman 2002 Alternating-time temporal logic J. ACM 49 672 713
4. M. Bacharach 1987 A theory of rational decision in games Erkenntnis 27 17 55
5. A. Baltag 2002 A logic for suspicious players Bull. Econ. Res. 54 1 1 46
6. G. Bonanno 1991 The logic of rational play in games of perfect information Econ. Philos. 7 37 65
7. Brihaye, T., Da Costa, A., Laroussinie, F., Markey, N.: ATL with strategy contexts and bounded memory. Technical report LSV-08-14, ENS Cachan (2008)
8. Bulling, N.: Modal logics for games, time, and beliefs. Master thesis, Clausthal University of Technology (2006)
9. Bulling, N., Jamroga, W.: Agents, beliefs and plausible behaviour in a temporal setting. Technical report IfI-06-05, Clausthal University of Technology (2006)
10. Bulling, N., Jamroga, W.: Agents, beliefs and plausible behaviour in a temporal setting. In: Proceedings of AAMAS'07, pp. 570-577 (2007)
11. Bulling, N., Jamroga, W.: A logic for reasoning about rational agents: yet another attempt. In: Czaja, L. (ed.) Proceedings of CS&P, pp. 87-99 (2007)
12. F. Chu J. Halpern 2001 On the NP-completeness of finding an optimal strategy in games with common payoffs Int. J. Game Theory 30 1 99 106 (Pubitemid 33571984)
13. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proceedings of Logics of Programs Workshop. Lecture Notes in Computer Science, vol. 131, pp. 52-71 (1981)
14. E.M. Clarke E.A. Emerson A.P. Sistla 1986 Automatic verification of finite-state concurrent systems using temporal logic specifications ACM Trans. Program. Lang. Syst. 8 2 244 263 (Pubitemid 16633197)
15. Conitzer, V., Sandholm, T.: Complexity results about Nash equilibria. Technical report CMU-CS-02-135, School of Computer Science, Carnegie-Mellon University (2002)
16. Friedman, N., Halpern, J.Y.: A knowledge-based framework for belief change, Part I: foundations. In: Proceedings of TARK, pp. 44-64 (1994)
17. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-completeness. Freeman, W.H., San Francisco (1979)
18. I. Gilboa E. Zemel 1989 Nash and correlated equilibria: some complexity considerations Games Econom. Behav. 1 80 93
19. V. Goranko W. Jamroga 2004 Comparing semantics of logics for multi-agent systems Synthese 139 2 241 280
20. B.P. Harrenstein W. van der Hoek J.-J. Meyer C. Witteveen 2003 A modal characterization of Nash equilibrium Fundam. Inform. 57 2-4 281 321
21. Harrenstein, P., van der Hoek, W., Meijer, J-J., Witteveen, C.: Subgame-perfect Nash equilibria in dynamic logic. In: Pauly, M., Baltag, A. (eds.) Proceedings of the ILLC Workshop on Logic and Games, pp. 29-30. University of Amsterdam (2002) Tech. Report PP-1999-25.
22. Herzig, A., Troquard, N.: Knowing how to play: uniform choices in logics of agency. In: Proceedings of AAMAS'06, pp. 209-216 (2006)
23. Jamroga, W.: Reducing knowledge operators in the context of model checking. Technical report IfI-07-09, Clausthal University of Technology (2007)
24. Jamroga, W., Ågotnes, T.: What agents can achieve under incomplete information. In: Proceedings of AAMAS'06, pp. 232-234. ACM, New York (2006) (Pubitemid 46609460)
25. Jamroga, W., Bulling, N.: A framework for reasoning about rational agents. In: Proceedings of AAMAS'07, pp. 592-594 (2007)
26. Jamroga, W., Bulling, N.: A logic for reasoning about rational agents. In: Sadri, F., Satoh, K. (eds.) Computational Logic in Multi-Agent Systems, 8th InternationalWorkshop, CLIMA VIII, Revised Selected and Invited Papers. Lecture Notes, Porto, Portugal, September. pp. 42-61. Springer (2007)
27. ir is indeed Δ2P-complete. In: Proceedings of EUMAS'06 (2006)
28. W. Jamroga J. Dix 2008 Model checking abilities of agents: a closer look Theory of Computing Systems 42 3 366 410
29. W. Jamroga W. van der Hoek 2004 Agents that know how to play Fundam. Inform. 63 2-3 185 219
30. Jamroga, W., van der Hoek, W., Wooldridge, M.: Intentions and strategies in game-like scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds.) Progress in Artificial Intelligence: Proceedings of EPIA 2005. Lecture Notes in Artificial Intelligence, vol. 3808, pp. 512-523. Springer, New York (2005) (Pubitemid 43829756)
31. D. Koller N. Megiddo 1992 The complexity of twoperson zero-sum games in extensive form Games Econom. Behav. 4 528 552
32. Laroussinie, F., Markey, N., Schnoebelen Ph.: Model checking CTL+ and FCTL is hard. In: Proceedings of FoSSaCS'01. Lecture Notes in Computer Science, vol. 2030, pp. 318-331. Springer, New York (2001)
33. Andreu Mas-Colell, Michael Whinston, D., Jerry Green, R.: Microeconomic Theory. Oxford (1995)
34. Y. Moses M. Tennenholz 1995 Artificial social systems Comput. Artif. Intell. 14 6 533 562 (Pubitemid 126034007)
35. Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT, Cambridge (1994)
36. Papadimitriou, C.H.: Computational Complexity. Addison Wesley, Reading (1994)
37. Tuomas Sandholm, W.: Distributed rational decision making. In: Gerhard Weiss (ed.) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pp. 201-258. MIT, Cambridge, MA, USA (1999)
38. P.Y. Schobbens 2004 Alternating-time logic with imperfect recall Electronic Notes in Theoretical Computer Science 85 2 82 93
39. Shoham, Y., Tennenholz, M.: On the synthesis of useful social laws for artificial agent societies. In: Proceedings of AAAI-92 (1992)
40. Ståhl, I.: Bargaining Theory. Stockholm School of Economics, Stockholm (1972)
41. R. Stalnaker 1994 On the evaluation of solution concepts Theory Decis. 37 1 49 73
42. R. Stalnaker 1996 Knowledge, belief and counterfactual reasoning in games Econ. Philos. 12 133 163
43. Su, K., Sattar, A., Governatori, G., Chen, Q.: A computationally grounded logic of knowledge, belief and certainty. In: Proceedings of AAMAS'05, pp. 149-156. ACM, New York (2005) (Pubitemid 43350239)
44. van Benthem, J.: Rational dynamics and epistemic logic in games. In: Vannucci, S. (ed.) Logic, Game Theory and Social Choice III, pp. 19-23 (2003)
45. van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of AAMAS'05, pp. 157-164 (2005)
46. W. van der Hoek M. Roberts M. Wooldridge 2005 Social laws in alternating time: Effectiveness, feasibility and synthesis Synthese 156 1 1 19
47. van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02), pp. 1167-1174. ACM, New York (2002)
48. van Otterloo, S., Jonker, G.: On epistemic temporal strategic logic. In: Proceedings of LCMAS'04. Electronic Notes in Theoretical Computer Science, vol. XX, pp. 35-45 (2004)
49. van Otterloo, S., Roy, O.: Verification of voting protocols. Working paper, University of Amsterdam (2005)
50. van Otterloo, S., van der Hoek, W., Wooldridge, M.: Preferences in game logics. Preliminary version, unpublished manuscript (2004)
51. van Otterloo, S., van der Hoek, W., Wooldridge, M.: Preferences in game logics. In: Proceedings of AAMAS-04, pp. 152-159 (2004)