摘要
为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证。实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力。
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.
出处
《计算机工程与设计》
CSCD
北大核心
2012年第1期328-331,共4页
Computer Engineering and Design
基金
江苏大学高级专业人才科研启动基金项目(10JDG063)
江苏省社会发展计划基金项目(BS2001046)
江苏省高校自然科学研究计划基金项目(03KJD520075)