基于单逻辑程序的一致性规划任务有限域表示方法

• 来源期刊: 计算机应用研究
• 关键词: 一致性规划 有限域表示 数据记录搜索算法 逻辑程序 PPDDL 信念状态
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 软件技术研究
• 页码范围: 404-407
• 页数: 4页
• 分类号: TP181
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.02.020

摘要

有限域表示（FDR）能有效地压缩状态空间，其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序，而一致性规划任务的初始状态数量通常较大，所以这通常需要较大的时间和空间开销，甚至导致内存溢出。为了提高转换算法运行效率使其能处理更为复杂的规划问题，提出了一种基于单逻辑程序的IFDR转换算法。IFDR算法从初始信念状态中所有可能的初始世界状态得到一个事实集，再由动作和公理计算得到一个规则集。一个事实集和一个规则集组成一个逻辑程序，IFDR用此单逻辑程序完成实例化。实验结果表明IFDR算法在解决问题的效率和数量