流暢な微積分: 基礎と応用
By Fouad Sabry
()
About this ebook
流暢な微積分とは
一階論理で動的領域を表現するための形式化である流暢な微積分は、微積分の一種です。 これはシナリオ計算のサブタイプであり、主な違いは、状況ではなく状態が表現であるとみなされることです。 ある状況において真実である事実を説明するフレーズを連結するために、二項関数の記号が利用されます。 これをよく表しているのは、ボックスがテーブル上に置かれているという事実を式が表しているという事実です。 フレーム問題の解決策は、アクティビティの結果として変更された条件を除いて、アクションの完了後の状況は以前と同じであると主張することです。 たとえば、箱をテーブルの上に置かれていた場所から床に立っている場所に移動するアクションは、次のように形式化できます。
どのようなメリットがあるか
(I) 次のトピックに関する洞察と検証:
第 1 章: 滑らかな微積分
第 2 章: 一次論理
第 3 章: 命題微積分
第 4 章: 順序微積分
第 5 章: クリプキ意味論
第 6 章: 状況微積分
第 6 章 7: 流暢 (人工知能)
第 8 章: 事象微積分学
第 9 章: 認識論的様相論理
第 10 章: 非古典論理
(II) 流暢な微積分に関する一般のよくある質問に答える。
(III) 多くの分野での流暢な微積分を使用する実際の例。
(IV) 17 の付録 Fluent 微積分のテクノロジーを 360 度完全に理解できるように、各業界の 266 の新興テクノロジーを簡潔に説明します。
この本の対象者
専門家、学部生、大学院生、愛好家、趣味人、そしてあらゆる種類の流暢な微積分の基本的な知識や情報を超えたいと考えている人。
Read more from Fouad Sabry
コンピュータビジョン [Japanese]
Related to 流暢な微積分
Titles in the series (100)
放射状基底ネットワーク: 人工ニューラルネットワークの活性化機能の基礎と応用 Rating: 0 out of 5 stars0 ratings人工ニューラルネットワーク: 神経計算の謎を解読するための基礎と応用 Rating: 0 out of 5 stars0 ratings制限付きボルツマンマシン: 人工知能の隠れた層を解明するための基礎と応用 Rating: 0 out of 5 stars0 ratings多層パーセプトロン: ニューラル ネットワークをデコードするための基礎と応用 Rating: 0 out of 5 stars0 ratings神経進化: 神経進化で人間の知性を超えるための基礎と応用 Rating: 0 out of 5 stars0 ratingsパーセプトロン: 神経ビルディングブロックの基礎と応用 Rating: 0 out of 5 stars0 ratings畳み込みニューラル ネットワーク: 視覚的な画像を分析するための基礎と応用 Rating: 0 out of 5 stars0 ratingsバイオにインスピレーションを得たコンピューティング: デジタル世界での生物学的インスピレーションの基礎と応用 Rating: 0 out of 5 stars0 ratingsホップフィールドネットワークス: 記憶を保存するニューラルネットワークの基礎と応用 Rating: 0 out of 5 stars0 ratings長短期記憶: シーケンス予測の基礎と応用 Rating: 0 out of 5 stars0 ratingsフィードフォワード ニューラル ネットワーク: 思考機械とニューラルウェブのアーキテクチャの基礎と応用 Rating: 0 out of 5 stars0 ratingsヘビアン学習: 記憶と学習を統合するための基礎と応用 Rating: 0 out of 5 stars0 ratings身体化された認知: 基礎と応用 Rating: 0 out of 5 stars0 ratingsハイブリッド ニューラル ネットワーク: 生物学的ニューラルネットワークと人工ニューロンモデルの相互作用の基礎と応用 Rating: 0 out of 5 stars0 ratingsリカレント ニューラル ネットワーク: シンプルなアーキテクチャからゲート付きアーキテクチャまでの基礎と応用 Rating: 0 out of 5 stars0 ratings位置特定型人工知能: インテリジェンスとアクションを統合するための基礎と応用 Rating: 0 out of 5 stars0 ratings論理: 基礎と応用 Rating: 0 out of 5 stars0 ratingsマルチエージェントシステム: 基礎と応用 Rating: 0 out of 5 stars0 ratings誤差逆伝播法: 深層学習のトレーニング用データを準備するための基礎と応用 Rating: 0 out of 5 stars0 ratingsデータ処理のグループ方法: 予測モデリングとデータ分析の基礎と応用 Rating: 0 out of 5 stars0 ratings包含アーキテクチャ: 行動ベースのロボティクスと反応制御の基礎と応用 Rating: 0 out of 5 stars0 ratingsアトラクターネットワーク: 計算神経科学の基礎と応用 Rating: 0 out of 5 stars0 ratings交互決定ツリー: 基礎と応用 Rating: 0 out of 5 stars0 ratingsヌーベル人工知能: 昆虫と同等の知能を持つロボットを作るための基礎と応用 Rating: 0 out of 5 stars0 ratingsネットワーク制御システム: 基礎と応用 Rating: 0 out of 5 stars0 ratings命題論理: 基礎と応用 Rating: 0 out of 5 stars0 ratings競争学習: 競争による強化学習の基礎と応用 Rating: 0 out of 5 stars0 ratingsファジーロジック: 基礎と応用 Rating: 0 out of 5 stars0 ratings人工知能システムの統合: 基礎と応用 Rating: 0 out of 5 stars0 ratings人工免疫システム: 基礎と応用 Rating: 0 out of 5 stars0 ratings
Related ebooks
一次ロジック: 基礎と応用 Rating: 0 out of 5 stars0 ratings制約満足度: 基礎と応用 Rating: 0 out of 5 stars0 ratings命題論理: 基礎と応用 Rating: 0 out of 5 stars0 ratings推論の規則: 基礎と応用 Rating: 0 out of 5 stars0 ratingsアルゴリズムの確率: 基礎と応用 Rating: 0 out of 5 stars0 ratings限界論理: 基礎と応用 Rating: 0 out of 5 stars0 ratings一般的な問題解決者: 基礎と応用 Rating: 0 out of 5 stars0 ratings生産システム: 基礎と応用 Rating: 0 out of 5 stars0 ratingsファジィ集合理論: 基礎と応用 Rating: 0 out of 5 stars0 ratingsサットプラン: 基礎と応用 Rating: 0 out of 5 stars0 ratings帰納的論理プログラミング: 基礎と応用 Rating: 0 out of 5 stars0 ratingsカルマンフィルター: 基礎と応用 Rating: 0 out of 5 stars0 ratings単純ベイズ分類器: 基礎と応用 Rating: 0 out of 5 stars0 ratingsヒストグラム均等化: 画像のコントラストを強化して視覚認識を強化 Rating: 0 out of 5 stars0 ratingsカーネルメソッド: 基礎と応用 Rating: 0 out of 5 stars0 ratings記述的な幾何学: 視覚領域のロックを解除: コンピューター ビジョンにおける記述幾何学を探索する Rating: 0 out of 5 stars0 ratings内側軸: コンピューター ビジョンの核心を探る: 内側軸を明らかにする Rating: 0 out of 5 stars0 ratings部屋 シェーディング: ビジュアル レンダリングの深さを探る: コンピューター ビジョンにおけるフォン シェーディング Rating: 0 out of 5 stars0 ratings経済システム: 経済システムの謎を解き明かす、すべての人のための包括的なガイド Rating: 0 out of 5 stars0 ratings放射状基底ネットワーク: 人工ニューラルネットワークの活性化機能の基礎と応用 Rating: 0 out of 5 stars0 ratings結婚の経済学: 愛と富の方程式、結婚経済学の秘密を明らかにする Rating: 0 out of 5 stars0 ratings双一次補間: バイリニア補間による画像の解像度と鮮明さの向上 Rating: 0 out of 5 stars0 ratings社会主義経済学: 経済的平等の謎を解く、社会主義経済学の包括的ガイド Rating: 0 out of 5 stars0 ratings法と経済: 法と経済の結びつきを解き明かす、法と経済への旅 Rating: 0 out of 5 stars0 ratingsファシズム学校: ファシズム学校、過激派イデオロギーの複雑なタペストリーを解明する Rating: 0 out of 5 stars0 ratings契約理論: 契約をマスターし、経済交換の秘密を明らかにする Rating: 0 out of 5 stars0 ratings社会経済学: 社会経済学の解明、社会と経済の複雑な網目をナビゲートする Rating: 0 out of 5 stars0 ratingsベイズ学習: 基礎と応用 Rating: 0 out of 5 stars0 ratings検索アルゴリズム: 基礎と応用 Rating: 0 out of 5 stars0 ratingsルールベースのシステム: 基礎と応用 Rating: 0 out of 5 stars0 ratings
Reviews for 流暢な微積分
0 ratings0 reviews
Book preview
流暢な微積分 - Fouad Sabry
第1章:流暢な微積分
一階論理で動的領域を表現する目的で、流暢な計算は形式主義です。
このシナリオ微積分のバリエーションはそれが何であるかです。主な違いは、状況が状態のモデルと見なされることです。
バイナリ関数シンボル \circ は、シチュエーションで成り立つ事実を表す用語を連結するために使用されます。
たとえば、ボックスがシチュエーションのテーブル上にあることは、 s 式で表されます {\displaystyle \exists t.s=on(box,table)\circ t} 。
アクションの実行後の状況はアクションの前の状況と類似しているが、アクションによって変更された条件については、フレームの問題が解決されることを宣言することによって、フレームの問題が解決されます。
たとえば、ボックスをテーブルから床に移動することは、正式には次のように知られています。
{\displaystyle State(Do(move(box,table,floor),s))\circ on(box,table)=State(s)\circ on(box,floor)}この式は、移動後の状態に項が追加され、 {\displaystyle on(box,floor)} 項が削除されることを示しています {\displaystyle on(box,table)} 。
可換で非べき等であることを指定する公理 \circ は、そのような公理が機能するために必要です。
{第 1 章終了}
第 2 章: 一次論理
一次論理は、数学、哲学、言語学、およびコンピュータサイエンスの分野で使用される一連の形式システムです。一次論理の他の名前には、述語論理、量化論理、および一次述語計算が含まれます。一階論理では、量化された変数は非論理オブジェクトよりも優先され、変数を含む文の使用が許可されます。その結果、「ソクラテスは人間である」などの主張をするのではなく、「存在する」が量化子であり、「x」が変数である「xが存在する」という形式の表現を行うことができます。このように、命題論理は一階論理の基礎と考えることができます。
集合論、群の理論、または算術の形式理論などの主題に関する理論は、典型的には、特定の談話の領域(量化された変数の範囲)、その領域からそれ自体への有限個の関数、その領域で定義された有限個の述語、およびそれらについて保持されると信じられている一連の公理を備えた一次論理です。時には、より学術的な意味で、「理論」は一次論理の単語の集まりにすぎないと信じられています。
一次論理は、他の述語または関数を入力として取る述語を含む「一次」という単語の使用によって高階論理と区別されてもよいし、述語または関数に対して定量化が代替的に実行されてもよいし、またはその両方が許可される。:56 一階理論では、集合と述語が一緒に働くのがよく見られます。
その解釈を伴う高階理論では、述語をコレクションのコレクションと見なすことができます。
一次論理にはさまざまな演繹システムがあり、それらのほとんどは有効で健全であり、すべての検証可能な命題はすべてのモデルで真です)および完全(つまり、
すべてのモデルに当てはまる場合、任意の命題を証明することができます。
論理的帰結間のリンクは単に半決定可能であるという事実にもかかわらず、 一次論理では、自動定理証明は近年大きな進歩を遂げています。
さらに、一階論理は多くのメタロジー定理に準拠しているため、レーヴェンハイム・スコーレムの定理やコンパクト性定理などの証明理論のレンズを介して調べることができます。
数学を公理に形式化するための業界標準として機能する一階論理の研究は、数学的研究の基礎に含まれています。数論の一次論理への公理化はペアノ算術として知られており、集合論の一次論理への公理化はツェルメロ・フレンケル集合論として知られている。自然数や実数直線のような無限の定義域を持つ構造は、そのような理論がそうするために必要な力を欠いているため、一次理論では適切に記述できません。2階論理などのより強力な論理は、これらの構造の両方を分類的に完全に記述する公理システムを生成することを可能にします。これらはカテゴリ公理システムとして知られています。
ゴットロープ・フレーゲとチャールズ・サンダース・パースは、それぞれ1階論理の開発に大きく貢献した。
一階論理の発展とそれが形式論理を支配するようになった理由の詳細については、José Ferreirós(2001)を参照してください。
命題論理とは対照的に、一次論理は、述語と定量化にも対処しますが、より単純な宣言文に関係しています。
述語は、談話の領域内の1つ以上の事柄に基づいて真または偽のいずれかに評価されるステートメントです。「ソクラテスは哲学者である」と「プラトンは哲学者である」の両方が真実であるという事実について考えてください。これらのステートメントは、命題論理では互いに接続されていないと考えられているため、たとえばpやqなどの変数で表される可能性があります。これらの句はそれぞれ「aは哲学者である」という基本構造を持っており、これは「哲学者である」という述語が両方に現れることを意味します。最初のフレーズでは、変数anは「ソクラテス」という名前で表され、2番目の文では、変数anは「プラトン」という名前で表されます。この特定の例では、「哲学者である」などの述語の使用は、一階論理の枠組みの中で許容されますが、命題論理は許容されません。
論理接続詞は、述語間に存在する関係の性質を表現することを可能にします。たとえば、「anが哲学者であれば、anは学者である」という一次規則を考えてみましょう。この定式化は条件付きステートメントの例であり、「aは哲学者である」という仮説と、「aは学者である」という結論があります。この方程式の妥当性は、aで表されるものの性質だけでなく、「哲学者である」および「学者である」という述語の意味をどのように理解するかにも左右されます。
数式では、量指定子を変数と組み合わせて使用できます。上記の式における変数anの値は、例えば、「任意のaについて、anが哲学者であれば、anは学者である」という一階句を用いてグローバルに定量化することができる。このステートメントで「すべての」という普遍的な量指定子を使用すると、「anが哲学者である場合、anは学者である」という主張が、文字aのすべての可能な組み合わせに当てはまるという概念が伝わります。
「任意のaについて、anが哲学者である場合、anは学者である」というフレーズの論理的に同等の反対は、「anが哲学者であり、anが学者ではないようなものが存在する」というステートメントです。「aは哲学者であり、anは学者ではない」という声明が「a」の選択に当てはまるという概念は、「存在する」という実存的量化子が私たちに伝えようとしていることです。
「哲学者である」と「学者である」はどちらも、単一の変数を引数として受け入れる述語の例です。ほとんどの場合、述語はいくつかの変数を受け入れることができます。「ソクラテスはプラトンの教師である」という一次句の述語「の教師である」には、それが参照している2つの変数があります。
モデルとも呼ばれる 1 次式の解釈は、各述語の意味を明確にし、変数をインスタンス化できるエンティティを識別します。しばしば宇宙として知られている談話の領域は、通常、空ではないセットであることが期待されます。これらのものが宇宙を構成しています。たとえば、言説の領域がすべての人間で構成され、「哲学者である」という述語が「共和国の作者であった」と理解される解釈では、プラトンがそれを目撃した人であったため、「そのような人が哲学者であるような人が存在する」という文は真実と見なされます。
一次論理には、2つの基本コンポーネントがあります。一階論理では、整形式式は構文に従って有限の記号列であると決定され、これらの式の意味は言語の意味論に従って決定されます。
一階論理の言語は、英語などの自然言語とは対照的に、完全に形式的です。その結果、特定の文が正しく構成されているかどうかを機械化された方法で評価することができます。整形式の表現は、物事を直感的に説明する単語と、真または真ではない命題を直感的に伝える数式の2つの主要なカテゴリに分類できます。一階論理では、単語と式は記号の文字列で表され、言語のアルファベットは全体の記号自体によって形成されます。形式論理は、すべての形式言語の場合のように、記号自体の性質に適用することはできません。それでも、ほとんどの人はそれらを文字と句読点にすぎないと考えています。
アルファベットの文字を対応する論理記号に分離するのが通常の方法です, 彼らは通常、非論理記号に加えて、同じことを意味すると理解されています, その意味はそれがどのように解釈されるかに依存します.
たとえば、論理記号 \land は常に and
を表します。論理記号で表される文脈で「または」を意味するために使用されることはありません \lor 。
ただし、Phil(x)などの非論理述語記号の1つの可能な解釈は、その時点で適用されている解釈に応じて、「xは哲学者である」、「人xはフィリップとして知られている」、またはその他の単項述語を意味することです。
論理記号は、作成者によって外観が異なる文字のコレクションですが、多くの場合、次のもので構成されます。
量指定子記号:普遍的定量化のための∀、および存在的定量化のための∃
論理接続詞:接続詞の∧、論理和の∨、含意の→、↔双条件、¬の否定。
一部の著者は、→の代わりに C pqを使用し、 の代わりに ↔ Epq を使用します 、特に→が他の目的で使用されるコンテキストで。
さらに、馬蹄形⊃は→を置き換え、トリプルバー≡は¬を置き換え↔、チルダ(~)、Np、またはF pは¬を置き換え、ダブルバー、、、または pqは \| ∨ + {\displaystyle \bigwedge pq} を置き換えることができ、アンパサンド、Kpq、または中央のドット⋅は ∧特に、技術的な制約のために特定のシンボルを使用できない場合。
(前述の記号Cpq、E pq、Np、Apq、およびKpqは、ポーランド語表記で使用される記号です。
括弧や角かっこを囲むなど、さまざまな句読点。このようなシンボルの選択は、周囲の環境に依存します。
考えられる結果の終わりのないリスト、アルファベットx、y、z、.の最後に来る小文字で表されることが多い記号。
.
下付き文字は、変数を区別するためによく使用されます:x0、x1、x2,...
等号(等号とも呼ばれる)、恒等記号)=(以下の§等式とその公理を参照)。
一次論理では、これらの各シンボルを使用する必要はありません。否定演算子、接続詞 (または選言)、変数、角かっこ、および等価に加えて、量指定子のいずれか 1 つを使用するだけで十分です。
論理シンボルの他の例を次に示します。
真理の不変量: T、V、または ⊤ は 真
を表し、F、O、または ⊥ は 偽
を表します (V と O はポーランド語表記から)。
原子価のこれらの論理演算子はいずれも0存在しないため、量指定子を使用することによってのみ、これら2つの定数を述べることができます。
シェファーストローク、Dpq(NAND)、Jpq(排他的論理和)などの追加の論理接続詞も含まれています。
述語 (関係)、関数、および定数はすべて、非論理記号を使用して表すことができます。過去には、単一の、不変の、計り知れないほど大きな非論理的なシンボルのコレクションの使用は、すべての状況で受け入れられた規範でした。
すべての整数 n ≥0に対して、n項構造のグループがここ、またはn位の述語記号にあります。
これらは n 個の異なるコンポーネント間の接続を示すため、接続シンボルとも呼ばれます。
任意の算術値nに対して、利用可能なそれらの終わりのない供給があります:
Pn0, Pn1, Pn2, Pn3, ..
すべての整数 n ≥0に対して、n項関数には無限の数の異なる記号があります。
f n0, f n1, f n2, f n3, ..
述語記号または関数記号から上付き文字 n を削除するのは、そのアリティが周囲のコンテキストから推論される可能性がある場合に一般的です。
この昔ながらの方法では、1 次ロジックは 1 つの構文のみを使用して表現されます。この方法は、特に哲学的な立場をとる作品で、今でも広く使用されています。
最近では、検討されているアプリケーションに応じて、さまざまな非論理シンボルを利用することが一般的になっています。
したがって、特定のアプリケーションで使用される非論理シンボルのコレクション全体に名前を指定することが不可欠になりました。
この決定は、署名を使用して行われます。
順序付きフィールドの場合は {0, 1, +, ×, <} です。
使用できる非論理シンボルの量に制限はありません。
署名は、空白、有限、または無限、さらには不可算である可能性があります。
不可算署名は、例えばレーヴェンハイム・スコーレムの定理の現代の証明において生じる。
署名は、特定の状況では、非論理記号がどのように読み取られるかを示す場合がありますが、署名に含まれる非論理記号の解釈は、署名自体の意味とは異なります(必ずしも固定されているわけではありません)。シグネチャは、意味よりも構文に関心があります。
この方法によれば、非論理符号は次のいずれかのカテゴリに分類できます。
述語記号 (関係記号とも呼ばれ、価数 (または引数の数を指すアリティ) が 0 以上である述語記号。P、Q、Rなどの大文字は、これらを示すためによく使用されます。例:
P は、式 P(x) の価数が 1 の述語記号です。与えられるかもしれない1つの解釈は「xは男です」です。
述語記号 Q は、式 Q(x,y) で使用される場合、原子価が 2 になります。「xはyより大きい」と「xはyの父である」の両方が、与えられた文の実行可能な読みです。
原子価0の関係は、任意のアサーションの代わりになる可能性のある変数である命題変数を使用して識別することができます。「ソクラテスは男である」というフレーズは、Rに与えられるかもしれない1つの解釈です。
0より大きいか0に等しい価数を持つ関数のシンボル。ほとんどの場合、f、g、h などの小文字のローマ字で示されます。例:
f(x)の解釈の1つは、「xの父」です。「-x」が数学の略である可能性があります。集合論では、「xのべき集合」を指す可能性があります。です。
数学の分野では、 x+y
は記号g(x,y)で表すことができます。集合論では、「xとyの和集合」を指す可能性があります。
定数記号は原子価が0の機能記号であり、a、b、cなどのアルファベットの先頭に小文字で示されることがよくあります。これは、定数シンボルが時間の経過と共に変化しないためです。文字aがソクラテスを表している可能性があります。算術演算で0の記号として使用される場合があります。集合論では、空集合を指す可能性があります。
「カスタム」シグネチャは非論理シンボルの従来のシーケンスで構成されているべきであると述べるだけで、従来のメソッドを現代のメソッドのフレームワーク内で復活させることができます。
一階論理で使用される概念と方程式は、形成規則によってそれらの定義が与えられます。これらの原則は、用語や数式を表す記号の文字列に適用すると、用語や数式の正式な言語を構築するために使用できます。これらのルールは通常、コンテキストフリーです(各プロダクションの左側に1つのシンボルがあります)が、シンボルのセットが無限であることが許可され、項の場合の変数など、多数の開始シンボルが存在する可能性があります。
次のルールのコレクションは、単語のセットの帰納的定義を提供します。
変数。項は、任意の変数記号で表すことができます。
関数。
f が n 項関数の記号であり、t1, .., tn が項である場合、f(t1,...,tn) は項である。
特に、個々の定数を表す記号はヌル関数記号と呼ばれ、その項は以下の通りである。
ルール 1 と 2 を限られた回数適用することによって導出できる式のみが用語と見なされます。たとえば、述語記号を含むステートメントは単語とは見なされません。
次の一連のガイドラインでは、整形式の数式または WFF と呼ばれることもある数式のセットを帰納的に定義します。
述語記号。
P が n 項述語記号で t1,