提案されているものとは？ わかりやすく解説

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/09/14 13:45 UTC 版)

「確率論理」の記事における「提案されているもの」の解説

確率論理に関して多くの提案がなされている。 「確率論理」という言葉は、1986年にNils Nilssonより出された論文のなかで初めて使用された。 ここで提案されている意味論的一般化から確率論的論理包含が導かれ、全命題の確率が0か1である場合、通常の論理包含へと還元される。 この一般化は、有限個の命題の一貫性が保たれうるどのような論理体系にも適用される。 en:probabilistic argumentation理論では、確率は直接論理命題に付与されていない。 代わりに命題に含まれる変数 V {\displaystyle V} の部分集合 W {\displaystyle W} が、対応するsub-en:σ-algebra上に確率空間を定義すると仮定する。ここから変数 V {\displaystyle V} に関して2つの確率測度が導かれる。ひとつはdegree of support、もうひとつはdegree of possibilityである。 Degrees of support は非加法的なprobabilities of provabilityとみなすことが出来、( V = { } {\displaystyle V=\{\}} に関する)通常の論理包含および ( V = W {\displaystyle V=W} に関する)古典的事後確率 の概念を一般化する。 数学的に、この考察はen:Dempster-Shafer theoryと同一である。

※この「提案されているもの」の解説は、「確率論理」の解説の一部です。
「提案されているもの」を含む「確率論理」の記事については、「確率論理」の概要を参照ください。