正则棋盘游戏中的高效推理
人工智能
2020-06-16 v1
摘要
我们介绍正则棋盘游戏（RBG）语言中推理的技术层面——RBG 是一种面向有限确定性完美信息游戏类的通用通用博弈游戏编程（GGP）形式化方法，以正则表达式形式编码规则。RBG 作为一种研究工具，旨在帮助开发用于知识推断、分析、生成、学习和博弈的通用算法。在所有这些任务中，通用性与效率都十分重要。本文第一部分描述了 RBG 编译器所使用的优化。以每秒可能的博弈走子数为度量，这些优化带来的效率提升从 1.7 倍到甚至 33 倍不等。随后，我们与另外三种现代 GGP 系统（GDL、Ludii、Ai Ai）进行了深入的效率比较。我们还纳入了自身高度优化的游戏专用推理器，以提供最大速度的参考点。实验表明，RBG 目前是抽象通用博弈游戏语言中速度最快的，且其效率可媲美依赖手工游戏专用实现的常见基于接口的系统。最后，我们讨论了此类基准测试计算的一些问题与方法论。
引用
@article{arxiv.2006.08295,
title = {Efficient Reasoning in Regular Boardgames},
author = {Jakub Kowalski and Radosław Miernik and Maksymilian Mika and Wojciech Pawlik and Jakub Sutowicz and Marek Szykuła and Andrzej Tkaczyk},
journal= {arXiv preprint arXiv:2006.08295},
year = {2020}
}
备注
IEEE Conference on Games 2020