定义PDDL域时的一些标准

Question

我最近开始使用PDDL，特别是使用PDDL和快速向下来解决问题.

但是，我在使用PDDL时遇到了一个问题。定义一个域和一个可解决的问题并不具有挑战性，最大的问题是求解者的运行时间。

定义良好的域在几秒钟内就能解决的问题在几分钟内就能解决，而定义不好的域则会在几分钟内解决。

我想问在定义PDDL域时应该考虑哪些标准。(例如:谓词较少，最少使用"forall“或”存在“等.)

我一直在互联网上寻找优化领域定义的PDDL，但没有答案。

Answer 1

这是一个很难回答的问题。一般经验规则：

• 使用最简单的形式，你可以不使用(条子是最简单的)

• 避免使用多参数

的操作

• 避免具有巨大条件或效果的动作

• 避免参数过多的谓词

除此之外，它实际上取决于解决过程中发生了什么，来诊断您可以更改什么。