arXiv:2504.16209v1 类型：新 摘要：本文提供了对三种最近的层次化计划修复算法的理论和经验比较：SHOPFixer、IPyHOPPER和Rewrite。我们的理论结果表明，这三种算法对应于计划修复问题的三种不同定义，导致在算法的搜索空间、可以解决的修复问题以及可以进行的修复类型方面存在差异。理解这些区别对于为任何给定应用选择合适的修复方法至关重要。 基于理论结果，我们在一系列基准规划问题上对这些算法进行了经验评估。我们的经验结果提供了关于这些系统在规划树上的重规划、按时间回溯和跨越计划树进行回跳等算法特性基础上的修复运行时性能以及解决的修复问题覆盖率的更详细见解。