| 本文已被：浏览 4782次 下载 5585次 |
码上扫一扫！ |
|
|
| 目标间顺序关系的提取及其抽象方法 |
|
李颖1,2, 金芝3
|
|
1.中国科学院计算技术研究所,北京,100080;2.中国科学院研究生院,北京,100049;3.中国科学院数学与系统科学研究院数学研究所,北京,100080
|
|
| 摘要: |
| 规划问题是一类复杂的问题.由于规划问题中各个目标之间往往存在着实现上的顺序关系,发掘这种顺序关系并加以利用是提高规划算法效率的一种途径.由于判定目标间的顺序关系同样是PSPACE完全的,因而为利用目标间的顺序关系首先需要有效地提取目标间的顺序关系.给出了一种利用状态不变式来提取目标间顺序关系的GOWN(goal ordering with invariants)方法,并在比较目标间的顺序关系时,通过抽象和合一的手段,有效地控制了问题的增长规模,提高了处理效率. |
| 关键词: 规划 状态不变式 目标间顺序关系 抽象 合一 |
| DOI： |
| 分类号: |
| 基金项目: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(中国科学院知识创新工程) |
|
| Goal Ordering Extraction and Abstract Method |
|
LI Ying,JIN Zhi
|
| Abstract: |
| 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. |
| Key words: planning state invariants goal ordering abstract unification |
