模型检测规划中的状态之间的可达关系研究

• 作者: 刘任任 姜云飞 文中华 黄巍
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 模型检测 不确定规划 超图 邻接矩阵 可达关系
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1634-1643
• 分类号: TP18
• 字数: 12066字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2012.01634

摘要

当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	文中华	湘潭大学信息工程学院	37	143	7.0	10.0
2	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
3	姜云飞	中山大学软件研究所	84	1013	18.0	28.0
4	黄巍	中国科学技术大学计算机科学与技术学院	4	38	4.0	4.0