Sciweavers

Share
AMAI
2004
Springer

Representing von Neumann-Morgenstern Games in the Situation Calculus

9 years 8 months ago
Representing von Neumann-Morgenstern Games in the Situation Calculus
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 concepts from VM game theory to the theory of planning and multi-agent interactions, such as representing concurrent actions and using the Baire topology to define continuous payoff functions.
Oliver Schulte, James P. Delgrande
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2004
Where AMAI
Authors Oliver Schulte, James P. Delgrande
Comments (0)
books