Representing von Neumann–Morgenstern Games in the Situation Calculus

  title={Representing von Neumann–Morgenstern Games in the Situation Calculus},
  author={Oliver Schulte and James P. Delgrande},
  journal={Annals of Mathematics and Artificial Intelligence},
Sequential von Neumann–Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. We show that sequential VM games with countably many actions and continuous utility functions have a sound and complete axiomatization in the situation calculus. This axiomatization allows us to represent game-theoretic reasoning and solution concepts such as Nash equilibrium. We discuss the application of various… CONTINUE READING
5 Citations
26 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 26 references


  • R. S. Sutton, Barto
  • G.
  • 1998
Highly Influential
3 Excerpts

and Rubinstein

  • M. J. Osborne
  • A.
  • 1994
Highly Influential
4 Excerpts

Representations of and strategies for static information , noncooperative games with imperfect information

  • B. Bart
  • 2000
Highly Influential
3 Excerpts

Foreword for special issue on games research

  • van den Herik, Iida, H. 2001 van den Herik, H. Iida
  • Theoretical Computer Science
  • 2001

Similar Papers

Loading similar papers…