デフォルト推論とは

レイモンド ライターは、デフォルト ロジックというアイデアを提唱しました。これは、デフォルトの仮定で推論を形式化する非単調形式のロジックです。

メリット

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

第 1 章: デフォルト ロジック

第 2 章: フレーム問題

第 3 章: 命題計算

第 4 章: 否定

第 5 章: 直観的論理

第 6 章: 逐次計算

第 7 章: 信念の修正

第 8 章: 失敗としての否定

第 9 章: 閉じた世界の仮定

(IV) 「デフォルト推論」テクノロジーを 360 度完全に理解するために、各業界の 266 の新興テクノロジーを簡潔に説明する 17 の付録。

この本の対象者

専門家、学部生および大学院生、愛好家、愛好家、およびあらゆる種類のデフォルトの推論について基本的な知識や情報を超えたいと考えている人。