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

《自动获取派生谓词规划领域的通用规划》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、万方数据第37卷第8期计算机学报v01．37No．82014年8月CHINESEJOURNALOFCOMPUTERSAug．2014自动获取派生谓词规划领域的通用规划蒋志华”饶东宁2’姜云飞3’杨天奇。”(暨南大学信息科学与技术学院计算机科学系广州510632)2’(广东工业大学计算机学院广州510090)3’(中山大学信息科学与技术学院软件研究所广州510275)摘要通用规划(解)是针对某个领域的像算法一样的规划解，通过对其的解释可以直接得出具体问题的规划解，而不需要调用任何规划系统．但是目前通用规划的提取只能在一些简单或者特殊的领域中进行，没有推广到复杂或者一

2、般的规划领域．该文提出在包含派生谓词的规划领域自动获取通用规划的方法．与已有获取方法不同的是：首先，基于派生谓词规则，文中方法明确指出派生谓词目标与动作效果之间的依赖关系，用以完善通用规划中动作应用的目的；其次，在提取过程中借助角色来帮助识别规划解中的循环结构．实验结果表明，文中方法不仅容易在派生谓词规划领域中获取通用规划，而且还能够以较好的性能求解一类以派生谓词为主要目标的规划“难”题．该文是在派生谓词规划领域中提取通用规划的首创性工作．关键词人工智能；智能规划；派生谓词规划领域；通用规划解中图法分类号TPl82DOI号10．3724／SP．J．1016．201

3、4．01820AcquiringAutomaticallyGeneralizedPlansforPlanningDomainswithDerivedPredicatesJIANGZhiHua”RAODongNing”JIANGYunFei3’YANGTianQil’”(DepartmentofComputerScience，SchoolofInformationScienceandTechnology，JinanUniversity，Guangzhou510632)”(FacultyofComputer，C—uangdongUniversityofTechnolo

4、gy，Guangzhou510090)3’(So九％uareResearchInstitute，SchoolofInforrnationScienceandTechnology，SunYazSenUniversity，Guangzhou510275)AbstractAgeneralizedplanisalgorithmlikeanddomainspecific．Onemayachieveasolutionplandirectlybyexecutingit，givenaspecialplanningproblem，SOthathedoesnotneedtorelyo

5、nanygeneralpurposeunderlyingplanner．However，atpresentgeneralizedplanscanbeextractedonlyinsomeverysimpleorparticulardomains，andnoworkisinvolvedinothercomplexorgeneralones．Tobreaksuchlimitations，thispaperpresentsthemethodofacquiringautomaticallygeneralizedplansforplanningdomainswhichinc

6、ludederivedpredicates．Unlikeexistingmethods，ourmethodexplicitlyindicatesthedependencyrelationshipbetweenderivedpredicategoalsandactioneffects，basedonderivedpredicaterules．Thiswouldcomplementeffectivelyintentionsofactionapplicationsinageneralizedplan．Also，ourmethodtakesfulladvantagesof

7、rolestohelpidentify100pstructuresinplanexamples．Experimentresultsonsometestdomainsshowthatourmethodnotonlycanbeeasilyusedtoextractgeneralizedplansinplanningdomainswithderivedpredicates·butalsohasgoodperformancesinsolvingakindof“hard”planningproblemthathavederivedpredicatesasmaingoals．

8、Ourwo