logic - 一阶逻辑和PDDL发展的原因

Question

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

Answer 1

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

你可以提出“所有人都能思考”这样的命题。使用一阶语言，不必说“Alice 可以思考。Bob 可以思考。Carol 可以思考……”。

如果您查看 IPC 中的一些 PDDL 规划问题，有时会在命题级别制定基本版本。而且文件要大得多。你不想手写这些。

Answer 2

我不了解 PDDL，但一阶逻辑是在计算机发明之前开发的，所以它不适用于 AI。它告诉你哪些论点是有效的。