贝叶斯公式

把"已知原因求结果"的概率翻转成"已知结果推原因"的概率。核心思路:先有一个初始判断(先验),看到新证据后按规则更新成新的判断(后验),分母是所有能产生该证据的情况之和。

核心公式

📖 符号说明

符号含义说明取值范围
后验概率看到证据 B 后对假设 A 的更新判断[0, 1]
先验概率看到证据前对 A 的初始判断[0, 1]
查得出假设 A 为真时,看到证据 B 的概率[0, 1]
被冤枉假设 A 不成立时,仍然看到证据 B 的概率[0, 1]
先验的补A 不成立的概率,= 1 - P(A)[0, 1]

🔢 分步计算

  1. 1

    分子:A 成立时能产生证据 B 的概率(真得病且查出阳性)

  2. 2

    分母:所有能产生证据 B 的情况之和(真阳性 + 假阳性)

  3. 3

    用分子除以分母,得到看到证据后的更新判断

直觉理解

1000 人体检 → 约 1 个真得病且阳性 → 约 10 个没病但误报阳性 → 阳性人群中真病比例 ≈ 1/11 ≈ 9%。

贝叶斯公式就是把这个"数人头"的过程写成通用公式——不管场景怎么换,都能用同一套规则算出"看到证据后的更新概率"。

数学定义

P(AB)=P(BA)×P(A)P(BA)×P(A)+P(B¬A)×P(¬A)P(A|B) = \frac{P(B|A) \times P(A)}{P(B|A) \times P(A) + P(B|\neg A) \times P(\neg A)}P(AB)=P(BA)×P(A)+P(B∣¬A)×P(¬A)P(BA)×P(A)

分子 = "A 成立时看到 B 的概率" × "A 本来的概率" 分母 = 所有能产生 B 的路径之和

体检例子代入

符号含义数值
P(A)P(A)P(A)先验(发病率)0.001
P(BA)P(B\|A)P(BA)查得出(真病人被检出)0.99
P(¬A)P(\neg A)P(¬A)没得病0.999
P(B¬A)P(B\|\neg A)P(B∥¬A)被冤枉(健康人被误报)0.01
P(AB)=0.99×0.0010.99×0.001+0.01×0.999=0.000990.010980.09P(A|B) = \frac{0.99 \times 0.001}{0.99 \times 0.001 + 0.01 \times 0.999} = \frac{0.00099}{0.01098} \approx 0.09P(AB)=0.99×0.001+0.01×0.9990.99×0.001=0.010980.000990.09

公式的核心洞察

为什么 99% 准确的检测,阳性后得病概率只有 9%?

因为分母包含了假阳性。999 个健康人中 1% 被误报 ≈ 10 人,远超 1 个真阳性。先验越低(病越罕见),假阳性的"稀释效应"越强。

这在机器学习中用来做什么

贝叶斯公式是"用数据更新信念"的核心工具。垃圾邮件过滤器看到"免费""中奖"等关键词(证据),更新"这是垃圾邮件"的概率——这就是贝叶斯公式在日常中最常见的 AI 应用之一。

引用本概念的文章