Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games
AAMAS '19: International Conference on Autonomous Agents and Multiagent Systems Auckland New Zealand May, 2020(2020)
摘要
One of the challenging problems of impartial combinatorial games (ICGs) is to construct generalized winning strategies for possibly infinitely many states.In this paper, we investigate synthesizing generalized winning strategies for ICGs.To this end, we first propose a logical framework to formalize ICGs based on linear integer arithmetic. We then propose an approach to generating the winning strategy for ICGs.Experimental results on several games demonstrate that our approach is effective in most of these games.
更多查看译文
关键词
strategy,generalized,synthesis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要