命题编码中公理的组合与设计

作     者：江鸿 刘大有 吕帅 蔡敦波 史晶晶 JIANG Hong;LIU Da-you;LU Shuai;CAI Dun-bo;SHI Jing-jing

作者机构：吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 

基　　金：国家自然科学基金重大项目(60496321) 国家自然科学基金项目(60573073 60503016 60603030 60773099 60703022 60873149) 国家863高技术研究发展计划项目(2006AA10Z245 2006AA10A309) 吉林省科技发展计划重点项目(20060213) 欧盟项目TH/AsiaLink/010(111084)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2009年第36卷第10期

页      码：202-208页

摘      要：近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。

主 题 词：智能规划 基于可满足性的规划 Graphplan 公理 

学科分类：12[管理学] 0810[工学-土木类] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 081001[081001] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2009.10.050

馆 藏 号：203625682...