基于与状态无关的激活集的包含派生谓词的规划问题求解

计算机科学 ›› 2007, Vol. 34 ›› Issue (3): 176-180.

• 计算机网络与信息安全 • 上一篇下一篇

基于与状态无关的激活集的包含派生谓词的规划问题求解

出版日期:2018-11-16 发布日期:2018-11-16

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 派生谓词是PDDL2．2语言的新特性之一。在2004年的规划大赛IPC-4上，许多规划系统都无法求解包含派生谓词的两个标准竞赛问题。在经典规划中，派生谓词是指不受领域动作直接影响的谓词，它们在当前状态下的真值是在封闭世界假设中由某些基本谓词通过领域公理推导出来的。本文提出一种新的方法来求解包含派生谓词的规划问题，即用与状态无关的激活集来取代派生谓词用于放宽式规划中。

关键词: 智能规划派生谓词规则图激活集放宽式规划

Abstract: Derived predicate is one of two new features of PDDL2.2 language, and two domains with derived predicates in IPC-4 are very challenging to many planning system. In classical planning, derived predicates are predicates that are not effected directly by the

Key words: Intelligent planning,Derived predicate,Rule graph,Activation set,Relax-plan

. 基于与状态无关的激活集的包含派生谓词的规划问题求解[J]. 计算机科学, 2007, 34(3): 176-180. https://doi.org/