ファーストオーダーロジックとPDDLの開発理由

Question

これは単なる質問かもしれませんが、なぜロジックがAIで使用されるように開発されたのか本当に興味があります。特に、状態の単純な原子表現を使ってプログラミングを行うことができれば、AIで一次論理とPDDLを開発する必要性は何ですか？繰り返しますが、これは本当に基本的な質問です！

Answer 1

あなたの質問は、なぜ命題レベルではなく一次レベルでプログラム/モデル化するのですか？単にそれがより簡潔であるためです。

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

IPCからのPDDL計画上の問題を見ると、命題レベルで策定された地上版があることがあります。そしてファイルははるかに大きいです。あなたは手でそれらを書いたくありません。

Answer 2

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