主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李颖,金芝.目标间顺序关系的提取及其抽象方法.软件学报,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(中国科学院知识创新工程)
作者单位
李颖 中国科学院计算技术研究所,北京,100080
中国科学院研究生院,北京,100049 
金芝 中国科学院数学与系统科学研究院数学研究所,北京,100080 
摘要点击次数: 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阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利