状況計算 - 基礎と応用
Fouad Sabry
Traducteur Kei Imano
Maison d'édition: 10億人の知識があります [Japanese]
Synopsis
状況微積分とは 状況微積分として知られる論理形式主義は、動的領域の表現と推論を目的として開発されました。 ジョン・マッカーシーは、1963 年にこの理論を最初に提案した人です。この記事の状況微積分に関する主な説明は、主に、1991 年にレイ・ライターによって最初に提示されたモデルに基づいています。その後、1986 年のマッカーシーの改訂版に関する情報がいくつか追加されます。 どのようなメリットがあるか (i) 以下のトピックに関する洞察と検証: 第 1 章: 状況微積分 第 2 章: 一次論理 第 3 章: フレーム問題 第 4 章: 命題微積分 第 5 章: 流暢な (人工知能) 第 6 章: イベント微積分 第 7 章: 流暢な微積分 第 8 章: 解決策 (ロジック) 第 9 章: 割定 (論理) 第 10 章: エール大学銃撃問題 (ii) 状況計算に関する一般のよくある質問に答える。 (iii) 多くの分野における状況計算の実際の使用例。 (iv) 状況計算を 360 度完全に理解するために、各業界の 266 の新興テクノロジーを簡潔に説明する 17 の付録 本書の対象者 専門家、学部生、大学院生、愛好家、趣味人、基礎的な知識や知識を超えたい人 あらゆる種類の状況計算に関する情報。