Representing von Neumann-Morgenstern games in the situation calculus

Annals of Mathematics and Artificial Intelligence

Volumn 42, Issue 1-3, 2004, Pages 73-101

  Schulte, Oliver ^a   Delgrande, James ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

decision theory; game theory; knowledge representation; multiagent systems; reasoning about actions and change

Indexed keywords

EID: 3843144933     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AMAI.0000034523.18162.6b     Document Type: Conference Paper

References (30)

1. B. Bart, Representations of and strategies for static information, noncooperative games with imperfect information, Master's thesis, Simon Fraser University, School of Computing Science (2000).
2. B. Bart, J. Delgrande and O. Schulte, Knowledge and planning in an action-based multi-agent framework: A case study, in: Advances in Artificial Intelligence (Berlin, 2001) pp. 121-130.
3. C. Bicchieri, E. Ephrati and A. Antonelli, Games servers play: A procedural approach, in: Intelligent Agents II (Springer, Berlin, 1996) pp. 127-142.
4. G. Boolos and R. Jeffrey, Computability and Logic (Cambridge University Press, Cambridge, 1974).
5. C. Boutilier, T. Dean and S. Hanks, Decision-theoretic planning: Structural assumptions and computational leverage, Journal of Artificial Intelligence Research 11 (1999) 1-94.
6. C. Boutilier, R. Reiter, M. Soutchanski and S. Thrun, Decision-theoretic, high-level agent programming in the situation calculus, in: AAAI-2000, Seventeenth National Conference on Artificial Intelligence, Austin, TX (2000).
7. J. Duparc, O. Finkel and J.-P. Ressayre, Computer science and the fine structure of Borel sets, Theoretical Computer Science 257 (2001) 85-105.
8. O. Finkel, Topological Properties of omega context-free languages, Theoretical Computer Science 262 (2001) 669-697.
9. P. Harrenstein, W. van der Hoek, J.-J. Meyer and C. Witteveen, On modal logic interpretations of games, in: Proceedings of the 15th European Conference on Artificial Intelligence, ed. F. van Harmelen, Amsterdam (2002) pp. 28-32.
10. J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the two Notions (Cornell University Press, 1962).
11. M. Kaneko, Epistemic logics and their game theoretic applications: Introduction, Economic Theory 19(1) (2002) 7-62.
12. M. Kaneko and T. Nagashima, Game logic and its applications I, Studia Logica 57 (1996) 325-354.
13. D. Koller and A. Pfeffer, Representations and solutions for game-theoretic problems, Artificial Intelligence 94(1) (1997) 167-215.
14. H. Levesque, F. Pirri and R. Reiter, Foundations for the situation calculus, Linköping Electronic Articles in Computer and Information Science 3(18) (1998).
15. Y. Moschovakis, Descriptive Set Theory (Elsevier/North Holland, New York, 1980).
16. J.F. Nash, Non-cooperative games, Annals of Mathematics 54 (1951) 286-295.
17. M.J. Osborne and A. Rubinstein, A Course in Game Theory (MIT Press, Cambridge, MA, 1994).
18. R. Parikh, Propositional game logic, in: IEEE Symposium on Foundations of Computer Science (1983) pp. 195-200.
19. D. Poole, The Independent choice logic for modelling multiple agents under uncertainty, Artificial Intelligence 94(1-2) (1997).
20. D. Poole, Decision theory, the situation calculus, and conditional plans, Linköping Electronic Articles in Computer and Information Science 3(8) (1998).
21. H.L. Royden, Real Analysis, 3rd edn (Macmillan, New York, 1988).
22. S.J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, (Prentice Hall, Englewood Cliffs, NJ, 1994).
23. R. Selten, Spieltheoretische behandlung eines oligopolmodells mit nachfrageträgheit, Zeitschrift für die gesamte Staatswissenschaft 121 (1965) 301-324 and 667-689.
24. R.S. Sutton and A.G. Barto, Reinforcement Learning: An Introduction (MIT Press, Cambridge, MA, 1998).
25. E. Ternovskaia, Inductive definability and the situation calculus, in: Transactions and Change in Logic Databases, Lecture Notes in Computer Science, Vol. 1472 (1997).
26. E. Ternovskaia, Automata theory for reasoning about actions, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden (1999) pp. 153-158.
27. J. van Benthem, The Logic of Time, Synthese Library, Vol. 156 (D. Reidel, 1983).
28. H. van den Herik and H. Iida, Foreword for Special Issue on Games Research, Theoretical Computer Science 252(1-2) (2001) 1-3.
29. J. von Neumann and O. Morgenstern, Theory of Games and Economic Behavior (Princeton University Press, Princeton, NJ, 1944).
30. E. Zermelo, Über eine anwendung der mengenlehre auf die theorie des schachspiels, in: Proceedings of the Fifth International Congress of Mathematicians, Vol. II (Cambridge, 1913).