Representing and Reasoning about Game Strategies
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605539189 | ||
| 003 | CHVBK | ||
| 005 | 20210128100905.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150401xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10992-014-9334-6 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10992-014-9334-6 | ||
| 245 | 0 | 0 | |a Representing and Reasoning about Game Strategies |h [Elektronische Daten] |c [Dongmo Zhang, Michael Thielscher] |
| 520 | 3 | |a 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. | |
| 540 | |a Springer Science+Business Media Dordrecht, 2014 | ||
| 690 | 7 | |a Strategic reasoning |2 nationallicence | |
| 690 | 7 | |a Reasoning about actions |2 nationallicence | |
| 690 | 7 | |a General game playing |2 nationallicence | |
| 700 | 1 | |a Zhang |D Dongmo |u The University of Western Sydney, New South Wales, Australia |4 aut | |
| 700 | 1 | |a Thielscher |D Michael |u The University of New South Wales, New South Wales, Australia |4 aut | |
| 773 | 0 | |t Journal of Philosophical Logic |d Springer Netherlands |g 44/2(2015-04-01), 203-236 |x 0022-3611 |q 44:2<203 |1 2015 |2 44 |o 10992 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10992-014-9334-6 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10992-014-9334-6 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Zhang |D Dongmo |u The University of Western Sydney, New South Wales, Australia |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Thielscher |D Michael |u The University of New South Wales, New South Wales, Australia |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Journal of Philosophical Logic |d Springer Netherlands |g 44/2(2015-04-01), 203-236 |x 0022-3611 |q 44:2<203 |1 2015 |2 44 |o 10992 | ||