论文部分内容阅读
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展，大规模系统的验证成为了可能。给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
基于符号化模型检测的对弈必胜策略验证
【摘 要】
：
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展，大规模系统的验证成为了可能。
【机 构】
：
湖南文理学院计算机科学与技术系,桂林电子科技大学计算机与控制学院计算机系,中山大学信息科学与技术学院计算机科学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年17期
其他文献
从学校体育、竞技体育、民生体育、体育产业四个维度着手,重点运用文献资料法、专家访谈等方法,对我国当代体育运动走向进行分析探讨。分析认为：锻造中国特色学校体育教育是必
对网络时代图书馆的声像工作即：声像网络服务的理念、声像网络的建设、声像网络内容安排、声像网络服务的人文素质教育、声像网络服务存在的问题进行了一些探讨,并对声像网络
本文就有限区间上的有界函数Lebesgue积分的两种定义进行比较并讨论它们的等价性。
大革命时期陈独秀曾在一定程度上正确地认识到无产阶级在民主革命中的领导权问题和农民阶级在民主革命中的主力军作用，并且力图在实践中贯彻，但是，由于其指导思想的错误，使已经获
运用TRIZ理论,对某化工厂污水处理系统一级粗过滤器进行组件功能分析、矛盾分析,并使用裁剪、分离以及创新原理等工具对问题进行求解,最后给出解决方案,实现了过滤器生产率的
王维少年便有积极出世之心,又一生参就佛理,遭诸多打击后生出出世之念.后受南宗禅的影响,最终形成了"亦彼亦此、非彼非此"的"引儒入禅、以禅化儒"之思想模式,并以这种模式来