制限論理とは

ジョン マッカーシーは、具体的に実現するまでは物事は期待どおりになるという常識的な仮定を成文化するために、制限として知られる非単調な論理を開発しました。 それ以外のことは述べられています。 マッカーシーは最終的に枠の問題を解決するために、制限を利用した。 マッカーシーは、特定の述語の拡張を最小限に抑えるために、一次論理を拡張しました。 述語の拡張は、述語が true となる値のタプルのセットとして定義されます。 マッカーシーは、彼の理論の当初の表現における制限を実装するためにこれを行いました。 この還元方法は、真実であると証明できないものはすべて真実ではないという閉世界の仮定に似ています。

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

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

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

第 2 章: 1 次ロジック

第 3 章: フレーム問題

第 4 章: 命題計算

第 5 章: 関係モデル

第 6 章: 命題

第 7 章: オープン式

第 8 章: 述語 (数学的論理)

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

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

(II) 制限ロジックに関する一般のよくある質問に答える。

(III) 多くの分野での制限ロジックの使用例の実例。

(IV) 説明する 17 の付録。 簡単に説明すると、各業界の 266 の新興テクノロジーを取り上げ、境界ロジックのテクノロジーを 360 度完全に理解することができます。

本書の対象者

専門家、学部生 大学院生、愛好家、愛好家、そしてあらゆる種類の限定ロジックについて基本的な知識や情報を超えたいと考えている人々。