基于状态演算的通用游戏系统的自动推理

摘要：

为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型.利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证.实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力.

关键词：通用游戏、状态演算、状态演算解释器、状态更新、自动推理

所属期刊栏目：33

分类号：TP181(自动化基础理论)

资助基金：江苏大学高级专业人才科研启动基金项目10JDG063;江苏省社会发展计划基金项目BS2001046;江苏省高校自然科学研究计划基金项目03KJD520075

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

页数：共4页

页码：328-331