基于SMT的不完全信息游戏求解

摘要：

不完全信息博弈是人工智能领域的一个重要研究领域. 本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories, SMT)的不完全信息游戏求解方法, 首先通过情景演算将游戏动态过程描述成对应的约束, 并将约束编写成命题逻辑公式, 然后将推理问题转化为逻辑公式可满足性问题, 调用SMT求解器Z3进行求解. 应用表明,本文的算法能有效地推理出游戏的正确结果.

关键词：可满足性模理论、情景演算、非完全信息博弈、Z3

所属期刊栏目：29

在线出版日期：2020-03-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：261-265