caa a22 4500 605539189 CHVBK 20210128100905.0 cr unu---uuuuu 210128e20150401xx s 000 0 eng 10.1007/s10992-014-9334-6 doi (NATIONALLICENCE)springer-10.1007/s10992-014-9334-6 Representing and Reasoning about Game Strategies [Elektronische Daten] [Dongmo Zhang, Michael Thielscher] 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. Springer Science+Business Media Dordrecht, 2014 Strategic reasoning nationallicence Reasoning about actions nationallicence General game playing nationallicence Zhang Dongmo The University of Western Sydney, New South Wales, Australia aut Thielscher Michael The University of New South Wales, New South Wales, Australia aut Journal of Philosophical Logic Springer Netherlands 44/2(2015-04-01), 203-236 0022-3611 44:2<203 2015 44 10992 https://doi.org/10.1007/s10992-014-9334-6 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10992-014-9334-6 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Zhang Dongmo The University of Western Sydney, New South Wales, Australia aut NATIONALLICENCE 700 1- Thielscher Michael The University of New South Wales, New South Wales, Australia aut NATIONALLICENCE 773 0- Journal of Philosophical Logic Springer Netherlands 44/2(2015-04-01), 203-236 0022-3611 44:2<203 2015 44 10992