-
题名不确定规划中可达关系的快速求解算法
被引量：1
- 1
-
-
作者
龙凤
文中华
唐杰
王进宗
-
机构
湘潭大学信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第1期196-199,217,共5页
-
基金
国家自然科学基金资助项目(61070232
61272295)
-
文摘
在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定规划中状态之间可达关系的算法,将确定动作和不确定动作区分处理,先求解所有确定动作的可达关系,再采用链表和队列求解不确定动作的可达关系。实验结果表明,与矩阵乘法相比,该算法能得到更全面的可达关系,且求解效率更高。
-
关键词
不确定规划
可达关系
智能规划
模型检测
不确定性
不确定状态转移系统
-
Keywords
uncertain planning
reachability relation
intelligent planning
model checking
uncertainty
uncertain state-transition system
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
