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

Question

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

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

非常感谢！

Answer 1

如果我不记得错误，FF不是最佳策划者，因此您无法确定生成的计划是否最佳。在另一方面，FF快速生成＆＃34;足够好＆＃34;与最佳规划者（cpt4，bjolp，ecc ...）形成对比的解决方案，它们提供最佳计划，但比满足规划者要慢得多。

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

除了写下完整的搜索空间并在其上使用A *之外，这是我可以想象获得最佳计划的唯一方式。

Answer 2

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

1. 它使用的算法（强制爬山）不提供最优保证
2. 它使用的启发式（FF启发式）也不适合找到最佳解决方案。

To＆＃34; fix＆＃34;两者都需要将A *算法与可接受的启发式结合使用。

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

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