游戏描述语言

游戏描述语言(GDL)，是一种逻辑编程语言,由迈克尔·杰纳西雷斯设计。游戏描述语言将游戏状态描述为一系列事实，并将游戏机制描述为逻辑规则。因此，游戏描述语言是游戏理论问题的替代表示之一。

在文章中引述新科学家，Genesereth指出，虽然深蓝能够在下棋特级大师的水平，这是不能玩的跳棋在所有的，因为它是一个专门的游戏玩家。国际象棋和棋子都可以用游戏描述语言描述。这使得可以构建既可以玩这些游戏又可以玩用GDL描述的任何其他游戏的普通游戏玩家。

游戏描述语言是的变体数据记录，以及语法在很大程度上是相同的。通常以前缀表示法给出。变量以“ ?” 开头。

以下是游戏描述语言中的关键字列表，以及它们的功能的简要说明：

distinct

该谓词用于要求两个术语在语法上不同。

does

谓词does(?r,?m)意味着玩家（或角色）在当前游戏状态下?r移动?m。

goal

谓词goal(?r,?n)用于定义在当前状态下?n起作用的目标值（通常为0到100之间的自然数）?r。

init

该谓词指的是有关初始游戏状态的真实事实。

legal

谓词legal(?r,?m)意味着在当前状态下?m合法的举动?r。

next

该谓词是关于下一个游戏状态的真实事实。

role

该谓词用于添加播放器的名称。

terminal

该谓词意味着当前状态为终端。

true

该谓词指的是有关当前游戏状态的真实事实。

游戏描述语言中的游戏说明为游戏的以下每个元素提供了完整的规则。

2016年的一篇论文“描述了一种多级算法，该算法将游戏描述语言中的一般游戏描述编译为低级语言的优化推理程序”。

2017年的一篇论文使用GDL对调解双方争议的解决过程进行建模，并提出了一种算法，该算法有效地利用了可用信息。