基于静态前提的谓词知识树分解策略.pdfVIP

第44卷第1期 计算机科学 V01．44No．1 2017年1月 COMPUTERSCIENCE Jan．2017 基于静态前提的谓词知识树分解策略 边芮1 吴向军2陈蔼祥3 (广东财经大学公共管理学院 广州510320)1(中山大学软件学院 广州5lo006)2 (广东财经大学数学与统计学院广州510320)3 摘要智能规划问题实质是一种搜索问题，通常需采用某种策略来缩小搜索空间，提高规划效率。在“以谓词为主 体”的规划求解方法中，规划树的生成效率将直接影响规划求解效率。为此，提出了基于静态前提的谓词知识树分解 策略，并给出了相应的分解算法。对任意一个规划领域，利用该分解算法可将知识树分解成若干个较小规模的知识子 树。在规划求解的过程中，利用知识子树可有效地减少搜索空间，从而快速生成规划树，提高规划效率。同时，利用知 识子树还可提取出隐含在动作描述中的领域知识。实验结果表明该分解算法是有效的。 关键词智能规划，知识树，静态前提，分解策略 中图法分类号 TPl82 文献标识码 A DOIlo．11896／j_issn1002—137X2017．01．044 Tr∞ofPredi吼teBased伽StaticPreconditiO璐 De0帅p髑iti蚰Strate科forKnowledge BIANRuilWU CHEN Xian酣un2 Ai_)【ian93 (schoolofPublic ofFinanceand Management，GuaIlgdongUniversity Economics，Guangzhou510320，China)1 (softwareSchool，SunYat—sen 510006，China)2 University，Guangzhou ofMathe啪ticsand ofFinanceand (Sc=h00l 510320，China)3 Statistics，GuangdongUniversity Econo商cs，Guangzhou AI Abstr舵t is a search some toreducethesearch planningessentiallypmblem，usuallyusing strategies space，impro— the methodof the as of tree vingplanningefficiency．Inplanning takingpredicatetarget，theefficiencyplanninggenera— tionwillaffect a for tree planningefficiency decompositionstrategyknowledge directly．Therefore，thispaperproposesd of basedonthestatic the