%0 Journal Article
%T Goal Ordering Extraction and Abstract Method<br>目标间顺序关系的提取及其抽象方法
%A LI Ying
%A JIN Zhi
%A <br>李颖
%A 金芝
%J 软件学报
%D 2006
%I 
%X 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.
%K planning
%K state invariants
%K goal ordering
%K abstract
%K unification<br>规划
%K 状态不变式
%K 目标间顺序关系
%K 抽象
%K 合一
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4ADA30D08254FE5FFDC17A1030E47174&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=0B39A22176CE99FB&sid=31125890FF093250&eid=26AEEED215BE97D0&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=21