|
|||||
|
|
| 模型检测规划中的状态之间的可达关系研究 | |
| 引用本文： | 文中华,黄巍,刘任任,姜云飞.模型检测规划中的状态之间的可达关系研究[J].计算机学报,2012,35(8):1634-1643. |
| 作者姓名： | 文中华 黄巍 刘任任 姜云飞 |
| 作者单位： | 1. 湘潭大学信息工程学院 湖南湘潭 411105 2. 中国科学技术大学计算机科学与技术学院 合肥 230027 3. 中山大学软件研究所 广州 510275 |
| 基金项目： | 国家自然科学基金，智能计算与信息处理教育部重点实验室，湖南省重点学科建设项目，“智能制造”湖南省普通高等学校重点实验室资助 |
| 摘 要： | 当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率. |
| 关 键 词： | 模型检测 不确定规划 超图 邻接矩阵 可达关系 |
Research on State Reachability in Planning Based on Model Checking |
|
| WEN Zhong-Hua , HUANG Wei , LIU Ren-Ren , JIANG Yun-Fei.Research on State Reachability in Planning Based on Model Checking[J].Chinese Journal of Computers,2012,35(8):1634-1643. | |
| Authors: | WEN Zhong-Hua HUANG Wei LIU Ren-Ren JIANG Yun-Fei |
| Affiliation: | 1)(College of Information Engineering,Xiangtan University,Xiangtan,Hunan 411105) 2)(School of Computer Science & Technology,University of Science and Technology of China,Hefei 230027) 3)(Institute of Software,Sun Yat-Sen University,Guangzhou 510275) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |