ベイズの定理の紹介ベイズの定理の幾何学的視覚化。表では、値2、3、6、9は、それぞれの条件とケースの相対的な重みを示しています。数字は、各指標に関係する表のセルを示し、確率は、各数字のうち網掛けされている部分の割合です。これは、P ( A | B ) P ( B ) = P ( B | A ) P ( A ) {\displaystyle P(A|B)P(B)=P(B|A)P(A)} つまりP ( A | B ) = P ( B | A ) P ( A ) P ( B ) {\displaystyle P(A|B)={\frac {P(B|A)P(A)}{P(B)}}} 同様の推論を用いて、P ( ¬ A | B ) = P ( B | ¬ A ) P ( ¬ A ) P ( B ) {\displaystyle P(\neg A|B)={\frac {P(B|\neg A)P(\neg A)}{P(B)}}} 等
ベイズ更新の代替手段 ベイズ更新は広く用いられており、計算も容易である。しかし、合理的と考えられる更新規則はベイズ更新だけではない。
イアン・ハッキングは 、従来の「ダッチブック 」論証ではベイズ更新が明記されておらず、非ベイズ更新規則でもダッチブックを回避できる可能性が残されていると指摘した。ハッキングは次のように書いている。[ 3 ] 「ダッチブック論証も、確率公理の証明におけるパーソナリストの武器庫にある他の論証も、動的仮定を必然的に伴うものではない。ベイズ主義を伴うものは一つもない。したがって、パーソナリストは動的仮定がベイズ的であることを要求している。一貫性を保つために、パーソナリストが経験から学ぶベイズモデルを放棄することはあり得る。塩は味を失うかもしれない。」
実際、リチャード・C・ジェフリー の規則の発表後、証拠自体に確率が割り当てられる場合にベイズの規則を適用する規則が発表され、ダッチブックを回避する非ベイズ更新規則も存在する(「確率運動学」に関する文献で議論されている)。 [ 4 ] ベイズ更新を一意に要求するために必要な追加の仮説は、相当な量で複雑で不十分であると見なされている。[ 5 ]
排他的かつ網羅的な可能性に関する推論 証拠が排他的かつ網羅的な命題の集合に対する信念を更新するために同時に使用される場合、ベイズ推論はこの信念分布全体に作用するものと考えることができる。
複数の観察結果 独立かつ同一の分布に従う 観測値の系列の場合E = ( e 1 、 … 、 e n ) {\displaystyle \mathbf {E} =(e_{1},\dots ,e_{n})} 帰納法により、上記の繰り返し適用は以下と同等であることが示される。 P ( M ∣ E ) = P ( E ∣ M ) ∑ m P ( E ∣ M m ) P ( M m ) ⋅ P ( M ) 、 {\displaystyle P(M\mid \mathbf {E} )={\frac {P(\mathbf {E} \mid M)}{\sum _{m}{P(\mathbf {E} \mid M_{m})P(M_{m})}}}\cdot P(M),} どこ P ( E ∣ M ) = ∏ k P ( e k ∣ M ) 。 {\displaystyle P(\mathbf {E} \mid M)=\prod _{k}{P(e_{k}\mid M)}.}
ベイズ推論 事前分布と は、データが観測される前のパラメータの分布のことです。p ( θ ∣ α ) {\displaystyle p(\theta \mid \alpha )} 事前分布は容易に決定できない場合があります。そのような場合、新しい観測値で更新する前に、ジェフリーズ事前分布を使用して事前分布を取得するという方法があります。 標本分布は 、観測データのパラメータを条件とした分布である。p ( X ∣ θ ) {\displaystyle p(\mathbf {X} \mid \theta )} これは尤度 とも呼ばれ、特にパラメータの関数として見た場合、と表記されることもあります。 L ( θ ∣ X ) = p ( X ∣ θ ) {\displaystyle \operatorname {L} (\theta \mid \mathbf {X} )=p(\mathbf {X} \mid \theta )} 。 周辺尤度( 証拠 とも呼ばれる)は、観測データの分布をパラメータに関して周辺化したものである。 p ( X ∣ α ) = ∫ p ( X ∣ θ ) p ( θ ∣ α ) d θ 。 {\displaystyle p(\mathbf {X} \mid \alpha )=\int p(\mathbf {X} \mid \theta )p(\theta \mid \alpha )d\theta .} これは、データと専門家の意見の一致度を、正確にできる幾何学的な意味で定量化します。[ 7 ] 周辺尤度が0の場合、データと専門家の意見の一致はなく、ベイズの定理は適用できません。 事後分布と は、観測データを考慮した後のパラメータの分布のことです。これはベイズの定理 によって決定され、ベイズ推論の中核を成すものです。 p ( θ ∣ X 、 α ) = p ( θ 、 X 、 α ) p ( X 、 α ) = p ( X ∣ θ 、 α ) p ( θ 、 α ) p ( X ∣ α ) p ( α ) {\displaystyle p(\theta \mid \mathbf {X} ,\alpha )={\frac {p(\theta ,\mathbf {X} ,\alpha )}{p(\mathbf {X} ,\alpha )}}={\frac {p(\mathbf {X} \mid \theta ,\alpha )p(\theta ,\alpha )}{p(\mathbf {X} \mid \alpha )p(\alpha )}}} = p ( X ∣ θ 、 α ) p ( θ ∣ α ) p ( X ∣ α ) ∝ p ( X ∣ θ 、 α ) p ( θ ∣ α ) 。 {\displaystyle ={\frac {p(\mathbf {X} \mid \theta ,\alpha )p(\theta \mid \alpha )}{p(\mathbf {X} \mid \alpha )}}\propto p(\mathbf {X} \mid \theta ,\alpha )p(\theta \mid \alpha ).}
これは言葉で表現すると「事後確率は尤度×事前確率に比例する」、あるいは「事後確率=尤度×事前確率(証拠に基づく)」となる。
実際には、機械学習で使用されるほとんどすべての複雑なベイズモデルにおいて、事後分布はp ( θ ∣ X 、 α ) {\displaystyle p(\theta \mid \mathbf {X} ,\alpha )} は閉じた形式の分布では得られない。主な理由は、θ {\displaystyle \theta } 非常に高くなる場合もあれば、ベイズモデルが観測から定式化された特定の階層構造を保持する場合もあるX {\displaystyle \mathbf {X} } およびパラメータθ {\displaystyle \theta } このような状況では、近似手法に頼る必要があります。[ 8 ] 一般の場合:P Y x {\displaystyle P_{Y}^{x}} 条件付き分布Y {\displaystyle Y} 与えられたX = x {\displaystyle X=x} そしてP X {\displaystyle P_{X}} 分布はX {\displaystyle X} 結合分布は次のようになります。P X 、 Y ( d x 、 d y ) = P Y x ( d y ) P X ( d x ) {\displaystyle P_{X,Y}(dx,dy)=P_{Y}^{x}(dy)P_{X}(dx)} 条件付き分布P X y {\displaystyle P_{X}^{y}} のX {\displaystyle X} 与えられたY = y {\displaystyle Y=y} は、 P X y ( A ) = E ( 1 A ( X ) | Y = y ) {\displaystyle P_{X}^{y}(A)=E(1_{A}(X)|Y=y)} 必要な条件付き期待値 の存在と一意性は、ラドン・ニコディムの定理 の結果である。これは、コルモゴロフ が1933年の有名な著書で定式化した。コルモゴロフは序文で「私は、特に条件付き確率と条件付き期待値の理論に注目したい」と書いて条件付き確率の重要性を強調している。[ 9 ] ベイズの定理は、事前分布から事後分布を決定する。一意性には連続性の仮定が必要である。[ 10 ] ベイズの定理は、実数直線上の一様分布などの不適切な事前分布を含むように一般化できる。[ 11 ] 現代のマルコフ連鎖モンテカルロ 法は、不適切な事前分布の場合を含めたベイズの定理の重要性を高めた。[ 12 ]
ベイズ予測 事後予測分布 とは、事後分布に関して周辺化された新しいデータ点の分布のことである。p ( x ~ ∣ X 、 α ) = ∫ p ( x ~ ∣ θ ) p ( θ ∣ X 、 α ) d θ {\displaystyle p({\tilde {x}}\mid \mathbf {X} ,\alpha )=\int p({\tilde {x}}\mid \theta )p(\theta \mid \mathbf {X} ,\alpha )d\theta } 事前予測分布 とは、新しいデータポイントの分布を事前分布で周辺化したものである。p ( x ~ ∣ α ) = ∫ p ( x ~ ∣ θ ) p ( θ ∣ α ) d θ {\displaystyle p({\tilde {x}}\mid \alpha )=\int p({\tilde {x}}\mid \theta )p(\theta \mid \alpha )d\theta } ベイズ理論では、予測推論 、すなわち新しい未観測データ点の分布を予測する ために、事後予測分布を使用することが求められます。つまり、予測として固定点ではなく、可能な点の分布が返されます。このようにして初めて、パラメータの事後分布全体が使用されます。これに対し、頻度統計学 における予測では、多くの場合、パラメータの最適点推定値(例えば、最尤推定法 や最大事後推定法 (MAP)による推定値)を見つけ、その推定値をデータ点の分布の式に代入します。この方法の欠点は、パラメータの値の不確実性を考慮しないため、予測分布の分散を過小評価してしまうことです。
場合によっては、頻度統計学でこの問題を回避できます。たとえば、頻度統計学では、平均 と分散 が未知の正規分布から 信頼区間 と予測区間を構築する場合 、スチューデントのt分布 を使用します。これは、(1)正規分布する確率変数の平均も正規分布すること、および(2)共役事前分布または無情報事前分布を使用した、平均と分散が未知の正規分布データ点の予測分布がスチューデントのt分布になることから、分散を正しく推定します。しかし、ベイズ統計学では、事後予測分布は常に正確に決定できます。少なくとも、数値的手法を使用すれば任意の精度で決定できます。
どちらのタイプの予測分布も、複合確率分布 の形をとります(周辺尤度 も同様です)。実際、事前分布が共役事前 分布、つまり事前分布と事後分布が同じ族に属する場合、事前予測分布と事後予測分布も、同じ複合分布の族に属することがわかります。唯一の違いは、事後予測分布はハイパーパラメータの更新値を使用するのに対し(共役事前 分布の記事で説明したベイズ更新ルールを適用)、事前予測分布は事前分布に現れるハイパーパラメータの値を使用する点です。
数学的性質
要因の解釈 P ( E ∣ M ) P ( E ) > 1 ⇒ P ( E ∣ M ) > P ( E ) {\textstyle {\frac {P(E\mid M)}{P(E)}}>1\Rightarrow P(E\mid M)>P(E)} つまり、モデルが正しい場合、証拠は現在の信念の状態によって予測されるよりも可能性が高いということになります。信念の低下の場合はその逆が当てはまります。信念が変化しない場合、P ( E ∣ M ) P ( E ) = 1 ⇒ P ( E ∣ M ) = P ( E ) {\textstyle {\frac {P(E\mid M)}{P(E)}}=1\Rightarrow P(E\mid M)=P(E)} つまり、証拠はモデルとは無関係である。もしモデルが正しければ、証拠は現在の信念状態によって予測されるのと全く同じ確率で現れるはずだ。
パラメータの推定値と予測値 パラメータや変数を推定するために、事後分布を用いることがしばしば望まれる。ベイズ推定法のいくつかは、事後分布から中心傾向の測定値を選択する。
一次元問題の場合、実用的な連続問題に対して一意の中央値が存在する。事後中央値は頑健な推定値 として魅力的である。[ 16 ]
事後分布に有限の平均が存在する場合、事後平均は推定方法となる。[ 17 ] θ ~ = E [ θ ] = ∫ θ p ( θ ∣ X 、 α ) d θ {\displaystyle {\tilde {\theta }}=\operatorname {E} [\theta ]=\int \theta \,p(\theta \mid \mathbf {X} ,\alpha )\,d\theta }
最も確率の高い値を取ることで、最大事後推定値 (MAP)が定義されます。[ 18 ] { θ 地図 } ⊂ 引数 最大 θ p ( θ ∣ X 、 α ) 。 {\displaystyle \{\theta _{\text{MAP}}\}\subset \arg \max _{\theta }p(\theta \mid \mathbf {X} ,\alpha ).}
最大値に達しない例もあり、その場合はMAP推定値の集合は空に なります。
損失関数 に関して事後リスク (期待事後損失)を最小化する他の推定方法があり、これらは標本分布(頻度主義統計)を用いた統計的決定理論 において興味深い。 [ 19 ]
新しい観測値の事後予測分布 x ~ {\displaystyle {\tilde {x}}} (以前の観測とは無関係である)は[ 20 ]によって決定される。 p ( x ~ | X 、 α ) = ∫ p ( x ~ 、 θ ∣ X 、 α ) d θ {\displaystyle p({\tilde {x}}|\mathbf {X} ,\alpha )=\int p({\tilde {x}},\theta \mid \mathbf {X} ,\alpha )\,d\theta } = ∫ p ( x ~ ∣ θ ) p ( θ ∣ X 、 α ) d θ 。 {\displaystyle =\int p({\tilde {x}}\mid \theta )p(\theta \mid \mathbf {X} ,\alpha )\,d\theta .}
例
予測をする 考古学の例におけるシミュレーション結果。このシミュレーションはc=15.2を使用して生成されました。 考古学者は、11世紀から16世紀にかけての中世の遺跡と思われる場所で発掘調査を行っています。しかし、この遺跡が実際にいつ頃居住されていたのかは正確には分かっていません。陶器の破片が発見されており、釉薬がかけられているものと装飾が施されているものがあります。遺跡が中世初期に居住されていた場合、陶器の1%が釉薬がかけられ、面積の50%が装飾されていると予想されます。一方、中世後期に居住されていた場合は、81%が釉薬がかけられ、面積の5%が装飾されていると予想されます。発掘された破片から、考古学者は居住時期をどの程度確信できるでしょうか?
連続変数に対する信頼度C {\displaystyle C} (世紀)は、離散的な一連の出来事を用いて計算される。{ G D 、 G D ¯ 、 G ¯ D 、 G ¯ D ¯ } {\displaystyle \{GD,G{\bar {D}},{\bar {G}}D,{\bar {G}}{\bar {D}}\}} 証拠として。前の段落の情報から、 p G ( c ) = 0.01 + 0.80 5 ( c − 11 ) {\displaystyle p_{G}(c)=0.01+{\frac {0.80}{5}}(c-11)} 釉薬の確率と p D ( c ) = 0.5 − 0.45 5 ( c − 11 ) {\displaystyle p_{D}(c)=0.5-{\frac {0.45}{5}}(c-11)} 装飾確率の場合、それらの補数は p ¯ G ( c ) = 1 − p G ( c ) 、 p ¯ D ( c ) = 1 − p D ( c ) 。 {\displaystyle {\bar {p}}_{G}(c)=1-p_{G}(c),\quad {\bar {p}}_{D}(c)=1-p_{D}(c).} 釉薬と装飾が時間とともに線形的に変化し、これらの変数が独立していると仮定すると、各事象の確率は次のようになる。
P ( E = G D ∣ C = c ) = p G ( c ) p D ( c ) {\displaystyle P(E=GD\mid C=c)=p_{G}(c)\,p_{D}(c)} P ( E = G D ¯ ∣ C = c ) = p G ( c ) p ¯ D ( c ) {\displaystyle P(E=G{\bar {D}}\mid C=c)=p_{G}(c)\,{\bar {p}}_{D}(c)} P ( E = G ¯ D ∣ C = c ) = p ¯ G ( c ) p D ( c ) {\displaystyle P(E={\bar {G}}D\mid C=c)={\bar {p}}_{G}(c)\,p_{D}(c)} P ( E = G ¯ D ¯ ∣ C = c ) = p ¯ G ( c ) p ¯ D ( c ) {\displaystyle P(E={\bar {G}}{\bar {D}}\mid C=c)={\bar {p}}_{G}(c)\,{\bar {p}}_{D}(c)} 新しいフラグメントのタイプe {\displaystyle e} が発見されると、調査のためのより多くの情報が得られ、ベイズの定理を通じて、考古学者の推定に対する信念度(または信頼度)の向上に向けた 更新された ベイズ推論が可能になります。一様な事前分布を仮定すると、f C ( c ) = 0.2 {\textstyle f_{C}(c)=0.2} 、そして試行は独立かつ同一の分布に 従う、
f C ( c ∣ E = e ) = P ( E = e ∣ C = c ) P ( E = e ) f C ( c ) {\displaystyle f_{C}(c\mid E=e)={\frac {P(E=e\mid C=c)}{P(E=e)}}f_{C}(c)} = P ( E = e ∣ C = c ) ∫ 11 16 P ( E = e ∣ C = c ) f C ( c ) d c f C ( c ) 。 {\displaystyle ={\frac {P(E=e\mid C=c)}{\int _{11}^{16}{P(E=e\mid C=c)f_{C}(c)dc}}}f_{C}(c).}
50個の破片が発掘されるにつれて信仰が変化する様子をコンピュータシミュレーションで示したものがグラフに示されている。シミュレーションでは、この遺跡は1420年頃に人が住んでいたとされている。c = 15.2 {\displaystyle c=15.2} 50回の試行でグラフの該当部分の下の面積を計算することで、考古学者は、その遺跡が11世紀と12世紀に居住されていた可能性はほぼゼロであり、13世紀には約1%、14世紀には63%、15世紀には36%の確率で居住されていたと言える。ベルンシュタイン・フォン・ミーゼスの定理は、 離散的な事象の集合に対応する確率空間 が「真の」分布に漸近的に収束することをここで主張している。{ G D 、 G D ¯ 、 G ¯ D 、 G ¯ D ¯ } {\displaystyle \{GD,G{\bar {D}},{\bar {G}}D,{\bar {G}}{\bar {D}}\}} は有限である(事後分布の漸近挙動に関する上記のセクションを参照)。
頻度主義統計学と意思決定理論において ベイズ推論の使用に関する決定理論的な 正当化は、アブラハム・ウォルド によって与えられ、彼はすべての固有のベイズ手続きが許容可能で あることを証明した。逆に、すべての許容可能な 統計的手続きは、ベイズ手続きであるか、ベイズ手続きの極限のいずれかである。[ 21 ]
ウォルドは許容可能な手続きをベイズ手続き(およびベイズ手続きの極限)として特徴づけ、ベイズ形式をパラメータ推定 、仮説検定 、信頼区間の 計算などの頻度論的推論 の分野における中心的な手法とした。[ 22 ] [ 23 ] [ 24 ] 例えば、
「いくつかの条件下では、すべての許容可能な手続きは、ベイズ手続きか、ベイズ手続きの極限(さまざまな意味で)のいずれかである。これらの注目すべき結果は、少なくともその元の形では、本質的にウォルドによるものである。ベイズであるという性質は、許容性よりも分析しやすいので、これらの結果は有用である。」[ 21 ] 「決定理論では、許容性を証明するための非常に一般的な方法は、手順を唯一のベイズ解として示すことである。」[ 25 ] 「この研究の最初の章では、有限サポートを持つ事前分布とそれに対応するベイズ法を用いて、実験の比較に関するいくつかの主要な定理を確立しました。より一般的な事前分布に関するベイズ法は、漸近理論を含む統計学の発展において非常に重要な役割を果たしてきました。」「適切な事前分布の場合、事後分布を一目見るだけで、すぐに興味深い情報が得られる問題が数多くあります。また、この手法は逐次分析ではほとんど避けられません。」[ 26 ] 「有用な事実として、パラメータ空間全体にわたって適切な事前分布を取ることによって得られるベイズ決定ルールは、必ず許容される」[ 27 ] 「許容性の概念の発展における重要な研究分野の一つは、従来のサンプリング理論の手順であり、多くの興味深い結果が得られている。」[ 28 ]
モデル選択 ベイズ法は、観測データを生成した基礎的なプロセスを最もよく表すモデルを競合するモデルのセットから選択することを目的とするモデル選択 においても役割を果たします。ベイズモデル比較では、データが与えられた場合の事後確率 が最も高いモデルが選択されます。モデルの事後確率は、データがモデルによって生成された確率を反映する証拠、つまり周辺尤度と、モデルの 事前信念 に依存します。2つの競合モデルが事前に等確率であるとみなされる場合、それらの事後確率の比はベイズ因子 に対応します。ベイズモデル比較は事後確率が最も高いモデルを選択することを目的としているため、この手法は最大事後確率(MAP)選択ルール[ 29 ] またはMAP確率ルール[ 30 ]とも呼ばれます。
確率的プログラミング ベイズ法は概念的には単純ですが、数学的にも数値的にも難しい場合があります。確率的プログラミング言語(PPL)は、効率的な自動推論手法とともにベイズモデルを簡単に構築するための関数を実装しています。これにより、モデル構築と推論を分離することができ、実務者は特定の問題に集中でき、計算の詳細処理はPPLに任せることができます。[ 31 ] [ 32 ] [ 33 ]
アプリケーション
ベイズ推論は、遺伝子発現差解析を含むさまざまなバイオインフォマティクス アプリケーションに適用されています。 [ 39 ] ベイズ推論は、 CIRI (Continuous Individualized Risk Index)と呼ばれる一般的な癌リスクモデルにも使用されており、主に事前知識から構築されたベイズモデルを更新するために連続測定値が組み込まれています。[ 40 ] [ 41 ]
宇宙論および天体物理学への応用 ベイズアプローチは、宇宙論および天体物理学の応用における最近の進歩の中心となっており、[ 42 ] [ 43 ] 系外惑星の特性評価( k2-18b の大気の適合など[ 44 ] )、宇宙論的データによるパラメータ制約[ 45 ] 、天体物理学実験における較正 [ 46 ] など、幅広い天体物理学的問題に及んでいます。
宇宙論では、複雑なデータセットを分析し、高次元のパラメータ空間をナビゲートするために、マルコフ連鎖モンテカルロ (MCMC) やネストサンプリングアルゴリズム などの計算手法と併用されることが多い。注目すべき応用例としては、パラメータ推定のための Planck 2018 CMB データへの適用がある。 [ 45 ] Lambda-CDM モデル の 6 つの基本宇宙論パラメータは、理論によって予測されるのではなく、宇宙マイクロ波背景放射 (CMB) データから選択された宇宙論モデル (Lambda-CDM モデル) に適合される。[ 47 ] 宇宙論のベイズコード `cobaya` [ 48 ] は、宇宙論の実行を設定し、宇宙論的尤度、ボルツマンコード[ 49 ] [ 50 ] とインターフェースする。ボルツマンコードは、MCMC またはネストサンプラーを使用して、任意の宇宙論パラメータセットに対する予測される CMB 異方性を計算する。
この計算フレームワークは標準モデルに限定されず、初期ダークエネルギーを含む理論[ 51 ] や、ラムダCDMを超える追加パラメータを導入する修正重力理論など、代替または拡張された宇宙論理論を検証するためにも不可欠です。ベイズモデル比較を 用いることで、競合するモデルの証拠を計算し、データが標準ラムダCDMよりもそれらを支持しているかどうかを評価するための統計的根拠を提供できます[ 52 ] 。
法廷で ベイズ推論は、陪審員が被告に対する証拠と被告に対する証拠を首尾一貫して蓄積し、全体として「合理的な疑いを超えて 」という個人的な基準を満たしているかどうかを確認するために使用できます。[ 53 ] [ 54 ] [ 55 ] ベイズの定理は、提示されたすべての証拠に順次適用され、ある段階の事後確率が次の段階の事前確率になります。ベイズアプローチの利点は、陪審員に証拠を組み合わせるための偏りのない合理的なメカニズムを提供することです。賭けのオッズは 確率よりも広く理解されているため、陪審員にベイズの定理をオッズの形式で説明するのが適切かもしれません。あるいは、乗算を加算に置き換える 対数アプローチの方が 陪審員にとって扱いやすいかもしれません。
証拠を積み重ねる 犯罪の存在に疑いはなく、犯人の身元だけが疑わしい場合、事前確率は対象となる母集団全体で均一であるべきだと提案されている。[ 56 ] 例えば、1,000人が犯罪を犯した可能性がある場合、有罪の事前確率は1/1000となる。
陪審員によるベイズの定理の使用は議論の的となっている。英国では、R v Adams 事件において、弁護側の専門家証人が 陪審員にベイズの定理を説明した。陪審員は有罪判決を下したが、ベイズの定理を使いたくない陪審員のために証拠収集の手段が提供されていなかったことを理由に、控訴審に持ち込まれた。控訴裁判所は有罪判決を支持したが、「刑事裁判にベイズの定理、あるいはそれに類する方法を導入することは、陪審員を不適切かつ不必要な理論と複雑さの領域に陥れ、本来の任務から逸脱させる」との見解も示した。
ガードナー=メドウィン[ 57 ] は、刑事裁判における評決の基準は有罪の確率ではなく、 被告人が無罪であるという前提での証拠の確率( 頻度論的 p値 に類似)であると主張している。彼は、有罪の事後確率をベイズの定理で計算する場合、有罪の事前確率を知る必要があると主張する。これは犯罪の発生率に依存するが、これは刑事裁判で考慮する証拠としては異例である。次の3つの命題を考えてみよう。
A – 被告人が有罪であれば、既知の事実や証言は生じた可能性がある。B – 被告人が無罪であれば、既知の事実や証言は生じ得たはずだ。C – 被告は有罪である。ガードナー=メドウィンは、有罪判決を下すためには陪審員はA とBではないの両方を信じるべきだと主張する。A と B ではないということはC が真実であることを示唆するが、その逆は真ではない。Bと Cの 両方が真実である可能性もあるが、この場合、陪審員は有罪の者を釈放することになることを知っていても、無罪判決を下すべきだと彼は主張する。リンドレーのパラドックス も参照のこと。
参考文献
引用文献 ↑ 「ベイズ的」。Merriam - Webster.com辞書 。Merriam-Webster。OCLC 1032680871 。 ↑ グリフィス、トーマス(2024年7月24日) 「認知のベイズモデル」 。 ↑ Hacking, Ian ( 1967 年 12 月) 「もう少し現実的な個人的確率」。 科学 哲学 。34 (4): 316。doi : 10.1086/288169 。S2CID 14344339 。 ↑ 「ベイズの定理(スタンフォード哲学百科事典)」 。Plato.stanford.edu 。 2014年1月5日 取得 。 ↑ van Fraassen, B. (1989) Laws and Symmetry 、オックスフォード大学出版局。ISBN 0-19-824860-1 。↑ Gelman, Andrew; Carlin, John B.; Stern, Hal S.; Dunson, David B .; Vehtari, Aki; Rubin, Donald B. (2013).ベイズデータ分析 、第3版。Chapman and Hall/CRC。ISBN 978-1-4398-4095-5 。 ↑ de Carvalho, Miguel; Page, Garritt; Barney, Bradley (2019). "On the geometry of Bayesian inference" (PDF) . Bayesian Analysis . 14 (4): 1013‒1036. doi : 10.1214/18-BA1112 . S2CID 88521802 . ↑ Lee, Se Yoon (2021). "Gibbs sampler and coordinate ascent variational inference: A set-theoretical review". Communications in Statistics – Theory and Methods . 51 (6): 1549–1568 . arXiv : 2008.01006 . doi : 10.1080/03610926.2021.1921214 . S2CID 220935477 . ↑ コルモゴロフ、AN (1933) [1956]。 確率論の基礎 。チェルシー出版。 ↑ Tjur, Tue (1980). Probability based on Radon measures . Internet Archive. Chichester [Eng.]; New York : Wiley. ISBN 978-0-471-27824-5 。↑ グンナール、タラルセン。タフト、ヤール。リンドクヴィスト、ボー・H. (2021-07-24)。 「不適切な事前分布と不適切な事後分布」 。 スカンジナビア統計ジャーナル 。 49 (3): 969–991 . 土井 : 10.1111/sjos.12550 。 hdl : 11250/2984409 。 ISSN 0303-6898 。 S2CID 237736986 。 ↑ ロバート、クリスチャン P.、カセラ、ジョージ (2004)。 モンテカルロ統計手法 。シュプリンガー 。ISBN 978-1-4757-4145-2 OCLC 1159112760。 ↑ Freedman, DA (1963). "離散ケースにおけるベイズ推定の漸近挙動について" . The Annals of Mathematical Statistics . 34 (4): 1386– 1403. doi : 10.1214/aoms/1177703871 . JSTOR 2238346 . ↑ Freedman, DA (1965). "離散ケースにおけるベイズ推定値の漸近挙動 II" . The Annals of Mathematical Statistics . 36 (2): 454–456 . doi : 10.1214/aoms/1177700155 . JSTOR 2238150 . ↑ Robins, James; Wasserman, Larry (2000). "条件付け、尤度、および一貫性:いくつかの基礎概念のレビュー". Journal of the American Statistical Association . 95 (452): 1340– 1346. doi : 10.1080/01621459.2000.10474344 . S2CID 120767108 . ↑ Sen, Pranab K. ; Keating, JP; Mason, RL (1993). Pitman's measure of closeness: A comparison of statistical estimators . Philadelphia: SIAM. ↑ Choudhuri, Nidhan; Ghosal, Subhashis; Roy, Anindya (2005-01-01). "関数推定のためのベイズ法". 統計ハンドブック . ベイズ思考. 第 25巻. pp. 373–414 . CiteSeerX 10.1.1.324.3052 . doi : 10.1016/s0169-7161(05)25013-7 . ISBN 978-0-444-51539-1 。↑ 「最大事後確率(MAP)推定」 。www.probabilitycourse.com 。 2017年6月2日 取得 。 ↑ Yu, Angela. 「ベイズ決定理論入門」 (PDF) . cogsci.ucsd.edu/ . 2013年2月28日に オリジナル (PDF) からアーカイブ済み。 ↑ ヒッチコック、デビッド。 「事後予測分布統計スライド」 (PDF) . stat.sc.edu . 1 2 ビッケル&ドクサム(2001年、32ページ) ↑ Kiefer, J. ; Schwartz R. (1965). "多変量正規問題に対するT 2 -、R 2 -、およびその他の完全不変検定の許容ベイズ特性" . Annals of Mathematical Statistics . 36 (3): 747– 770. doi : 10.1214/aoms/1177700051 . ↑ Schwartz, R. (1969). "指数型分布族に対する不変な適切なベイズ検定" . Annals of Mathematical Statistics . 40 : 270–283 . doi : 10.1214/aoms/1177697822 . ↑ Hwang, JT & Casella, George (1982). "多変量正規分布の平均に対するミニマックス信頼区間" (PDF) . Annals of Statistics . 10 (3): 868– 881. doi : 10.1214/aos/1176345877 . ↑ レーマン、エーリッヒ (1986). 統計的仮説検定 (第 2 版). (第6.7章「許容性」の309ページ、および第1.8章「完全なクラス」の17~18ページを参照)↑ ル・カム、ルシアン (1986). 統計的決定理論における漸近的方法 . Springer-Verlag. ISBN 978-0-387-96307-5 。 (「第12章 事後分布とベイズ解法」324ページより)↑ Cox, DR ; Hinkley, DV (1974). Theoretical Statistics . Chapman and Hall. p. 432. ISBN 978-0-04-121537-3 。↑ Cox, DR ; Hinkley, DV (1974). Theoretical Statistics . Chapman and Hall. p. 433. ISBN 978-0-04-121537-3 。 )↑ Stoica, P.; Selen, Y. (2004). "情報基準ルールのレビュー". IEEE Signal Processing Magazine . 21 (4): 36–47 . doi : 10.1109/MSP.2004.1311138 . S2CID 17338979 . ↑ Fatermans, J.; Van Aert, S.; den Dekker, AJ (2019). "HAADF STEM画像からの原子列検出のための最大事後確率ルール". Ultramicroscopy . 201 : 81–91 . arXiv : 1902.05809 . doi : 10.1016 /j.ultramic.2019.02.003 . PMID 30991277. S2CID 104419861 . ↑ Bessiere, P., Mazer, E., Ahuactzin, JM, & Mekhnacha, K. (2013). ベイズプログラミング(第1版) Chapman and Hall/CRC. ↑ Daniel Roy (2015). "確率的プログラミング" . probabilistic-programming.org . 2016年1月10日の オリジナルからアーカイブ済み。 2020年1月2日 取得 。 ↑ Ghahramani, Z (2015). "確率的機械学習と人工知能" . Nature . 521 (7553): 452– 459. Bibcode : 2015Natur.521..452G . doi : 10.1038/nature14541 . PMID 26017444 . S2CID 216356 . ↑ フィーンバーグ、スティーブン E. (2006-03-01). 「ベイズ推論はいつ「ベイズ的」になったのか?」 . ベイズ分析 . 1 (1). doi : 10.1214/06-BA101 . ↑ ジム・アルバート (2009). ベイズ計算とR、第2版 。ニューヨーク、ドルトレヒト他:シュプリンガー 。ISBN 978-0-387-92297-3 。↑ Rathmanner, Samuel; Hutter, Marcus; Ormerod, Thomas C (2011). "A Philosophical Treatise of Universal Induction" . Entropy . 13 (6): 1076– 1136. arXiv : 1105.5721 . Bibcode : 2011Entrp..13.1076R . doi : 10.3390/e13061076 . S2CID 2499910 . ↑ Hutter, Marcus; He, Yang-Hui; Ormerod, Thomas C (2007). "On Universal Prediction and Bayesian Confirmation". Theoretical Computer Science . 384 (2007): 33–48 . arXiv : 0709.1516 . Bibcode : 2007arXiv0709.1516H . doi : 10.1016/j.tcs.2007.05.016 . S2CID 1500830 . ↑ ガークス、ピーター。ヴィタニ、ポール MB (2010 年 12 月 2 日) 「レイモンド・J・ソロモノフ 1926-2009」。 CiteSeerX 10.1.1.186.8268 。 ↑ Robinson, Mark D & McCarthy, Davis J & Smyth, Gordon K edgeR: デジタル遺伝子発現データの差分発現解析のためのBioconductorパッケージ、Bioinformatics。 ↑ 「シリ」 。 ciri.stanford.edu 。 2019年8月11日 に取得 。 ↑ Kurtz, David M.; Esfahani, Mohammad S.; Scherer, Florian; Soo, Joanne; Jin, Michael C.; Liu, Chih Long; Newman, Aaron M.; Dührsen, Ulrich; Hüttmann, Andreas (2019-07-25). "Dynamic Risk Profiling Using Serial Tumor Biomarkers for Personalized Outcome Prediction" . Cell . 178 (3): 699–713.e19. doi : 10.1016/j.cell.2019.06.011 . ISSN 1097-4172 . PMC 7380118. PMID 31280963 . ↑ Trotta, Roberto (2017). "宇宙論におけるベイズ法". arXiv : 1701.01467 [ astro-ph.CO ]. ↑ Staicova, Denitsa (2025). "宇宙論的推論のための現代ベイズサンプリング法:比較研究" . Universe . 11 (2): 68. arXiv : 2501.06022 . Bibcode : 2025Univ...11...68S . doi : 10.3390/universe11020068 . ↑ マドゥスダン、ニックク。コンスタンティノウ、サブバス。ホルムバーグ、マンス;サルカール、スバジット。ピエット、アンジャリ AA;モーゼス、ジュリアン I. (2025)。 「JWST MIRI の K2-18 b の大気中の DMS および DMDS に関する新しい制約」 。 天体物理学ジャーナル 。 983 (2):L40。 arXiv : 2504.12267 。 Bibcode : 2025ApJ...983L..40M 。 土井 : 10.3847/2041-8213/adc1c8 。 1 2 Aghanim, N.; et al. (2020). " Planck 2018 の結果". Astronomy & Astrophysics . 641 : A6. arXiv : 1807.06209 . Bibcode : 2020A & A...641A...6P . doi : 10.1051/0004-6361/201833910 . ↑ Anstey, Dominic; De Lera Acedo, Eloy; Handley, Will (2021). "グローバル21cm実験の前景モデリングと色度補正のための一般的なベイズフレームワーク" . Monthly Notices of the Royal Astronomical Society . 506 (2): 2041– 2058. arXiv : 2010.09644 . doi : 10.1093/mnras/stab1765 . ↑ Lewis, Antony; Bridle, Sarah (2002). "CMBおよびその他のデータからの宇宙論的パラメータ:モンテカルロ法によるアプローチ". Physical Review D . 66 (10) 103511. arXiv : astro-ph/0205436 . Bibcode : 2002PhRvD..66j3511L . doi : 10.1103/PhysRevD.66.103511 . ↑ 「Cobaya、宇宙論におけるベイズ分析のためのコード — cobaya 3.5.7 ドキュメント」 。cobaya.readthedocs.io 。 2025年7月23日 取得 。 ↑ "CAMB — Code for Anisotropies in the Microwave Background (CAMB) 1.6.1 documentation" . camb.readthedocs.io . 2025-07-23 に取得. ↑ Lesgourgues, Julien (2011). "The Cosmic Linear Anisotropy Solving System (CLASS) I: Overview". arXiv : 1104.2932 [ astro-ph.IM ]. ↑ Hill, J. Colin; McDonough, Evan; Toomey, Michael W.; Alexander, Stephon (2020). "初期のダークエネルギーは宇宙論的整合性を回復しない". Physical Review D . 102 (4) 043507. arXiv : 2003.07355 . Bibcode : 2020PhRvD.102d3507H . doi : 10.1103/PhysRevD.102.043507 . ↑ Trotta, Roberto (2008). "空のベイズ: 宇宙論におけるベイズ推論とモデル選択". Contemporary Physics . 49 (2): 71– 104. arXiv : 0803.4089 . Bibcode : 2008ConPh..49...71T . doi : 10.1080/00107510802066753 . ↑ Dawid, A. P. および Mortera, J. (1996) 「法医学的識別証拠の一貫性のある分析」。Journal of the Royal Statistical Society 、シリーズ B、58、425–443。 ↑ Foreman, L. A.; Smith, A. F. M., and Evett, I. W. (1997). "法医学的識別アプリケーションにおけるデオキシリボ核酸プロファイリングデータのベイズ分析(討論付き)". Journal of the Royal Statistical Society , Series A, 160, 429–469. ↑ Robertson, B. および Vignaux, G. A. (1995)証拠の解釈:法廷における法科学の評価 。John Wiley and Sons. Chichester. ISBN 978-0-471-96026-3 。 ↑ Dawid, AP (2001)ベイズの定理と陪審員による証拠の重み付け。Wayback Machine に 2015 年 7 月 1 日に アーカイブ済み。 ↑ ガードナー=メドウィン、A. (2005)「陪審員はどのような確率を考慮すべきか?」。 Significance 、2 (1)、2005年3月。 ↑ ミラー、デイビッド(1994)。 批判的合理主義 。シカゴ:オープンコート 。ISBN 978-0-8126-9197-9 。↑ ハウソン&アーバック(2005)、ジェインズ(2003) ↑ Cai, XQ; Wu, XY; Zhou, X. (2009). "不完全な情報による繰り返し故障を伴う確率的スケジューリング". Operations Research . 57 (5): 1236– 1249. doi : 10.1287/opre.1080.0660 . ↑ Ogle, Kiona; Tucker, Colin; Cable, Jessica M. (2014-01-01). "単純な線形混合モデルを超えて: 生態学的プロセスのプロセスベースの同位体分配". Ecological Applications . 24 (1): 181– 195. Bibcode : 2014EcoAp..24..181O . doi : 10.1890/1051-0761-24.1.181 . ISSN 1939-5582 . PMID 24640543 . ↑ Evaristo, Jaivime; McDonnell, Jeffrey J.; Scholl, Martha A.; Bruijnzeel, L. Adrian; Chun, Kwok P. (2016-01-01). "Insights into plant water uptake from xylem-water isotope measurements in two tropical catchments with contrasting moisture conditions". Hydrological Processes . 30 (18): 3210– 3227. Bibcode : 2016HyPr...30.3210E . doi : 10.1002/hyp.10841 . ISSN 1099-1085 . S2CID 131588159 . ↑ Gupta, Ankur; Rawlings, James B. (2014年4月) 「確率的化学反応速度モデルにおけるパラメータ推定法の比較:システム生物学の例」 AIChE Journal . 60 ( 4): 1253– 1268. Bibcode : 2014AIChE..60.1253G . doi : 10.1002/aic.14409 . ISSN 0001-1541 . PMC 4946376. PMID 27429455 . ↑ Schütz, N.; Holschneider, M. (2011). "ベイズ推論を用いた時系列のトレンド変化の検出". Physical Review E . 84 (2) 021120. arXiv : 1104.3448 . Bibcode : 2011PhRvE..84b1120S . doi : 10.1103/PhysRevE.84.021120 . PMID 21928962 . S2CID 11460968 . ↑ スティグラー、スティーブン (1982)。「トーマス・ベイズのベイズ推論」。 王立 統計 学会 誌 。145 ( 2 ): 250–58。doi : 10.2307/2981538。JSTOR 2981538 。 ↑ スティグラー、スティーブン・M. (1986). 「第3章」 . 統計学の歴史 . ハーバード大学出版局. ISBN 978-0-674-40340-6 。1 2 Fienberg, Stephen E. (2006). 「ベイズ推論はいつ『ベイズ的』になったのか?」 . ベイズ分析 . 1 (1): 1–40 [p. 5]. doi : 10.1214/06-ba101 . ↑ Bernardo, José-Miguel (2005). "参照分析". 統計ハンドブック.第 25 巻 .pp.17–90 . ↑ Wolpert, R. L. (2004). "A Conversation with James O. Berger" . Statistical Science . 19 (1): 205– 218. CiteSeerX 10.1.1.71.6112 . doi : 10.1214/088342304000000053 . MR 2082155 . S2CID 120094454 . ↑ Bernardo, José M. (2006). "A Bayesian mathematical statistics primer" (PDF) . Icots-7 . ↑ Bishop, CM (2007). パターン認識と機械学習 . ニューヨーク: Springer. ISBN 978-0-387-31073-2 。
情報源 アスター、リチャード;ボーチャーズ、ブライアン、サーバー、クリフォード(2012)。パラメータ推定と逆問題 、第2版、エルゼビア。ISBN 0123850487 ISBN 978-0123850485 Bickel, Peter J. & Doksum, Kjell A. (2001).数理 統計学、第1巻:基礎と厳選されたトピック (第2版(2007年改訂版) )。Pearson Prentice–Hall。ISBN 978-0-13-850363-5 。 Box, G. E. P. およびTiao, G. C. (1973).ベイズ推論統計分析 、Wiley、ISBN 0-471-57428-7 エドワーズ、ウォード(1968)。「人間の情報処理における保守主義」。クラインムンツ、B.(編)『人間の判断の形式的表現』所収 。ワイリー。 Edwards, Ward (1982). Daniel Kahneman ; Paul Slovic ; Amos Tversky (編). "不確実性下での判断:ヒューリスティクスとバイアス". Science . 185 (4157): 1124– 1131. Bibcode : 1974Sci...185.1124T . doi : 10.1126/science.185.4157.1124 . PMID 17835457 . S2CID 143452957 .章:人間の情報処理における保守主義(抜粋) Jaynes E. T. ( 2003)確率論:科学の論理 、CUP。ISBN 978-0-521-59271-0 (1996年3月号の断片版へのリンク)Howson, C. & Urbach, P. (2005).科学的推論:ベイズ的アプローチ (第3 版). Open Court Publishing Company . ISBN 978-0-8126-9578-6 。Phillips, LD; Edwards, Ward (2008年10月)「第6章:単純な確率推論課題における保守主義(実験心理学ジャーナル (1966)72:346-354)」Jie W. Weiss、David J. Weiss編『意思決定の科学:ワード・エドワーズの遺産』所収 、オックスフォード大学出版局、 536頁。ISBN 978-0-19-532298-9 。
さらに読む ベイズ統計の歴史と頻度主義的アプローチとの議論に関する詳細な報告については、Vallverdu, Jordi (2016). Bayesians Versus Frequentists A Philosophical Debate on Statistical Reasoning . New York: Springer. ISBN を参照してください。 978-3-662-48638-2 。 クレイトン、オーブリー (2021年8月)。『ベルヌーイの誤謬:統計的非論理と現代科学の危機』 コロンビア大学出版局。ISBN 978-0-231-55335-3 。
小学校 以下の書籍は、確率論の洗練度が高い順に並べられています。
Stone, JV (2013)、「ベイズの定理:ベイズ分析入門チュートリアル」、 「最初の章はこちらからダウンロード」 。 2015年7月22日に オリジナル からアーカイブ済み。 セブテル・プレス、イギリス。 デニス・V・リンドレー (2013)。不確実性の理解、改訂版 (第2 版)。ジョン・ワイリー。ISBN 978-1-118-65012-7 。コリン・ハウソン & ピーター・アーバック(2005)。科学的推論:ベイズ的アプローチ (第3 版)。オープン・コート出版 。ISBN 978-0-8126-9578-6 。ベリー、ドナルド A. (1996).統計学:ベイズ的視点 . ダックスベリー. ISBN 978-0-534-23476-8 。 Morris H. DeGroot & Mark J. Schervish (2002).確率と統計 (第3 版). Addison-Wesley. ISBN 978-0-201-52488-8 。ボルスタッド、ウィリアム M. (2007)ベイズ統計学入門 :第2版、ジョン・ワイリーISBN 0-471-27020-2 ウィンクラー、ロバート L (2003).ベイズ推論と意思決定入門 (第 2 版). 確率論. ISBN 978-0-9647938-4-2 。 改訂版の古典的教科書。ベイズ理論が分かりやすく解説されている。Lee, Peter M.ベイズ統計学入門 第4版 (2012)、John Wiley ISBN 978-1-1183-3257-3 Carlin, Bradley P. & Louis, Thomas A. (2008).ベイズデータ分析法 第3版 . フロリダ州ボカラトン: Chapman and Hall/CRC. ISBN 978-1-58488-697-6 。 ゲルマン、アンドリュー ;カーリン、ジョン・B;スターン、ハル・S;ダンソン、デイビッド・B;ヴェタリ、アキ;ルービン、ドナルド・B (2013)。ベイズデータ分析、第3版。チャップマン・アンド・ ホール /CRC。ISBN 978-1-4398-4095-5 。
Berger, James O (1985).統計的決定理論とベイズ分析 . Springer Series in Statistics (第2 版). Springer-Verlag. Bibcode : 1985sdtb.book.....B . ISBN 978-0-387-96098-2 。ベルナルド、ホセ・ M. ;スミス、エイドリアン・ F. M. (1994).ベイズ理論 . ワイリー.デグルート、モリス・H. 、『最適統計的意思決定』 。ワイリー・クラシックス・ライブラリー。2004年。(原著は1970年にマグロウヒル社より刊行。)ISBN 0-471-68029-X 。シャービッシュ、マーク J. (1995)。統計理論 。スプリンガー・フェルラーク。ISBN 978-0-387-94546-0 。 ジェインズ、ET(1998)。確率論:科学の論理 。 O'Hagan, A. および Forster, J. (2003). Kendall's Advanced Theory of Statistics , Volume 2B: Bayesian Inference . Arnold, New York. ISBN 0-340-52922-9 。 Robert, Christian P (2007).ベイズ選択:意思決定理論的基礎から計算実装まで (ペーパーバック 版). Springer. ISBN 978-0-387-71598-8 。 Pearl, Judea . (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference , San Mateo, CA: Morgan Kaufmann.ピエール・ベシエールら。 (2013年)。 「ベイジアンプログラミング」。 CRCプレス。ISBN 9781439880326 フランシスコ・J・サマニエゴ(2010)。「推定におけるベイズ的アプローチと頻度論的アプローチの比較」。シュプリンガー。ニューヨーク、ISBN 978-1-4419-5940-9
外部リンク 「統計問題へのベイズ的アプローチ」、数学百科事典 、EMS Press 、2001年 [1994年] Scholarpediaのベイズ統計学。 「ベイズ確率入門」 。2009年5月4日にオリジナルからアーカイブされました。 ロンドン大学クイーン・メアリー校出身「ベイズ統計とマルコフ連鎖モンテカルロに関する数学的ノート」。 2016年3月4日にオリジナルからアーカイブされました。 「ベイズ統計学の読書リスト」 。2011年6月25日にオリジナルからアーカイブされました。 トム・グリフィスによる分類および注釈A. Hajek および S. Hartmann:ベイズ認識論、J. Dancy 他編『認識論入門』所収、オックスフォード:Blackwell、2010年、93-106頁。 S. Hartmann および J. Sprenger:ベイズ認識論、S. Bernecker および D. Pritchard 編『Routledge Companion to Epistemology』所収、ロンドン: Routledge 2010、609–620頁。 スタンフォード哲学百科事典 :「帰納論理」ベイズ確証理論(PDF) ベイズ学習とは何ですか? データ、不確実性、推論 ― 多くの例を用いた非公式な入門書。電子書籍(PDF)はcausaScientiaで無料で入手可能。