Representing and Reasoning about Game Strategies

Speaker: Dongmo Zhang

Affiliation: University of Western Sydney

Time: Monday 28/10/2013 from 12:00 to 13:00

Venue: Access Grid UWS. Presented from Penrith (Y239), accessible from Parramatta (EB.1.32) and Campbelltown (26.1.50).

Abstract:

As a contribution to the challenge of building game-playing AI systems, we develop logical framework for representing and reasoning about strategies. The language of our formalism 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.

This is a joint work with Prof Michael Thielscher at University of New South Wales.

Biography: Dongmo Zhang is an associate professor at the University of Western Sydney. His research interests include belief revision, reasoning about action, bargaining theory, e-trading and multiagent systems.