一阶逻辑和PDDL发展的原因

Question

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

Answer 1

所以你的问题是:为什么我们要在一阶层次而不是命题层次上编程/建模？很简单，因为它更简洁。

你可以提出“所有人都能思考”这样的命题。使用一阶语言，而不必声明“爱丽丝会思考，鲍勃会思考，卡萝尔会思考……”。

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

Answer 2

我不知道PDDL，但一阶逻辑在计算机发明之前就已经开发出来了，所以它不是用于人工智能的。它会告诉你哪些参数是有效的。