Admissible subgoal ordering for automated planning

作者:Liang Rui Shi*; Jiang Yun Fei; Bian Rui; Wu Xiang Jun
来源:Journal of Software, 2011, 22(5): 914-928.
DOI:10.3724/SP.J.1001.2011.03778

摘要

提出了一种称为可纳子目标排序(admissible subgoal ordering,简称ASO)的排序关系,给出了可纳排序的 形式化定义并讨论其对增量式规划的重要性.随后介绍了原子依赖关系理论和原子依赖图技术,能够在多项式时间 内近似求解可纳子目标排序关系.最后给出了一种计算可纳子目标序列的算法.其所有思想已经在规划系统ASOP 申实现.通过在国际规划大赛标准测试领域问题上的实验.其结果表明,该方法能够有效地求解大规模的规划问题, 并能极大地改善规划性能.

全文