【机器学习chp2】贝叶斯最优分类器、概率密度函数的参数估计、朴素贝叶斯分类器、高斯判别分析。万字超详细分析总结与思考

前言,请先看。

本文的《一》《二》属于两个单独的知识点:共轭先验和Laplace平滑,主要因为他们在本文的后续部分经常使用,又因为他们是本人的知识盲点,所以先对这两个知识进行了分析,后续内容按照标题中的顺序依次进行,观看时可以先跳过《一》《二》,后文遇到相关共轭先验和Laplace平滑的知识再回头看他们。另一个更重要的点是,本文用到了大量gpt的分析,部分我添加了我的理解并进行重要标注,还有一部分我想优化gpt的回答,但鄙人不才,gpt的分析太好了,条理清晰又通俗易懂,我改不了就直接放上去了。

推荐文章1,最大似然估计和最大后验估计分析

【王木头】最大似然估计、最大后验估计-CSDN博客

推荐文章2,其中有最大似然估计的例子

【王木头·从感知机到神经网络】-CSDN博客

推荐文章3,文章中的第《五》部分介绍了部分矩估计相关的理论知识

【王木头】sigmoid和softmax有什么区别,softmax的本质是最大熵?_softmax softmoid-CSDN博客

目录

一、共轭先验

Beta分布

1、推导

2、Beta分布参数的实际意义

3、Beta分布作为先验时贝叶斯推断中的更新过程

4、Beta分布的性质

Dirichlet分布(狄利克雷分布)

1、多项分布

2、多项分布的例子

3、Dirichlet分布的定义

3、Dirichlet分布作为多项分布的先验时贝叶斯估计中的更新过程

[4、直观解释 Dirichlet 分布作为多项分布的先验](#4、直观解释 Dirichlet 分布作为多项分布的先验)

二、Laplace平滑

1、动机和定义

2、例子

3、优缺点

4、Laplace平滑的扩展

三、贝叶斯最优分类器

1、最小错误率决策------最大后验概率决策

2、最小化风险决策

1、从最小错误率决策到最小风险决策

2、引入拒识

四、概率密度函数的参数估计

1、伯努利分布的极大似然估计

2、伯努利分布的贝叶斯估计

3、多项分布的极大似然估计

4、多项分布的贝叶斯估计

5、单变量高斯分布的极大似然估计

6、单变量高斯分布的贝叶斯估计

7、多元高斯分布的极大似然估计

五、朴素贝叶斯分类器

[0、朴素贝叶斯分类器 · 理论介绍](#0、朴素贝叶斯分类器 · 理论介绍)

(1)基本原理

(2)"朴素"假设

(3)朴素贝叶斯的不同模型

(4)分类过程

(5)分类过程中类先验概率的估计

(6)分类过程中类条件概率的估计

(7)朴素贝叶斯与最大似然估计、最大后验估计的联系

(8)朴素贝叶斯分类器的优缺点

[1、多项式朴素贝叶斯分类举例 (PPT上的例子)](#1、多项式朴素贝叶斯分类举例 (PPT上的例子))

问题背景

[步骤 1:计算先验概率](#步骤 1:计算先验概率)

[步骤 2:计算条件概率(类条件分布)](#步骤 2:计算条件概率(类条件分布))

[步骤 3:预测新用户](#步骤 3:预测新用户)

[步骤 4:比较后验概率](#步骤 4:比较后验概率)

2、高斯朴素贝叶斯分类器举例

问题背景

数据集

[步骤 1:计算先验概率](#步骤 1:计算先验概率)

[步骤 2:计算类条件概率的参数(均值和方差)](#步骤 2:计算类条件概率的参数(均值和方差))

[步骤 3:预测新样本](#步骤 3:预测新样本)

六、高斯判别分析

1、高斯判别分析的基本假设

2、类别的先验分布

3、判别函数

4、二次判别分析(QDA)

5、线性判别分析(LDA)

6、特殊情况:协方差矩阵为对角阵

7、高斯判别模型的训练

[8、收缩估计(Shrinking Estimation)------正则化](#8、收缩估计(Shrinking Estimation)——正则化)

总结

七、⭐全文总结⭐

1、对于贝叶斯分类器

2、对于概率密度函数的参数估计

3、对于朴素贝叶斯分类器

4、对于高斯判别分析


一、共轭先验

最大似然估计和最大后验估计是点估计,贝叶斯估计的参数估计不再是一个点估计,而是一个对一个分布的估计,即它估计的是一系列参数值的一个分布 ,共轭先验(Conjugate Prior)是贝叶斯统计中的一个概念,指的是在贝叶斯更新中选择一种特殊的先验分布,使得在观察数据后得到的 后验分布与先验分布属于同一家族,对伯努利分布(二项分布就是伯努利分布)进行贝叶斯估计时,使用Beta分布作为共轭先验可以简化运算。对多项分布进行贝叶斯估计时,选用Dirichlet分布作为共轭先验可以简化运算。

Beta分布

1、推导

Beta分布本质是概率分布P的概率分布,在《推荐文章2》中的抛硬币的例子中,在知道结果前,概率分布为:

,可见先验 变化时, 也会相应发生变化,感觉一下应该是 随着 先增大后减小;所以就可以把 写成一个概率分布的形式,显然 ,而要写成概率分布,概率密度就要归一化,对 积分得 ,所以 的分布可写成:

更一般的,如果先验的实验次数分别为 次成功和 次失败,则概率分布 的概率分布可写为:

其中归一系数的倒数可表示为,被称为Beta函数。

以上就是Beta分布推导的精髓。

在上面抛硬币的例子中,先验是均匀分布,取,即,符合分布,数据信息是3次正面和7次反面,所以后验为分布

2、Beta分布参数的实际意义

在 Beta 分布中,参数 可以被解释为**"先验成功和失败的次数加 1"**。这就是说:

  • 可以看作是我们在先验信念中预期的"成功"次数。
  • 可以看作是我们在先验信念中预期的"失败"次数。

这解释了为什么 Beta 分布的概率密度函数(PDF)是:

这里的 正是对"成功"和"失败"次数的参数化,体现了我们在先验中已经观测到的"成功"和"失败"的预期数量。

3、Beta分布作为先验时贝叶斯推断中的更新过程

在我们选择了 Beta 分布作为先验后,观测数据可以不断更新这个先验分布。假设我们进行了一些实验,例如进行了一系列伯努利试验(比如多次抛硬币)并观察到 次成功和 次失败。此时,可以根据观测数据对先验分布进行更新,从而得到后验分布。

假设:

  • 初始的先验分布是
  • 观测到 次成功(事件发生)和 次失败(事件未发生)。

则观测数据的似然函数为:

根据贝叶斯公式,后验分布 可以通过将似然与先验相乘并标准化得到:

代入具体的形式得到:

可以将其整理为:

这就是一个新的 Beta 分布的形式,后验分布为:

​​​​​​​ ​​​​​​​

因此,更新后的后验分布仍然是 Beta 分布,只需更新参数为 。这种共轭性质使得 Beta 分布在处理伯努利分布和二项分布时特别方便。

4、Beta分布的性质

参数 控制着 Beta 分布的形状,使得分布可以表示不同的概率模式。

(1)均值

均值(中心位置):

期望

因此,均值由 的比率决定。例如,较大的 值会使分布更靠近1(更偏向成功),而较大的 值会使分布更靠近0(更偏向失败)。

(2)方差

方差(集中程度):

方差

较小时,方差较大,表示对 的不确定性更大,先验的次数很少导致分布比较离散;当 较大时,方差较小,表示对 的不确定性较小。也就是说, 越大,分布越集中,对事件的发生概率 越有信心。

(3)α和β不同组合下的解释

  • 均匀分布 :当 时,Beta 分布是均匀分布,即对区间 上的所有值都持等可能的信念。这表示对事件的概率没有任何偏好或先验知识。

  • 向 1 倾斜的分布 :当 时,Beta 分布倾向于靠近 1。这表示我们在先验上认为事件的发生概率较大,即对事件发生抱有较强的信心。

  • 向 0 倾斜的分布 :当 时,Beta 分布倾向于靠近 0。这表示我们在先验上认为事件的发生概率较小,即认为事件不太可能发生。

  • 钟形分布 :当 时,Beta 分布呈钟形,集中在 0 和 1 之间的某个位置。这表示对事件发生概率有一定的偏好,但并不极端。

  • U形分布 :当 时,Beta 分布在 0 和 1 处有较高的密度,中间位置概率较低。它表示对事件的概率有强烈的二分倾向,即要么很可能发生,要么不太可能发生,但不倾向于中间值。

(4)α和β取值相等但取较大的值和较小的值的区别

(i)参数相等的意义:对称的先验信念

时,Beta 分布是对称的 ,即 关于 对称。这表明我们对事件发生和不发生的概率没有任何偏好或倾向,反映了先验信念的平衡 。

(ii)较小的α=β,对事件概率缺乏确定性

时,Beta 分布就是一个均匀分布, 即在 区间上所有的概率值都是等可能的。这表明我们对事件的概率没有任何先验知识或偏好,每个概率值都同等可能。

更小(比如 ),Beta 分布在 0 和 1 处出现较高的概率密度,而中间的概率值较小。这表示我们认为事件要么几乎一定会发生(概率接近 1),要么几乎不会发生(概率接近 0)。这是一种对概率的"二分倾向",体现了极端的、不确定的先验信念。

(iii)较大的α=β,对事件概率的确定性增加

较大的数 (例如,),Beta 分布在物理上表现出一种高度确定性强烈的先验信念。具体来说:

  • 较大的 值使得 Beta 分布更加集中在 附近,呈现出一个钟形曲线 ,表明我们认为事件发生的概率接近
  • 参数值越大,Beta 分布越集中,表示我们对事件发生概率接近 的信念越强烈。因此,当我们观测到新的数据时,这些观测数据对后验分布的影响较小,因为我们对事件的概率已有较强的先验信念。

物理意义上,较大的 表示我们对事件发生概率的估计非常有信心,认为它很接近 ,因此观测数据的影响会被削弱。这种情况下,先验分布的权重较大,不容易被新数据改变。

Dirichlet分布(狄利克雷分布)

多项分布的先验符合 Dirichlet分布,多项分布是伯努利分布向高维的一个扩展,Dirichlet分布也是Beta分布向高维的一个扩展,因此Beta分布和Dirichlet分布有许多相似的地方。

1、多项分布

(1)定义
它是二项分布的推广,用于描述一个实验中可能有多个结果的情况。多项分布可以理解为一次重复试验中,每个试验有多个互斥的结果(类别),每个结果发生的概率是已知的,且总和为1。
例如抛掷多面骰子、文本分类等
设我们进行 次独立试验,每次试验有 个可能的互斥结果(类别),且每个结果 发生的概率为 ,其中 。多项分布描述了在 次试验中,每个类别发生的次数。
如果随机变量 表示每个类别的出现次数,则 服从一个多项分布,记为:

其中:

  • 表示第 类在 次试验中出现的次数。
  • 表示第 类在每次试验中发生的概率。
  • 表示试验的总次数。

(2)质量分布函数

多项分布的概率质量函数(PMF)表示在 次试验中,每个类别 iii 恰好出现 次的概率:

其中:

  • 是第 类出现的次数,且满足
  • 是组合数,表示在 次试验中获得具体观测次数 的排列数。
  • 表示第 类出现 次的概率。

(3)期望和方差

对于多项分布中的每个类别 iii:

  • 期望,即第 类的期望次数是总次数 乘以该类的概率
  • 方差,表示在 次试验中,第 类的出现次数的方差。
  • 协方差 :对于 ,即不同类别的出现次数是负相关的,因为它们在 次试验中共享总数。

(4) 独立性

多项分布中的每个随机变量 ​ 并不是相互独立的,因为它们的和必须满足 。换句话说,多项分布中的事件数是总数为 的分配问题,各类别的出现次数之间存在一定的关联。

2、多项分布的例子

假设我们有一个4面骰子,每个面出现的概率分别为 。我们掷这个骰子 10 次,记录每个面出现的次数。

在这种情况下:

  • 类别数
  • 每个类别的出现概率分别为

如果结果是 ,表示:

  • 第一面出现了 2 次
  • 第二面出现了 3 次
  • 第三面出现了 1 次
  • 第四面出现了 4 次

根据多项分布的概率质量函数,可以计算出这个结果的概率:

这个概率表示在 10 次试验中得到特定观测结果 的可能性。

3、Dirichlet分布的定义

Dirichlet 分布是定义在 -维概率简单形(即所有分量之和为 1 的非负向量)上的分布。假设随机变量 服从 Dirichlet 分布,其概率密度函数为:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

其中:

  • 是 Dirichlet 分布的参数向量,称为浓度参数 ,每个
  • 是归一化常数,称为 Beta 函数,定义为
  • 满足 ,因此 Dirichlet 分布定义在一个 -维的概率简单形上。
3、Dirichlet分布作为多项分布的先验时贝叶斯估计中的更新过程

在贝叶斯推断中,如果我们有一个多项分布的概率参数 ,假设我们对 的先验分布为 Dirichlet 分布:

然后,我们进行 次试验,观测到每个类别出现的次数为 ,其中 表示第 类的出现次数。

根据贝叶斯公式,后验分布为:

其中:

  • 是似然函数,服从多项分布:
  • 是先验分布,服从 Dirichlet 分布:

将似然函数和先验分布相乘得到后验分布:

可以看出,这仍然是一个 Dirichlet 分布,参数为 。因此,后验分布为:

这种性质说明了 Dirichlet 分布是多项分布的共轭先验。

4、直观解释 Dirichlet 分布作为多项分布的先验

由于Dirichlet 分布作为多项分布的先验 与 Beta分布作为伯努利分布共轭先验类似,此处简要解释。

  • 参数 表示我们对第 类的"先验观测次数"或"信念强度"。例如,较大的 值表示我们在先验上认为第 类的概率较大。
  • 时,对应的先验是均匀分布,表示在先验上对每个类别没有特别的偏好。
  • 当观察到新的数据后,Dirichlet 分布的参数更新为 ,即在先验的基础上增加了每个类别的实际观测次数。

二、Laplace平滑

1、动机和定义

Laplace 平滑,也称为加一平滑,是一种在处理离散概率分布问题中常用的平滑技术。它主要用于估计在数据中未出现的事件的概率,防止概率为零的情况。 Laplace 平滑给每个可能的事件都加上一个小的非零计数,通常是加 1。这确保了所有事件的概率都不为零,并使得模型在面对新数据时更具鲁棒性。
Laplace 平滑的公式为:

其中:

  • 是事件 的原始计数。
  • 是样本的总计数。
  • 是事件的可能类别总数。
  • 分母 通过加上 ,保证了所有事件的概率之和仍为 1。
2、例子

假设我们正在统计单词在文档中的出现概率,词汇表中有 个单词:{"apple", "banana", "orange", "grape", "melon"}。假设在一篇文档中,我们观察到以下出现次数:

  • "apple": 3 次
  • "banana": 2 次
  • "orange": 0 次
  • "grape": 1 次
  • "melon": 0 次

文档的总单词数(计数总和)为

如果我们直接计算频率,不做平滑,得到的概率为:

由于"orange"和"melon"从未出现,它们的概率为零。如果我们希望在后续处理中能够处理这些词(避免概率为零),可以使用 Laplace 平滑:

对于每个单词,我们将出现次数加 1,再重新计算概率:

通过这种方式,即使"orange"和"melon"在数据中没有出现,我们也为它们分配了一个非零的概率,确保模型不会因为这些未观测到的事件而出错。

3、优缺点

优点:防止零概率问题,实现简单,计算效率高,是处理数据稀疏问题的基础方法。

缺点:对所有事件统一加 1,可能会对小概率事件的影响较大,导致低频事件的概率被高估,高频事件的概率被低估。在数据量大时,Laplace 平滑的影响较小,而在数据量小时,平滑效果明显且可能带来一定偏倚

4、Laplace平滑的扩展

在 Laplace 平滑中,我们默认对每个事件的计数加 1,称为加一平滑。我们也可以使用一个更一般的参数 ,称为 平滑。其公式为:
​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

其中 是一个超参数。常见的选择包括 或更小的值,以减弱平滑的效果。

三、贝叶斯最优分类器

1、最小错误率决策------最大后验概率决策

最小错误率决策是一种通过最大化后验概率来实现最小化分类错误概率的方法。
(1)最小化错误率
最小化错误率决策的核心是选择一个类 使得后验概率 最大。即,对于一个给定的观测值 ,选择使 最大的类 作为决策结果,这就是最大后验概率(MAP)决策。

(2)贝叶斯公式

根据贝叶斯定理,后验概率可以表示为:

​​​​​​​

其中, 是类的先验概率, 是类条件概率。

(3)判别函数

为了简化计算,通常使用对数形式的判别函数来进行比较,即:

在判别过程中,只需比较各类的判别函数值,选择最大的那个类作为预测类别。

(4)地震预测的例子(PPT中的例子)

  • 定义事件与先验概率

    • 为事件变量, 表示发生地震, 表示正常。
    • 通过对高发区的统计得出每周发生地震的概率为 20%,即
    • 如果没有其他信息,可以直接认为当前正常,因为
  • 特征变量与条件概率

    • 假设在地震高发区,观察到生物的异常反应可能与地震有关。
    • 引入二值特征 表示生物的反应: 表示异常反应, 表示正常。
    • 根据历史数据统计,给出以下条件概率:
      • 地震发生时,出现生物异常反应的概率 ,正常反应的概率
      • 没有地震时,出现异常反应的概率 ,正常反应的概率
  • 应用贝叶斯定理计算后验概率

    • 假设观察到生物的异常反应(即 ),求地震发生的后验概率
    • 根据贝叶斯公式:
    • 代入数值计算得:
    • 因为 ,所以可以认为地震更可能发生(即 )。
  • 决策结果

    • 通过以上计算,确定当观察到生物的异常反应时,可以判断地震发生的可能性更大,作出 的预测。
    • 此例展示了如何在已知先验和条件概率的情况下,通过最大后验概率决策来进行预测。

(5)决策准则

该准则通过最大化后验概率来最小化错误率,因为后验概率最高的类是最有可能的类别。这种方法确保了在给定的观测值 下,错误率 最小。

综上所述,最小错误率决策通过最大后验概率准则选择类别,使得分类器在不确定性情况下也能以较高的准确率进行预测。

2、最小化风险决策

(1)、从最小错误率决策到最小风险决策

最小化错误率决策没有考虑不同方式错误带来的损失可能不同。最小风险决策是在最小错误率决策的基础上再给决策一个代价。例如上面的地震预测例子中假设 计算得到不发生地震的概率为,发生地震的概率为,对于最小错误率决策,认为不发生地震。判定错误的情况有两种,分别为:(1)实际发生地震但判定为不发生地震,(2)实际不发生地震但判定为地震了。很显然前者的代价是远远大于后者的。所以对于最小化风险决策,要给每个判定一个代价。假设给第一种错误的情况的代价为(损失100W),给第二种错误情况代价为(损失10W),判定正确的两种情况代价为0(发生地震判定也为地震和判定不地震实际也不地震)。
那么判定为不发生地震的平均损失为:
判定为发生地震的平均损失为:
显然判断为地震的风险更小,因此在最小风险决策中上述地震预测的例子应判定为发生地震。

(2)、引入拒识

在最小风险决策中引入拒识机制是一种 应对高不确定性情况下避免错误分类的策略。通过拒识机制,分类器可以在某些输入样本上选择"不做判断"或"转交人工处理",以此来减少潜在的错误分类损失。
(1)为什么要引入拒识
在一些分类问题中,可能出现分类器对某些样本的后验概率接近,导致分类不确定性较高。这时,分类器可以选择拒识,避免作出错误分类,以减少总损失。拒识的损失代价 需要满足 ,其中 是错误分类的损失代价。如果 ,分类器将不会拒识,因为拒识反而带来更大的代价。
(2)损失函数的定义

引入拒识后,我们的损失函数可以定义为:

其中:

  • 当分类正确时,损失为 0;
  • 当分类错误时,损失为
  • 当选择拒识时,损失为
    (3)条件风险的计算
    在引入拒识后,条件风险可以表示为:

这里, 是给定输入样本 属于类别 的后验概率。

  • 当分类器选择某个类别 时,其风险为
  • 当分类器选择拒识时,其风险为
    (4)拒识的决策准则
    为了实现最小风险决策,引入拒识后的准则为:

这意味着:

  • 如果最大后验概率 超过阈值 ,则选择该类别;
  • 否则,选择拒识。

、概率密度函数的参数估计

给定随机变量 或随机向量 的概率密度函数 的形式,但其参数未知,
例如,在两类分类任务中,类先验分布 ,但参数 的值未知.
有多种方法可用来估计模型的参数
• 矩方法
• 极大似然估计:频率学派
• 贝叶斯方法:贝叶斯学派
最大似然估计、最大后验估计的理论,在本文开头《推荐文章1》和《推荐文章2》中也有详细的解答和示例。在《推荐文章3》中,有关于矩方法的简要理论介绍。

1、伯努利分布的极大似然估计

假设 :随机变量 只有 0 和 1 两种取值,即 ,其中 表示随机变量取值为 1 的概率。

似然函数

​​​​​​​

对数似然函数

最大似然估计 : 求对数似然函数关于 的导数并令其为 0:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

解得:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

其中 的样本数, 是样本总数。

2、伯努利分布的贝叶斯估计

贝叶斯估计是对参数分布的估计,最大后验估计和最大似然估计是对参数的最大点估计。

  • 先验分布 :假设 服从 Beta 分布,即 ,其概率密度函数为:

  • 似然函数(基于伯努利分布):

    其中 ​ 分别是取值为 1 和 0 的样本数量。

  • 后验分布:根据贝叶斯公式,后验分布为:

    因此,后验分布仍然是 Beta 分布:

  • 最大后验估计MAP(贝叶斯估计出来的后验分布的最大点)

时,即使用均匀先验分布(等于1特指没有先验),MAP退化为MLE:

  • 后验均值估计(后验Beta 分布的期望值):

    ​​​​​​​

3、多项分布的极大似然估计

  • 背景 :若随机变量 个可能的取值(例如 ),则 服从多项分布 ,其中 表示每个类别的概率。

  • 似然函数 :给定观测数据 ,其中 ​ 的取值属于 ,似然函数为

    其中 ​ 是类别 的样本数量。

  • 对数似然函数

  • 最大似然估计 :由于 作为约束条件,使用拉格朗日乘数法优化,得到

    其中 是样本总数。

4、多项分布的贝叶斯估计

  • 先验分布 :多项分布的共轭先验是 Dirichlet 分布。假设 ,其中 是超参数,表示先验观测次数。

  • 似然函数:多项分布的似然函数为

  • 后验分布:结合先验分布和似然函数,后验分布为

    因此,后验分布是一个 Dirichlet 分布:

  • 最大后验估计MAP(贝叶斯估计出来的后验分布的最大点)

    其中

当所有的 时,即使用均匀先验分布,MAP退化为MLE:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

  • 后验均值估计(后验Dirichlet 分布的期望值):

5、单变量高斯分布的极大似然估计

  • 假设 :随机变量 ,即服从均值为 ,方差为 的正态分布。

  • 概率密度函数

  • 对数似然函数 : 给定样本数据 ,对数似然函数为:

  • 最大似然估计 : 对参数 求偏导并令其为零,可得到:

    其中 是样本均值, 是样本的经验方差。

这里其实并没有单变量,其实对两个变量都使用了极大似然估计。

6、单变量高斯分布的贝叶斯估计

  • 假设 :已知方差 ,对均值 进行贝叶斯估计。选择 的共轭先验分布为正态分布,即

  • 似然函数:与最大似然估计相同,样本的似然函数为

  • 后验分布:将先验分布与似然函数结合得到后验分布:

    其中

  • 解释 是先验信息 与训练样本信息 的加权组合,其中 随着样本数 增大而减小。

性质:

后验分布 :后验分布 表示观测到数据后,对均值 的不确定性逐渐减小。

渐进性 :随着 增大,,后验均值 ​ 趋近于样本均值 ,体现了贝叶斯估计的渐进性,即样本信息逐渐压倒先验信息。

7、多元高斯分布的极大似然估计

(1)多元高斯分布的概率密度函数

  • 定义,其中 是均值向量, 是协方差矩阵。

  • 概率密度函数

  • 参数解释

    • 均值向量 :表示数据分布的中心位置。
    • 协方差矩阵 :表示数据分布的形状和方向。
      • 对角线元素 表示第 个特征的方差。
      • 非对角线元素 表示第 个和第 个特征之间的协方差。

(2)似然函数

对数似然函数 : 给定 个独立样本 ​,对数似然函数为:

经过化简得到:

(3)求均值 μ 的最大似然估计

  • 去掉与参数无关的常数项后,对数似然函数变为:

  • 求导并设为

  • 得到均值的最大似然估计:

(4)求协方差矩阵 Σ 的最大似然估计

  • 以精度矩阵 表示协方差矩阵,化简后得到对数似然函数:

  • 利用矩阵求导法则,得到协方差矩阵的估计:

  • 最终的协方差矩阵估计为:

五、朴素贝叶斯分类器

0、朴素贝叶斯分类器 · 理论介绍

(1)基本原理

朴素贝叶斯分类器 (Naive Bayes Classifier)是一种基于贝叶斯定理 的简单而有效的概率分类算法。它特别适用于文本分类垃圾邮件过滤情感分析等任务。尽管它被称为"朴素",它在很多应用中表现出了出色的效果。

朴素贝叶斯分类器利用贝叶斯定理来计算一个样本属于某个类别的概率。贝叶斯定理的基本形式为:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

其中:

  • 是给定特征 的情况下,样本属于类别 后验概率
  • 是类别 下特征 出现的条件概率
  • 是类别 先验概率
  • 是特征 边际概率

在朴素贝叶斯分类器中,我们的目标是通过计算后验概率 ,来决定给定特征 的样本属于哪个类别 。其中是特征组成的向量。

(2)"朴素"假设

朴素贝叶斯 之所以"朴素",是因为它假设特征之间是条件独立的,即在给定类别的情况下,每个特征是相互独立的。换句话说,对于特征向量 ,我们假设:

​​​​​​​ ​​​​​​​ ​​​​​​​

这一假设显然是"朴素"的,因为在实际应用中特征之间往往并非独立。然而,这种假设大大简化了计算,并且在许多应用场景中,即使独立性假设不完全成立,朴素贝叶斯分类器依然能够取得不错的效果。

(3)朴素贝叶斯的不同模型

根据特征的类型(如是否为离散型或连续型),朴素贝叶斯分类器可以使用不同的概率模型:

  • 高斯朴素贝叶斯(Gaussian Naive Bayes) :用于连续特征,假设特征在每个类别条件下服从正态分布。
  • 多项式朴素贝叶斯(Multinomial Naive Bayes) :用于离散特征,常用于文本分类和词袋模型,假设特征(如词频)在每个类别下服从多项分布。
  • 伯努利朴素贝叶斯(Bernoulli Naive Bayes) :也用于离散特征,但假设每个特征都是一个二元变量(0或1),适合在文本分类中用来表示单词的出现与否。

(4)分类过程

给定一个待分类的样本 ,朴素贝叶斯分类器计算样本属于每个类别 的后验概率 。根据贝叶斯定理和朴素假设,有:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

其中:

  • ,类先验概率,是类别的先验概率,可以根据训练集中该类别样本占总样本的比例来估计。
  • ,类条件概率,是给定类别 时特征 的条件概率,可以从训练数据中统计得到。

朴素贝叶斯模型的参数就是 和 很多个 。模型训练过程就是计算 和 很多个的过程。

最后,朴素贝叶斯分类器将样本 分配到后验概率最大的类别:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

(5)分类过程中类先验概率的估计

朴素贝叶斯模型训练过程就是计算 的过程,如何计算先验概率 呢?我们要清楚这里的先验概率是从样本中获得的,即求每个类别在所有样本中的概率,所以符合最大似然估计和最大后验估计已知结果求先验的思想,故使用最大后验估计(最大后验估计比最大似然估计更正确)求先验概率

对于二分类,为伯努利分布,选用Beta分布作为共轭先验。

对于多分类,为多项分布,选用Dirichlet分布作为共轭先验。

(6)分类过程中类条件概率的估计

如何计算类条件概率 呢?我们要清楚这里的类条件概率的实际物理意义,即属于某类的样本中每个特征所占的比例再乘积,显然符合最大似然估计和最大后验估计的思想,故使用最大似然估计(此处对条件概率的计算一般只取决于数据集,当然,如果有先验的话可以用最大后验估计)求条件概率**** 。

i、特征取值离散情况下 ,可以用频率来估计:

这实际上是通过最大化似然值得到的,因为我们在假设每个观测值来自同一个分布并根据观测数据的频率来估计参数。似然值表示在给定参数下观测到当前数据的概率。

使用 Laplace 平滑后的公式如下:

其中: 是特征 ​ 的可能取值的总数。

ii、特征取值连续情况下,且在类边缘分布为高斯分布时,估计方式如下:

对于特征 在类别 下的条件概率,假设其服从高斯分布

​​​​​​​

可从样本中用最大似然估计来估计高斯分布的参数,估计高斯分布的参数如下:

在类别 的样本中,第 维特征的均值和方差的最大似然估计为:

  1. 均值估计

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

其中 是指示函数,当 时取值为 1,否则为 0。实际意义是类样本中,第维特征值的均值。

  1. 方差估计

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​
实际意义是 类样本中,第维特征值的经验方差。

注意:并不是所有连续的特征都服从高斯分布。

(7)朴素贝叶斯与最大似然估计、最大后验估计的联系

i、最大似然估计 中,目的是求已知实验结果 ,求参数 的最大可能值,即求。但这个值不易求,用似然函数代替 并求最大值,即求

ii、最大后验估计 中,目的仍然是求,但这里不直接使用似然函数代替,而是使用贝叶斯公式展开,即使用 来表示,再求最大值,即求

iii、朴素贝叶斯分类器 中,目的是根据样本信息求结果,前面两者都是有了实验结果,反推模型参数。而朴素贝叶斯求的是,目的是求结果 ,样本信息是给了 ,先验也可以由样本得到,所以就可以由贝叶斯公式推出的 来 求 了,某种角度来看朴素贝叶斯与恰好与最大后验估计反了。最大后验估计是已知结果根据贝叶斯展开求前提,而朴素贝叶斯是已知过程(这里的过程是从数据集中估计出来的)来求结果。

(8)朴素贝叶斯分类器的优缺点

优点

  • 简单高效 :朴素贝叶斯分类器的实现和计算都非常简单,训练和预测速度都很快,适合大规模数据。
  • 低数据需求:对于每个类别,只需计算每个特征的条件概率,因此在数据较少时也能有效工作。
  • 表现良好 :在特征之间相关性较低的应用中,朴素贝叶斯表现往往非常优异,即使特征间存在一定的依赖性,也通常可以取得较好的效果。

缺点

  • 朴素假设:假设特征之间条件独立在很多场景下并不成立,会影响分类准确性。
  • 数据稀疏性 :如果某个类别中的特征在训练集中从未出现,其条件概率 ,可能导致某些类别的概率被归零。因此需要使用平滑技术(如Laplace平滑)来处理这种情况。
  • 连续特征的处理:在多项式和伯努利朴素贝叶斯模型中,处理连续特征较为复杂,通常需要先进行离散化或使用其他模型(如高斯朴素贝叶斯)。

1、多项式朴素贝叶斯分类举例 (PPT上的例子)

多项式朴素贝叶斯和伯努利朴素贝叶斯几乎是一样的,只是伯努利朴素贝叶斯的特征都是二值的,计算类条件概率时只有两项,比多项式朴素贝叶斯的还要少。
下面这个例子展示了如何使用 多项伯努利朴素贝叶斯分类器来判断一个账户是否为真实账户。

问题背景

  • 目标:预测给定账户是否为真实账户。
  • 标签(真实账户)或 (不真实账户)。
  • 特征
    • :日志密度,取值为 {s, m, l}(小、中、大)。
    • :好友密度,取值为 {s, m, l}(小、中、大)。
  • :是否使用真实头像,取值为 {yes, no}。

步骤 1:计算先验概率

根据数据表格,统计真实账户和不真实账户的样本数量:

  • 总样本数
  • 真实账户 的样本数
  • 不真实账户 的样本数

计算先验概率:

步骤 2:计算条件概率(类条件分布)

  1. 特征 ​ 的条件概率(日志密度):

    • 的条件概率:
    • 的条件概率:
    • 的条件概率:
  2. 特征 ​ 的条件概率(好友密度):

    • 的条件概率:
    • 的条件概率:
    • 的条件概率:
  3. 特征 的条件概率(是否使用真实头像):

    • 的条件概率:
    • 的条件概率:

  1. 特征 ​ 的条件概率(日志密度):

    • 的条件概率:
    • 的条件概率:
    • 的条件概率:
  2. 特征 ​ 的条件概率(好友密度):

    • 的条件概率:
    • 的条件概率:
    • 的条件概率:
  3. 特征 ​ 的条件概率(是否使用真实头像):

    • 的条件概率:
  • 的条件概率:

步骤 3:预测新用户

假设我们有一个新用户,其特征为:

  • 日志密度
  • 好友密度
  • 使用真实头像

计算该用户属于 的概率:

  1. 计算

  2. 计算

步骤 4:比较后验概率

因此,我们可以将该用户的账户分类为真实账户

2、高斯朴素贝叶斯分类器举

问题背景

  • 目标:预测给定特征的用户是否会购买产品。
  • 标签(会购买)或 (不会购买)。
  • 特征
    • :年龄(连续变量)
    • :收入(连续变量)

数据集

假设我们有以下训练数据:

年龄 (X1) 收入 (X2) 是否购买 (Y)
25 50000 yes
30 54000 yes
45 90000 yes
50 100000 yes
23 48000 no
35 65000 no
52 120000 no
40 60000 no

步骤 1:计算先验概率

根据训练数据,我们可以计算是否会购买产品的先验概率

  • 总样本数
  • 会购买样本
  • 不会购买样本

因此,先验概率为:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

此处使用Laplace平滑也可以,计算出来的结果也是那样。

步骤 2:计算类条件概率的参数(均值和方差)

这里其实就是计算类条件概率服从的分布,即计算每个类条件概率的值。

假设年龄 ​ 和收入 ​ 在给定类别 的条件下服从高斯分布。我们可以计算每个类别下特征的均值和方差。

  • 特征 ​(年龄)的均值和方差

    • 均值
    • 方差
  • 特征 ​(收入)的均值和方差

    • 均值
    • 方差

  • 特征 (年龄)的均值和方差

    • 均值
    • 方差
  • 特征 ​(收入)的均值和方差

    • 均值
    • 方差

步骤 3:预测新样本

假设我们有一个新用户,其特征为:

  • 年龄
  • 收入

我们想计算该用户属于 的后验概率。

计算

根据高斯分布的类条件概率公式:

计算得到:

同样地,对于

计算得到:

因此:

计算

同样地,计算

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

因此:

计算后验概率并进行分类

使用贝叶斯公式来计算后验概率:

因为 ,所以我们预测该用户不会购买产品

六、高斯判别分析

1、高斯判别分析的基本假设

高斯判别分析假设每一类数据服从多元高斯分布,即:

其中, ​是第 类的均值向量, 是第 类的协方差矩阵。

2、类别的先验分布

和前面一样,对于类别变量,它的先验分布可以为伯努利分布(适用于二分类)或多项式分布(适用于多分类)。在分类过程中,我们使用贝叶斯公式来计算后验概率

其中, 是类别的先验概率, 是条件概率密度函数。

3、判别函数

和前面一样,判别函数还是类条件概率与类先验的乘积。
使用判别函数来进行类别判别。对于类别的判别函数定义为:

展开得到:

其中,与参数无关的项可以省略,简化为:

4、二次判别分析(QDA)

在二分类的情况下,可以对判别函数的简化,可用让两个判别函数 求差来进行分类判断:

进一步简化,可以得出一个二次函数形式的判别条件,因此称为二次判别分析(QDA)

5、线性判别分析(LDA)

当两类的协方差矩阵相同时,即 ,判别函数差值可进一步简化为线性形式:

其中,为与无关的常数项。此时,分类器被称为线性判别分析(LDA)

6、特殊情况:协方差矩阵为对角阵

在进一步简化的情况下,如果协方差矩阵是各向同性的,即 ,判别函数可以更加简化。这样,决策边界是两个类别中心的垂直平分线。

7、高斯判别模型的训练

模型训练的过程就是估计类先验概率和类条件概率的过程,每个类的每个特征都符合高斯分布,所以需要对每个类别的每个特征的分布进行估计,就要计算相应的均值和方差。
在训练过程中,我们根据每一类的样本数据估计均值向量 和协方差矩阵 ​,其公式为:

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​ ​​​​​​​

8、收缩估计(Shrinking Estimation)------正则化

当样本数较小或特征维度较高时,协方差矩阵的估计可能不稳定,会发生过拟合,也就是说,协方差会非常相信数据集,但数据集又非常小,因此需要加入正则化项,也就是需要加入一些先验,这里的先验就是高斯结构化矩阵。此时可以采用收缩估计,通过引入收缩因子 来调整协方差矩阵,提升其预测准确性:

其中,是高斯结构化矩阵,例如单位矩阵

总结

高斯判别分析是一种强大的分类工具,通过假设数据分布符合高斯分布,计算后验概率实现分类。LDA和QDA是GDA的两种常见形式,分别适用于线性和非线性决策边界的情况。在高维小样本条件下,收缩估计可以提高协方差矩阵的估计稳定性。

七、⭐全文总结⭐

本文详细介绍了贝叶斯最优分类器、概率密度函数的参数估计、朴素贝叶斯分类器、高斯判别分析的内容。

1、对于贝叶斯分类器

首先介绍了最小错误率决策,要让决策 的错误率最小,就要选择让 最大的类别,即 。使用了贝叶斯公式将 转化为了与类条件概率 和类先验概率 正比的一项,即 ,这里用不到 ,只需要让判别函数 最大的类别。根据数据集计算样本属于各个类别的判别函数并选择判别函数最大的类别即是最终的决策类别。
随后在最小错误率决策的基础上,为各个决策结果赋一个代价,不同的错误代价不同,在最小错误率决策中算出的各类的概率 再乘以代价(或者选择各个类别判别函数值乘以代价),最终比较决策为各个类别的总代价,比较并选择代价最小的类别即为最小风险决策的类别。
更进一步,当决策过程中,某个样本选择不同的两个类别的代价相近时,可以拒识(拒识代价是小于错判代价的)。

2、对于概率密度函数的参数估计

这部分内容主要就是最大似然估计、最大后验估计和贝叶斯估计了。其中最大似然估计是不考虑先验的估计,当样本量大或者先验均匀时选用,最大后验估计和贝叶斯估计是使用先验的,后验主要是根据样本对先验的更新。更重要的是,最大似然估计和最大后验估计是点估计,贝叶斯估计是对概率分布的估计,而且最大后验估计的值是贝叶斯估计后验分布的最大值。
本文中,对此部分的介绍主要是举例子,分别为对伯努利分布、多项分布、高斯分布、多元高斯分布进行三种参数估计。

3、对于朴素贝叶斯分类器

朴素贝叶斯分类器的核心是贝叶斯公式,目的是求 ,局限是假设了特征之间相互独立。训练过程是根据数据集利用最大似然估计(需要考虑先验的情况下可以是最大后验估计)来估计类先验概率 (是个向量),和类条件概率 (是个矩阵),连续高斯型特征的类条件概率的估计主要是寻找每个类下特征所属的高斯分布的参数,而这些参数仍然是从数据集中估计的。
最后再根据训练中估计的结果对新的样本属于各个类的概率进行计算,计算过程为

最后再比较大小选定样本所属类别。
本文中,对此部分内容先进行理论介绍,后举了两个例子,分别是多项式朴素贝叶斯估计和高斯朴素贝叶斯估计,文中对这两个例子进行了详细的分析和推导。

4、对于高斯判别分析

它属于二分类连续型多特征朴素贝叶斯分类,主要思想还是朴素贝叶斯分类器,文中给出了特殊情况下高斯判别分析的变化。最后又介绍了对高斯判别分析进行正则化的方式。

5、两个辨析

(1)本文《五》朴素贝叶斯分类器和《三》贝叶斯最优分类器的区别:

他们几乎是一样的,只不过对于贝叶斯最优分类器,类先验概率和类条件概率是已知信息,而朴素贝叶斯分类器的类先验概率和类条件概率需要从数据集中估计。

(2)高斯判别分析和朴素贝叶斯分类器的联系:

高斯判别分析属于两分类的朴素贝叶斯分类,且特征都是连续的,都符合高斯分布。即高斯判别分析属于朴素贝叶斯分类的一种。

相关推荐
AICodeThunder3 分钟前
C++知识点总结(57):STL综合
java·c++·算法
薔薇十字3 分钟前
【代码随想录day32】【C++复健】509. 斐波那契数;70. 爬楼梯;746. 使用最小花费爬楼梯
开发语言·c++·算法
White graces9 分钟前
力扣(LeetCode)283. 移动零(Java)
算法·leetcode
秀儿还能再秀19 分钟前
机器学习: LightGBM模型(优化版)——高效且强大的树形模型
决策树·机器学习·gbdt·lightbmg
液态不合群23 分钟前
Rust字符串类型全解析
网络·算法·rust
智能汽车人32 分钟前
自动驾驶---行泊一体(车位到车位功能)量产
人工智能·机器学习·华为·自动驾驶
理论最高的吻33 分钟前
222. 完全二叉树的节点个数【 力扣(LeetCode) 】
c++·算法·leetcode·职场和发展·二叉树
旧日之血_Hayter37 分钟前
LeetCode105.从前序与中序遍历构造二叉树
算法·leetcode
Fms_Sa1 小时前
假设一棵平衡二叉树的每个结点都表明了平衡因子b,试设计一个算法,求平衡二叉树的高度。
c语言·数据结构·算法
yangmc041 小时前
区间和 离散化 模板题
c语言·数据结构·c++·算法·矩阵·objective-c