| 基于SMT的不完全信息游戏求解 |
| |
| 引用本文： | 李健,郑荣基,汤宇锋,袁立然,陈寅.基于SMT的不完全信息游戏求解[J].计算机系统应用,2020,29(1):261-265. |
| |
| 作者姓名： | 李健 郑荣基 汤宇锋 袁立然 陈寅 |
| |
| 作者单位： | 华南师范大学 计算机学院, 广州 510631;华南师范大学 计算机学院, 广州 510631;华南师范大学 计算机学院, 广州 510631;华南师范大学 计算机学院, 广州 510631;华南师范大学 计算机学院, 广州 510631 |
| |
| 摘 要： | 不完全信息博弈是人工智能领域的一个重要研究领域.本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories, SMT)的不完全信息游戏求解方法,首先通过情景演算将游戏动态过程描述成对应的约束,并将约束编写成命题逻辑公式,然后将推理问题转化为逻辑公式可满足性问题,调用SMT求解器Z3进行求解.应用表明,本文的算法能有效地推理出游戏的正确结果.
|
| 关 键 词： | 可满足性模理论 情景演算 非完全信息博弈 Z3 |
| 收稿时间： | 2019/6/14 0:00:00 |
| 修稿时间： | 2019/7/12 0:00:00 |
Solution of Incomplete Information Game Based on SMT |
| |
| LI Jian,ZHENG Rong-Ji,TANG Yu-Feng,YUAN Li-Ran and CHEN Yin.Solution of Incomplete Information Game Based on SMT[J].Computer Systems& Applications,2020,29(1):261-265. |
| |
| Authors: | LI Jian ZHENG Rong-Ji TANG Yu-Feng YUAN Li-Ran and CHEN Yin |
| |
| Affiliation: | School of Computer, South China Normal University, Guangzhou 510631, China,School of Computer, South China Normal University, Guangzhou 510631, China,School of Computer, South China Normal University, Guangzhou 510631, China,School of Computer, South China Normal University, Guangzhou 510631, China and School of Computer, South China Normal University, Guangzhou 510631, China |
| |
| Abstract: | Incomplete information game is an important research direction in the field of artificial intelligence. In this study, we introduce a solution of incomplete information game based on Satisfiability Modulo Theory (SMT). We describe the dynamic process of the game as corresponding constraints through Situation Calculus and write the constraints into propositional logic formula. Then, we convert the reasoning problem to the problem of satisfiability of logical formula and call the SMT solver. The application shows that the proposed algorithm can effectively deduce the answer of the game. |
| |
| Keywords: | Satisfiability Modulo Theory (SMT)|situation calculus|incomplete information game|Z3 |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
