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