Reasoning About General Games Described in GDL-II

10 years 1 months ago
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human intervention—to play such games poses a reasoning challenge for general game-playing systems that is much more intricate than in case of complete information games. Action formalisms like the Situation Calculus have been developed for precisely this purpose. In this paper we present a full embedding of the Game Description Language into the Situation Calculus (with Scherl and Levesque’s knowledge fluent). We formally prove that this provides a sound and complete reasoning method for players’ knowledge about game states as well as about the knowledge of the other players.
Stephan Schiffel, Michael Thielscher
Added 12 Dec 2011
Updated 12 Dec 2011
Type Journal
Year 2011
Where AAAI
Authors Stephan Schiffel, Michael Thielscher
Comments (0)