Situation calculus-based programs for representing and reasoning about game structures

A wide range of problems, from contingent and multiagent planning to process/service orchestration, can be viewed as games. In many of these, it is natural to specify the possible behaviors procedurally. In this paper, we develop a logical framework for specifying these types of problems/games based on the situation calculus and ConGolog. The framework incorporates gametheoretic path quantifiers as in ATL. We show that the framework can be used to model such problems in a natural way. We also show how verification/synthesis techniques can be used to solve problems expressed in the framework. In particular, we develop a method for dealing with infinite state settings using fixpoint approximation and “characteristic graphs”.

Authors

• Giuseppe De Giacomo University of Oxford
• Yves Lesperance York University, Toronto, ON, Canada
• Adrian Pearce

Keywords

No keywords are indexed for this paper.