这可能是一个完全幼稚的问题，但我很想知 Prop 体的原因。为什么首先开发 PDDL？为什么我们不能使用一阶逻辑进行推理？
最佳答案
解决效率
使用更具体的语言来表达您的问题可以应用更具体的算法来解决它们。
从理论上讲，FOL 是不可判定的，而 PDDL 的大多数风格仍然是可判定的，因为 PDDL 只能表达规划问题。例如具有参数化 Action 的经典规划“仅”像 EXPSPACE-complete。
当然，如果您知道的话，用更一般/更具表现力的 FOL 表达的 EXPSPACE 完全问题仍然可以在 EXPSPACE 中解决。但是想出一个通用的 FOL 求解器来保证仅使用指数空间解决 EXPSPACE 中的所有问题有多难？
建模效率
在实践方面，使用专为规划问题建模的语言来表达规划问题比用 FOL 写下来要方便得多。
难道您不喜欢编写 C++ 而不是汇编程序吗？即使您可以用 C++ 编写的所有内容都可以在汇编程序中表达。
关于artificial-intelligence - 当我们已经有了一阶逻辑时，为什么还需要 PDDL？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/7510176/