arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1407.5380cs.AI
收藏

博弈策略的表示与推理

Representing and Reasoning about Game Strategies

The University of New South Wales(新南威尔士大学)

Dongmo Zhang, Michael Thielsher

摘要:

为了应对构建游戏AI系统的挑战,我们开发并分析了一种用于表示和推理策略的形式语言。我们的逻辑语言建立在现有的一般游戏描述语言(GDL),并扩展了它的线性时间的标准模态以及两个双连接词来表达偏好时,结合策略。语言的语义由标准的状态转换模型提供。因此,需要对游戏进行推理的问题可以通过对动作和变化进行推理的标准方法来解决。我们还赋予语言一个特定的语义,战略公式被理解为一个球员的移动建议。为了说明我们的形式主义如何支持自动推理的战略,我们展示了两个例子的实现方法:第一,我们形式化的语义解释我们的语言结合游戏规则和战略规则的情况演算;第二,我们展示了如何推理问题可以解决答案集编程。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑