| 分层法求最小权值强规划解 |
| |
| 引用本文： | 伍小辉,文中华,李洋,劳佳琪.分层法求最小权值强规划解[J].计算机科学,2015,42(2):228-232. |
| |
| 作者姓名： | 伍小辉 文中华 李洋 劳佳琪 |
| |
| 作者单位： | 湘潭大学信息工程学院 湘潭411105,湖南工程学院计算机与通信学院 湘潭411104;湘潭大学智能计算与信息处理教育部重点实验室 湘潭411105,湘潭大学信息工程学院 湘潭411105,湘潭大学信息工程学院 湘潭411105 |
| |
| 基金项目： | 本文受国家自然科学基金(61272295,61105039,61202398),湘潭大学智能计算与信息处理教育部重点实验室,湖南省重点学科建设项目(0812),湖南省教育厅一般项目(12C0399)资助 |
| |
| 摘 要： | 在不确定规划领域中,以往对强规划解的研究侧重于解本身,很少考虑不确定转移系统执行动作所需的代价；而已有的研究最小权值强规划解的算法效率不高。针对这一问题,引入模型检测的强规划分层方法,设计了一种快速求解最小权值强规划解的算法。该算法首先将不确定规划问题中的状态进行强规划分层,然后利用分层信息反向搜索最小权值强规划解；且在搜索的过程中,根据算法策略,实时更新所需搜索层数的上界和下界,从而避免了大量的无用搜索,提高了搜索效率。实验表明:所设计的算法能快速求解出最小权值强规划解,求解效率比已有的直接求解最小权值强规划解的算法高；且分层数和动作数越大,优势越明显。
|
| 关 键 词： | 不确定规划 最小权值强规划解 模型检测 强规划分层方法 |
| 收稿时间： | 3/6/2014 12:00:00 AM |
| 修稿时间： | 2014/7/22 0:00:00 |
Solving Minimal Cost Strong Planning Solution by Hierarchical Algorithm |
| |
| WU Xiao-hui,WEN Zhong-hu,LI Yang and LAO Jia-qi.Solving Minimal Cost Strong Planning Solution by Hierarchical Algorithm[J].Computer Science,2015,42(2):228-232. |
| |
| Authors: | WU Xiao-hui WEN Zhong-hu LI Yang and LAO Jia-qi |
| |
| Affiliation: | College of Information Engineering,Xiangtan University,Xiangtan 411105,China,Department of Computer & Communication,Hunan Institute of Engineering,Xiangtan 411104,China;Key Laboratory of Intelligent Computing & Information Processing,Ministry of Education,Xiangtan University,Xiangtan 411105,China,College of Information Engineering,Xiangtan University,Xiangtan 411105,China and College of Information Engineering,Xiangtan University,Xiangtan 411105,China |
| |
| Abstract: | |
| |
| Keywords: | Nondeterministic planning Minimal cost strong planning solution Model-checking Strong planning hierarchical method |
|
|
点击此处可从《计算机科学》下载全文 |
|
