我有几个元素 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) 这意味着 AB 存在的概率，给定 A 存在，B 存在且 ABC 不存在。对于每个元素，我有一个基本的起始概率 p(X)，它告诉我在没有约束的情况下 X 存在的可能性有多大。通常我会事先检查 A、B、C、D、ABCD 的存在，以便系统有边界。
我的问题是这是一个循环网络。我将非常感谢任何帮助，因为我在过去几周尝试解决这个问题但没有成功。在给定任何情况/约束的情况下，我只想计算一个元素存在的概率。请注意，像 AB 和 !BD 这样的元素不是独立的。