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

Automated reasoning of general game playing system based on state calculus

作　　者：刘一松[1] 王莉莉[1] 李倩倩[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2012年第1期328-331,共4页Computer Engineering and Design

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

摘　　要：为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(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.

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

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]