Schwertlilien
As a recoder: notes and ideas.

模式识别-Ch2-贝叶斯决策

Ch2 贝叶斯决策(Bayesian Decision Theory)

: 表示概率分布函数,: 表示概率密度函数PDF.

关于的似然函数,表明在其他条件都相等的情况下,使得较大的更有可能是真实类别。(likelihood)

最小错误率贝叶斯决策 最小风险贝叶斯决策
目标 使分类的错误率最小。 使决策的风险最小。
只考虑了错误分类的概率。 考虑了不同类型错误的代价。
分到后验概率最大的一类。 衡量当样本实际属于某类但被决策时所产生的风险, 再进行判别。

最小错误率bayes决策

任务:对于观测样本, 如何将其分类?

已知 公式表达
类别
特征向量 𝕕
先验概率
条件概率/PDF $p(\mathbf{x} w_i)$

贝叶斯决策:

  • 后验概率:

  • 决策规则:如果, 则

  • 其他等价形式:

    , 否则

例子

假设在某个局部地区细胞中正常()和异常()两类的先验概率为。现有一待识别细胞,其观测值为,从类条件概率密度分布曲线中查得:。试对该细胞进行分类。

解:因为,根据贝叶斯决策规则,所以合理的决策是将归为正常类。

最小风险bayes决策

  • 风险是和损失关联在一起的。
  • 决策/行为:采取的决定。
  • 决策/行为空间:所有可能采取的各种决策组成的集合。
  • 每个决策/行为都会带来损失,损失是决策和自然状态(类别)的函数。

任务:对于观测样本, 将其分到哪一类风险最小

已知 公式表达
类别
特征向量 𝕕
先验概率
条件概率/PDF $p(\mathbf{x} w_i)$
决策空间
损失函数 $\lambda(\alpha_i w_j)$

损失函数:表示当类别为时所采取的决策所引起的损失,简记为 .

image-20241229115542615

那么我们将做出决策,但是这个决策对于的的真实类别是确定的、但是我们不知道。所以我们要计算:

条件风险:条件期望风险, 是随机变量的函数。

表示的是实际类别为时的概率,再乘以现在做出了决策对应的损失函数,对应做了决策的损失。

期望风险(总风险):将决策规则视为随机变量的函数,记为。对特征空间中所有可能的样本采取的决策所造成的期望损失(平均风险)是:

- 期望风险 条件风险$R(\alpha_i \mathbf{x})$
反映对整个特征空间上所有样本所采取的相应决策所带来的平均风险. 只反映对样本采取决策所带来的风险.
区别 理论推导 实际操作
决策规则 最小化期望风险 在各中决策中选择风险最小的决策$a=\arg\min_{j=1,\dots,a}R(\alpha_j \mathbf{x})$

c=2且无拒识

假设没有拒识(分类器拒绝分类, 当最大后验不高(置信低), 可能是不可分的情况)():

决策规则:, (表示将选择的类别)

image-20241229221855631

其他等价形式:

不失一般性,可以假设,于是有:

  • ,则;否则
  • ,则;否则
  • ,则;否则

例: 最小风险bayes决策

假设在某个局部地区细胞中正常和异常两类的先验概率为。现有一待识别细胞,其观测值为,从类条件概率密度分布曲线中查得:。已知决策风险。试对该细胞进行分类。

解: 前面已经解得

进一步计算条件风险:

由于,即决策为的条件风险小于决策为的条件风险,因此采取决策行动,即判定待别的细胞为异常细胞。

条件风险是0-1损失

假如条件风险是0-1损失,则有:

那么最小错误决策、最大后验(MAP):

若对于所有,有,则判定为

image-20241229223319211

此图给出了决策规则++似然比.

存在一个问题:当时如何决策?引入带拒识的决策。

c=c+1且带拒识

Q: why 拒识?

错误识别可能带来严重后果。

Q: 是否每次一定要做出决策?

在有的情况下,不做决策比做出错误率很大的决策会更好。

具有c + 1个类别(分类器可以拒绝将样本判为c个类别中的任何一类)

假设:

风险:

时,选择拒识。

因此有以下决策规则:

开放集分类bayes决策

传统的分类器:假设训练样本和测试样本都来自预设的C个类别(闭合集, Closed set)。

开放集(Open set):实际环境中,测试样本可能不属于预设的C个类别(异常样本, outlier)。

开放集的难点是异常样本没有训练集,只能训练已知C类的分类器。

问题表示

已知 公式
类别
先验概率
后验概率 $\sum_{i = 1}^{c} P(w_i \mathbf{x})\le 1,\ \sum^{c+1}_{j=0}P(w_i \mathbf{x})=1$
条件概率密度 $p(\mathbf{x} w_i), (i = 1, \ldots, c)\ p(\mathbf{x} w_{c + 1}) =?$

分类决策

假设:为很小的常数

后验概率:

最大后验概率决策:

分类器设计

也就是最简单的看后验概率谁大

判别函数

用于表达决策规则的某些函数称为判别函数。

通常定义一组判别函数用于表示多类决策规则。

如果对任意均成立,则将归于类。

参照贝叶斯决策规则,我们可以定义:

c=2情形下的判别函数

对于两类情形,只需要定义一个判别函数:

决策面

对于类分类问题,按照决策规则可以把维特征空间分成个决策区域。划分决策区域的边界称为决策面。

各决策域被决策面分割而成。这些决策面是特征空间中的超曲面,相邻的两个决策域在决策面上其判别函数值是相等的。如果是相邻的,则它们的决策面方程应满足:

image-20241229232340517

c=2情形下的决策面方程

  • 为一维时,决策面为一些分界点;二维时,决策面为一些曲线(曲线段);三维时,决策面为一些曲面(曲面片);高维时则为一些超曲面(超曲面片)。
  • 为线性判别函数,则为平面或平面片。

image-20241229233051655

分类器设计

分类器可以看成一个机器,其功能是计算出 c 个判别函数,然后再从中选出对应于判别函数为最大值的类 作为分类结果。

image-20241229233126442

高斯密度下的判别函数

高斯分布

  1. 在给定均值和方差的所有分布中,正态分布的熵最大
  2. 根据Central Limit Theorem(中心极限定理),大量独立随机变量之和趋近正态分布
  3. 实际环境中,很多类别的特征分布趋近正态分布

多元正态分布:

:

边际分布密度函数:

单变量正态分布 多元正态分布
密度函数 $p(\mathbf{x}) = \frac{1}{(2\pi)^{d/2} \ \boldsymbol{\Sigma} ^{1/2}} \exp \left( - \frac{1}{2} (\mathbf{x} - \boldsymbol{\mu})^T \boldsymbol{\Sigma}^{-1} (\mathbf{x} - \boldsymbol{\mu}) \right)$
均值
方差
性质

等密度轨迹

等密度轨迹为一超椭球面。从多元正态分布函数可以看出,当其指数项等于常数时,密度的值不变,因此等函数点即为使如下方程为常数的点,即:

Mahalanobis距离(马氏距离):

image-20241230094302701

性质

  1. 不相关性=独立性

  2. 边缘分布与条件分布均为正态分布

  3. 多元正态随机变量的线性变换(非奇异)仍为多元正态分布的随机变量

  4. 线性组合的正态性:若为多元正态随机变量,则线性组合是一个一维正态随机变量。

  5. 对多元正态分布的协方差矩阵可以进行正交分解。

    1. 对应特征值的特征向量构成的矩阵,属于值域空间。

  6. 线性变换

    白化变换:对进行归一化变成.

最小错误率贝叶斯决策

对于类问题,假定各类条件概率密度函数为多元正态分布:

判别函数(Quadratic discrimin function (QDF)):

决策面方程 :

第一种情形:

这表明每个特征向量对应的方差都是独立同分布。

协方差矩阵:

判别函数(Quadratic discrimin function (QDF)):

先验概率相等:

此时,判别函数可进一步简化为:

因此,最小错误率贝叶斯规则相当简单:

若要对样本进行分类,只需要计算到各类均值向量的欧氏距离平方,然后将归于距离最短的一类:

这种分类器称为最小距离分类器。

计算欧式距离即可

先验概率不相等:

判别函数:

由于每一类的判别函数均包含,与下标无关,因此可以进一步简化为线性判别函数,得到判别函数的线性函数。

决策规则: 若,则
  • 判别函数为线性函数的分类器称为线性分类器。

  • 线性分类器的决策面方程为:所确定的一个超平面。

    | 先验概率相等 | 先验概率不等 |
    | —————————————————————————————— | —————————————————————————————— |
    | | |
    | | |

image-20241230110444219

先验概率相等:取欧式距离的中点划分。

先验概率不等:根据的大小会偏斜 先验概率较小的一边。

  • : 会向偏.
  • : 会向偏.

第二种情形:

各类的协方差矩阵均相等。从几何上看,相当于各类样本集中于以该类均值为中心但大小和形状相同的椭球内。

判别函数(Quadratic discriminant function (QDF)):

先验概率相等:

判别函数:

决策规则: 若要对样本进行分类,只需要计算到各类均值向量的马氏距离平方,然后将归于距离最短的一类:

先验概率不相等:

判别函数:

决策面方程:

展开可得: ( 这是线性判别函数 )

先验概率相等 先验概率不相等
$\begin{align}\mathbf{x}_0&=\frac{1}{2}(\boldsymbol{\mu}_i+\boldsymbol{\mu}_j)-\frac{\sigma^2}{\ \boldsymbol{\mu}_i-\boldsymbol{\mu}_j\ ^2}\ln\left(\frac{P(w_i)}{P(w_j)}\right)(\boldsymbol{\mu}_i-\boldsymbol{\mu}_j)\&=\frac{1}{2}(\boldsymbol{\mu}_i+\boldsymbol{\mu}_j)-s_{ij}(\boldsymbol{\mu}_i-\boldsymbol{\mu}_j) \end{align}$

image-20241230114735420

第三种情形:

判别函数:

决策方程:

决策面为一个超二次曲面。随着等的不同而呈现出超球面、超椭球面、超双曲面或超平面等不同的情形。

例子: c=2, 2D

对于两类问题,,先验相等。

决策面方程为

所以,此例子的决策面方程为

image-20241231131220483

分类错误率

最小错误率贝叶斯决策

样本的错误率: 任一决策都可能会有错误。

即:当我们将样本判定为第一类时,这个判定失误的概率为;(因为样本以该概率属于第二类)

样本的最小错误率:

贝叶斯决策的错误率:贝叶斯决策的错误率定义为所有服从独立同分布的样本上的错误率的期望:

例:错误率(1D)

关于错误率,以一维为例说明: 考虑一个有关一维样本的两类分类问题。假设决策边界轴分成两个区域

错误情形:样本在中,但属于第二类的概率是存在的,即;样本在中,但属于第一类的概率也是存在的,即;这两种情形就是决策一个给定样本可能出现错误的概率。

考虑样本自身的分布后的平均错误率计算如下:

两类情形

平均错分概率:

例子

平均错分概率:

image-20241230161734559

多类情形

平均错分概率:

平均分类精度:

离散变量bayes决策

概率分布函数:

独立二值特征 (Binary features)

特征独立假设(Naïve Bayes):

每维特征服从伯努利分布(0/1分布)

在类别 下,第 个特征 取值为 1 的概率 在类别 下,第 个特征 取值为 1 的概率
$p_i = P(X_{i}=1 w_1),\quad i = 1,\ldots,d$ $q_i = P(X_{i}=1 w_2),\quad i = 1,\ldots,d$
$P(\mathbf{x} w_1)=\prod_{i = 1}^{d}p_i^{x_i}(1 - p_i)^{1 - x_i}$ $P(\mathbf{x} w_2)=\prod_{i = 1}^{d}q_i^{x_i}(1 - q_i)^{1 - x_i}$

似然比:

判别函数(QDF):

例子

例子是基于朴素贝叶斯分类器二分类问题,并利用独立二值特征(Binary Features)推导出分类的决策边界 的过程。

已知:

例子

3D binary data - -

image-20241230173034072

复合模式分类(Compound Bayesian Decision Theory and Context)

多个样本同时分类

比如:字符串识别

贝叶斯决策

其中:

  • 是后验概率,即给定样本序列 ,其属于类别 的概率。
  • 是类别 下样本序列 的条件概率(似然)。
  • 是类别的先验概率。
  • 是归一化项,用于保证所有类别的后验概率之和为 1。

注意:类别数巨大存储和估计困难.

选择后验概率最大的类别:

条件独立:在已知类别条件下,样本之间相互独立,即:

这种假设极大地简化了 的计算,但可能会损失精度,因为在实际问题中,序列中的样本通常是相关的(例如时间序列或字符序列)。

先验假设(Prior assumption)

  • 马尔可夫链(Markov chain)

    • 先验概率可以表示为:
  • 隐马尔可夫模型(Hidden Markov model,第 3 章介绍)

与复合模式识别类似的问题:多分类器融合

有同一个分类问题的个分类器,对于样本,怎样使用个分类结果得到最终分类结果?

一个分类器的输出:离散变量

多个分类器的决策当作样本的多维特征,用Bayes方法重新分类:

需要估计离散空间的类条件概率 :指数级复杂度,需要大量样本

特征独立假设(Naïve Bayes)

总结

在已知类条件概率密度和类先验分布的情况下,如何基于贝叶斯决策理论对样本分类的问题

  1. 单模式分类:连续特征、离散特征
  2. 复合模式分类
  3. 多分类器融合

贝叶斯分类器(基于贝叶斯决策的分类器)是最优的吗?

  • 贝叶斯分类器是基于贝叶斯决策理论的分类器,其目标是最小化分类的总体风险(即误分类风险)。
    • 最小风险:通过最小化条件风险(如 0-1 损失),选择最优分类。
    • 最大后验概率决策 :在每个样本点 ,选择后验概率最大的类别。
  • 最优的条件:概率密度和先验概率、风险能准确估计
  • 具体的参数法(如正态分布假设)、非参数法(如 Parzen 窗、核密度估计)是贝叶斯分类器的近似,实际中难以达到最优。
  • 判别模型(如逻辑回归、支持向量机 SVM):回避了概率密度估计,以较小复杂度估计后验概率或判别函数
  • 什么方法能胜过贝叶斯分类器:在不同的特征空间才有可能。

Q1: 贝叶斯分类器(基于贝叶斯决策的分类器)是最优的吗?

  • 理论上:是的,贝叶斯分类器在理论上是最优的分类器,因为它最小化了分类风险。
  • 实际中:不一定,因为贝叶斯分类器依赖于概率密度函数的精确估计,而实际中往往难以精确估计这些密度函数,特别是当数据分布复杂或高维时。

Q2: 什么方法能胜过贝叶斯分类器?

  • 判别模型,如逻辑回归、SVM、神经网络等,特别是在以下情况下可能胜过贝叶斯分类器:
    1. 数据的真实分布复杂,难以准确建模。
    2. 特征空间高维,生成模型对概率估计的难度更大。
    3. 数据量有限时,生成模型容易过拟合。
搜索
匹配结果数:
未搜索到匹配的文章。