R を観察データ,H1 〜 Hn を対立仮説とする.
ベイズの定理
Pr(Hi|R) = (Pr(R|Hi)Pr(Hi))/(Σ[i=1,n](Pr(R|Hi)Pr(Hi)))
に関して,「背景知識k」が追加されたとき,
Pr(Hi|R∩k) = (Pr(R|Hi∩k)Pr(Hi|k))/(Σ[i=1,n](Pr(R|Hi∩k)Pr(Hi|k)))
が成立する事を証明せよ.