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

被引：3

作者：

蒋志华 ^{[1
]}

姜云飞 ^{[2
]}

机构：

[1] 暨南大学计算机系

[2] 中山大学软件研究所

来源：

计算机科学 | 2007年 / 03期

关键词：

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

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：176 / 180

页数：5