状況微積分とは

状況微積分として知られる論理形式主義は、動的領域の表現と推論を目的として開発されました。 ジョン・マッカーシーは、1963 年にこの理論を最初に提案した人です。この記事の状況微積分に関する主な説明は、主に、1991 年にレイ・ライターによって最初に提示されたモデルに基づいています。その後、1986 年のマッカーシーの改訂版に関する情報がいくつか追加されます。

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

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

第 1 章: 状況微積分

第 2 章: 一次論理

第 3 章: フレーム問題

第 4 章: 命題微積分

第 5 章: 流暢な (人工知能)

第 6 章: イベント微積分

第 7 章: 流暢な微積分

第 8 章: 解決策 (ロジック)

第 9 章: 割定 (論理)

第 10 章: エール大学銃撃問題

(II) 状況計算に関する一般のよくある質問に答える。

(III) 多くの分野における状況計算の実際の使用例。

(IV) 状況計算を 360 度完全に理解するために、各業界の 266 の新興テクノロジーを簡潔に説明する 17 の付録

本書の対象者

専門家、学部生、大学院生、愛好家、趣味人、基礎的な知識や知識を超えたい人 あらゆる種類の状況計算に関する情報。