Simplified Boardgames

Jakub Kowalski,Jakub Sutowicz,Marek Szykuła

DOI: https://doi.org/10.48550/arXiv.1606.02645

2016-07-15

Abstract:We formalize Simplified Boardgames language, which describes a subclass of arbitrary board games. The language structure is based on the regular expressions, which makes the rules easily machine-processable while keeping the rules concise and fairly human-readable.

Artificial Intelligence

What problem does this paper attempt to address?

General Board Geometry

Cameron Browne,Éric Piette,Matthew Stephenson,Dennis J.N.J. Soemers

DOI: https://doi.org/10.48550/arXiv.2111.11329

IF: 14.4

2021-11-22

Artificial Intelligence

Abstract:Game boards are described in the Ludii general game system by their underlying graphs, based on tiling, shape and graph operators, with the automatic detection of important properties such as topological relationships between graph elements, directions and radial step sequences. This approach allows most conceivable game boards to be described simply and succinctly.
The Ludii Game Description Language is Universal

Dennis J. N. J. Soemers,Éric Piette,Matthew Stephenson,Cameron Browne

2024-06-13

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.

Artificial Intelligence,Computer Science and Game Theory
Concise QBF Encodings for Games on a Grid (extended version)

Irfansha Shaik,Jaco van de Pol

DOI: https://doi.org/10.48550/arXiv.2303.16949

2023-03-30

Abstract:Encoding 2-player games in QBF correctly and efficiently is challenging and error-prone. To enable concise specifications and uniform encodings of games played on grid boards, like Tic-Tac-Toe, Connect-4, Domineering, Pursuer-Evader and Breakthrough, we introduce Board-game Domain Definition Language (BDDL), inspired by the success of PDDL in the planning domain. We provide an efficient translation from BDDL into QBF, encoding the existence of a winning strategy of bounded depth. Our lifted encoding treats board positions symbolically and allows concise definitions of conditions, effects and winning configurations, relative to symbolic board positions. The size of the encoding grows linearly in the input model and the considered depth. To show the feasibility of such a generic approach, we use QBF solvers to compute the critical depths of winning strategies for instances of several known games. For several games, our work provides the first QBF encoding. Unlike plan validation in SAT-based planning, validating QBF-based winning strategies is difficult. We show how to validate winning strategies using QBF certificates and interactive game play.

Artificial Intelligence
Ludii -- The Ludemic General Game System

Éric Piette,Dennis J.N.J. Soemers,Matthew Stephenson,Chiara F. Sironi,Mark H.M. Winands,Cameron Browne

DOI: https://doi.org/10.48550/arXiv.1905.05013

2020-02-21

Abstract:While current General Game Playing (GGP) systems facilitate useful research in Artificial Intelligence (AI) for game-playing, they are often somewhat specialised and computationally inefficient. In this paper, we describe the "ludemic" general game system Ludii, which has the potential to provide an efficient tool for AI researchers as well as game designers, historians, educators and practitioners in related fields. Ludii defines games as structures of ludemes -- high-level, easily understandable game concepts -- which allows for concise and human-understandable game descriptions. We formally describe Ludii and outline its main benefits: generality, extensibility, understandability and efficiency. Experimentally, Ludii outperforms one of the most efficient Game Description Language (GDL) reasoners, based on a propositional network, in all games available in the Tiltyard GGP repository. Moreover, Ludii is also competitive in terms of performance with the more recently proposed Regular Boardgames (RBG) system, and has various advantages in qualitative aspects such as generality.

Artificial Intelligence
Efficient Reasoning in Regular Boardgames

Jakub Kowalski,Radosław Miernik,Maksymilian Mika,Wojciech Pawlik,Jakub Sutowicz,Marek Szykuła,Andrzej Tkaczyk

DOI: https://doi.org/10.48550/arXiv.2006.08295

2020-06-15

Abstract:We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with perfect information, encoding rules in the form of regular expressions. RBG serves as a research tool that aims to aid in the development of generalized algorithms for knowledge inference, analysis, generation, learning, and playing games. In all these tasks, both generality and efficiency are important. In the first part, this paper describes optimizations used by the RBG compiler. The impact of these optimizations ranges from 1.7 to even 33-fold efficiency improvement when measuring the number of possible game playouts per second. Then, we perform an in-depth efficiency comparison with three other modern GGP systems (GDL, Ludii, Ai Ai). We also include our own highly optimized game-specific reasoners to provide a point of reference of the maximum speed. Our experiments show that RBG is currently the fastest among the abstract general game playing languages, and its efficiency can be competitive to common interface-based systems that rely on handcrafted game-specific implementations. Finally, we discuss some issues and methodology of computing benchmarks like this.

Artificial Intelligence
Automatic Generation of Board Game Manuals

Matthew Stephenson,Eric Piette,Dennis J. N. J. Soemers,Cameron Browne

DOI: https://doi.org/10.48550/arXiv.2109.09507

IF: 14.4

2021-09-20

Artificial Intelligence

Abstract:In this paper we present a process for automatically generating manuals for board games within the Ludii general game system. This process requires many different sub-tasks to be addressed, such as English translation of Ludii game descriptions, move visualisation, highlighting winning moves, strategy explanation, among others. These aspects are then combined to create a full manual for any given game. This manual is intended to provide a more intuitive explanation of a game's rules and mechanics, particularly for players who are less familiar with the Ludii game description language and grammar.
A Vocabulary of Board Game Dynamics

Joshua Kritz,Geraldo Xexéo

2024-03-15

Abstract:In recent years, significant advances have been made in the field of game research. However, there has been a noticeable dearth of scholarly research focused on the domain of dynamics, despite the widespread recognition among researchers of its existence and importance. The objective of this paper is to address this research gap by presenting a vocabulary dedicated to boardgame dynamics. To achieve this goal, we employ a focus group to generate a set of dynamic concepts that are subsequently subjected to validation and refinement through a survey. The resulting concepts are then organized into a vocabulary using a taxonomic structure, allowing the grouping of these concepts into broader and more general ideas.

Software Engineering
Poset Positional Games

Guillaume Bagan,Eric Duchêne,Florian Galliot,Valentin Gledel,Mirjana Mikalački,Nacim Oijid,Aline Parreau,Miloš Stojaković

2024-04-12

Abstract:We propose a generalization of positional games, supplementing them with a restriction on the order in which the elements of the board are allowed to be claimed. We introduce poset positional games, which are positional games with an additional structure -- a poset on the elements of the board. Throughout the game play, based on this poset and the set of the board elements that are claimed up to that point, we reduce the set of available moves for the player whose turn it is -- an element of the board can only be claimed if all the smaller elements in the poset are already claimed.

Combinatorics,Discrete Mathematics,Computer Science and Game Theory
Games from Basic Data Structures

Mara Bovee,Kyle Burke,Craig Tennenhouse

DOI: https://doi.org/10.48550/arXiv.1605.06327

2016-05-20

Abstract:In this paper, we consider combinatorial game rulesets based on data structures normally covered in an undergraduate Computer Science Data Structures course: arrays, stacks, queues, priority queues, sets, linked lists, and binary trees. We describe many rulesets as well as computational and mathematical properties about them. Two of the rulesets, Tower Nim and Myopic Col, are new. We show polynomial-time solutions to Tower Nim and to Myopic Col on paths.

Data Structures and Algorithms
Modelling Simultaneous Games in Dynamic Logic

Johan van Benthem,Sujata Ghosh,Fenrong Liu

DOI: https://doi.org/10.1007/s11229-008-9390-y

IF: 1.595

2008-01-01

Synthese

Abstract:We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
Games in Dynamic‐Epistemic Logic

Johan Van Benthem

DOI: https://doi.org/10.1111/1467-8586.00133

2001-01-01

Bulletin of Economic Research

Abstract:The author discusses games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. Matching logical languages are proposed for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic‐epistemic language’– and correspondences are found between special axioms in this language and particular modes of playing games with their information dynamics. At the ‘outcome level’, the paper presents suitable notions of game equivalence, and some simple representation results.
A Logical Characterization of Extensive Games with Short Sight.

Chanjuan Liu,Fenrong Liu,Kaile Su

DOI: https://doi.org/10.1016/j.tcs.2015.10.015

IF: 1.002

2016-01-01

Theoretical Computer Science

Abstract:To characterize the structures and reason about strategies of extensivegames,much work has been done to provide the logical systems for such games. These logic systems focus on various perspectives of extensive games: (Harrenstein et al., 2003) concentrated on describing equilibrium concepts and strategic reasoning. (van Benthem, 2002) used dynamic logic to describe games as well as strategies.
Boolean Observation Games

Hans van Ditmarsch,Sunil Simon

DOI: https://doi.org/10.1613/jair.1.15248

2024-02-08

Abstract:We introduce Boolean Observation Games, a subclass of multi-player finite strategic games with incomplete information and qualitative objectives. In Boolean observation games, each player is associated with a finite set of propositional variables of which only it can observe the value, and it controls whether and to whom it can reveal that value. It does not control the given, fixed, value of variables. Boolean observation games are a generalization of Boolean games, a well-studied subclass of strategic games but with complete information, and wherein each player controls the value of its variables. In Boolean observation games, player goals describe multi-agent knowledge of variables. As in classical strategic games, players choose their strategies simultaneously and therefore observation games capture aspects of both imperfect and incomplete information. They require reasoning about sets of outcomes given sets of indistinguishable valuations of variables. An outcome relation between such sets determines what the Nash equilibria are. We present various outcome relations, including a qualitative variant of ex-post equilibrium. We identify conditions under which, given an outcome relation, Nash equilibria are guaranteed to exist. We also study the complexity of checking for the existence of Nash equilibria and of verifying if a strategy profile is a Nash equilibrium. We further study the subclass of Boolean observation games with `knowing whether' goal formulas, for which the satisfaction does not depend on the value of variables. We show that each such Boolean observation game corresponds to a Boolean game and vice versa, by a different correspondence, and that both correspondences are precise in terms of existence of Nash equilibria.

Computer Science and Game Theory,Artificial Intelligence
A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games

Chanjuan Liu,Fenrong Liu,Kaile Su

DOI: https://doi.org/10.1007/978-3-319-25524-8_29

2015-01-01

Abstract:An unrealistic assumption in classical extensive game theory is that the complete game tree is fully perceivable by all players. To weaken this assumption, a class of games (called games with short sight) was proposed in literature, modelling the game scenarios where players have only limited foresight of the game tree due to bounded resources and limited computational ability. As a consequence, the notions of equilibria in classical game theory were refined to fit games with short sight. A crucial issue that thus arises is to determine whether a strategy profile is a solution for a game. To study this issue and address the underlying idea and theory on players’ decisions in such games, we adopt a logical way. Specifically, we develop a logic through which features of these games are demonstrated. More importantly, it enables us to characterize the solutions of these games via formulas of this logic. This work not only provides an insight into a more realistic model in game theory, but also enriches the possible applications of logic.
General Board Game Playing for Education and Research in Generic AI Game Learning

Wolfgang Konen

DOI: https://doi.org/10.1109/cig.2019.8848070

2019-08-01

Abstract:We present a new general board game (GBG) playing and learning framework. GBG defines the common interfaces for board games, game states and their AI agents. It allows one to run competitions of different agents on different games. It standardizes those parts of board game playing and learning that otherwise would be tedious and repetitive parts in coding. GBG is suitable for arbitrary 1-, 2-, ...,N-player board games. It makes a generic TD(λ)-n-tuple agent for the first time available to arbitrary games. On various games, TD(λ)-n-tuple is found to be superior to other generic agents like MCTS. GBG aims at the educational perspective, where it helps students to start faster in the area of game learning. GBG aims as well at the research perspective by collecting a growing set of games and AI agents to assess their strengths and generalization capabilities in meaningful competitions. Initial successful educational and research results are reported.
From Rules to Runs:A Dynamic Epistemic Take on Imperfect Information Games

李楷,王彦晶

DOI: https://doi.org/10.3969/j.issn.1674-3202.2015.04.005

2015-01-01

Abstract: In the literature of game theory, the information sets of extensive-form games have different interpretations, which may lead to confusions and paradoxical cases. We argue that the problem lies in the mix-up of two interpretations of the extensive-form game structures: game rules or game runs which do not always coincide. In this paper, we try to separate and connect these two views by proposing a dynamic epistemic framework in which we can compute the runs step by step from the game rules plus the given assumptions of the players. We propose a modal logic to describe players’ knowledge and its change during the plays, and provide a complete axiomatization. We also show that, under certain conditions, the mix-up of the rules and the runs is not harmful due to the structural similarity of the two.
Formal Game Grammar and Equivalence

Paul Riggins,David McPherson

DOI: https://doi.org/10.48550/arXiv.2101.00992

2020-12-31

Logic in Computer Science

Abstract:We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe finite discrete games without hidden information, allowing for randomness, and mixed sequential and simultaneous play. We make minimal assumptions about the form or content of game rules or user interface. The associated game trees resemble hybrid extensive- and strategic-form games, in the game theory sense. By transforming and comparing game trees, we develop equivalence relations on the space of game systems, which equate games that give players the same meaningful agency. We bring these together to suggest a method to measure distance between games, insensitive to cosmetic variations in the game logic descriptions.
A note on simple games with two equivalence classes of players

Sascha Kurz,Dani Samaniego

DOI: https://doi.org/10.48550/arXiv.2112.00307

2021-12-01

Abstract:Many real-world voting systems consist of voters that occur in just two different types. Indeed, each voting system with a {\lq\lq}House{\rq\rq} and a {\lq\lq}Senat{\rq\rq} is of that type. Here we present structural characterizations and explicit enumeration formulas for these so-called bipartite simple games.

Combinatorics,Computer Science and Game Theory
Collaborative games: Lessons learned from board games

José P. Zagal,Jochen Rick,Idris Hsi

DOI: https://doi.org/10.1177/1046878105282279

2006-03-01

Abstract:Collaborative mechanisms are starting to become prominent in computer games, like massively multiplayer online games (MMOGs); however, by their nature, these games are difficult to investigate. Game play is often complex and the underlying mechanisms are frequently opaque. In contrast, board games are simple. Their game play is fairly constrained and their core mechanisms are transparent enough to analyze. In this article, the authors seek to understand collaborative games. Because of their simplicity, they focus on board games. The authors present an analysis of collaborative games. In particular, they focus on Reiner Knizia's LORDOFTHERINGS, considered by many to be the quintessential collaborative board game. Our analysis yields seven observations, four lessons, and three pitfalls, that game designers might consider useful for designing collaborative games. They reflect on the particular opportunities that computers have for the design of collaborative games as well as how some of the issues discussed apply to the case of computer games.

Simplified Boardgames

General Board Geometry

The Ludii Game Description Language is Universal

Concise QBF Encodings for Games on a Grid (extended version)

Ludii -- The Ludemic General Game System

Efficient Reasoning in Regular Boardgames

Automatic Generation of Board Game Manuals

A Vocabulary of Board Game Dynamics

Poset Positional Games

Games from Basic Data Structures

Modelling Simultaneous Games in Dynamic Logic

Games in Dynamic‐Epistemic Logic

A Logical Characterization of Extensive Games with Short Sight.

Boolean Observation Games

A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games

General Board Game Playing for Education and Research in Generic AI Game Learning

From Rules to Runs:A Dynamic Epistemic Take on Imperfect Information Games

Formal Game Grammar and Equivalence

A note on simple games with two equivalence classes of players

Collaborative games: Lessons learned from board games