| 基于状态演算的通用游戏系统的自动推理 |
| |
| 引用本文： | 刘一松,王莉莉,李倩倩.基于状态演算的通用游戏系统的自动推理[J].计算机工程与设计,2012,33(1):328-331. |
| |
| 作者姓名： | 刘一松 王莉莉 李倩倩 |
| |
| 作者单位： | 江苏大学计算机科学与通信工程学院,江苏镇江,212013 |
| |
| 基金项目： | 江苏大学高级专业人才科研启动基金，江苏省社会发展计划基金，江苏省高校自然科学研究计划基金 |
| |
| 摘 要： | 为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型.利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证.实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力.
|
| 关 键 词： | 通用游戏 状态演算 状态演算解释器 状态更新 自动推理 |
Automated reasoning of general game playing system based on state calculus |
| |
| LIU Yi-song
,
WANG Li-li
,
LI Qian-qian.Automated reasoning of general game playing system based on state calculus[J].Computer Engineering and Design,2012,33(1):328-331. |
| |
| Authors: | LIU Yi-song WANG Li-li LI Qian-qian |
| |
| Affiliation: | (School of Computer Science and Telecommunication Engineering,Jiangsu University,Zhenjiang 212013,China) |
| |
| Abstract: | To increase the automated reasoning ability of general game playing system,a new automated reasoning method of general game playing system based on state calculus is proposed.Firstly,state calculus executor is used to realize the state updating and action reasoning of general games.Then the function module based on state calculus of general game playing system is presented.Finally,Prolog is used to construct the system model,by debugging the system and experiment,the validity and efficiency of the presented method is demonstrated. |
| |
| Keywords: | general game playing state calculus STEX state update automated reasoning |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
