流暢な微積‪分‬

流暢な微積分とは

一階論理で動的領域を表現するための形式化である流暢な微積分は、微積分の一種です。 これはシナリオ計算のサブタイプであり、主な違いは、状況ではなく状態が表現であるとみなされることです。 ある状況において真実である事実を説明するフレーズを連結するために、二項関数の記号が利用されます。 これをよく表しているのは、ボックスがテーブル上に置かれているという事実を式が表しているという事実です。 フレーム問題の解決策は、アクティビティの結果として変更された条件を除いて、アクションの完了後の状況は以前と同じであると主張することです。 たとえば、箱をテーブルの上に置かれていた場所から床に立っている場所に移動するアクションは、次のように形式化できます。

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

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

第 1 章: 滑らかな微積分

第 2 章: 一次論理

第 3 章: 命題微積分

第 4 章: 順序微積分

第 5 章: クリプキ意味論

第 6 章: 状況微積分

第 6 章 7: 流暢 (人工知能)

第 8 章: 事象微積分学

第 9 章: 認識論的様相論理

第 10 章: 非古典論理

(II) 流暢な微積分に関する一般のよくある質問に答える。

(III) 多くの分野での流暢な微積分を使用する実際の例。

(IV) 17 の付録 Fluent 微積分のテクノロジーを 360 度完全に理解できるように、各業界の 266 の新興テクノロジーを簡潔に説明します。

この本の対象者

専門家、学部生、大学院生、愛好家、趣味人、そしてあらゆる種類の流暢な微積分の基本的な知識や情報を超えたいと考えている人。