この記事では、デンプスター・シェーファー(DS)理論を用いて集合に関する信念をモデル化する方法について説明されています。安定した確率を持つ部分集合が与えられる中で、特定の条件を満たす確率を推定することが扱われます。DS理論は1960年代に登場した証拠の理論で、イベントの部分集合に直接確率を割り当てる方式を取ります。質量割り当てを用いて、信念(bel)や可能性(pl)を定義し、Dempsterのルールに従って異なる情報源からの質量を融合させます。具体的には、各情報更新が特定の部分集合に質量を割り当てて進行し、最終的に任意の論理式に対する信念と可能性を計算します。この記事の魅力は、ベイズ的なアプローチが適用しにくい設定において、DS理論が優れた解決策を提供する点にあります。