OceanAI-Chapter4:PLUS监督学习重点
这份复习笔记依据:
- 监督学习复习课录音;
- 《海洋人工智能基础》考试复习大纲;
- 已提供的期末试卷及答案;
- Chapter 4 课堂笔记。
监督学习部分可整理为一条主线:
带标签数据⟶选择模型⟶规定损失函数⟶求模型参数⟶对新样本预测考试复习时,应优先掌握:
- 监督学习、无监督学习与强化学习的区别;
- 判别方法与生成方法的区别;
- 线性回归的模型、最小二乘目标、矩阵形式与闭式解;
- L2 正则化的作用及错误写法;
- 支持向量机中的超平面、法向量、点到超平面的距离和最大间隔;
- 逻辑斯蒂回归的基本预测流程。
WARNING复习大纲列出了 logistic 回归,但老师在复习课后段进一步说明:本次考试以线性回归为主,逻辑斯蒂回归可降低复习优先级。为避免大纲与口头说明口径不同,本笔记仍保留其最基本公式与计算。
老师还明确说明,经验风险、期望风险、VC 维、VC 置信度、过拟合与欠拟合等抽象理论可以跳过;SVM 的对偶问题、软间隔、核方法及复杂优化推导也不要求掌握。
考试范围与优先级#
| 优先级 | 内容 | 掌握要求 |
|---|
| A | 监督、无监督、强化学习 | 能准确区分,能结合例子判断 |
| A | 生成方法与判别方法 | 会写各自学习的概率对象,能用 Bayes 关系解释 |
| A | 线性回归 | 会写模型、目标函数、矩阵形式、正规方程与闭式解 |
| A | L2 正则化 | 会解释 λwTw 的作用及常见错误 |
| A | SVM | 会解释 w,b、超平面、距离、间隔与支持向量 |
| B | 逻辑斯蒂回归 | 会从 wTx+b 算概率并依据阈值分类 |
| C | LDA、决策树、AdaBoost | 本次复习大纲与复习课未列为重点 |
| C | SVM 对偶、核技巧、软间隔 | 不要求复杂推导与计算 |
根据已提供的期末试卷,监督学习相关题型主要出现过:
- 监督学习、无监督学习与强化学习的简要概述;
- 线性回归中 L2 正则项的判断与解释;
- 复习课还特别强调了线性回归闭式解,以及 SVM 的超平面和点到超平面的距离。
监督学习基本概念#
监督学习的定义#
监督学习的训练数据含有输入—标签对:
D={(xi,yi)}i=1n其中:
- D:训练数据集;
- n:样本总数;
- xi:第 i 个样本的输入特征;
- yi:第 i 个样本的真实标签;
- f:希望从数据中学到的映射;
- y^i=f(xi):模型对第 i 个样本的预测。
监督学习的目标是学习:
f:X→Y使模型面对新的输入 x 时,也能给出合理预测。
回归与分类#
输出为连续数值:
y∈R例如:
- 根据温度、风力预测森林火灾面积;
- 根据海洋环境特征预测叶绿素浓度;
- 根据历史观测预测海表温度。
输出为离散类别:
y∈{1,2,…,K}例如:
- 判断是否发生赤潮;
- 将海洋声学信号分为不同目标类别;
- 判断图像属于鱼、船或海洋垃圾。
TIP区分回归与分类时,先看输出是什么:
- 输出是连续值:回归;
- 输出是类别编号或类别名称:分类。
监督学习、无监督学习与强化学习#
监督学习#
数据形式:
(xi,yi)有标签,学习输入到输出的映射。
无监督学习#
数据形式:
{xi}i=1n没有标签,重点寻找数据内部结构,例如聚类、降维和分布估计。
强化学习#
智能体在环境中反复执行动作:
S0,A0,R1,S1,A1,R2,…其中:
- St:时刻 t 的状态;
- At:智能体选择的动作;
- Rt+1:执行动作后获得的奖励。
目标是学习策略,使长期累计回报尽可能大。
三者的核心差异#
| 方法 | 数据或反馈 | 学习目标 |
|---|
| 监督学习 | 输入与正确标签成对给出 | 学习 x↦y |
| 无监督学习 | 只有输入,没有标签 | 发现结构或分布 |
| 强化学习 | 动作后获得延迟奖励 | 学习长期最优策略 |
判别方法与生成方法#
设:
判别方法#
判别方法直接学习:
P(c∣x)或者直接学习决策函数:
c=f(x)它关心:
给定特征 x,样本属于哪个类别?
典型例子:
生成方法#
生成方法学习:
P(x∣c)和P(c)然后利用 Bayes 公式:
P(c∣x)=P(x)P(x∣c)P(c)分类时,因为所有类别共用同一个 P(x),可比较:
P(x∣c)P(c)选择得分最大的类别:
c^=argcmaxP(x∣c)P(c)它关心:
每个类别通常会生成什么样的特征?
| 对比项 | 判别方法 | 生成方法 |
|---|
| 直接学习对象 | P(c∣x) 或决策边界 | P(x∣c) 与 P(c) |
| 主要目标 | 直接分类 | 建模数据如何由类别产生 |
| 分类方式 | 直接输出类别或后验概率 | 利用 Bayes 公式求后验 |
| 常见例子 | 逻辑斯蒂回归、SVM | 朴素 Bayes、类别条件高斯模型 |
监督学习基本概念例题#
例题 1:判断学习类型#
有三个任务:
- 根据带有“鱼类名称”标签的图像训练鱼类识别模型;
- 将一批没有标签的海水水质数据自动分成若干组;
- 水下机器人根据每次动作获得的奖励学习避障策略。
判断分别属于哪类学习。
任务 1 中,每张图像都有正确类别标签,属于:
监督学习任务 2 中,数据没有标签,目标是自动发现分组结构,属于:
无监督学习任务 3 中,机器人通过动作—奖励反复调整策略,属于:
强化学习
例题 2:判断回归或分类#
判断以下任务:
- 预测明天海表温度;
- 判断某海域是否发生赤潮;
- 预测未来一小时的有效波高;
- 将声呐目标分为潜艇、鱼群和背景噪声。
- 温度为连续数值,属于回归;
- 输出“发生/未发生”,属于二分类;
- 有效波高为连续数值,属于回归;
- 输出三个离散类别,属于多分类。
因此:
回归:1、3;分类:2、4
例题 3:判断判别方法或生成方法#
下面两种模型分别属于哪类方法?
- 模型 A 直接学习 P(c∣x);
- 模型 B 学习 P(x∣c) 和 P(c),再根据 Bayes 公式分类。
模型 A 直接从特征得到类别后验:
P(c∣x)属于:
判别方法模型 B 先学习类别怎样产生数据,再推导类别后验,属于:
生成方法
例题 4:生成方法的 Bayes 分类#
某二分类问题中:
P(C1)=0.6,P(C2)=0.4对观测到的特征 x:
P(x∣C1)=0.2,P(x∣C2)=0.5判断样本类别,并计算后验概率。
先计算未归一化得分:
P(x∣C1)P(C1)=0.2×0.6=0.12P(x∣C2)P(C2)=0.5×0.4=0.20因为:
0.20>0.12所以预测为:
C2证据概率为:
P(x)=0.12+0.20=0.32后验概率:
P(C1∣x)=0.320.12=0.375P(C2∣x)=0.320.20=0.625最终:
P(C2∣x)=0.625
线性回归#
一元与多元线性回归#
一元线性回归#
输入只有一个特征:
y^=ax+b其中:
- x:输入;
- y^:预测输出;
- a:斜率;
- b:截距。
多元线性回归#
输入具有 D 个特征:
x=x1x2⋮xD模型为:
y^=wTx+b其中:
- w=[w1,w2,…,wD]T:各特征对应的权重;
- b:截距;
- wTx=∑j=1Dwjxj。
展开:
y^=b+w1x1+w2x2+⋯+wDxD
矩阵形式#
为了把截距统一写入矩阵,可定义增广特征:
x~i=[1xi]一元情况下定义参数:
θ=[ba]则:
y^i=x~iTθ将所有样本按行排列:
X=11⋮1x1x2⋮xn,y=y1y2⋮yn统一写为:
y^=Xθ若有 n 个样本、D 个原始特征,并在第一列加入常数 1:
X∈Rn×(D+1)θ∈R(D+1)×1Xθ∈Rn×1WARNING设计矩阵的列顺序必须与参数顺序一致。
若一行写成 [1,xi],参数应写成 [b,a]T;若一行写成 [xi,1],参数应写成 [a,b]T。
最小二乘目标#
真实值为 y,预测值为 Xθ,残差向量为:
e=y−Xθ最小二乘目标函数:
J(θ)=∥y−Xθ∥22展开:
J(θ)=i=1∑n(yi−y^i)2整体意义:
寻找一组参数,使所有样本预测误差的平方和最小。
梯度、正规方程与闭式解#
梯度为:
∇θJ(θ)=−2XT(y−Xθ)=2XT(Xθ−y)令梯度为零:
XT(y−Xθ)=0得到正规方程:
XTXθ=XTy若 XTX 可逆:
θ=(XTX)−1XTy各符号意义#
- XT:设计矩阵的转置;
- XTX:特征之间乘积的汇总矩阵;
- XTy:特征与标签之间乘积的汇总;
- (XTX)−1:若存在,用于解正规方程;
- θ:最终回归系数。
NOTE复习课明确说明,考试更可能要求写出闭式解的形式,不会安排繁重的矩阵求逆计算。
L2 正则化#
在线性回归损失后加入:
Jλ(w)=(y−Xw)T(y−Xw)+λwTw也可写为:
Jλ(w)=∥y−Xw∥22+λ∥w∥22其中:
- λ:正则化强度;
- wTw=∥w∥22:所有权重平方和;
- λ>0:使过大的权重受到惩罚。
正则化的作用:
在拟合误差和参数规模之间做平衡,防止模型依赖特别大的权重。
为什么 λyTy 无法正则化?#
因为 y 是已经给定的标签,yTy 与待优化参数 w 无关。
因此:
λyTy只是常数,改变不了最优的 w。
为什么 λ<0 不合适?#
当:
λ<0目标函数中的正则项变成:
−∣λ∣wTw最小化目标函数时,增大 ∥w∥ 反而可能降低该项,导致权重被鼓励变大,违背正则化目的。
Ridge 闭式解#
若全部参数均进行 L2 正则化:
w=(XTX+λI)−1XTy其中 I 为单位矩阵。
实际应用中截距经常不参与正则化,这时应把对应位置的正则化系数设为 0。
线性回归例题#
例题 1:根据回归模型预测#
已知模型:
y^=1.5x+0.4当 x=6 时,计算预测值。
代入:
y^=1.5×6+0.4y^=9+0.4=9.4所以:
y^=9.4
例题 2:构造矩阵并求闭式解#
给定三个样本:
(0,1),(1,3),(2,5)拟合:
y^=ax+b第一步:构造设计矩阵#
采用列顺序 [1,x]:
X=111012,y=135,θ=[ba]第二步:计算 XTX#
XTX=[101112]111012=[3335]第三步:计算 XTy#
XTy=[101112]135=[913]第四步:解正规方程#
[3335][ba]=[913]对应:
{3b+3a=93b+5a=13两式相减:
2a=4所以:
a=2代回:
3b+6=9b=1最终模型:
y^=2x+1
例题 3:多元线性回归预测#
某森林火灾面积预测模型为:
y^=−9.103+1.312x+0.626z其中:
当:
x=18,z=6求预测面积。
代入:
y^=−9.103+1.312×18+0.626×61.312×18=23.6160.626×6=3.756因此:
y^=−9.103+23.616+3.756y^≈18.269系数解释:
- 风力保持不变时,气温增加 1 个单位,预测面积增加约 1.312;
- 气温保持不变时,风力增加 1 个单位,预测面积增加约 0.626。
例题 4:L2 正则化判断#
线性回归的标准正则化损失为:
L(w)=(y−Xw)T(y−Xw)+λwTw回答:
- 若误写成 λyTy,为什么无正则化作用?
- 若仍写成 λwTw,但 λ<0,为什么不合适?
第 1 问
优化变量是 w,而:
yTy仅由已知标签决定,与 w 无关。
因此 λyTy 是常数,无法改变最优权重:
λyTy 对 w 无约束作用第 2 问
当 λ<0 时:
λwTw=−∣λ∣wTw权重越大,该项越小。最小化目标函数可能推动权重继续增大。
所以:
λ 应取非负值,通常取 λ>0
逻辑斯蒂回归#
NOTE本部分按复习大纲保留,但老师在复习课中将其优先级调低。重点掌握预测流程与基本公式,不需要完整推导梯度和 Hessian。
线性分数与 Sigmoid#
逻辑斯蒂回归先计算线性分数:
z=wTx+b再通过 Sigmoid 函数得到正类概率:
P(y=1∣x)=σ(z)=1+e−z1性质:
0<σ(z)<1σ(0)=0.5z>0⇒σ(z)>0.5z<0⇒σ(z)<0.5
几率与对数几率#
若:
P=P(y=1∣x)则负类概率为:
1−P几率:
odds=1−PP对数几率:
logit(P)=log1−PP逻辑斯蒂回归满足:
log1−PP=wTx+b整体意义:
线性函数 wTx+b 拟合的是正类概率的对数几率。
决策边界#
若阈值为 0.5:
P(y=1∣x)>0.5⟺wTx+b>0所以决策边界为:
wTx+b=0分类规则:
y^={1,0,wTx+b>0wTx+b≤0
二元交叉熵#
设:
hi=P(yi=1∣xi)单个样本的二元交叉熵:
Li=−[yiloghi+(1−yi)log(1−hi)]分情况:
Li={−loghi,−log(1−hi),yi=1yi=0含义:
- 真实标签为 1 时,希望 hi 接近 1;
- 真实标签为 0 时,希望 hi 接近 0;
- 对错误且非常自信的预测,损失很大。
逻辑斯蒂回归例题#
例题 1:从线性分数得到分类结果#
某模型为:
z=0.8x1+1.2x2−2某样本:
x1=1.5,x2=1求正类概率并分类。
先求线性分数:
z=0.8×1.5+1.2×1−2z=1.2+1.2−2=0.4计算概率:
P(y=1∣x)=1+e−0.41≈0.599采用 0.5 阈值:
0.599>0.5所以:
y^=1
例题 2:计算几率与对数几率#
已知:
P(y=1∣x)=0.8计算几率和对数几率。
负类概率:
1−P=0.2几率:
1−PP=0.20.8=4含义:正类可能性是负类的 4 倍。
对数几率:
log4≈1.386所以:
odds=4,logit(P)≈1.386
例题 3:计算单样本交叉熵#
模型对正类的预测概率为:
h=0.9分别计算真实标签为 1 和 0 时的损失。
当:
y=1有:
L=−logh=−log0.9≈0.105当:
y=0有:
L=−log(1−h)=−log0.1≈2.303所以:
L(y=1)≈0.105,L(y=0)≈2.303模型给出 0.9 的正类概率时,如果真实标签为 0,属于自信的错误预测,因此损失明显更大。
支持向量机#
分类超平面#
线性分类超平面写为:
wTx+b=0其中:
- x∈RD:样本特征;
- w∈RD:超平面的法向量;
- b:截距或偏置;
- wTx+b:样本相对于超平面的带符号得分。
分类函数:
y^=sign(wTx+b)其中通常使用标签:
yi∈{−1,+1}若:
wTx+b>0样本位于超平面一侧;若:
wTx+b<0样本位于另一侧。
二维与三维对应#
二维:
w1x1+w2x2+b=0是一条直线。
三维:
w1x1+w2x2+w3x3+b=0是一个平面。
更高维时称为超平面。
点到超平面的距离#
点 x0 到超平面:
wTx+b=0的距离为:
d(x0,H)=∥w∥2∣wTx0+b∣其中:
∥w∥2=w12+w22+⋯+wD2整体意义:
- 分子:代入平面方程后得到的偏离量;
- 分母:消除 w,b 整体缩放带来的影响;
- 绝对值:距离必须非负。
函数间隔与几何间隔#
对带标签样本 (xi,yi),函数间隔为:
γ^i=yi(wTxi+b)其中:
- 若分类正确,γ^i>0;
- 若分类错误,γ^i<0;
- 数值越大,说明样本在正确一侧离边界越远。
几何间隔为:
γi=∥w∥2yi(wTxi+b)它等于样本到超平面的带符号距离。
最大间隔与硬间隔 SVM#
由于 (w,b) 同时乘以正数不会改变超平面,可以规定距离最近的样本满足:
yi(wTxi+b)=1所有训练样本要求:
yi(wTxi+b)≥1这时两条间隔边界为:
wTx+b=1和:
wTx+b=−1两条边界之间的总宽度为:
∥w∥22最大化间隔等价于最小化 ∥w∥2,标准硬间隔 SVM 为:
w,bmin21∥w∥22约束:
yi(wTxi+b)≥1,i=1,…,n
支持向量#
满足:
yi(wTxi+b)=1的训练样本称为支持向量。
它们位于两条间隔边界上,是距离分类超平面最近的样本。
支持向量决定最终边界;远离边界的样本对最大间隔超平面的直接影响较小。
NOTE本次考试重点在几何含义:超平面、法向量、点到超平面的距离、间隔和支持向量。SVM 对偶问题、SMO、软间隔与核函数不要求推导。
支持向量机例题#
例题 1:识别超平面参数并分类#
二维分类超平面为:
2x1−x2−3=0回答:
- 法向量 w 和偏置 b;
- 点 A=(3,1) 位于哪一侧;
- 点 B=(1,2) 位于哪一侧。
与:
wTx+b=0对比,得到:
w=[2−1],b=−3对点 A=(3,1):
wTA+b=2×3−1−3=2>0所以 A 位于正侧,预测:
y^A=+1对点 B=(1,2):
wTB+b=2×1−2−3=−3<0所以 B 位于负侧,预测:
y^B=−1
例题 2:计算点到超平面的距离#
仍使用超平面:
2x1−x2−3=0计算点:
A=(3,1)到超平面的距离。
法向量:
w=[2−1]其长度:
∥w∥2=22+(−1)2=5分子:
∣wTA+b∣=∣2×3−1−3∣=2所以距离:
d=52有理化或化为小数:
d=52≈0.894
例题 3:找出支持向量与间隔宽度#
给定:
w=[10],b=0训练样本:
x1=(1,2), y1=+1x2=(2,0), y2=+1x3=(−1,1), y3=−1x4=(−3,0), y4=−1求每个样本的函数间隔,找出支持向量,并计算总间隔宽度。
因为:
wTx=x1逐个计算:
对样本 1:
y1(wTx1+b)=1×1=1对样本 2:
y2(wTx2+b)=1×2=2对样本 3:
y3(wTx3+b)=(−1)×(−1)=1对样本 4:
y4(wTx4+b)=(−1)×(−3)=3等于 1 的样本为支持向量:
x1=(1,2),x3=(−1,1)法向量长度:
∥w∥2=1总间隔宽度:
∥w∥22=2所以:
间隔宽度=2
例题 4:比较两个可行超平面#
两个分类超平面都正确分类训练集,并且都已按规范化约束:
yi(wTxi+b)≥1已知:
∥wA∥2=1,∥wB∥2=2SVM 会选择哪个超平面?
总间隔宽度:
margin=∥w∥22对于 A:
marginA=12=2对于 B:
marginB=22=1SVM选择间隔更大的超平面,因此:
选择超平面 A也可从优化目标判断:
21∥wA∥2=2121∥wB∥2=2目标函数较小的是 A。
不纳入本次必背范围的内容#
可以跳过或降低优先级#
根据复习课口径,下列内容不属于本次监督学习部分的核心考查对象:
- 经验风险与期望风险的严格理论;
- VC 维和 VC 置信度;
- 过拟合、欠拟合的复杂理论分析;
- 决策树与 AdaBoost;
- 线性判别分析 LDA;
- SVM 对偶问题;
- SMO 算法;
- 软间隔 SVM;
- 核函数与核技巧;
- 逻辑斯蒂回归梯度、Hessian 的完整推导。
WARNING“可以跳过”表示不需要投入大量时间推导。若客观题出现术语,应至少能识别其名称和基本用途。
最后速记表#
监督学习#
D={(xi,yi)}i=1n
- 有标签;
- 学习 x↦y;
- 连续输出为回归;
- 离散输出为分类。
判别与生成#
判别:
P(c∣x)生成:
P(x∣c),P(c)Bayes 分类:
c^=argcmaxP(x∣c)P(c)线性回归#
模型:
y^=Xθ目标:
J(θ)=∥y−Xθ∥22梯度:
∇θJ=2XT(Xθ−y)正规方程:
XTXθ=XTy闭式解:
θ=(XTX)−1XTyL2 正则化:
Jλ(w)=∥y−Xw∥22+λ∥w∥22要求:
λ>0逻辑斯蒂回归#
z=wTx+bP(y=1∣x)=1+e−z1log1−PP=wTx+b阈值 0.5 对应边界:
wTx+b=0支持向量机#
超平面:
wTx+b=0距离:
d=∥w∥∣wTx+b∣硬间隔约束:
yi(wTxi+b)≥1优化目标:
w,bmin21∥w∥2间隔宽度:
∥w∥2支持向量:
yi(wTxi+b)=1
考前自检#
看到题目后,应能立即回答:
- 数据有没有标签?
- 输出是连续值还是类别?
- 模型学习的是 P(c∣x),还是 P(x∣c) 与 P(c)?
- 线性回归中 X、θ、y 的维度是否匹配?
- 能否写出 θ=(XTX)−1XTy?
- 正则项是否真正含有待优化参数?λ 是否为正?
- SVM 中 w 是否为超平面法向量?
- 能否使用 ∣wTx+b∣/∥w∥ 计算距离?
- 能否解释 SVM 为什么最小化 ∥w∥2?
- 能否找出满足 yi(wTxi+b)=1 的支持向量?