自动获取派生谓词规划领域的通用规划.docxVIP

第37卷第8期计算机学报Vol.37No.8

2014年8月CHINESEJOURNALOFCOMPUTERSAug.2014

自动获取派生谓词规划领域的通用规划

蒋志华”饶东宁”姜云飞3杨天奇”

1)(暨南大学信息科学与技术学院计算机科学系广州510632)

2)(广东工业大学计算机学院广州510090)

3)(中山大学信息科学与技术学院软件研究所广州510275)

摘要通用规划(解)是针对某个领域的像算法一样的规划解，通过对其的解释可以直接得出具体问题的规划解，而不需要调用任何规划系统.但是目前通用规划的提取只能在一些简单或者特殊的领域中进行，没有推广到复杂或者一般的规划领域.该文提出在包含派生谓词的规划领域自动获取通用规划的方法.与已有获取方法不同的是：首先，基于派生谓词规则，文中方法明确指出派生谓词目标与动作效果之间的依赖关系，用以完善通用规划中动作应用的目的；其次，在提取过程中借助角色来帮助识别规划解中的循环结构.实验结果表明，