The Ludii Game Description Language is Universal
Dennis J. N. J. Soemers, \'Eric Piette, Matthew Stephenson and, Cameron Browne

TL;DR
This paper proves that the Ludii game description language is universal, capable of representing a wide range of finite, non-deterministic, and imperfect-information games, enhancing its applicability for general game playing.
Contribution
The paper extends the Ludii language's capabilities to include non-deterministic and imperfect-information games, establishing its universality.
Findings
Ludii can represent finite non-deterministic games
Ludii can represent finite imperfect-information games
Ludii's universality is formally proven
Abstract
There are several different game description languages (GDLs), each intended to allow wide ranges of arbitrary games (i.e., general games) to be described in a single higher-level language than general-purpose programming languages. Games described in such formats can subsequently be presented as challenges for automated general game playing agents, which are expected to be capable of playing any arbitrary game described in such a language without prior knowledge about the games to be played. The language used by the Ludii general game system was previously shown to be capable of representing equivalent games for any arbitrary, finite, deterministic, fully observable extensive-form game. In this paper, we prove its universality by extending this to include finite non-deterministic and imperfect-information games.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games · Digital Games and Media · Logic, programming, and type systems
