logic - First Order LogicとPDDLの開発理由

Question

これは素朴な質問かもしれませんが、ロジックが AI で使用されるように開発された理由を知りたいと思っています。特に、状態の単純なアトミック表現を使用してプログラミングを行うことができる場合、AI で一次ロジックと PDDL を開発する必要は何でしたか? 繰り返しますが、これは本当に基本的な質問です!!

Answer 1

だからあなたの質問は、なぜ命題レベルではなく一次レベルでプログラム/モデル化するのかということです。それがより簡潔であるという理由だけで。

「すべての人間が考えることができる」のような提案をすることができます。一階述語で、「アリスは考えることができます。ボブは考えることができます。キャロルは考えることができます。...」と述べる必要はありません。

IPCからのいくつかのPDDL計画の問題を見ると、命題レベルで定式化された地上バージョンが存在する場合があります。そして、ファイルははるかに大きくなります。あなたはそれらを手で書きたくありません。

Answer 2

PDDL についてはわかりませんが、コンピューターが発明される前に一次論理が開発されたので、AI では使用されませんでした。どの引数が有効かがわかります。