我们之前讨论的多层感知机十分适合处理表格数据,其中行对应样本,列对应特征。对于表格数据,我们寻找的模式可能涉及特征之间的交互,但是我们不能预先假设任何与特征交互相关的先验结构。此时,多层感知机可能是最好的选择,然而对于高维感知数据,这种缺少结构的网络可能会变得不实用。
例如,在之前猫狗分类的例子中:假设我们有一个足够充分的照片数据集,数据集中是拥有标注的照片,每张照片具有百万级像素,这意味着网络的每次输入都有一百万个维度。即使将隐藏层维度降低到1000,这个全连接层也将有
个参数。想要训练这个模型将不可实现,因为需要有大量的GPU、分布式优化训练的经验和超乎常人的耐心。
有些读者可能会反对这个观点,认为要求百万像素的分辨率可能不是必要的。然而,即使分辨率减小为十万像素,使用1000个隐藏单元的隐藏层也可能不足以学习到良好的图像特征,在真实的系统中我们仍然需要数十亿个参数。此外,拟合如此多的参数还需要收集大量的数据。然而,如今人类和机器都能很好地区分猫和狗:这是因为图像中本就拥有丰富的结构,而这些结构可以被人类和机器学习模型使用。卷积神经网络(convolutional neural networks,CNN)是机器学习利用自然图像中一些已知结构的创造性方法。
想象一下,假设我们想从一张图片中找到某个物体。合理的假设是:无论哪种方法找到这个物体,都应该和物体的位置无关。理想情况下,我们的系统应该能够利用常识:猪通常不在天上飞,飞机通常不在水里游泳。但是,如果一只猪出现在图片顶部,我们还是应该认出它。我们可以从儿童游戏”沃尔多在哪里”(如图1所示)中得到灵感:在这个游戏中包含了许多充斥着活动的混乱场景,而沃尔多通常潜伏在一些不太可能的位置,读者的目标就是找出他。尽管沃尔多的装扮很有特点,但是在眼花缭乱的场景中找到他也如大海捞针。然而沃尔多的样子并不取决于他潜藏的地方,因此我们可以使用一个“沃尔多检测器”扫描图像。该检测器将图像分割成多个区域,并为每个区域包含沃尔多的可能性打分。卷积神经网络正是将空间不变性(spatial invariance)的这一概念系统化,从而基于这个模型使用较少的参数来学习有用的表示。
图1 沃尔多游戏示例图
现在,我们将上述想法总结一下,从而帮助我们设计适合于计算机视觉的神经网络架构。
让我们看看这些原则是如何转化为数学表示的。
首先,多层感知机的输入是二维图像
,其隐藏表示
在数学上是一个矩阵,在代码中表示为二维张量。其中
和
具有相同的形状。为了方便理解,我们可以认为,无论是输入还是隐藏表示都拥有空间结构。
使用
和
分别表示输入图像和隐藏表示中位置(
,
)处的像素。为了使每个隐藏神经元都能接收到每个输入像素的信息,我们将参数从权重矩阵(如同我们先前在多层感知机中所做的那样)替换为四阶权重张量
。假设
包含偏置参数,我们可以将全连接层形式化地表示为
其中,从
到
的转换只是形式上的转换,因为在这两个四阶张量的元素之间存在一一对应的关系。我们只需重新索引下标
,使
、
,由此可得
。索引
和
通过在正偏移和负偏移之间移动覆盖了整个图像。对于隐藏表示中任意给定位置(
,
)处的像素值
,可以通过在
中以
为中心对像素进行加权求和得到,加权使用的权重为
。
现在引用上述的第一个原则:平移不变性。这意味着检测对象在输入
中的平移,应该仅导致隐藏表示
中的平移。也就是说,
和
实际上不依赖于
的值,即
。并且
是一个常数,比如
。因此,我们可以简化
定义为:
这就是卷积(convolution)。我们是在使用系数
对位置
附近的像素
进行加权得到
。注意,
的系数比
少很多,因为前者不再依赖于图像中的位置。这就是显著的进步!
现在引用上述的第二个原则:局部性。如上所述,为了收集用来训练参数
的相关信息,我们不应偏离到距
很远的地方。这意味着在
或
的范围之外,我们可以设置
。因此,我们可以将
重写为
简而言之,式(3)是一个卷积层(convolutional layer),而卷积神经网络是包含卷积层的一类特殊的神经网络。在深度学习研究社区中,
被称为卷积核(convolution kernel)或者滤波器(filter),亦或简单地称之为该卷积层的权重,通常该权重是可学习的参数。当图像处理的局部区域很小时,卷积神经网络与多层感知机的训练差异可能是巨大的:以前,多层感知机可能需要数十亿个参数来表示网络中的一层,而现在卷积神经网络通常只需要几百个参数,而且不需要改变输入或隐藏表示的维数。参数大幅减少的代价是,我们的特征现在是平移不变的,并且当确定每个隐藏活性值时,每一层只包含局部的信息。以上所有的权重学习都将依赖于归纳偏置。当这种偏置与现实相符时,我们就能得到样本有效的模型,并且这些模型能很好地泛化到未知数据中。但如果这偏置与现实不符时,比如当图像不满足平移不变时,我们的模型可能难以拟合我们的训练数据。
在进一步讨论之前,我们先简要回顾一下为什么上面的操作被称为卷积。在数学中,两个函数(比如
)之间的“卷积”被定义为
也就是说,卷积是当把一个函数“翻转”并移位
时,测量
和
之间的重叠。当为离散对象时,积分就变成求和。例如,对于由索引为
的、平方可和的、无限维向量集合中抽取的向量,我们得到以下定义:
对于二维张量,则为
的索引
和
的索引
上的对应加和:
这看起来类似于式(3),但有一个主要区别:这里不是使用
,而是使用差值。然而,这种区别是表面的,因为我们总是可以匹配式(3)和式(6)之间的符号。我们在式(3)中的原始定义更正确地描述了互相关(cross-correlation),这个问题将在下一节中讨论。
回到上面的“沃尔多在哪里”游戏,让我们看看它到底是什么样子。卷积层根据滤波器
选取给定大小的窗口,并加权处理图片,如图2中所示。我们的目标是学习一个模型,以便探测出在“沃尔多”最可能出现的地方。
图2 发现沃尔多
然而这种方法有一个问题:我们忽略了图像一般包含三个通道/三种原色(红色、绿色和蓝色)。实际上,图像不是二维张量,而是一个由高度、宽度和颜色组成的三维张量,比如包含
个像素。前两个轴与像素的空间位置有关,而第三个轴可以看作每个像素的多维表示。因此,我们将
索引为
。由此卷积相应地调整为
,而不是
。
此外,由于输入图像是三维的,我们的隐藏表示
也最好采用三维张量。换句话说,对于每一个空间位置,我们想要采用一组而不是一个隐藏表示。这样一组隐藏表示可以想象成一些互相堆叠的二维网格。因此,我们可以把隐藏表示想象为一系列具有二维张量的通道(channel)。这些通道有时也被称为特征映射(feature maps),因为每个通道都向后续层提供一组空间化的学习特征。直观上可以想象在靠近输入的底层,一些通道专门识别边缘,而一些通道专门识别纹理。
为了支持输入
和隐藏表示
中的多个通道,我们可以在
中添加第四个坐标,即
。综上所述,
其中,隐藏表示
中的索引
表示输出通道,而随后的输出将继续以三维张量
作为输入进入下一个卷积层。所以,式(7)可以定义具有多个通道的卷积层,而其中
是该卷积层的权重。
然而,仍有许多问题亟待解决。例如,图像中是否到处都有存在沃尔多的可能?如何有效地计算输出层?如何选择适当的激活函数?为了训练有效的网络,如何做出合理的网络设计选择?我们将在本章的其它部分讨论这些问题。