Journal of Philosophical Logic 44 (2):203-236 (2015)
AbstractAs 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 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
Similar books and articles
Strategic Reasoning: Building Cognitive Models From Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.
Moral Reasoning "on Hold" During a Competitive Game.Michael J. Reall, Jeffrey J. Bailey & Sharon K. Stoll - 1998 - Journal of Business Ethics 17 (11):1205-1210.
Children's Strategy Use When Playing Strategic Games.Maartje E. J. Raijmakers, Dorothy J. Mandell, Sara E. Es & Marian Counihan - 2012 - Synthese (3):1-16.
Common Reasoning About Admissibility.Cristina Bicchieri & Oliver Schulte - 1996 - Erkenntnis 45 (2-3):299 - 325.
Logical-Epistemic Foundations of General Game Descriptions.Ji Ruan & Michael Thielscher - 2014 - Studia Logica 102 (2):321-338.
Children’s Application of Theory of Mind in Reasoning and Language.Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks & Irene Krämer - 2008 - Journal of Logic, Language and Information 17 (4):417-442.
Modelling Def+Easible Reasoning by Means of Adaptive Logic Games.Peter Verdée - 2012 - Logic Journal of the IGPL 20 (2):417-437.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Added to PP
Historical graph of downloads
Citations of this work
Choice Logics and Their Computational Properties.Michael Bernreiter, Jan Maly & Stefan Woltran - 2022 - Artificial Intelligence 311 (C):103755.
Epistemic GDL: A Logic for Representing and Reasoning About Imperfect Information Games.Guifei Jiang, Dongmo Zhang, Laurent Perrussel & Heng Zhang - 2021 - Artificial Intelligence 294 (C):103453.
References found in this work
Answer Set Programming and Plan Generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.
Qualitative Choice Logic.Gerhard Brewka, Salem Benferhat & Daniel Le Berre - 2004 - Artificial Intelligence 157 (1-2):203-237.
Knowledge in Action Logical Foundations for Specifying and Implementing Dynamical Systems.Ray Reiter - 2001