Compiling Strategic Games with Complete Information into Stochastic CSPs

Koriche, Frédéric;Lagrue, Sylvain;Piette, Eric;Tabary, Sébastien
(2015) AAAI on workshop : Planning, Search, and Optimization — Location: Austin, Texas, USA (25.January.2015)

Files

aaai15.pdf
  • Open Access
  • Adobe PDF
  • 384.05 KB

Details

Authors
  • Koriche, Frédéric
    Author
  • Lagrue, Sylvain
    Author
  • Piette, EricUCLouvain
    Author
  • Tabary, Sébastien
    Author
Abstract
Among the languages used for representing goals, actions and their consequences on the world for decision making and planning, GDL (Game Description Language) has the ability to represent complex actions in potentially uncertain and competitive environments. The aim of this paper is to exploit stochastic constraint networks in order to provide compact representations of strategic games, and to identify optimal policies in those games with generic forward checking method. From this perspective, we develop a compiler allowing to translate games, described in GDL, into instances of the Stochastic Constraint Optimization Problem (SCSP). Our compiler is proved correct for the class GDL of games with complete information and oblivious environment. The interest of our approach is illustrated by solving several GDL games with a SCSP solver.
Affiliations

Citations

Koriche, F., Lagrue, S., Piette, E., & Tabary, S. (2015). Compiling Strategic Games with Complete Information into Stochastic CSPs. AAAI on workshop : Planning, Search, and Optimization, Austin, Texas, USA. https://hdl.handle.net/2078.5/253813