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

摘要：

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

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

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

在线出版日期：2007-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：176-180