-
题名分层法求最小权值强规划解
被引量:1
- 1
-
-
作者
伍小辉
文中华
李洋
劳佳琪
-
机构
湘潭大学信息工程学院
湖南工程学院计算机与通信学院
湘潭大学智能计算与信息处理教育部重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2015年第2期228-232,共5页
-
基金
国家自然科学基金(61272295
61105039
+3 种基金
61202398)
湘潭大学智能计算与信息处理教育部重点实验室
湖南省重点学科建设项目(0812)
湖南省教育厅一般项目(12C0399)资助
-
文摘
在不确定规划领域中,以往对强规划解的研究侧重于解本身,很少考虑不确定转移系统执行动作所需的代价;而已有的研究最小权值强规划解的算法效率不高。针对这一问题,引入模型检测的强规划分层方法,设计了一种快速求解最小权值强规划解的算法。该算法首先将不确定规划问题中的状态进行强规划分层,然后利用分层信息反向搜索最小权值强规划解;且在搜索的过程中,根据算法策略,实时更新所需搜索层数的上界和下界,从而避免了大量的无用搜索,提高了搜索效率。实验表明:所设计的算法能快速求解出最小权值强规划解,求解效率比已有的直接求解最小权值强规划解的算法高;且分层数和动作数越大,优势越明显。
-
关键词
不确定规划
最小权值强规划解
模型检测
强规划分层方法
-
Keywords
Nondeterministic planning
Minimal cost strong planning solution
Model-checking
Strong planning hierarchical method
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-