非単調ロジックとは

形式ロジックは、結論の接続が単調パターンに従っていない場合、非単調であると言われます。 言い換えれば、非単調論理の目的は、実行不可能な推論を捉えて表現することです。 これは、推論者が暫定的な結論を出し、推論者が将来のデータに基づいて結論を撤回できるタイプの推論を指します。 非単調論理はこれを行うように設計されています。これまでに検討された形式論理の大部分には単調含意関係があり、これは、理論に式を追加しても、その一連の結論がトリミングされることはないことを示しています。 直観的には、単調性の概念は、新しい情報を取得しても、すでに知られている情報の範囲を狭める可能性がないことを示唆しています。 単調ロジックでは、デフォルトでの推論、アブダクティブ推論、知識に関する推論への重要なアプローチ、信念の修正など、さまざまな推論タスクを処理できません。

メリット

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

第 1 章: 非単調論理

第 2 章: アブダクティブ推論

第 3 章: 演繹的推論

第 4 章: 帰納的推論

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

第 6 章: 信念の修正

第 7 章: 実行可能な推論

第 8 章: 実行可能な論理

第 9 章: アブダクティブロジックプログラミング

第 10 章: ロジック

(II ) 非単調論理に関する一般のよくある質問に答えます。

(III) 多くの分野での非単調論理の使用例の実例。

(IV) 説明する 17 の付録。 簡単に説明すると、非単調論理テクノロジを 360 度完全に理解できるよう、各業界の 266 の新興テクノロジが紹介されています。

本書の対象者

プロフェッショナル、 学部生および大学院生、愛好家、趣味人、およびあらゆる種類の非単調ロジックについての基本的な知識や情報を超えたいと考えている人。