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

• 作者: 姜云飞 蒋志华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 智能规划 派生谓词 规则图 激活集 放宽式规划
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 有工智能及图像处理技术
• 页码范围: 176-180
• 页数: 5页
• 分类号: TP3
• 字数: 5122字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.03.048

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋志华	暨南大学计算机系	25	122	7.0	9.0
2	姜云飞	中山大学软件研究所	84	1013	18.0	28.0