開發一階邏輯和PDDL的原因

Question

這可能是一個天真的問題，但我真的很想知道爲什麼邏輯開發用於人工智能。特別是，如果我們可以使用狀態的簡單原子表示來編程，那麼需要在AI中開發一階邏輯和PDDL？再次，我意識到這是一個非常基本的問題！

Answer 1

所以你的問題是關於：爲什麼我們在一階水平而不是命題水平上編程/模型？只是因爲它更簡潔。

你可以提出像「所有人都能想到的」命題。用一階語言，不必陳述「愛麗絲能想到，鮑勃能想，卡羅爾能想......」。

如果你看一下IPC的一些PDDL計劃問題，有時會在命題層面上提出基礎版本。這些文件要大得多。你不想親手寫這些。

Answer 2

我不知道PDDL，但是一階邏輯是在電腦被髮明之前開發的，所以它不適用於AI。它會告訴你哪些參數是有效的。