• Corpus ID: 10454784

A General Game Description Language for Incomplete Information Games

  title={A General Game Description Language for Incomplete Information Games},
  author={Michael Thielscher},
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a high-level knowledge representation formalism for axiomatising the rules of any game, and a basic requirement of a General Game Player is the ability to reason logically about a given game description. In this paper, we address the fundamental limitation of existing GDL to be confined to deterministic games with complete information… 

Tables from this paper

The General Game Playing Description Language Is Universal
A positive answer to this question is provided by relating the extended Game Description Language to the universal, mathematical concept of extensive-form games, proving that indeed just any such game can be described faithfully.
Logical-Epistemic Foundations of General Game Descriptions
This paper analyses the epistemic structure and expressiveness of this language in terms of modal epistemic logic and proves that GDL is sufficiently expressive to model any situation that can be described by a multi-agent epistemic model.
The Epistemic Logic Behind the Game Description Language
This work analyses the epistemic structure and expressiveness of the game description language GDL in terms of epistemic modal logic and concludes that GDL is sufficiently expressive to model any situation that can be described by a (finite) multi-agent epistemic model.
Game Description Logic with Integers: A GDL Numerical Extension
This paper introduces the Game Description Logic with Integers (GDLZ) to describe games with numerical variables, numerical parameters, as well as to perform numerical comparisons.
Towards a Real-time Game Description Language
The extension of GDL, called rtGDL, that makes it possible to describe a large variety of games involving a real-time factor is discussed, arguing that this is a promising direction of research in the field of General Game Playing.
The Game Description Language Is Turing Complete
  • Abdallah Saffidine
  • Computer Science
    IEEE Transactions on Computational Intelligence and AI in Games
  • 2014
It is shown how to simulate a Turing machine (TM) as a single-player game described in GDL, and it is shown that well formedness as well as some other properties of a GDL description are undecidable.
The Ludii Game Description Language is Universal
The language used by the Ludii general game system is shown to be capable of representing equivalent games for any arbitrary, deterministic, fully observable extensive-form game and is proved universality by extending this to include finite non-deterministic and imperfect-information games.
Strategic and Epistemic Reasoning for the Game Description Language GDL-II
This paper provides a semantic characterisation of GDL-II descriptions in terms of ATEL models, and provides a syntactic translation into ATEL formulas, and it is proved that these two characterisations are equivalent.
Automated Theorem Proving for General Game Playing
A formal proof method for the automatic acquisition of rich game-specific invariance properties is developed, introducing a simple yet expressive property description language to address knowledge-free game properties which may involve arbitrary finite sequences of successive game states and developing a provably correct formal theory which allows to show the validity of game properties with respect to their semantic across all reachable game states.
First-Order Logic with Counting for General Game Playing
It is shown how to exploit existential quantification in players' goals to generate heuristics for evaluating positions in the game which are good enough for a basic alpha-beta agent to win against state of the art GGP.


A Multiagent Semantics for the Game Description Language
This paper shows how GDL descriptions can be interpreted as multiagent domains and, conversely, how a large class of multiagent environments can be specified in GDL.
Representations and Solutions for Game-Theoretic Problems
Automated theorem proving for general game playing
The key idea is to reduce the automated theorem proving task to a simple proof of an induction step and its base case and prove correctness of this method.
Fluxplayer: A Successful General Game Player
This article presents an approach to General Game Playing using a novel way of automatically constructing a position evaluation function from a formal game description, which is the winner of the AAAI GGP Competition 2006.
Heuristic Evaluation Functions for General Game Playing
This dissertation explores the problem of constructing an effective general game-playing program, with an emphasis on techniques for automatically constructing effective heuristic evaluation
Simulation-Based Approach to General Game Playing
This paper introduces and empirically evaluates a new scheme for automatically learning search-control knowledge for guiding the simulation playouts, showing that it offers significant benefits for a variety of games.
Towards a Theory of Declarative Knowledge
Knowledge and the Action Description Language A
This work uses sensing actions to increase an agent's knowledge of the world and non-deterministic actions to remove knowledge in Ak, an extension of the action description language A to handle actions which affect knowledge.
Strategy Generation and Evaluation for Meta-Game Playing
  • B. Pell
  • Business
    KI - Künstliche Intelligenz
  • 2010
This thesis creates a new paradigm that overcomes the limitations discovered through analysis of the existing paradigm within which work in CGP is conducted and constructs a specific research problem within the new paradigm.
General Game Playing: Game Description Language Specification
  • A . Theory and Practice of Logic
  • 2006