通用游戏是人工智能最具挑战性研究领域之一。近年来得到快速的发展,在军事行动、电子商务、商业流程管理等方面有巨大实用价值。通用游戏的目的在于设计一个只接收游戏的游戏规则即可以高效的进行游戏的系统。这需要多种人工智能技术,例如知识表示,自动推理,搜索和机器学习等。　　 状态演算是对流演算的改进,为行动推理中框架问题提出了一种自然有效的解决方案,具有更广泛的适用范围。本文基于状态演算,围绕行动推理和通用游戏进行研究,主要工作如下:　　 (1)提出了一种基于状态演算的通用游戏的自动推理方法。引入状态演算对通用游戏进行自动推理,获得当前状态下的可执行动作集合,根据动作的效应进行状态更新获得下一状态。　　 (2)设计并实现了基于状态演算的通用游戏原型系统STEXPlayer。通用游戏原型系统STEXPlayer以状态演算进行自动推理,用最小最大算法搜索最优动作。原型系统在功能层次上分为通信模块、信息整理模块、自动推理模块和决策支持模块。　　 (3)对STEXPlayer进行通用游戏测试,选择包括单人开关游戏、双人井字棋游戏等各2种单人双人游戏进行测试,实验结果验证了STEXPlayer能够高效的进行各种通用游戏。