基于Conformant Fast-Forward规划系统的析取目标处理方法

• 作者: 吕帅 杨宇鹏 欧阳丹彤 蔡敦波
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: Conformant规划 析取目标 松弛规划图 SAT 2-CNF推理
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 人工智能
• 页码范围: 2120-2128
• 页数: 9页
• 分类号: TP18
• 字数: 8012字
• 语种: 中文

摘要

将规划系统Conformant Fast-Forward从单目标规划扩展到基于析取目标的不确定规划,设计并实现了新的规划系统Conformant-FF-d.Conformant-FF-d的新功能主要包括:目标状态判断、可达性分析和启发函数.提出一种利用SAT技术进行目标状态判断的高效方法;提出析取目标条件下信念状态的可达性分析方法,有效地删除无法到达目标的信念状态,进而缩小了搜索空间的规模;设计了适用于析取目标的启发函数,有效地指导搜索算法向更有希望到达目标的方向进行.在国际规划竞赛的问题域上对Conformant-FF-d和先进的规划系统POND进行测试和对比分析,实验结果表明:ConformantFF-d的求解效率高而且具有较好的可扩展性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学符号计算与知识工程教育部重点实验室	108	781	15.0	23.0
2	吕帅	吉林大学符号计算与知识工程教育部重点实验室	42	204	8.0	13.0
3	蔡敦波	吉林大学计算机科学与技术学院	6	27	2.0	5.0
4	杨宇鹏	吉林大学计算机科学与技术学院	1	2	1.0	1.0