计算机程序从经验E中学习,解决某一任务T,进行某一性能P,通过P测定在T上的表现因经验E而提高
eg:跳棋程序
E: 程序自身下的上万盘棋局
T: 下跳棋
P: 与新对手下跳棋时赢的概率
给算法一个数据集,其中包含了正确答案,算法的目的是给出更多的正确答案
1. 用直线拟合
分类问题目的: 预测离散值输出。
就本问题而言,结果只有0和1的输出。
1. 只有一个特征时
3. 算法最终的目的是解决无穷多个特征的数据集
只给算法一个数据集,但是不给数据集的正确答案,由算法自行分类。
假设函数 hθ(x) = θ0 + θ1x
代价函数
J(θ0, θ1) = 1 2 m \frac{1}{2m} 2m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( h(x(i)) − y(i))2(m表示训练样本的数量)
目标: 最小化代价函数,即minimize J(θ0, θ1)
代价函数也被称为平方误差函数或者平方误差代价函数,在线性回归问题中,平方误差函数是最常用的手段
改变θ1的值,得到多组J(θ0) = 1 2 m \frac{1}{2m} 2m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( h(x(i)) − y(i))2,并作出下右图
得到的minimize J(θ0) 就是线性回归的目标函数
算法思路
梯度: 函数中某一点(x, y)的梯度代表函数在该点变化最快的方向
(选用不同的点开始可能达到另一个局部最小值)
梯度下降公式
关于α
如果α选择太小,会导致每次移动的步幅都很小,最终需要很多步才能最终收敛
如果α选择太大,会导致每次移动的步幅过大,可能会越过最小值,无法收敛甚至会发发散
实现原理
J(θ0, θ1) = 1 2 m \frac{1}{2m} 2m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( h(x(i)) − y(i))2 = 1 2 m \frac{1}{2m} 2m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i))2
j = 0时表示对θ0求偏导
j = 1时表示对θ1求偏导
∂ J ( θ 0 , θ 1 ) ∂ θ 0 \frac{∂J(θ ~0 , θ ~1 )}{∂θ ~0 } ∂θ 0∂J(θ 0,θ 1) = 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i))
∂ J ( θ 0 , θ 1 ) ∂ θ 1 \frac{∂J(θ ~0 , θ ~1 )}{∂θ ~1 } ∂θ 1∂J(θ 0,θ 1) = 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i)) x(i)
x(i)的 i 表示第 i 个样本
进而更新得到:
θ0 := θ0 - α 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i))
θ1 := θ0 - α 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i)) x(i)
梯度回归的局限性: 可能得到的是局部最优解
线性回归的梯度下降的函数是凸函数,因此没有局部最优解,只有全局最优解
凸函数
A12表第一行第二列
A11 * x1 + A12 * x2 + A13 * x3 + …… + A1n * xn = y1
A21 * x1 + A22 * x2 + A23 * x3 + …… + A2n * xn = y2
An1 * B1b + An2 * B2b + …… + Anm * Bab = Cnb
eg:
A11 * B11 + A12 * B21 + A13 * B31 + …… + A1n * Bn1 = C11
单位矩阵
逆矩阵
用A-1 表示
A * A-1 = I
矩阵转置
x(i) 表示第 i 组样本
xj(i) 表示第 i 组样本中的第 j 个数据
eg:
x4(2)表示第4组样本中的第3个数据,值为40
假设函数
hθ(x) = θ0 + θ1x1 + θ2x2 + …… + θnxn
定义x0 = 1 (即θ0的系数,也即x0(i) = 1 )
则
x = [x0, x1, x2, ……, xn]T
θ = [θ0, θ1, θ2,…, θn]T, θ∈Rn+1
进而
假设函数可记作:hθ(x) = θTx
∂ J ( θ ) ∂ θ 0 \frac{∂J(θ )}{∂θ ~0 } ∂θ 0∂J(θ) = 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i))x0(i)
∂ J ( θ ) ∂ θ 1 \frac{∂J(θ)}{∂θ ~1 } ∂θ 1∂J(θ) = 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i)) x1(i)
∂ J ( θ ) ∂ θ 2 \frac{∂J(θ)}{∂θ ~2 } ∂θ 2∂J(θ) = 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i)) x2(i)
进而更新得到:
θ0 := θ0 - α 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i))x0(i)
θ1 := θ0 - α 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i)) x1(i)
θ2 := θ0 - α 1 m \frac{1}{m} m1 ∑ i = 1 n \displaystyle\sum_{i=1}^{n} i=1∑n ( (θ0 + θ1x(i)) − y(i)) x2(i)
当特征范围相差太大时,会一直来回振荡,梯度下降效率低
(本例子中θ0不考虑)
引入特征缩放解决这一问题
xi = x i − μ σ \frac{x~i~ − μ}{σ} σx i −μ
μ 为平均值,σ 为range(即max - min)
如下述例子
x1 = x 1 − 1000 5 \frac{x~1~ - 1000}{5} 5x 1 −1000
x2 = x 2 − 2 5 \frac{x~2~ - 2}{5} 5x 2 −2
其中1000 和 2 是事先知道的平均值
通常计算出来的 x 最好在-3 ~ +3之间
’梯度下降更新公式: θj = θj - α ∂ ∂ θ j \frac{∂}{∂θ~j~} ∂θ j ∂J(θ)
形如下左两种情况都是α选取太大导致的。
选取合适的α: … \dots …, 0.001,0.003,0.01,0.03,0.1,0.3,1, … \dots …
以3为倍数找到一个最大值,以该最大值或比该最大值略小的值作为α
房价预测问题
假设有两个特征:x1 是土地宽度,x2 是土地纵向深度,则有hθ(x) = θ0 + θ1x1 + θ2x2
由于房价实际与面积挂钩,所以可假设x = x1 * x2,则有hθ(x) = θ0 + θ1x
选用二次模型拟合
曲线符合实际,但由于次方的出现,要十分注意自变量范围的选取
选用根号模型
代价函数:
J(θ) = 1 2 m \frac{1}{2m} 2m1 ∑ i = 1 m \displaystyle\sum_{i=1}^{m} i=1∑m (hθ(x{(i)}) - y(i))2
对J (θ) 求偏导并令导数为零可解得: θ = (XTX)-1XTy
令
令
(加一行x0且值都赋为1)
又
∂ ∂ θ \frac{∂}{∂θ} ∂θ∂J(θ) = 1 m \frac{1}{m} m1 ∑ i = 1 m \displaystyle\sum_{i=1}^{m} i=1∑m (hθ(x(i)) - y(i))x(i) = 0
可得
θ = (XTX)-1XTy
矩阵不可逆的情况很小,导致不可逆可能有以下两个原因:
实际操作过程中,要删除多余特征,且呈线性关系的多个特征保留一个即可
Octave中的pinv即使面对不可逆矩阵,也能计算出结果,得出来的是伪矩阵
5 + 6
ans = 11
3 - 2
ans = 1
5 * 8
ans = 40
1 / 2
ans = 0.50000
2 ^ 6
ans = 64
1 == 2 //判断 1 是否等于 2
ans = 0
1 ~= 2
ans = 1
1 && 0 //and
ans = 0
1 || 0 //or
ans = 1
xor(1, 0) //异或
ans = 1
//消除注释
PS1('>> ')
dips(a);
disp(spintf('2 decimals: %0.2f', a))
format long
format short
A = [1 2; 3 4; 5 6]
v = 1:0.1:2
v = 1:6
ones(2, 3)
2*ones(2, 3)
zeros(1, 3)
rand(1, 3)
w = -6 + sqrt(10)*(randn(1, 10000))
hist(w)
后续第五节有关Octave,先跳过,后续再补上
由于离群点的存在,线性回归不适用于分类问题。
如下图(阈值为0.5),由于最右离群点,再用线性回归与实际情况不拟合。
因此,我们引入 逻辑回归(logistic regression) 算法,来解决这个问题。
logistic regression的假设函数值总是在0到1之间
logistic regression模型
线性回归中 hθ(x) = θTx
作一下修改,变成下图形式
决策边界不是训练集的属性,而是假设本身及其参数的属性
假设有一个训练集:
用一种方法或者假设,得到参数θ0 = -3,θ1 = 1,θ2 = 1
预测 y = 1 if -3 + x1 + x2 ≥ 0,即x1 + x2 ≥ 3
则有下图,中间的洋红色直线即为 决策边界(x1 + x2 = 3)
其他参数更多更复杂的也同理。
将线性回归的代价函数改写为如下形式(即把1/2提到后面去)
进而定义cost函数为
如果在逻辑回归中用线性回归的代价函数,会导致图像为非凸函数,很难得到最小代价函数
y表示实际,hθ(x)表示预测
1. 当y = 1时
if hθ(x) = 1, cost = 0
if hθ(x) = 0, cost = ∞ (预测与实际完全不一致,要花费很大的代价惩罚算法)
关于图像的导出
2. 当y = 0时
if hθ(x) = 0, cost = 0
if hθ(x) = 1, cost = ∞ (预测与实际完全不一致,要花费很大的代价惩罚算法)
将上述式子合并为一个式子
Cost(hθ(x), y) = -y(hθ(x)) - (1 - y)log(1 - hθ(x))
当y = 1时,后一个式子整体为0
当y = 0时,前一个式子整体为0
注意:
本质: 利用一些高级算法,来更快计算出结果。
通常这些算法:
Octave中的标号是从1开始的
故theta[1] = θ0,theta[n + 1] = θn
写一个costFunction()函数
该函数需返回
多元分类: 结果有多种可能。
如下例,有三种可能结果。
将它们两两作为一组,得到
即
最后需要输入一个x,选择h最大的类别,也即在三个分类器中选择可信度最高,效果最好的
过拟合
当变量过多时,训练出来的假设能很好地拟合训练集,所以代价函数实际上可能非常接近于0,但得到的曲线为了千方百计的拟合数据集,导致它无法泛化到新的样本中,无法预测新样本数据
泛化
指一个假设模型应用到新样本的能力
例
下左欠拟合,存在高偏差
下中拟合适中
下右过拟合,存在高方差
解决方法
减少特征数量
人工选择
模型选择算法(后续讲到)
缺点:舍弃一部分特征变量也舍弃了关于问题的一些信息
正则化
减少特征量级或参数θj的大小
以这个例子为例,其代价函数为
再之后再加上两项(1000为任意一个较大的数)
为了minisize代价函数,自然而然地θ3,θ4要等于0,从而去除了这两项,相当原来的式子变为二次函数
+
后的一项为正则化项,λ
为正则化参数,作用是控制两个不同目标之间的取舍由于正则化是从1到n项,故先将θ0提出来
将第二个式子写成下面这样的形式
其中m是样本量,所以一般都是一个很大的值,λ 正则化参数,一般都不大。故 1 - α λ m \frac{λ}{m} mλ一项的值比1略小
每次迭代时,θj都乘这么一个比1略小的数,效果相当于梯度下降
首先有这么个例子
其cost函数为
进而得到其偏导
与之前操作类似的,得到 能计算加上正则项的cost函数的偏导 jVal代码,和计算每一个偏导值的gradient(i)代码
当特征值只有两个时,我们仍可以用之前学过的算法去解决
但当特征值很多,且含有很多个多次多项式时,用之前的算法就很难解决了
计算机识别汽车是靠像素点的亮度值
给定数据集汽车和非汽车的数据,按照之前的方法划分
可以看到仅针对50*50像素的灰白图片,就有2500个特征值。当引入rgb时,特征值达到了7500个,如果算上多次多项式,特征值达到了三百万个,显然再继续用之前的算法难以处理这么庞大的数据
神经元由树突接收外界信息,经神经元计算,再由轴突发出信息
神经元之间可互相传递信息
类似地,我们定义一个神经网络如下:
从输入单元的激活项开始,进行前向传播给隐藏层,计算隐藏层的激活项,继续前向传播,并计算输出层的激活项
AND
引入x0,值为1。对权重 / 参数进行赋值,-30、+20、+20
x1 = 0,x2 = 0,hθ(x)结果为0
同理得到另外三组结果
总结果与 x1 AND x2 一致
(NOT x1)AND(NOT x2)
NOT即结果取反。如果x1输入为1,则输出为0
x1输入0,hθ(x1)输出1;x2输入0,hθ(x2)输出1,再进行AND运算可得最终结果
其他三种情况同理
- XNOR
有AND,(NOT x1)AND (NOT x2), OR三个前提
同样在输入层定义x0,x1,x2
在隐藏层中
进行AND运算得到a1(2),进行(NOT x1)AND (NOT x2)运算得到a2(2)
在输出层中
进行OR运算得到a1(3),即为最终结果
每层都是通过计算不断复杂
定义 L
,指网络中共有多少层
定义s~l~
,指每层中有多少个偏差单元
如,s1 = 3,s4 = sL = 4
针对01输出问题
多类别分类
K个输出单元(K ≥ 3,不然没有必要用多类别分类)
输出结果h(x)是一个K维向量
(eg:有不同的交通工具,定义一个结果集yk每个车对应向量第j行的值是1,其他位置都为0,将结果h(x)与yk比较,对应得上则说明是该交通工具)
代价函数
在逻辑回归中,我们有如下代价函数
演化到神经网络中,得到如下代价函数
注意 j 和 i没有标错,按照之前的定义,j就是θ向量的行,进而 i 就代表列
在计算中,不将θi0这一项也进行计算,乘出来的结果有些类似于偏差单元的值,但实际运用中,影响不大
到目前为止,我们已经学习了许多不同的学习算法,但可能没有完全理解怎样运用它们,因此总是把时间浪费在毫无意义的尝试上。所以我们接下来将学习一些方法去选择一条最正确的道路。
我们将重点关注的是如果我们在开发一个机器学习系统,或者想试着改进一个机器学习系统的性能,我们要如何决定接下来应该选择哪条道路?
为了解释这一问题,我们仍然使用预测房价的学习例子。假设已经完成了正则化线性回归,也就是最小化代价函数的值,但如果假设函数放到一组新的房屋样本上进行测试,发现在预测房价时产生了巨大的误差,我们要如何改进这个算法?
第一种办法是使用更多的训练样本。但有时候获得更多的训练数据实际上并没有作用。
第二种方法是尝试选用更少的特征集。如果你有很多特征,我们可以从这些特征中仔细挑选一小部分来防止过拟合。
第三种方式是尝试选用更多的特征,也许目前的特征集,对我们来讲并不是很有帮助。所以我们也许可以从获取更多特征的角度来收集更多的数据,也可以把这个问题扩展为一个很大的项目。
第四种方式是可以尝试增加多项式特征,比如X1的平方,X2的平方,X1和下的乘积等等。
第五种方式是可以考虑其他方法去减小或增大正则化参数的值。
以上这些方法都需要很长的时间,但有一系列简单的方法能让我们事半功倍,排除掉这些方法中的至少一半,从而节省大量不必要花费的时间。这些方法被叫做 “机器学习诊断法” 。
“诊断法” 的意思是:这是一种测试法,你通过执行这种测试,能够深入了解某种算法到底是否有用。这也能告诉我们,要想改进一种算法的效果,去做什么样的尝试才是有意义的。
但同时这些诊断法的执行和实现,也需要花费时间,有时候确实需要花很多时间来理解和实现,不过这样做是把时间用在了刀刃上,可以为我们在开发学习算法时节省几个月的时间。
在之前的学习中我们尝试选择参量来使训练误差最小化,但得到一个非常小的训练误差并不一定是一件好事,它推广到新的训练集上并不一定适用。那么我们该如何判断一个假设函数是否过拟合呢?
对于简单的例子,我们可以对假设函数进行画图,然后观察图形的趋势,但对于像右边这样特征变量不止一个的情况,就很难画图去观察了。所以需要另一种方法来评估(假设函数是否过拟合)。
这里展示十组训练样本,我们将数据分成两部分,第一部分(通常为70%)作为我们的训练集,第二部分(通常为30%)作为我们的测试集。
用Mtest表示测试样本的总数,(x(1)test, y(1)test)就表示第一组测试样本。
要注意的是,在分成两组数据集之前,应该先将数据随机排列再进行分组。
对于线性回归,假设函数J(θ)由70%的训练集得到。
之后要计算出测试误差,用Jtest来表示。把从训练集中学习得到的参数 θ 放在Jtest中来计算测试误差,这个是测试集平方误差的平均值(样本量为Mtest)。
对于逻辑回归,同样我们也要从训练集中学习得到参数θ,再放到Jtest中去。这个目标函数和之前的一样,唯一的区别是这里使用的是Mtest个样本。
还有另一种测试度量可能更便于理解,叫做错误分类,也叫作0/1分类错误。
可以定义一次预测的误差,是关于假设函数和标签y的误差:
(1)误差等于1的情况是,当假设函数h(x)的值大于等于0.5且y的值等于0时;假设函数的值小于0.5,且y的值等于1时;这两种情况都表示假设对样本进行了误判。
(2)其他情况则误差等于0,表示假设能对样本进行正确分类。
然后我们就能用应用错误分类误差(Test error),来定义测试误差,也就是错误分类误差求平均值。
如果我们想要确定对于一个数据集最合适的多项式次数,怎样选用正确的特征来构造学习算法;或者如果我们要选择学习算法中的正则化参数LAMBDA,要怎么做?这类问题叫做模型选择问题。
我们之前提到过拟合问题,用左边这些参数来拟合训练集,就算假设函数在训练集上表现得很好,也不意味着该假设对新样本也有好的泛化能力。所以训练集误差不能用来表示假设对新样本的拟合好坏。而如果参数对某个数据集拟合的很好,那么用同一数据集计算得到的误差,比如训练误差并不能很好地估计出实际的泛化误差(即对该数据集的泛化能力)。
假设我们要在10个不同次数的二项式模型之间进行选择,用参数d
来表示多项式的次数。d=1……d=10。
(1)选择各个模型,分别得到各个参数,为做区别,在参数上加上上标。
(2)用这些参数分别计算得到各个测试集误差。
(3)为从这些模型找到最好一个,应该看哪个模型的测试集误差最小。
(4)假设这里最终选择了五次多项式模型,现在要知道这个模型的泛化能力,可以观察这个模型对测试集的拟合程度,但由于我们拟合了一个参数d,并且选择了一个最好地拟合测试集的参数d的值,因此我们的参数向量θ(5)在测试集上的性能很可能是对泛化误差过于乐观的估计。意思就是说是用测试集拟合得到的参数d,再在测试集上评估假设,所以假设可能对测试集的表现要好过那些其他那些新的测试集中没有的样本。
为解决模型选择出现的问题,通常会使用以下的方法来评估一个假设:
给定一个数据集,分为三部分,用60%的数据作为训练集,用 20%的数据作为交叉验证集(CV,也叫验证集),用20%的数据作为测试集。
用Mcv来表示验证集的样本总数,同样用(x(i) ,y(i) )来表示第i个验证样本
(1)同样我们用训练集来计算最小代价函数得到各个参数,但这次用验证集来测试。
(2)用计算出的Jcv来观察这些假设模型在交叉验证集上的效果如何。
(3)选择Jcv最小的假设,这里假设选择四次多项式对应的交叉验证误差最小,进而得到d=4
(4)之后就可以用测试集来衡量模型的泛化误差了。
当我们运行一个学习算法时,如果这个算法的表现不理想,那么多半是出现两种情况:要么是偏差比较大,要么是方差比较大。换句话说,出现的情况要么是欠拟合,要么是过拟合问题。高偏差和高方差的问题基本上来说是欠拟合和过拟合的问题。能判断出现的情况是这两种情况中的哪一种,是一个很有效的指示器,指引着可以改进算法的最有效的方法和途径。
通过之前的学习我们知道,上图左边是欠拟合,右边是过拟合,而中间是刚好拟合,其泛化误差也是最小的。
上图的图像,横坐标d代表多项式的次数,左边值为1的时候对应一次函数,右边值为4的时候对应更高的多项式次数。
粉色线Jtrain(θ)代表训练误差,由于次数越高越拟合,所以训练误差是趋于下降的。
红色线Jcv(θ)代表测试误差,d=1时欠拟合,测试误差较高,d=4时过拟合,测试误差较高,而d=2时刚好拟合,测试误差较低。
由上面的分析我们可以知道,
d=1时欠拟合,呈现高偏差,此时训练误差和测试误差都很大,且两者接近;
d=4时过拟合,呈现高方差,此时训练误差很大,测试误差很小,测试误差远大于训练误差。