Representing and Reasoning about Game Strategies

07/21/2014
by   Dongmo Zhang, et al.
0

As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language (GDL) and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the standard methods for reasoning about actions and change. We also endow the language with a specific semantics by which strategy formulas are understood as move recommendations for a player. To illustrate how our formalism supports automated reasoning about strategies, we demonstrate two example methods of implementation: first, we formalise the semantic interpretation of our language in conjunction with game rules and strategy rules in the Situation Calculus; second, we show how the reasoning problem can be solved with Answer Set Programming.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/01/2021

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

The goal of this paper is to propose a framework for representing and re...
research
06/15/2020

Efficient Reasoning in Regular Boardgames

We present the technical side of reasoning in Regular Boardgames (RBG) l...
research
05/01/2022

The Ludii Game Description Language is Universal

There are several different game description languages (GDLs), each inte...
research
05/10/2021

Budget-Constrained Coalition Strategies with Discounting

Discounting future costs and rewards is a common practice in accounting,...
research
11/10/2020

Game Semantics: Easy as Pi

Game semantics has proven to be a robust method to give compositional se...
research
12/15/2022

Bi-invariance for Uniform Strategies on Event Structures

A recurring problem in game semantics is to enforce uniformity in strate...
research
06/28/2021

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

Automated commonsense reasoning is essential for building human-like AI ...

Please sign up or login with your details

Forgot password? Click here to reset