一阶逻辑和PDDL发展的原因

Posted 2023-03-28

【中文标题】一阶逻辑和PDDL发展的原因

【英文标题】：Reason for the development of First Order Logic and PDDL

【发布时间】：2011-09-15 05:49:56

【问题描述】：

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

【问题讨论】：

这个问题与同一作者的[***.com/questions/7510176/…高度相关。

【参考方案1】：

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

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

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

【参考方案2】：

我不了解 PDDL，但一阶逻辑是在计算机发明之前开发的，因此它不适用于 AI。它会告诉您哪些参数是有效的。