快进和 pddl：计算的解决方案是最好的吗？

Posted 2023-03-28

【中文标题】快进和 pddl：计算的解决方案是最好的吗？

【英文标题】：fast forward and pddl: is the computed solution the best?

【发布时间】：2013-09-22 14:45:41

【问题描述】：

我如何确定由快进计划器计算出的计划是所有可能的计划中最好的？！

是否存在解决此问题的自动工具？！

非常感谢！

【参考方案1】：

如果我没记错的话，FF 不是最优规划器，因此您无法确定生成的规划是否最优。另一方面，FF 在生成“足够好”的解决方案方面速度很快，相比之下，最优规划器（cpt4、bjolp、ecc...）提供最优计划但比满足规划器要慢得多。

您可以在此处找到这些计划者的列表：IPC2011 Planners

这是我能想到的获得最佳计划的唯一方法，除了写下完整的搜索空间并在其上使用 A*。

【参考方案2】：

正如 Demlo 已经指出的那样，FF 不保证找到最优解。如果您真的想找到最佳解决方案，了解其原因很重要：

它使用的算法（强制爬山）不提供最优性保证 它使用的启发式（FF 启发式）也不适合寻找最优解。

要“修复”两者，需要结合使用 A* 算法和可接受的启发式算法。

我建议安装著名的快速向下规划系统 (www.fast-downward.org/)，因为它支持大量不同的算法和启发式算法。如上所述，作为算法，应该选择 A*，并且作为启发式，任何可以接受的。通过这样的组合，任何找到的计划都是给定问题的最佳解决方案。

只是备注（主要针对搜索/规划专家）：A* 只有在实现树搜索而不是图搜索（即重复扩展重复项）时才能保证找到最佳解决方案。如果它实现了图搜索，启发式是不够的，它还需要是单调的（也称为一致的）。但是，根据http://www.fast-downward.org/Doc/SearchEngine，它实现了树搜索（我认为）。此外，还有一致的启发式方法。