0

状況計算 (Reiter 2001).

アクション、流暢さ、状況の違いは理解できますが、なぜ二次論理で表現する必要があるのでしょうか? 最初の順序を使用しないのはなぜですか? 説明していただけますか？

4

1 に答える 1

1

動的な世界をエンコードするために使用されるいくつかの数式を除くすべての数式には、二次論理 (SOL) が必要です。特に、

  • [のプロパティ] 初期状態
  • アクションの前提条件
  • アクション効果
  • 後継者状態の公理 (「フレームの問題」を回避するために使用)

すべて一次論理 (FOL) で表現できます。
一部のドメインでは、上記の項目に SOL を使用する方が便利で、より簡潔な場合がありますが、知る限り、上記の項目のコンテキストでそのような SOL を FOL に変換することは常に可能です。有限ドメイン、したがって SOLは必要ありません(上記の項目についても同様です)。

通常、Situation Calculus を使用した SOL の必要性は、Situationで帰納法を実行するための公理など、一部の「基礎公理」からのみ発生します。

さらに、特定のアプリケーションによっては、SOL ベースの基本公理が必要ない場合があるため、全世界を FOL の観点から排他的に記述することができます。
私はその分野の専門家ではありませんが、多くの場合、[論理] フィルタリング、プランニング、時間投影の目的で、誘導の必要性をなくして、FOL のみに頼ることができると思います。

于 2012-05-15T07:37:25.767 に答える