这可能是一个非常幼稚的问题，但我很想知道具体的原因。PDDL 最初是如何被开发出来的？为什么我们不能使用一阶逻辑进行推理？

回答：

求解效率

使用更具体的语言来表达你的问题，使得应用更具体的算法来解决这些问题成为可能。

从理论角度来看，FOL 是不可判定的，而大多数 PDDL 变体仍然是可判定的，因为 PDDL 只能表达规划问题。例如，具有参数化动作的经典规划“仅仅”是 EXPSPACE-完全的。

当然，用更通用/表达能力更强的 FOL 表达的 EXPSPACE-完全问题仍然可以在 EXPSPACE 中解决，如果你知道它的话。但是，想出一个通用的 FOL 求解器，保证仅使用指数空间来解决所有 EXPSPACE 中的问题，这有多难呢？

建模效率

在实践方面，使用一种专门为建模规划问题而设计的语言来表达一个规划问题，比用 FOL 写下来要方便得多。

你难道不更喜欢写 C++ 而不是汇编吗？即使你在 C++ 中可以写的任何东西都可以用汇编来表达。