计算学习理论

• 真实错误率紧密地依赖于未知的概率分布D
– 如果D是一个均匀的概率分布，那么图7-1中假设的错误率为h和c不 一致的空间在全部实例空间中的比例 – 如果D恰好把h和c不一致区间中的实例赋予了很高的概率，相同的h 和c将造成更高的错误率
• h关于c的错误率不能直接由学习器观察到，L只能观察到在训练 样例上h的性能 • 训练错误率：指代训练样例中被h误分类的样例所占的比例 • 问题：h的观察到的训练错误率对真实错误率产生不正确估计的可 能性多大？
5
简介（3）
• 如果明确了学习问题的如下属性，那么有可能给出前 面问题的定量的上下界
– – – – 学习器所考虑的假设空间的大小和复杂度 目标概念须近似到怎样的精度 学习器输出成功的假设的可能性 训练样例提供给学习器的方式
• 本章不会着重于单独的学习算法，而是在较宽广的学 习算法类别中考虑问题：
– 样本复杂度：学习器要收敛到成功假设，需要多少训练样例？ – 计算复杂度：学习器要收敛到成功假设，需要多大的计算量？ – 出错界限：在成功收敛到一个假设前，学习器对训练样例的 错误分类有多少次？
27
• 定义：考虑一假设空间H，目标概念c， 实例分布D以及c的一组训练样例S。当 VSH,D中每个假设h关于c和D错误率小于 时，变型空间被称为c和D是-详尽的。
(h VS H ,D )errorD (h)
28
有限假设空间的样本复杂度（3）
• -详尽的变型空间表示与训练样例一致的所有 假设的真实错误率都小于 • 从学习器的角度看，所能知道的只是这些假设 能同等地拟合训练数据，它们都有零训练错误 率 • 只有知道目标概念的观察者才能确定变型空间 是否为-详尽的
32
• 利用上面的结论来确定为了减少此“未剔除”概率到 一希望程度所需的训练样例数 – 由 – 解出m，得到 m –
–
|H |e 1 m ln | H | ln(1 / )
10
• 1、可用数据样本上该假设的错误率称为 样本错误率。 • 2、分布为D的整个实例集合上该假设的 错误率称为真是错误率。
11
假设的错误率
• 为了描述学习器输出的假设h对真实目标 概念的逼近程度，首先要定义假设h对应 于目标概念c和实例分布D的真实错误率 • h的真实错误率是应用h到将来按分布D抽 取的实例时的期望的错误率
变型空间：能正确分类训练样例D的所有假设的集 合
VS H ,D {h H | ( x, c( x) D(h( x) c( x))}
26
有限假设空间的样本复杂度（2）
• 变型空间的重要意义是：每个一致学习器都输 出一个属于变型空间的假设 • 因此界定任意一个一致学习器所需的样例数量， 只需要界定为保证变型中没有不可接受假设所 需的样例数量
8
可能学习近似正确假设
• 可能近似正确学习模型（PAC）
– 指定PAC学习模型适用的问题 – 在此模型下，学习不同类别的目标函数需要 多少训练样例和多大的计算量
• 本章的讨论将限制在学习布尔值概念， 且训练数据是无噪声的（许多结论可扩 展到更一般的情形）
9
问题框架
• X表示所有实例的集合，C代表学习器要学习的目标概念集合，C 中每个目标概念c对应于X的某个子集或一个等效的布尔函数c: X{0,1} • 假定实例按照某概率分布D从X中随机产生 • 学习器L在学习目标概念时考虑可能假设的集合H。在观察了一系 列关于目标概念c的训练样例后，L必须从H中输出某假设h，它是 对c的估计 • 我们通过h在从X中抽取的新实例上的性能来评估L是否成功。新 实例与训练数据具有相同的概率分布 • 我们要求L足够一般，以至可以从C中学到任何目标概念而不管训 练样例的分布如何，因此，我们会对C中所有可能的目标概念和 所有可能的实例分布D进行最差情况的分析
19
VC维与模型复杂度、样本复杂度
• 我们引入了VC维的概念，用它来描述假设集 合的表达能力。我们将从VC维的物理意义出 发，进一步学习如何根据VC维传达的信息来 选择模型和假设集合。 • 现在，我们用VC维这个工具来描述。
20
VC维与模型复杂度、样本复杂度
• VC维的物理意义 • 如果我们将假设集合的数量|H|比作假设集合的 自由度，那么VC维就是假设集合在做二元分 类的有效的自由度，即这个假设空间能够产生 多少Dichotomies的能力（VC维说的是，到什 么时候，假设集合还能shatter，还能产生最多 的Dichotomies）。
6
简介（4）
• 为了解决这些问题需要许多特殊的条件设定， 比如
– “成功”的学习器的设定
• 学习器是否输出等于目标概念的假设 • 只要求输出的假设与目标概念在多数时间内意见一致 • 学习器通常输出这样的假设
– 学习器如何获得训练样例
• 由一个施教者给出 • 由学习器自己实验获得 • 按照某过程随机生成
4
简介（2）
• 对所有这些问题的一般回答还未知，但不完整 的学习计算理论已经开始出现 • 本章阐述了该理论中的一些关键结论，并提供 了在特定问题下一些问题的答案 • 主要讨论在只给定目标函数的训练样例和候选 假设空间的条件下，对该未知目标函数的归纳 学习问题 • 主要要解决的问题是：需要多少训练样例才足 以成功地学习到目标函数以及学习器在达到目 标前会出多少次错
• 确定了若干假设类别，判断它们能否从多项式数量的训练样例中 学习得到 • 定义了一个对假设空间复杂度的自然度量，由它可以界定归纳学 习所需的训练样例数目
– 出错界限框架
• 考查了一个学习器在确定正确假设前可能产生的训练错误数量
2
简介（1）
• 机器学习理论的一些问题：
– 是否可能独立于学习算法确定学习问题中固有的难 度？ – 能否知道为保证成功的学习有多少训练样例是必要 的或充足的？ – 如果学习器被允许向施教者提出查询，而不是观察 训练集的随机样本，会对所需样例数目有怎样的影 响？ – 能否刻画出学习器在学到目标函数前会有多少次出 错？ – 能否刻画出一类学习问题中固有的计算复杂度？
7
简介（5）
• 7.2节介绍可能近似正确（PAC）学习框架 • 7.3节在PAC框架下，分析几种学习算法的样本 复杂度和计算复杂度 • 7.4节介绍了假设空间复杂度的一个重要度量标 准，称为VC维，并且将PAC分析扩展到假设空 间无限的情况 • 7.5节介绍出错界限模型，并提供了前面章节中 几个学习算法出错数量的界限，最后介绍了加 权多数算法
23
有限假设空间的样本复杂度
• PAC可学习性很大程度上由所需的训练样例数 确定 • 随着问题规模的增长所带来的所需训练样例的 增长称为该学习问题的样本复杂度 • 我们把样本复杂度的讨论限定于一致学习器 （输出完美拟合训练数据的学习器） • 能够独立于特定算法，推导出任意一致学习器 所需训练样例数的界限 • 变型空间：能正确分类训练样例D的所有假设 的集合。

k (1 )m | H | (1 )m | H | em
31
有限假设空间的样本复杂度（5）
• 定理7.1基于训练样例的数目m、允许的错误率 和H的大小，给出了变型空间不是-详尽的概率的
上界 • 即它对于使用假设空间H的任意学习器界定了m个训练 样例未能将所有“坏”的假设（错误率大于空间的表达能 力很强，我们很有可能选到一个Ein(g)很 小的假设，但是Ein(g)和Eout(g)之差很大 的坏事情 发生的情况发生的可能性就变 得很大，这样Ein(g)和Eout(g)根本不接近 ，我们就无法确定选择的假设在测试数 据的时候表现的很好。
25
有限假设空间的样本复杂度（1）
机器学习与数据挖掘
第7章 计算学习理论
1
概述
• 本章从理论上刻画了若干类型的机器学习问题中的困 难和若干类型的机器学习算法的能力 • 这个理论要回答的问题是：
– 在什么样的条件下成功的学习是可能的？ – 在什么条件下某个特定的学习算法可保证成功运行？
• 这里考虑两种框架：
– 可能近似正确（PAC）
15
PAC可学习性（1）
• 我们的目标是刻画出这样的目标概念，它们能 够从合理数量的随机抽取训练样例中通过合理 的计算量可靠地学习 • 对可学习性的表述
– 一种可能的选择：为了学习到使errorD(h)=0的假设h， 所需的训练样例数
• 这样的选择不可行：首先要求对X中每个可能的实例都提 供训练样例；其次要求训练样例无误导性
12
• 定义：假设h的关于目标概念c和分布D的 真实错误率为h误分类根据D随机抽取的 实例的概率
error D (h) Pr c( x) h( x)
xD
13
图7-1 此错误率紧密依赖于未知的概率分布D ，图7-1：h关于c的错误率是随机选取的实 例落入h和c不一致的区间的概率
14
假设的错误率（2）
|H |e
m
30
• 证明：
– 令h1,...,hk为H中关于c的真实错误率大于的所有假设。当且仅 当k个假设中至少有一个恰好与所有m个独立随机抽取样例一 致时，不能使变型空间-详尽化。 – 任一假设真实错误率大于，且与一个随机抽取样例一致的可 能性最多为1-，因此，该假设与m个独立抽取样例一致的概 率最多为(1-)m – 由于已知有k个假设错误率大于，那么至少有一个与所有m个 训练样例都不一致的概率最多为（当0 1 ，则1 e ）
– 可能近似学习：首先只要求学习器输出错误率限定 在某常数范围内的假设，其次要求对所有的随机抽 取样例序列的失败的概率限定在某常数范围内
• 只要求学习器可能学习到一个近似正确的假设
16
PAC可学习性（2）
17
PAC可学习性（3）
• 在实践中，通常更关心所需的训练样例数，
– 如果L对每个训练样例需要某最小处理时间，那么 为了使c是L可PAC学习的，L必须从多项式数量的 训练样例中进行学习 – 实际上，为了显示某目标概念类别C是可PAC学习 的，一个典型的途径是证明C中每个目标概念可以 从多项式数量的训练样例中学习到，且处理每个样 例的时间也是多项式级