一阶逻辑和PDDL发展的原因

Question

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

Answer 1

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

你可以提出“所有人都能想到的”这样的命题。用一级语言，不必说“爱丽丝可以思考。鲍勃可以思考。卡罗尔可以思考......”。

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

Answer 2

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