フレーム問題とは

「フレーム問題」という用語は、一次論理 (FOL) を利用してロボットの状況に関する事実を伝えるときに発生する問題を指します。 環境。 この問題は、人工知能と認知科学の両方に影響を及ぼします。 従来の FOL では、ロボットの状態を表現するには多数の公理を使用する必要がありますが、その多くは周囲の環境のアイテムが任意に変化しないことを意味するだけです。 たとえば、ヘイズ氏は、ブロックを互いに積み重ねる方法に関する法則を備えた「ブロックの世界」について概説しています。 FOL システムを使用して周囲の世界について結論を引き出すには、追加の公理が必要です。 フレーム問題は、ロボットが動作する環境の実行可能な記述を提供するために、十分な公理の集合を見つけるという課題です。

どのようなメリットがあるか

(I) 次のトピックに関する洞察と検証:

第 1 章: フレームの問題

第 2 章: 一次ロジック

第 3 章 : 命題計算

第 4 章: 直観的論理

第 5 章: 順序計算

第 6 章: 状況計算

第 7 章: 答え プログラミングを設定する

第 8 章: 制限 (ロジック)

第 9 章: エール大学射撃問題

第 10 章: 流暢 (人工知能)

(II) フレーム問題に関する一般のよくある質問に答える。

(III) 多くの分野でフレーム問題を使用する実際の例。

(IV) 説明する 17 の付録 、簡単に説明すると、フレーム問題のテクノロジーを 360 度完全に理解するための、各業界の 266 の新興テクノロジーです。

本書の対象者

プロフェッショナル、 学部生と大学院生、愛好家、趣味人、そしてあらゆる種類のフレームの問題について基本的な知識や情報を超えたいと考えている人。