私はいくつかの要素A、B、C、AB、ABC、..（下の画像を参照）を持っており、各要素は存在するかしないかのどちらかです。このシステムを管理するルールは次のとおりです。ABが存在する場合、AとBも存在する必要があります。一般的に、タペルが存在する場合、このタペルのサブセットであるすべての小さなタペルも存在する必要があります。さらに、タペルが存在しない場合、このタペルのスーパーセットを構成するすべてのタペルが存在するわけではありません。
http://i.stack.imgur.com/8fNl6.gif
例：ABCが存在すると、A、B、C、AB、AC、BCも存在します。BCが存在しない場合、ABC、BCD、ABCDも存在しません。
今私が苦労しているのは、たとえばP（AB | A、B、！ABC）を計算する方法です。これは、Aが存在し、Bが存在し、ABCが存在しない場合にABが存在する確率を意味します。foreach要素iには、基本的な開始確率p（X）があります。これは、制約がない場合にXが存在する可能性がどの程度あるかを示します。通常、システムに境界があるように、事前にA、B、C、D、ABCDの存在を確認します。
私の問題は、これが循環ネットワークであるということです。この数週間、この問題を解決しようとして成功しなかったので、助けていただければ幸いです。状況/制約が与えられた場合に、1つの要素が存在する確率のみを計算したいと思います。ABや！BDなどの要素は独立していないことに注意してください。