西瓜书阅读笔记——第3章-线性回归(3.1-3.2)

强烈推荐配合西瓜书阅读使用的南瓜书和南瓜书作者录制的学习视频【吃瓜教程】《机器学习公式详解》(南瓜书)与西瓜书公式推导直播合集

引言

在生活中经常会遇到的一些问题,比如犯罪现场留下的鞋码大概估计嫌疑人的身高;又比如通过一个程序员的发际线高度来判断这个程序员的计算机水平;再比如买西瓜的时候,通过某个西瓜色泽、根蒂、敲声等来判断西瓜是好瓜还是坏瓜等等。一个吃过或者见过很多不同类型西瓜的吃瓜人,往往可以根据鉴瓜经验去判断西瓜的好坏。

把上面过程抽象出来就是:

利用一个已经训练好的带参(θ)模型M(有经验的吃瓜人),根据样本的特征(西瓜色泽、根蒂、敲声等)预测样本的目标值(好瓜/坏瓜)。

那么要怎么成为一个有经验的吃瓜人呢?(也就是如何获得一个能解决目标问题的模型?)

可以通过品鉴不同的西瓜总结好瓜/坏瓜和西瓜特征之间的关系(模型通过观察大量与问题相关的样本,利用某种方式学习预测目标和特征之间的映射关系,或者说利用某种方式确定模型中的参数\(θ\))。

机器学习三要素

根据上面的逻辑,可以梳理出利用机器学习方法解决实际需求的三个问题,并对应总结三要素:

  1. 应该选择什么模型去解决问题?
  2. 应该用什么策略引导该模型利用观测样本去学习模型中的参数?
  3. 应该用什么算法去求解模型参数?

  4. 模型:根据具体问题,确定假设空间(选择模型)。
  5. 策略:根据评价标准,确定选取最优模型的策略(通常会产出一个“损失函数”)。
  6. 算法:求解损失函数,确定最优模型。

线性回归模型

模型

原理

线性模型(linear model)试图学得一个通过属性的线性组合来进行预测的函数:\(f(\mathbf x)=w_1x_1+w_2x_2+...+w_dx_d+b=\mathbf w^T\mathbf x+b\)

其目标就是通过观测样本利用某一种策略(常见的如最小二乘法、最大似然法)学习\(\mathbf w\)\(b\)。从而根据未知标签或预测量的新样本对应的特征,带入\(\mathbf w\)\(b\),得预测结果。

对应到机器学习三要素中分别为:

  1. 模型:线性回归模型,\(f(\mathbf x)=\mathbf w^T\mathbf x+b\)
  2. 策略:常见如利用最小二乘法或最大似然法构建的loss function \(E_{(w,b)}\)求解\(\mathbf w\)\(b\)
  3. 算法:求偏导\(\frac{\partial E_{(w,b)}}{\partial w}=0\)\(\frac{\partial E_{(w,b)}}{\partial b}=0\),求解\(\mathbf w\)\(b\)的最优闭式解。

线性模型的优势

由于\(\mathbf w\)直观表达了各属性在预测中的重要性,因此线性模型有很好的可解释性(comprehensibility),权重可以代表某类特征的重要性。

策略——构建loss function

我们先考虑输入属性的数目只有1个,即一元线性回归。

最小二乘法

基于最小化均方误差来进行模型求解的方法称为最小二乘法。在线性回归中,最小二乘法就是试图找到一条直线,使所有样本到直线上的欧氏距离之和最小。

均方误差的定义:

\(E_{(w,b)}=\sum\limits_{i=1}^n(y_i-f(x_i))^2\)

以均方误差作为loss functionargmin表示\(E_{(w,b)}\)取最小值时参数\((w,b)\)的取值(\((w^*,b^*)\))。策略就是:

\((w^*,b^*)=\mathop{arg min}\limits_{(w,b)}E_{(w,b)}=\mathop{arg min}\limits_{(w,b)}\sum\limits_{i=1}^n(y_i-wx_i-b)^2\)

极大似然估计(主要摘自视频PPT

使得观测样本出现概率最大的分布就是待求分布。

以一个案例展示利用极大似然法估计概率分布的参数:

在线性回归模型中,可以作进一步假设:

算法——求解参数

主要摘自视频PPT

求解\(w\)\(b\)其本质上是一个多元函数求最值(点)的问题,更具体点是凸函数求最值的问题。 推导思路:

  1. 证明\(E_{(w,b)}=\sum\limits_{i=1}^n(y_i-wx_i-b)^2\)时关于\(w\)\(b\)的凸函数;
  2. 用凸函数求最值的思路(求导)求解\(w\)\(b\)

注意数分与高数的凹凸函数定义相反。凸函数的开口朝上。

证明\(E_{(w,b)}\)为凸函数

定理

梯度

海塞矩阵Hessian matrix

怎么证明矩阵半正定?

半正定矩阵的判定定理之一:若实对称矩阵的所有顺序主子式均为非负,则该矩阵为半 正定矩阵。

顺序主子式

凸函数求最值

凸充分性定理
image-20210719190631990
image-20210719190631990

求偏导\(\frac{\partial E_{(w,b)}}{\partial w}=0\)\(\frac{\partial E_{(w,b)}}{\partial b}=0\),求解\(w\)\(b\)的最优闭式解。

多元线性回归

模型

多元线性回归考虑了样本有超过1维属性的特征,即某个样本\(x_i\)的属性向量为\((x_{i1};x_{i2};...;x_{id})\)

\(w\)\(b\)吸收入向量形式\(\hat w=(ω;b)\),相应的,把数据集\(D\)表示为一个\(m×(d+1)\)大小的矩阵\(X\),其中每行对应于一个示例,该行前\(d\)个元素对应于示例的\(d\)个属性值,最后一个元素恒置为1,即:

标签也写成向量形式:\(\mathbf y=(y_1;y_2;...;y_m)\),转化为: \[ \mathbf y=f(\mathbf {\hat x_i})=\mathbf {\hat w}\mathbf {\hat x_i} \]

策略——构建loss function

最小二乘法

将其进行向量化,则求解参数的loss function为: \[ \bold {\hat w^*}=\mathop{argmin}\limits_\bold {\hat w}(E_\bold {\hat w})=\mathop{argmin} \limits_\bold {\hat w}(\bold y-\bold X\bold {\hat w})^T(\bold y-\bold X\bold {\hat w}) \]

算法——求解参数

证明\(E_{\mathbf {\hat w}}\)为凸函数

矩阵微分证明可参考:

矩阵微分系列一:矩阵向量微分公式推导 - Picassooo - 博客园 (cnblogs.com)

凸函数求最值

同样利用求导的方法求解最值。

广义线性模型(generalized linear model)

考虑单调可微函数\(g(·)\),称为"联系函数"(link funtin),令: \[ g(y)=\bold w^T\bold x+b \\ →y=g^{-1}(\bold w^T\bold x+b) \] 其形式上仍是线性回归,但实质上已是在求取输入空间到输出空间的非线性函数映射。

对数线性回归

\(g(·)=\ln(·)\)时,为对数线性模型。

假设样本所对应的输出标记是在指数尺度上变化,那就可将输出标记的对数作为线性模型逼近的目标,即: \[ \ln y=\bold w^T\bold x+b \]

Tips

线性回归和正交回归的区别

蓝色线段为线性回归计算loss的方式,而橙色线段为正交回归计算loss的方式。

离散、连续特征拼接方法

当有不同类型的特征时,如何拼接/融合不同的特征到模型中:

将离散和连续特征拼接在一起:

连续特征、二值离散特征、有序多值离散特征均只需要分别构建1维特征维度,而无序的多值离散特征可以通过one-hot编码方式,构建多维特征向量,然后再进行特征拼接。

参考文献

《机器学习》——周志华

【吃瓜教程】《机器学习公式详解》(南瓜书)与西瓜书公式推导直播合集

*视频的PPT:https://pan.baidu.com/s/1g1IrzdMHqu6XyG0bFIcFsA 提取码: 7nmd

矩阵微分系列一:矩阵向量微分公式推导 - Picassooo - 博客园 (cnblogs.com)

南瓜书 第3章 线性模型 (datawhalechina.github.io)

什么是主子式,顺序主子式?