第二章:精确推断
我们之前提到的有向图不能有环,即带环的条件概率分解公式一定是缺少变量的
变量消解
P ( A B C D ) = P ( A ) P ( B ∣ A ) P ( C ∣ B ) P ( D ∣ C ) P(ABCD)=P(A)P(B|A)P(C|B)P(D|C) P(ABCD)=P(A)P(B∣A)P(C∣B)P(D∣C)
这是是一个非常简单的推理链,
P ( B = i ) = ∑ a P ( B = i ∣ a ) P ( a ) P(B=i)=\sum_{a}P(B=i|a)P(a) P(B=i)=a∑P(B=i∣a)P(a)
P ( D ) = ∑ c P ( D ∣ C ) ∑ b P ( C ∣ B ) ∑ a P ( A ) P ( B ∣ A ) P(D)=\sum_{c}P(D|C)\sum_{b}P(C|B)\sum_{a}P(A)P(B|A) P(D)=c∑P(D∣C)b∑P(C∣B)a∑P(A)P(B∣A)
和积与信念更新
怎么找到最合适的消解边缘的方法呢,一种可能的执行方式是使用和积变量消解算法(sum-product Variable Elimination Algorithm)
A =matrix(c(0.8, 0.2), 2, 1)
B =matrix(