| 李颖,金芝.目标间顺序关系的提取及其抽象方法.软件学报,2006,17(2):349-355 |
| 目标间顺序关系的提取及其抽象方法 |
| Goal Ordering Extraction and Abstract Method |
| 投稿时间：2004-11-23 修订日期：2005-02-03 |
| DOI： |
| 中文关键词: 规划 状态不变式 目标间顺序关系 抽象 合一 |
| 英文关键词:planning state invariants goal ordering abstract unification |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60233010, 60496324 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312004 (国家重点基础研究发展规划(973)); the Knowledge Innovation Program of the Chinese Academy of Sciences(中国科学院知识创新工程) |
|
| 摘要点击次数: 3413 |
| 全文下载次数: 2911 |
| 中文摘要: |
| 规划问题是一类复杂的问题.由于规划问题中各个目标之间往往存在着实现上的顺序关系,发掘这种顺序关系并加以利用是提高规划算法效率的一种途径.由于判定目标间的顺序关系同样是PSPACE完全的,因而为利用目标间的顺序关系首先需要有效地提取目标间的顺序关系.给出了一种利用状态不变式来提取目标间顺序关系的GOWN(goal ordering with invariants)方法,并在比较目标间的顺序关系时,通过抽象和合一的手段,有效地控制了问题的增长规模,提高了处理效率. |
| 英文摘要: |
| Planning is a class of complex problem. It is a way to improve the efficiency of planning algorithm in extracting and using goal orderings. Because deciding goal orderings is also PSPACE-complete, it is necessary to extract goal orderings efficiently when using goal orderings. The paper presents a method, called GOWN (goal ordering with invariants) and uses state invariants to extract goal orderings. During the process of ordering, abstraction and unification are utilized to control the increase of problem size that improves the efficiency of ordering. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
