-
题名模型检测规划中的状态分层方法
被引量：14
- 1
-
-
作者
文中华
黄巍
刘任任
姜云飞
-
机构
湘潭大学信息工程学院
华南理工大学计算机科学与工程学院
中山大学软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2009年第4期858-869,共12页
-
基金
国家自然科学基金Nos.60673193,60773047,60773201
湖南省重点学科建设项目No.081202
+1 种基金
湖南省教育厅科研项目No.08C874
湘潭大学校基金No.kz08009~~
-
文摘
基于模型检测的规划方法是最近发展起来的新方法,它可以处理带有不确定性的规划问题.分别设计了对求弱规划解、强规划解和强循环规划解的问题中的状态进行分层的方法.状态被分层后,求规划解只需要在从上层到其下一层状态之间寻找状态动作序偶就可以了,其他状态动作序偶都可以去掉.分别获得了求弱规划解、强规划解和强循环规划解时状态被分层后的一些重要性质,这些性质是关于一些状态动作序偶是否可以不参与构成弱规划解、强规划解和强循环规划解的结论.通过所获得的性质可以将大量的状态动作序偶直接去掉,从而减少问题规模.以往的对基于模型检测规划的研究都是采用从目标状态开始的反向搜索方法,在状态被分层以后可以采用正向搜索技术展开相应的研究.
-
关键词
模型检测
状态分层
不确定规划
正向搜索
状态动作序偶
-
Keywords
model checking
hierarchical state
planning under uncertainty
forward search
state-action pair
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名求强规划解的快速状态分层算法
- 2
-
-
作者
汪泉
文中华
伍选
-
机构
湘潭大学信息工程学院
-
出处
《计算机工程》
CAS
CSCD
2014年第2期35-38,共4页
-
基金
国家自然科学基金资助项目(61070232
61272295)
-
文摘
在求强规划解时,通过状态分层可以大幅减少问题规模,提高搜索效率,并能得到规划路径较短的强规划解。但现有分层算法本身有一定的复杂度,在状态较多时开销较大。为此,通过改进已有分层算法,设计一种适用于求强规划解的快速状态分层算法。采用链式双向图结构保存数据,在分层时修改已遍历的状态动作序偶,并根据修改结果直接进行分层判断,使得分层时只需要判断前一层状态而不是所有已分层状态,避免对非必要状态转移的搜索以及对必要状态转移的重复搜索。实验结果表明,该算法的分层速度优于已有的矩阵乘分层算法。
-
关键词
不确定规划
强规划
状态分层
智能规划
状态动作序偶
-
Keywords
nondeterministic planning
strong planning
hierarchical states
intelligent planning
state-action pair
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名正向搜索方法求强规划解
被引量：6
- 3
-
-
作者
陈建林
文中华
朱江
常青
-
机构
湘潭大学信息工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第6期52-54,130,共4页
-
基金
国家自然科学基金No.60773047
湖南省自然科学基金(No.09JJ6090)
+2 种基金
湖南省重点学科建设项目(No.081202)
湖南省教育厅科研项目(No.08C874)
湘潭大学校基金(No.KZ08009)~~
-
文摘
以规划领域中的不确定状态转移系统作为研究对象,设计了求强规划解问题中的状态分层方法,状态被分层以后,求强规划解只需要从初始状态出发,逐次向下层状态转移到目标状态就可以了,在此基础上,设计了用正向搜索方法求强规划解的算法。实验结果表明:所设计的算法比用反向搜索方法求强规划解算法的效率高。
-
关键词
正向搜索
不确定规划
状态动作序偶
强规划解
-
Keywords
forward search
planning under uncertainty
state-action pair
strong planning solution
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种求解最小权值强规划的方法
被引量：4
- 4
-
-
作者
陈建林
文中华
马丽丽
吴正成
任亚峰
-
机构
湘潭大学信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第17期167-168,171,共3页
-
基金
国家自然科学基金资助项目(61070232)
湖南省自然科学基金资助项目(09JJ6090)
+2 种基金
湖南省重点学科建设基金资助项目(081202)
湖南省教育厅科研基金资助项目(08C874)
湘潭大学校基金资助项目(KZ08009)
-
文摘
以规划领域中的不确定状态转移系统作为研究对象,给出最小权值强规划解的概念,提出一种求最小权值强规划解的方法。该方法可以求解与动作代价相关的数值规划问题,在不确定状态转移系统的执行动作上增加权值来表示动作的代价,在此基础上设计求解最小权值强规划解的算法。实验结果表明,该算法能有效求解最小权值强规划解,且比用反向搜索方法求强规划解的算法效率高。
-
关键词
不确定规划
状态动作序偶
最小权值强规划解
带权最小值的规划领域
执行结构
-
Keywords
uncertainty planning
state-action pair
minimal cost strong planning solution
planning domain with minimal cost
execution structure
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
