Logic 一阶逻辑和PDDL发展的原因

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

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

我不知道PDDL，但一阶逻辑是在计算机发明之前发展起来的，所以它不适用于人工智能。它告诉你哪些论点是有效的。

那么你的问题是：为什么我们要在一阶层次而不是命题层次上编程/建模？只是因为它更简洁

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

---

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

那么你的问题是：为什么我们要在一阶层次而不是命题层次上编程/建模？只是因为它更简洁

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

---

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

这个问题与[同一作者]高度相关。这个问题与[同一作者]高度相关。