前几节介绍的线性回归模型适用于输出为连续值的情景。在另一类情景中,模型输出可以是一个像图像类别这样的离散值。对于这样的离散值预测问题,我们可以使用诸如softmax回归在内的分类模型。和线性回归不同,softmax回归的输出单元从一个变成了多个,且引入了softmax运算使输出更适合离散值的预测和训练。本节以softmax回归模型为例,介绍神经网络中的分类模型。

3.4.1 分类问题

让我们考虑一个简单的图像分类问题,其输入图像的高和宽均为2像素,且色彩为灰度。这样每个像素值都可以用一个标量表示。我们将图像中的4像素分别记为3.4 softmax回归 - 图1。假设训练数据集中图像的真实标签为狗、猫或鸡(假设可以用4像素表示出这3种动物),这些标签分别对应离散值3.4 softmax回归 - 图2

我们通常使用离散的数值来表示类别,例如3.4 softmax回归 - 图3。如此,一张图像的标签为1、2和3这3个数值中的一个。虽然我们仍然可以使用回归模型来进行建模,并将预测值就近定点化到1、2和3这3个离散值之一,但这种连续值到离散值的转化通常会影响到分类质量。因此我们一般使用更加适合离散值输出的模型来解决分类问题。

3.4.2 softmax回归模型

softmax回归跟线性回归一样将输入特征与权重做线性叠加。与线性回归的一个主要不同在于,softmax回归的输出值个数等于标签里的类别数。因为一共有4种特征和3种输出动物类别,所以权重包含12个标量(带下标的3.4 softmax回归 - 图4)、偏差包含3个标量(带下标的3.4 softmax回归 - 图5),且对每个输入计算3.4 softmax回归 - 图6这3个输出:

3.4 softmax回归 - 图7

图3.2用神经网络图描绘了上面的计算。softmax回归同线性回归一样,也是一个单层神经网络。由于每个输出3.4 softmax回归 - 图8的计算都要依赖于所有的输入3.4 softmax回归 - 图9,softmax回归的输出层也是一个全连接层。

3.4_softmaxreg.svg

既然分类问题需要得到离散的预测输出,一个简单的办法是将输出值3.4 softmax回归 - 图11当作预测类别是3.4 softmax回归 - 图12的置信度,并将值最大的输出所对应的类作为预测输出,即输出 3.4 softmax回归 - 图13。例如,如果3.4 softmax回归 - 图14分别为3.4 softmax回归 - 图15,由于3.4 softmax回归 - 图16最大,那么预测类别为2,其代表猫。

然而,直接使用输出层的输出有两个问题。一方面,由于输出层的输出值的范围不确定,我们难以直观上判断这些值的意义。例如,刚才举的例子中的输出值10表示“很置信”图像类别为猫,因为该输出值是其他两类的输出值的100倍。但如果3.4 softmax回归 - 图17,那么输出值10却又表示图像类别为猫的概率很低。另一方面,由于真实标签是离散值,这些离散值与不确定范围的输出值之间的误差难以衡量。

softmax运算符(softmax operator)解决了以上两个问题。它通过下式将输出值变换成值为正且和为1的概率分布:

3.4 softmax回归 - 图18%0A#card=math&code=%5Chat%7By%7D_1%2C%20%5Chat%7By%7D_2%2C%20%5Chat%7By%7D_3%20%3D%20%5Ctext%7Bsoftmax%7D%28o_1%2C%20o_2%2C%20o_3%29%0A)

其中

3.4 softmax回归 - 图19%7D%7B%5Csum%7Bi%3D1%7D%5E3%20%5Cexp(o_i)%7D%2C%5Cquad%0A%5Chat%7By%7D_2%20%3D%20%5Cfrac%7B%20%5Cexp(o_2)%7D%7B%5Csum%7Bi%3D1%7D%5E3%20%5Cexp(oi)%7D%2C%5Cquad%0A%5Chat%7By%7D_3%20%3D%20%5Cfrac%7B%20%5Cexp(o_3)%7D%7B%5Csum%7Bi%3D1%7D%5E3%20%5Cexp(oi)%7D.%0A#card=math&code=%5Chat%7By%7D_1%20%3D%20%5Cfrac%7B%20%5Cexp%28o_1%29%7D%7B%5Csum%7Bi%3D1%7D%5E3%20%5Cexp%28oi%29%7D%2C%5Cquad%0A%5Chat%7By%7D_2%20%3D%20%5Cfrac%7B%20%5Cexp%28o_2%29%7D%7B%5Csum%7Bi%3D1%7D%5E3%20%5Cexp%28oi%29%7D%2C%5Cquad%0A%5Chat%7By%7D_3%20%3D%20%5Cfrac%7B%20%5Cexp%28o_3%29%7D%7B%5Csum%7Bi%3D1%7D%5E3%20%5Cexp%28o_i%29%7D.%0A)

容易看出3.4 softmax回归 - 图203.4 softmax回归 - 图21,因此3.4 softmax回归 - 图22是一个合法的概率分布。这时候,如果3.4 softmax回归 - 图23,不管3.4 softmax回归 - 图243.4 softmax回归 - 图25的值是多少,我们都知道图像类别为猫的概率是80%。此外,我们注意到

3.4 softmax回归 - 图26

因此softmax运算不改变预测类别输出。

3.4.3 单样本分类的矢量计算表达式

为了提高计算效率,我们可以将单样本分类通过矢量计算来表达。在上面的图像分类问题中,假设softmax回归的权重和偏差参数分别为

3.4 softmax回归 - 图27

设高和宽分别为2个像素的图像样本3.4 softmax回归 - 图28的特征为

3.4 softmax回归 - 图29%7D%20%3D%20%5Cbegin%7Bbmatrix%7Dx_1%5E%7B(i)%7D%20%26%20x_2%5E%7B(i)%7D%20%26%20x_3%5E%7B(i)%7D%20%26%20x_4%5E%7B(i)%7D%5Cend%7Bbmatrix%7D%2C%0A#card=math&code=%5Cboldsymbol%7Bx%7D%5E%7B%28i%29%7D%20%3D%20%5Cbegin%7Bbmatrix%7Dx_1%5E%7B%28i%29%7D%20%26%20x_2%5E%7B%28i%29%7D%20%26%20x_3%5E%7B%28i%29%7D%20%26%20x_4%5E%7B%28i%29%7D%5Cend%7Bbmatrix%7D%2C%0A)

输出层的输出为

3.4 softmax回归 - 图30%7D%20%3D%20%5Cbegin%7Bbmatrix%7Do_1%5E%7B(i)%7D%20%26%20o_2%5E%7B(i)%7D%20%26%20o_3%5E%7B(i)%7D%5Cend%7Bbmatrix%7D%2C%0A#card=math&code=%5Cboldsymbol%7Bo%7D%5E%7B%28i%29%7D%20%3D%20%5Cbegin%7Bbmatrix%7Do_1%5E%7B%28i%29%7D%20%26%20o_2%5E%7B%28i%29%7D%20%26%20o_3%5E%7B%28i%29%7D%5Cend%7Bbmatrix%7D%2C%0A)

预测为狗、猫或鸡的概率分布为

3.4 softmax回归 - 图31%7D%20%3D%20%5Cbegin%7Bbmatrix%7D%5Chat%7By%7D_1%5E%7B(i)%7D%20%26%20%5Chat%7By%7D_2%5E%7B(i)%7D%20%26%20%5Chat%7By%7D_3%5E%7B(i)%7D%5Cend%7Bbmatrix%7D.%0A#card=math&code=%5Cboldsymbol%7B%5Chat%7By%7D%7D%5E%7B%28i%29%7D%20%3D%20%5Cbegin%7Bbmatrix%7D%5Chat%7By%7D_1%5E%7B%28i%29%7D%20%26%20%5Chat%7By%7D_2%5E%7B%28i%29%7D%20%26%20%5Chat%7By%7D_3%5E%7B%28i%29%7D%5Cend%7Bbmatrix%7D.%0A)

softmax回归对样本3.4 softmax回归 - 图32分类的矢量计算表达式为

3.4 softmax回归 - 图33%7D%20%26%3D%20%5Cboldsymbol%7Bx%7D%5E%7B(i)%7D%20%5Cboldsymbol%7BW%7D%20%2B%20%5Cboldsymbol%7Bb%7D%2C%5C%5C%0A%5Cboldsymbol%7B%5Chat%7By%7D%7D%5E%7B(i)%7D%20%26%3D%20%5Ctext%7Bsoftmax%7D(%5Cboldsymbol%7Bo%7D%5E%7B(i)%7D).%0A%5Cend%7Baligned%7D%0A#card=math&code=%5Cbegin%7Baligned%7D%0A%5Cboldsymbol%7Bo%7D%5E%7B%28i%29%7D%20%26%3D%20%5Cboldsymbol%7Bx%7D%5E%7B%28i%29%7D%20%5Cboldsymbol%7BW%7D%20%2B%20%5Cboldsymbol%7Bb%7D%2C%5C%5C%0A%5Cboldsymbol%7B%5Chat%7By%7D%7D%5E%7B%28i%29%7D%20%26%3D%20%5Ctext%7Bsoftmax%7D%28%5Cboldsymbol%7Bo%7D%5E%7B%28i%29%7D%29.%0A%5Cend%7Baligned%7D%0A)

3.4.4 小批量样本分类的矢量计算表达式

为了进一步提升计算效率,我们通常对小批量数据做矢量计算。广义上讲,给定一个小批量样本,其批量大小为3.4 softmax回归 - 图34,输入个数(特征数)为3.4 softmax回归 - 图35,输出个数(类别数)为3.4 softmax回归 - 图36。设批量特征为3.4 softmax回归 - 图37。假设softmax回归的权重和偏差参数分别为3.4 softmax回归 - 图383.4 softmax回归 - 图39。softmax回归的矢量计算表达式为

3.4 softmax回归 - 图40%2C%0A%5Cend%7Baligned%7D%0A#card=math&code=%5Cbegin%7Baligned%7D%0A%5Cboldsymbol%7BO%7D%20%26%3D%20%5Cboldsymbol%7BX%7D%20%5Cboldsymbol%7BW%7D%20%2B%20%5Cboldsymbol%7Bb%7D%2C%5C%5C%0A%5Cboldsymbol%7B%5Chat%7BY%7D%7D%20%26%3D%20%5Ctext%7Bsoftmax%7D%28%5Cboldsymbol%7BO%7D%29%2C%0A%5Cend%7Baligned%7D%0A)

其中的加法运算使用了广播机制,3.4 softmax回归 - 图41且这两个矩阵的第3.4 softmax回归 - 图42行分别为样本3.4 softmax回归 - 图43的输出3.4 softmax回归 - 图44%7D#card=math&code=%5Cboldsymbol%7Bo%7D%5E%7B%28i%29%7D)和概率分布3.4 softmax回归 - 图45%7D#card=math&code=%5Cboldsymbol%7B%5Chat%7By%7D%7D%5E%7B%28i%29%7D)。

3.4.5 交叉熵损失函数

前面提到,使用softmax运算后可以更方便地与离散标签计算误差。我们已经知道,softmax运算将输出变换成一个合法的类别预测分布。实际上,真实标签也可以用类别分布表达:对于样本3.4 softmax回归 - 图46,我们构造向量3.4 softmax回归 - 图47%7D%5Cin%20%5Cmathbb%7BR%7D%5E%7Bq%7D#card=math&code=%5Cboldsymbol%7By%7D%5E%7B%28i%29%7D%5Cin%20%5Cmathbb%7BR%7D%5E%7Bq%7D) ,使其第3.4 softmax回归 - 图48%7D#card=math&code=y%5E%7B%28i%29%7D)(样本3.4 softmax回归 - 图49类别的离散数值)个元素为1,其余为0。这样我们的训练目标可以设为使预测概率分布3.4 softmax回归 - 图50%7D#card=math&code=%5Cboldsymbol%7B%5Chat%20y%7D%5E%7B%28i%29%7D)尽可能接近真实的标签概率分布3.4 softmax回归 - 图51%7D#card=math&code=%5Cboldsymbol%7By%7D%5E%7B%28i%29%7D)。

我们可以像线性回归那样使用平方损失函数3.4 softmax回归 - 图52%7D-%5Cboldsymbol%7By%7D%5E%7B(i)%7D%5C%7C%5E2%2F2#card=math&code=%5C%7C%5Cboldsymbol%7B%5Chat%20y%7D%5E%7B%28i%29%7D-%5Cboldsymbol%7By%7D%5E%7B%28i%29%7D%5C%7C%5E2%2F2)。然而,想要预测分类结果正确,我们其实并不需要预测概率完全等于标签概率。例如,在图像分类的例子里,如果3.4 softmax回归 - 图53%7D%3D3#card=math&code=y%5E%7B%28i%29%7D%3D3),那么我们只需要3.4 softmax回归 - 图54%7D_3#card=math&code=%5Chat%7By%7D%5E%7B%28i%29%7D_3)比其他两个预测值3.4 softmax回归 - 图55%7D_1#card=math&code=%5Chat%7By%7D%5E%7B%28i%29%7D_1)和3.4 softmax回归 - 图56%7D_2#card=math&code=%5Chat%7By%7D%5E%7B%28i%29%7D_2)大就行了。即使3.4 softmax回归 - 图57%7D_3#card=math&code=%5Chat%7By%7D%5E%7B%28i%29%7D_3)值为0.6,不管其他两个预测值为多少,类别预测均正确。而平方损失则过于严格,例如3.4 softmax回归 - 图58%7D_1%3D%5Chat%20y%5E%7B(i)%7D_2%3D0.2#card=math&code=%5Chat%20y%5E%7B%28i%29%7D_1%3D%5Chat%20y%5E%7B%28i%29%7D_2%3D0.2)比3.4 softmax回归 - 图59%7D_1%3D0%2C%20%5Chat%20y%5E%7B(i)%7D_2%3D0.4#card=math&code=%5Chat%20y%5E%7B%28i%29%7D_1%3D0%2C%20%5Chat%20y%5E%7B%28i%29%7D_2%3D0.4)的损失要小很多,虽然两者都有同样正确的分类预测结果。

改善上述问题的一个方法是使用更适合衡量两个概率分布差异的测量函数。其中,交叉熵(cross entropy)是一个常用的衡量方法:

3.4 softmax回归 - 图60%7D%2C%20%5Cboldsymbol%20%7B%5Chat%20y%7D%5E%7B(i)%7D%5Cright%20)%20%3D%20-%5Csum%7Bj%3D1%7D%5Eq%20y_j%5E%7B(i)%7D%20%5Clog%20%5Chat%20y_j%5E%7B(i)%7D%2C%0A#card=math&code=H%5Cleft%28%5Cboldsymbol%20y%5E%7B%28i%29%7D%2C%20%5Cboldsymbol%20%7B%5Chat%20y%7D%5E%7B%28i%29%7D%5Cright%20%29%20%3D%20-%5Csum%7Bj%3D1%7D%5Eq%20y_j%5E%7B%28i%29%7D%20%5Clog%20%5Chat%20y_j%5E%7B%28i%29%7D%2C%0A)

其中带下标的3.4 softmax回归 - 图61%7D#card=math&code=yj%5E%7B%28i%29%7D)是向量3.4 softmax回归 - 图62%7D#card=math&code=%5Cboldsymbol%20y%5E%7B%28i%29%7D)中非0即1的元素,需要注意将它与样本3.4 softmax回归 - 图63类别的离散数值,即不带下标的3.4 softmax回归 - 图64%7D#card=math&code=y%5E%7B%28i%29%7D)区分。在上式中,我们知道向量3.4 softmax回归 - 图65%7D#card=math&code=%5Cboldsymbol%20y%5E%7B%28i%29%7D)中只有第3.4 softmax回归 - 图66%7D#card=math&code=y%5E%7B%28i%29%7D)个元素3.4 softmax回归 - 图67%7D%7By%5E%7B(i)%7D%7D#card=math&code=y%5E%7B%28i%29%7D%7By%5E%7B%28i%29%7D%7D)为1,其余全为0,于是3.4 softmax回归 - 图68%7D%2C%20%5Cboldsymbol%20%7B%5Chat%20y%7D%5E%7B(i)%7D)%20%3D%20-%5Clog%20%5Chat%20y%7By%5E%7B(i)%7D%7D%5E%7B(i)%7D#card=math&code=H%28%5Cboldsymbol%20y%5E%7B%28i%29%7D%2C%20%5Cboldsymbol%20%7B%5Chat%20y%7D%5E%7B%28i%29%7D%29%20%3D%20-%5Clog%20%5Chat%20y_%7By%5E%7B%28i%29%7D%7D%5E%7B%28i%29%7D)。也就是说,交叉熵只关心对正确类别的预测概率,因为只要其值足够大,就可以确保分类结果正确。当然,遇到一个样本有多个标签时,例如图像里含有不止一个物体时,我们并不能做这一步简化。但即便对于这种情况,交叉熵同样只关心对图像中出现的物体类别的预测概率。

假设训练数据集的样本数为3.4 softmax回归 - 图69,交叉熵损失函数定义为

3.4 softmax回归 - 图70%20%3D%20%5Cfrac%7B1%7D%7Bn%7D%20%5Csum%7Bi%3D1%7D%5En%20H%5Cleft(%5Cboldsymbol%20y%5E%7B(i)%7D%2C%20%5Cboldsymbol%20%7B%5Chat%20y%7D%5E%7B(i)%7D%5Cright%20)%2C%0A#card=math&code=%5Cell%28%5Cboldsymbol%7B%5CTheta%7D%29%20%3D%20%5Cfrac%7B1%7D%7Bn%7D%20%5Csum%7Bi%3D1%7D%5En%20H%5Cleft%28%5Cboldsymbol%20y%5E%7B%28i%29%7D%2C%20%5Cboldsymbol%20%7B%5Chat%20y%7D%5E%7B%28i%29%7D%5Cright%20%29%2C%0A)

其中3.4 softmax回归 - 图71代表模型参数。同样地,如果每个样本只有一个标签,那么交叉熵损失可以简写成3.4 softmax回归 - 图72%20%3D%20-(1%2Fn)%20%20%5Csum%7Bi%3D1%7D%5En%20%5Clog%20%5Chat%20y%7By%5E%7B(i)%7D%7D%5E%7B(i)%7D#card=math&code=%5Cell%28%5Cboldsymbol%7B%5CTheta%7D%29%20%3D%20-%281%2Fn%29%20%20%5Csum%7Bi%3D1%7D%5En%20%5Clog%20%5Chat%20y%7By%5E%7B%28i%29%7D%7D%5E%7B%28i%29%7D)。从另一个角度来看,我们知道最小化3.4 softmax回归 - 图73#card=math&code=%5Cell%28%5Cboldsymbol%7B%5CTheta%7D%29)等价于最大化3.4 softmax回归 - 图74)%3D%5Cprod%7Bi%3D1%7D%5En%20%5Chat%20y%7By%5E%7B(i)%7D%7D%5E%7B(i)%7D#card=math&code=%5Cexp%28-n%5Cell%28%5Cboldsymbol%7B%5CTheta%7D%29%29%3D%5Cprod%7Bi%3D1%7D%5En%20%5Chat%20y%7By%5E%7B%28i%29%7D%7D%5E%7B%28i%29%7D),即最小化交叉熵损失函数等价于最大化训练数据集所有标签类别的联合预测概率。

3.4.6 模型预测及评价

在训练好softmax回归模型后,给定任一样本特征,就可以预测每个输出类别的概率。通常,我们把预测概率最大的类别作为输出类别。如果它与真实类别(标签)一致,说明这次预测是正确的。在3.6节的实验中,我们将使用准确率(accuracy)来评价模型的表现。它等于正确预测数量与总预测数量之比。

小结

  • softmax回归适用于分类问题。它使用softmax运算输出类别的概率分布。
  • softmax回归是一个单层神经网络,输出个数等于分类问题中的类别个数。
  • 交叉熵适合衡量两个概率分布的差异。

注:本节与原书基本相同,原书此节传送门