模型检测规划中的状态之间的可达关系研究
作者机构：湘潭大学信息工程学院湖南湘潭411105 中国科学技术大学计算机科学与技术学院合肥230027 中山大学软件研究所广州510275
基 金：国家自然科学基金(61070232 61070088 61105039) 智能计算与信息处理教育部重点实验室(湘潭大学) 湖南省重点学科建设项目(0812) "智能制造"湖南省普通高等学校重点实验室资助
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：2012年第35卷第8期
页 码：1634-1643页
摘 要：当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.
学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类]
核心收录：
D O I：10.3724/sp.j.1016.2012.01634
馆 藏 号：203349995...
