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