赞
踩
原文链接:机器学习(1):绪论 | 远行的舟
参考文献:① 周志华. 机器学习[M]. 北京:清华大学出版社. 2016.01. ② 李航. 统计学习方法[M]. 北京:清华大学出版社. 2012.03.
周志华教授在其所著 《机器学习》 一书中将机器学习定义为:一门致力于研究如何通过计算的手段,利用数据来改善系统自身性能的学科。同时周教授指出:机器学习主要研究从数据中产生模型的算法,即学习算法(learning alogrithm). 笔者认为可以将机器学习定义得更简单一点:机器学习就是研究数据分析方法的计算机科学分支,但它吸收了许多数学和统计学方法并以这些方法为基础,因此它也是一门横跨数学、统计学、计算机科学等多个学科领域的交叉学科。
模型 (model) / 学习器 (learner) 是从数据中学到的结果,这个结果通常是一个函数或可以看成为一个函数。有的文献会用模型指全局性结果,而用模式指局部性结果。
众所周知,统计学也是一门研究数据的科学。然而,遗憾的是:从上个世纪三四十年代开始,统计学的研究越来越数学化,越来越脱离实际问题,其中的原因是多方面的,我国统计学界唯一的中科院院士陈希孺老师在其所著的 《数理统计简史》 中对此有详细阐述,笔者很喜欢陈老师写得书,陈老写的书不仅一丝不苟而且高屋建瓴。早在二十年前,陈老就在这本书的尾言中写道:统计学的未来大概就是数据分析吧。
在统计学研究数学化倾向开始的三四十年代,一门新兴的学科——计算机科学随着人类历史上第一台通用电子计算机的发明诞生了。此后计算机科学中专注研究数据的分支学科机器学习,以其基于数据驱动的研究方法而非模型驱动的研究方法,以其对数学、统计学等多门学科的包容性,逐渐在数据分析中取代了传统的统计学,而成为工业界数据分析尤其是大规模数据分析的主流方法。陈老在书中讲道:上个世纪六七十年代,一些富有远见的统计学家也意识到了统计研究愈来愈数学化的不良倾向,在他们的推动下,国外的统计教学与研究开始纠正航向,转移到数据驱动的研究方法上来。然而据笔者的观察:暂且不论研究,起码国内目前统计学的教学仍然未能摆脱这种数学化倾向。
作为一门研究数据的科学,我们大多数学校的统计学本科生在大学期间不是泡在数据的海洋里,而是泡在一堆数学公式里面,不是说数学不重要,但依靠公式是孕育不了新的统计思想的。如果我们回看当年 Fisher 提出方差分析方法的历史,就该明白:实际数据分析才是催生新的统计思想或新的数据分析方法的源泉。
有时候笔者会问问自己:作为一名统计专业的毕业生,先不说你会不会分析数据,你先说说你会不会收集各种各样的数据?我想不仅我自己,我们国内目前大多数大学的统计学本科毕业生,哪怕是一些很有名的大学,面对这样的问题,我们的回答一定干脆利落,不会!笔者觉得这是一个天大的笑话:你学统计的吗,答是的,你要对数据作分析先得会什么,答会收集数据,现在什么地方数据最多最丰富,答网络上,网络上的数据你会收集吗,答不会要编程我不会。统计学专业毕业的学生还要别人替他收集数据,这样的笑话就是对我们国内统计学教学现状的赤裸裸的嘲讽!如果要重新设计统计学的本科教学计划,笔者觉得同学们首先要学的不是数学,而是学习如何利用计算机获取各种各样的数据,因为如果连数据都不会收集,统计学的学习与研究就成了无源之水、无本之木。
当然,国内统计学教学的改变不会是一蹴而就的。而统计学过去的研究也并非是一无是处的,实际上六七十年后统计学开始重新走向实用化研究道路后取得了许多新的成果,今天机器学习中许许多多重要的方法都是统计学家提出的,如用于模型选择的交叉验证方法、在许多分类模型中有重要应用的自助方法等等。笔者还记得本科数理统计最后一堂课时,郭老师这样讲道:数据,现在不仅我们搞统计的在研究,数学那边搞计算数学的也在研究,计算机那边也在研究,我们搞统计的从模型出发,他们计算机的呢从算法出发,我认为啊,这几门研究数据的学科最终会殊途同归。
下面,我们将首先介绍机器学习中一些常用的术语,并指出其中部分术语在统计学中对应的名词;接着我们将介绍机器学习的发展历程与应用现状,并给出机器学习领域重要的文献、会议与期刊。
下面我们列举一下机器学习中的常用术语,事实上,这些常用术语中有许多都可以在统计学中找到意义相近或相同的术语与之对应,笔者将对此加以说明。令一个 m × d m\times d m×d 实矩阵
D 1 = ( x 1 , x 2 , ⋯   , x m ) T , x i = ( x i 1 , x i 2 , ⋯   , x i d ) T , x i ∈ X ⊆ R d D_1 = \left ( \boldsymbol{x}_1, \boldsymbol{x}_2,\cdots, \boldsymbol{x}_m \right )^{\bf{T}}, \boldsymbol{x}_i = \left ( x_{i1},x_{i2},\cdots,x_{id} \right )^{\bf{T}},x_{i} \in \mathcal {X}\subseteq {\textbf {R}^d} D1=(x1,x2,⋯,xm)T,xi=(xi1,xi2,⋯,xid)T,xi∈X⊆Rd
以及一个 m × ( d + 1 ) m\times \left(d+1\right) m×(d+1) 实矩阵
D 2 = ( ( x 1 , y 1 ) , ( x 2 , y 2 ) , ⋯   , ( x m , y m ) ) T , x i 同 上 , y i ∈ Y ⊆ R D_2 = \left ( \left(\boldsymbol{x}_1,y_1\right), \left(\boldsymbol{x}_2,y_2\right),\cdots, \left(\boldsymbol{x}_m,y_m\right) \right )^{\bf{T}},\boldsymbol{x}_i \ 同上\ ,y_i \in \mathcal {Y}\subseteq{\textbf R} D2=((x1,y1),(x2,y2),⋯,(xm,ym))T,xi 同上 ,yi∈Y⊆R
D 1 D_1 D1 或 D 2 D_2 D2 称为一个数据集 (data set),它们都有 m m m 个示例/样本 (instance / sample)
x 1 , x 2 , ⋯   , x m \boldsymbol{x}_1, \boldsymbol{x}_2,\cdots, \boldsymbol{x}_m x1,x2,⋯,xm
D 2 D_2 D2 中则有 m m m 个样例 (example)
( x 1 , y 1 ) , ( x 2 , y 2 ) , ⋯   , ( x m , y m ) \left(\boldsymbol{x}_1,y_1\right), \left(\boldsymbol{x}_2,y_2\right),\cdots, \left(\boldsymbol{x}_m,y_m\right) (x1,y1),(x2,y2),⋯,(xm,ym)
数据集 D 1 D_1 D1 或 D 2 D_2 D2 中的示例 x i \boldsymbol{x}_i xi 都有 d d d 个属性/特征 (attribute / feature)
x i 1 , x i 2 , ⋯   , x i d x_{i1},x_{i2},\cdots,x_{id} xi1,xi2,⋯,xid
d d d 被称为该示例的维数 (dimensionality),因为一个示例/样本由特征构成,我们又称一个示例为一个特征向量(feature vector),特征向量所属的空间称为特征空间(feature space)。 D 2 D_2 D2 中的样例 x i , y i \boldsymbol{x}_i,y_i xi,yi 还另有一个标记 (label)
y i y_i yi
由属性张成的空间 X \mathcal {X} X 称为属性空间/样本空间/输入空间 (attribute space / sample space / input space),由标记张成的空间 Y \mathcal {Y} Y 称为标记空间/输出空间 (label space / output space)。输入空间与特征空间有时是一致的,有时是不一致的,而模型实际都是定义在特征空间上的。我们通常假设输入空间中的全体样本服从一个未知的分布 (distribution),且每一个样本都是独立地从分布中采样得到的,即各样本独立同分布 (independent and identically distributed, i.i.d.)。
在上述这些概念中,数据集对应于统计学中的样本 (sample),示例/样本/特征向量/样例对应于统计学中的样品 (specimen),属性/特征对应于统计学中的变量/自变量 (variable / independent variable),标记对应于统计学中的因变量 (dependent variable),属性空间或由属性和标签共同张成的空间对应于统计学中的样本空间(sample space),标记空间在统计学中没有与之对应的术语,如果一定要找个对应名词的话,那就是线性代数中的术语向量空间。其余的如维数、分布和独立同分布这些术语,与统计学中是一致的。
我们将对数据集建模的过程称为学习/训练 (learning / training),建模使用的数据集称为训练数据集 (training data set),其中的示例称为训练样本 (training sample)。如果我们将从输入空间/特征空间到输出空间的所有可能映射构成的集合称为假设空间(hypothesis space),那么我们可以把学习过程看做一个在假设空间中进行搜索的过程,搜索目标就是找到与训练集最匹配的模型。如果可以找到一个或多个与训练集完全匹配的模型,那么我们就将这些模型构成的集合称之为版本空间 (version space)。学得模型后,使用其进行预测的过程称为测试 (testing),预测使用的数据集称为测试数据集 (testing data set),其中的示例称为测试样本 (testing sample)。我们将学得的模型适用于新样本的能力称为泛化 (generalization) 能力。
在上述这些概念中,学习/训练对应于统计学中的建模 (modeling),由于传统统计学中使用建模数据评估模型预测效果,因此训练数据集、训练样本、测试数据集、测试样本等概念在统计学中都找不到与之对应的术语。
对类似 D 1 D_1 D1 这样没有标记信息的数据集,我们可以按照其属性特征将其分为多个类,我们将这种学习方法称之为聚类 (clustering),每个类称为一个簇 (cluster)。对类似 D 2 D_2 D2 这样有标记信息的数据,如果其标记信息为离散值,那么这些标记信息相当于示例所属类别,因此我们可以通过学习来预测新的样本所属类别,我们将这种学习方法称之为分类 (classification);如果其标记信息为连续值,那么我们可以通过学习来预测新的样本的取值,我们将这种学习方法称之为回归 (regression). 对于分类问题,当标记信息只有两种取值时,称为二分类 (binary classification),否则称为多分类 (multi-class classification),在二分类中两个类分别称为正类 (postive class) 和反类/负类 (negative class)。像聚类这种没有标记信息的学习方法属于无监督学习/无导师学习 (unsupervised learning),像分类与回归这种有标记信息的学习方法则属于有监督学习/有导师学习 (supervised learning),此外还有半监督学习 (semi-supervised learning) 与强化学习 (reinforcement learning) 等多种学习方法。
在上述这些概念中,回归、聚类、分类来源于统计学。回归是统计学中回归分析 (regression analysis) 的研究内容,聚类、分类则是统计学中多元统计分析 (multivariate statistical analysis) 中聚类分析(cluster analysis)、判别分析(discriminant analysis)的研究内容,其余概念在统计学中基本找不到对应术语。
有限的训练数据集常常导致假设空间中存在多个与训练数据集近似一致或一致的模型,此时对于一个具体的学习算法而言,它必须从这些模型中作出选择,我们将学习算法在学习过程中对某种类型模型的偏好称为归纳偏好 (inductive bias)。有没有一般性的原则来引导算法确立 “正确的” 偏好呢?答案是有的,如 “奥卡姆剃刀” (Occam’s razor) 原则指出若有多个模型与观察(近似)一致,则选择最简单的一个;“多释原则” (principle of multiple explanations) 指出应保留与经验观察(近似)一致的所有模型。然而,依据 Wolpert 和 Macready 于 1995 年提出的著名的没有免费午餐定理 (No Free Lunch Theorem, NFL),我们可以知道对于任意一个学习算法 L a \mathcal{L}_a La,若它在某些问题上比学习算法 L b \mathcal{L}_b Lb 好,则必然存在另一些问题,在那里 L b \mathcal{L}_b Lb 比 L a \mathcal{L}_a La 好。NFL 定理告诉我们:脱离具体问题空谈 “什么学习算法更好” 或 “那种归纳偏好更好” 是毫无意义的,因为若考虑所有潜在问题,则所有学习算法都一样好。
本节,我们将对机器学习的发展历程与应用现状做一个概括性的陈述,了解过去,把握现在,我们才能更好地面对未来,下面就让我们开始吧!
1950 年,英国著名数学家、逻辑学家、计算机科学与人工智能之父阿兰·图灵 (Alan Mathison Turing, 1912.06.23——1954.06.07) 发表 “计算机器与智能” (Computing Machinery and Intelligence) 一文,率先提到了机器学习的可能性。这篇论文也被视为人工智能的开山之作,关于该篇论文的详情见博文经典论文(1):计算机器与智能。
1952 年,阿瑟·萨缪尔 (Arthur Samuel,1901.12.05——1990.07.29) 在 IBM 公司研制了一个西洋跳棋程序,该跳棋程序实质上使用了强化学习技术,它可通过对大量棋局的分析逐渐辨识出当前局面下的 “好棋” 和 “坏棋”。萨缪尔发明了 “机器学习” 这个词,他将机器学习定义为 “不显式编程地赋予计算机能力的研究领域”,其文章 “Some studies in machine learning using the game of checkers” 于 1959 年在 IBM Journal 上正式发表。1961 年,萨缪尔的跳棋程序在与全美排名第四的棋手对弈中获胜,引起轰动。萨缪尔的跳棋程序不仅在人工智能领域产生了重大影响,也深刻影响了整个计算机科学的发展。早期计算机科学家认为计算机不可能完成事先没有显式编程好的任务,而萨缪尔跳棋程序否定了这个假设。此外,萨缪尔的跳棋程序是最早在计算机上执行非数值计算任务的程序之一,其逻辑指令设计思想极大地影响了 IBM 计算机的指令集,并很快被其他计算机的设计者采用。
1957 年,Frank Rosenblatt (1928.07.11——1971.07.11) 发表论文 “The Perceptron: a perceiving and recognizing automaton” ,提出线性二分类模型感知机 (perceptron), 基于神经网络的 “连接主义” (connectionism) 学习开始出现。感知机模型是首个基于线性阈函数 (threshold function) 的人工神经网络 (artificial neural network) ,其线性分类函数也是后来支持向量机的基础。1960 年,斯坦福大学的 Bernard Widrow (1929.12.24——) 教授和他的研究生 Ted Hoff (1937.12.28——) 提出自适应线性神经元/线性适应元 (Adaptive Linear Neuron / Adaptive Linear Element, Adaline),它由一个权重 (weight)、一个偏置 (bias) 和一个求和函数 (summation function) 构成。最早的人工神经网络可以追溯到 1943 年 Warren McCulloch (1898.11.16——1969.09.24) 和 Walter Pitts (1923.04.23——1969.05.14) 提出的阈值逻辑单元/线性阈值单元 (Threshold Logic Unit / Linear Threshold Unit),关于人工神经网络发展的更多细节,这里就不多说了,笔者将在学习完神经网络和深度学习的有关内容后于专题文章中再作阐述。
20 世纪 60 至 70 年代,基于逻辑表示的 “符号主义” (symbolism) 学习方法蓬勃发展,如:P.Winston 的结构学习系统、 Ryszard S.Michalski (1937.05.07——2007.09.20) 等人的 “基于逻辑的归纳学习系统”、E.B.Hunt 等人的 “概念学习系统” 等。与此同时,以决策理论为基础的学习方法以及强化学习方法等也得到发展,如:N.J.Nilson 的学习机器等。此外,统计学习理论中一些奠基性结果也在这个时期取得,如:1963 年 V.N.Vapwik (1936.12.06——) 提出了支持向量 的概念,1968 年 V.N.Vapnik 和 A.J.Chervonenkis (1938.09.07——2014.09.22) 提出 VC 维,1974 年 V.N.Vapnik 和 A.J.Chervonenkis 又提出了结构风险最小化原则等,关于这些概念的含义,笔者将在后续文章中加以阐述。
1980 年夏,作为国际机器学习会议 (International Conference on Machine Learning, ICML) 前身的第一届机器学习研讨会 (IWML) 在卡耐基梅隆大学召开,同年,《策略分析与信息系统》连出三期机器学习专辑。
1983 年,Ryszard S.Michalski (1937.05.07——2007.09.20)、Jaime.G.Carbonell (1953.07.29——)、Tom M.Mitchell (1951.08.09——) 等主编的**《Machine learning: An artificial intelligence approach》由 Tioga 出版社出版,该书对当时机器学习的研究工作进行了总结,书中将机器学习划分为 “从样例中学习”、“在问题求解和规划中学习”、“通过观察和发现学习” 以及 “从指令中学习” 等种类。同年,专家系统之父 Edward.A.Feigenbaum (1936.01.20——) 等所著的《The Handbook of Artificial Intelligence, volume 3》**则将机器学习划分为 “机械学习”、“示教学习”、“类比学习” 和 “归纳学习” 等种类,其中 “归纳学习”、“类比学习” 和 “示教学习” 分别大致相当于 “从样例中学习”、“通过观察和发现学习” 和 “从指令中学习”,“机械学习” 则属于死记硬背式的学习。20 世纪 80 年代以来,在机器学习领域,研究最多、应用最广的就是 “从样例中学习”,下面我们将简要介绍自上世纪 80 年代开始,“从样例中学习” 的主流技术的演进历史。
上世纪 80 年代,以决策树 (Decision Tree) 和归纳逻辑程序设计 (Inductive Logic Programming) 为代表的 “符号主义学习” 成为 “从样例中进行学习” 的一大主流技术,虽然归纳逻辑程序设计的研究自上世纪 90 年代中期后陷入低潮,但决策树至今仍是机器学习领域的主要技术之一。
上世纪 80 年代至 90 年代初,“从样例中进行学习” 的另一大主流技术则是基于神经网络的 “连接主义学习”。虽然连接主义学习在上世纪 50 年代就取得了大的发展,然而由于早期人工智能研究者对符号表示的情有独钟,以及连接主义自身遇到的诸如只能处理线性分类、像 “异或” 这样简单的问题也无法处理等的障碍,连接主义在很长一段时间内,都徘徊在人工智能研究领域的边缘。1983 年,John.J.Hopfield (1933.07.15——) 利用神经网络求解著名的 NP 难题 “流动推销员问题” 取得重大进展,连接主义终于重获关注。3 年后的 1986 年,David.E.Rumelhart (1942.06.12——2011.03.13) 等人重新发现了著名的反向传播算法 (Backpropagation, BP). 与符号主义学习能产生明确的概念表示不同,连接主义学习产生的是 “黑箱” 模型,其学习过程涉及大量参数,而参数的设置又缺乏理论指导,参数调节上失之毫厘,学习结果可能谬以千里。
上世纪 90 年代中期,以支持向量机为代表的统计学习 (Statistcal Learning) 方法取代连接主义成为机器学习的主流方法,支持向量机算法于 90 年代初提出,其优越性能于 90 年代中期在文本分类中显现。在支持向量机被普遍接受后,核技巧(将低维输入空间映射到高维特征空间,从而将原本低维空间中的非线性分类问题转换为高维空间的线性分类问题)被人们用到了机器学习的几乎每一个角落。
进入 21 世纪,多层神经网络在涉及语音、图像等复杂对象的应用中取得了举世瞩目的成绩,缺乏严格理论基础的连接主义就这样卷土重来了,其掀起的被命名为 “深度学习” 的技术浪潮,席卷了整个世界。相形之下,拥有严格理论基础的统计学习,反而显得黯淡无光了。
今天,在多媒体、图形学、网络通信、软件工程、体系结构、芯片设计等众多计算机科学分支中,都能找到机器学习的身影。而在计算机视觉 (Computer Vision, CV)、自然语言处理 (Natrual Language Processing, NLP) 等计算机科学领域,机器学习更是最重要的技术进步源泉之一。同时,机器学习为生物信息学 (Bioinformatics) 、互联网搜索 (Internet Search)、自动驾驶 (Autopilot)、总统竞选 (
Presidential Campaign)等涉及数据分析的许多交叉学科或应用领域提供重要技术支撑。此外,机器学习的研究还有助于人们理解我们是如何学习的,例如:P.Kanena 在上世纪 80 年代中期提出的稀疏分布式存储器 (Sparse Distributed Memory, SDM) 并未刻意模仿人脑的生理结构,然而后来神经科学的研究发现:SDM 的稀疏编码机制在脑皮层负责视觉、听觉、嗅觉功能的区域中广泛存在。
2001 年,美国 NASA-JPL 的科学家 Mjolsness.E 和 D.DeCoste 在 Science 上发表了名为 “Machine Learning for science: State of the art and future prospects” 的文章,文章指出:机器学习对科学研究的整个过程正起到越来越大的支撑作用,其进展对科技发展意义重大。
2003 年,美国国防高级研究计划署 (DARPA) 启动 PAL 计划,将机器学习的重要性上升到美国国家安全的高度来考虑。
2004 年 3 月,在 DARPA 组织的自动驾驶比赛中,斯坦福大学机器学习专家 S.Thrun 的小组研制的参赛车用 6 小时 53 分钟走完了 212.43 km 赛程获得冠军,其比赛路段位于内华达州西南部的山区和沙漠中,路况复杂。
2006 年,卡耐基梅隆大学成立世界上第一个机器学习系,T.Mitchell 出任系主任。
2011 年 6 月,美国内华达州通过法案,成为美国第一个认可自动驾驶的州。
2012 年 3 月,奥巴马政府启动 “大数据研究与发展计划”,美国国家科学基金会旋即在加州大学伯克利分校启动加强计划,强调要深入研究和整合大数据时代的三大关键技术:提供数据分析能力的机器学习 (Machine Learning)、提供数据处理能力的云计算 (Cloud Computing) 以及提供数据标注能力的众包 (Crowdsourcing)
本节,我们将给出一些机器学习及其相关领域的重要书籍、论文、会议与期刊。下面列出的是一些优秀的机器学习入门书籍:
下面这些则是一些优秀的机器学习进阶书籍:
下面给出的是机器学习领域的一些重要的早期论文:
综述型
概念学习 (rule learning)
假设空间与版本空间
奥卡姆剃刀原则
多释原则
下面我们给出机器学习及其相关领域(包括:数据挖掘、计算机视觉、模式识别、人工智能)重要的学术会议,它们是:
机器学习
数据挖掘
计算机视觉
人工智能
下面列出的则是机器学习及其相关领域(包括:人工智能、数据挖掘、模式识别、神经网络、统计学)重要的期刊:
机器学习
人工智能
数据挖掘
模式识别
神经网络
统计学
本章的内容到这里就结束了,在讨论具体的机器学习算法之前,我们还要探讨模型的评价指标与模型选择的方法,而这就是我们下一章的主题。朋友们,休息一下吧,我们下章再见!
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。