arXiv 2006.082952020-06-15cs.AI

规则棋盘游戏中的高效推理

Efficient Reasoning in Regular Boardgames

Institute of Computer Science University of Wroc aw Wroc aw, Poland

Jakub Kowalski, Radosław Miernik, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Andrzej Tkaczyk

备注：: IEEE Conference on Games 2020

摘要：

我们提出了技术方面的推理规则棋盘游戏（RBG）语言-一个普遍的一般游戏（GGP）形式主义的类有限确定性游戏与完美的信息，编码规则的形式的正则表达式。RBG作为一种研究工具，旨在帮助开发用于知识推理，分析，生成，学习和玩游戏的通用算法。在所有这些任务中，通用性和效率都很重要。在第一部分中，本文介绍了RBG编译器所使用的优化。当测量每秒可能的游戏播放次数时，这些优化的影响范围从1.7到甚至33倍的效率提高。然后，我们与其他三个现代GGP系统（GDL，Ludii，Ai Ai）进行了深入的效率比较。我们还包括我们自己的高度优化的游戏特定推理机，以提供最大速度的参考点。我们的实验表明，RBG是目前最快的抽象一般的游戏语言，其效率可以竞争的共同基于接口的系统，依赖于手工制作的游戏特定的实现。最后，我们讨论了一些问题和计算基准这样的方法。

英文摘要：

We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with perfect information, encoding rules in the form of regular expressions. RBG serves as a research tool that aims to aid in the development of generalized algorithms for knowledge inference, analysis, generation, learning, and playing games. In all these tasks, both generality and efficiency are important. In the first part, this paper describes optimizations used by the RBG compiler. The impact of these optimizations ranges from 1.7 to even 33-fold efficiency improvement when measuring the number of possible game playouts per second. Then, we perform an in-depth efficiency comparison with three other modern GGP systems (GDL, Ludii, Ai Ai). We also include our own highly optimized game-specific reasoners to provide a point of reference of the maximum speed. Our experiments show that RBG is currently the fastest among the abstract general game playing languages, and its efficiency can be competitive to common interface-based systems that rely on handcrafted game-specific implementations. Finally, we discuss some issues and methodology of computing benchmarks like this.

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

摘要：

英文摘要：

相关论文