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

• 作者: 李健 汤宇锋 袁立然 郑荣基 陈寅
• 来源期刊: 计算机系统应用
• 关键词: 可满足性模理论 情景演算 非完全信息博弈 Z3
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 研究开发
• 页码范围: 261-265
• 页数: 5页
• 字数: 4395字
• 语种: 中文
• DOI: 10.15888/j.cnki.csa.007232

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈寅	华南师范大学计算机学院	4	9	1.0	3.0
2	李健	华南师范大学计算机学院	3	7	1.0	2.0
3	郑荣基	华南师范大学计算机学院	1	0	0.0	0.0
4	汤宇锋	华南师范大学计算机学院	1	0	0.0	0.0
5	袁立然	华南师范大学计算机学院	1	0	0.0	0.0