目标间顺序关系的提取及其抽象方法
文献类型：期刊论文
| 作者 | 李颖1; 金芝2 |
| 刊名 | 软件学报
 |
| 出版日期 | 2006 |
| 卷号 | 17.0期号:003页码:349 |
| 关键词 | 规划 状态不变式 目标间顺序关系 抽象 合一 |
| ISSN号 | 1000-9825 |
| 英文摘要 | 规划问题是一类复杂的问题.由于规划问题中各个目标之间往往存在着实现上的顺序关系,发掘这种顺序关系并加以利用是提高规划算法效率的一种途径.由于判定目标间的顺序关系同样是PSPACE完全的,因而为利用目标间的顺序关系首先需要有效地提取目标间的顺序关系.给出了一种利用状态不变式来提取目标间顺序关系的GOWN(goalorderingwithinvariants)方法,并在比较目标间的顺序关系时,通过抽象和合一的手段,有效地控制了问题的增长规模,提高了处理效率. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/36833]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.中国科学院数学与系统科学研究院 |
| 推荐引用方式 GB/T 7714 | 李颖,金芝. 目标间顺序关系的提取及其抽象方法[J]. 软件学报,2006,17.0(003):349. |
| APA | 李颖,&金芝.(2006).目标间顺序关系的提取及其抽象方法.软件学报,17.0(003),349. |
| MLA | 李颖,et al."目标间顺序关系的提取及其抽象方法".软件学报 17.0.003(2006):349. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。