这可能是一个幼稚的问题，但我真的很想知道为什么逻辑会被开发用于人工智能。 特别是，如果我们可以使用简单的原子状态表示进行编程，那么在人工智能中开发一阶逻辑和 PDDL 的必要性是什么？ 再次说明，我知道这是一个非常基础的问题！！

回答：

所以你的问题是：为什么我们要在*一阶*层面上而不是*命题*层面上进行编程/建模？ 仅仅是因为它更简洁。

你可以用一阶语言表达诸如“所有人类都会思考”这样的命题，而不必声明“爱丽丝会思考。鲍勃会思考。卡罗尔会思考。…”

如果你查看 IPC 中的一些 PDDL 规划问题，有时会有在命题层面制定的地面版本。 并且文件要大得多。 你肯定不想手动编写这些。