马尔可夫决策过程的限界模型检测

作     者：周从华 邢支虎 刘志锋 王昌达 ZHOU Cong-Hua;XING Zhi-Hu;LIU Zhi-Feng;WANG Chang-Da

作者机构：江苏大学计算机科学与通信工程学院江苏镇江212013 

基　　金：国家自然科学基金青年基金(61300228 61003288) 中德合作交流基金(6111130184) 江苏省自然科学基金(BK2010192) 教育部博士点基金(20093227110005)资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2013年第36卷第12期

页      码：2587-2600页

摘      要：限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法.

主 题 词：模型检测 限界模型检测 概率计算树逻辑 马尔可夫决策过程 状态空间爆炸 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/sp.j.1016.2013.02587

馆 藏 号：203119681...