期刊文献+

基于状态演算的通用游戏系统的自动推理 被引量:1

Automated reasoning of general game playing system based on state calculus
下载PDF
导出
摘要 为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(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)
关键词 通用游戏 状态演算 状态演算解释器 状态更新 自动推理 general game playing; state calculus; STEX; state update; automated reasoning
  • 相关文献

参考文献12

  • 1Andres Holt. General game playing system [D]. Technical University of Denmark, 2008.
  • 2Michael Genesereth, Nathaniel Love. General game playing: overview of the AAAI competition [J]. AI Magazine, 2005, 26 (2): 62-72.
  • 3Karol Waledzik, Jacek Mandziuk. CI in general game playing- to date achievements and perspectives [G]. Lecture Notes in Computer Science 6144: Artificial Intelligence and Soft Compu- ting, 2010: 667-674.
  • 4Hilmar Finnsson. CADIA-player: a general game playing agent [D]. Reykjavik University, 2007.
  • 5Stephan Schiffel, Michael Thielscher. Fluxplayer= A success- ful general game player [C]. Proceedings of the Twenty Se- cond AAAI Conference on Artificial Intelligence. Vancouver: AAAI Press, 2007: 1191-1196.
  • 6David Chan, Pierre Dufresne, Eamon Falvey. ECLipSe user manual release 5.10 [EB/OL]. 2007: 1-26.
  • 7Michael Genesereth, Nathaniel Love, Timothy Hinrich, et al. General game playing: game description language specifi- cation [R]. Stanford University, 2006.
  • 8Michael Thielscher. A general game description language for incom- plete information games [C]. Proceedings of the AAAI Conference on Artificial Intelligence. Atlanta: AAAI Press, 2010: 994-999.
  • 9Stephan Schiffel, Michael Thielscher. Automated theorem proving for general game playing [C]. Proceeding of I.ICAI' 09, 2009: 911-916.
  • 10Jean Mehat, Tristan Cazenave. Monte-carlo tree search for general game playing [R]. Universit6 Paris Dauphine, 2008.

同被引文献9

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部