监督学习：从高维观察预测输出变量

校验者： @Kyrie @片刻 @Loopy @N!no 翻译者： @森系

监督学习解决的问题

监督学习 在于学习两个数据集的联系：观察数据 X 和我们正在尝试预测的额外变量 y (通常称“目标”或“标签”)， 而且通常是长度为 n_samples 的一维数组。

scikit-learn 中所有监督的估计量 都有一个用来拟合模型的 fit(X, y) 方法，和根据给定的没有标签观察值 X 返回预测的带标签的 y 的 predict(X) 方法。

词汇：分类和回归

如果预测任务是为了将观察值分类到有限的标签集合中，换句话说，就是给观察对象命名，那任务就被称为 分类 任务。另外，如果任务是为了预测一个连续的目标变量，那就被称为 回归 任务。

当在 scikit-learn 中进行分类时，y 是一个整数或字符型的向量。

注：可以查看用 scikit-learn 进行机器学习介绍 快速了解机器学习中的基础词汇。

最近邻和维度惩罚

鸢尾属植物分类

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_iris_dataset_001.png

鸢尾属植物数据集是根据花瓣长度、花瓣度度、萼片长度和萼片宽度4个特征对3种不同类型的鸢尾属植物进行分类：

  1. >> import numpy as np
  2. >> from sklearn import datasets
  3. >> iris = datasets.load_iris()
  4. >> iris_X = iris.data
  5. >> iris_y = iris.target
  6. >> np.unique(iris_y)
  7. array([0, 1, 2])

K近邻分类器

最近邻：也许是最简单的分类器：给定一个新的观察值 X_test，用最接近的特征向量在训练集(比如，用于训练估计器的数据)找到观察值。(请看 Scikit-learn 在线学习文档的 最近邻章节 获取更多关于这种分类器的信息)

训练集和测试集

当用任意的学习算法进行实验时，最重要的就是不要在用于拟合估计器的数据上测试一个估计器的预期值，因为这不会评估在 新数据 上估计器的执行情况。这也是数据集经常被分为 训练 和 测试 数据的原因。

KNN(k 最近邻)分类器示例：

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_classification_001.png

  1. >>> # 将鸢尾属植物数据集分解为训练集和测试集
  2. >>> # 随机排列，用于使分解的数据随机分布
  3. >>> np.random.seed(0)
  4. >>> indices = np.random.permutation(len(iris_X))
  5. >>> iris_X_train = iris_X[indices[:-10]]
  6. >>> iris_y_train = iris_y[indices[:-10]]
  7. >>> iris_X_test  = iris_X[indices[-10:]]
  8. >>> iris_y_test  = iris_y[indices[-10:]]
  9. >>> # 创建和拟合一个最近邻分类器
  10. >>> from sklearn.neighbors import KNeighborsClassifier
  11. >>> knn = KNeighborsClassifier()
  12. >>> knn.fit(iris_X_train, iris_y_train)
  13. KNeighborsClassifier(algorithm='auto', leaf_size=30, metric='minkowski',
  14.  metric_params=None, n_jobs=1, n_neighbors=5, p=2,
  15.  weights='uniform')
  16. >>> knn.predict(iris_X_test)
  17. array([1, 2, 1, 0, 0, 0, 2, 1, 2, 0])
  18. >>> iris_y_test
  19. array([1, 1, 1, 0, 0, 0, 2, 1, 2, 0])

维度惩罚

为了使一个估计器有效，你需要邻接点间的距离小于一些值：d，这取决于具体问题。在一维中，这需要平均 n sim 1/d 点。在上文 k-NN 示例中，如果数据只是由一个0到1的特征值和 n 训练观察值所描述，那么新数据将不会超过 1/n。因此，最近邻决策规则会很有效率，因为与类间特征变量范围相比， 1/n 很小。

如果特征数是 p，你现在就需要 n \sim 1/d^p 点。也就是说我们在一维 [0, 1] 空间里需要10个点，在 p 维里就需要 10^p 个点。当 p 增大时，为了得到一个好的估计器，相应的训练点数量就需要成倍增大。

比如，如果每个点只是单个数字(8个字节)，那么一个 k-NN 估计器在一个非常小的 p \sim 20 维度下就需要比现在估计的整个互联网的大小(±1000 艾字节或更多)还要多的训练数据。

这叫 维度惩罚，是机器学习领域的核心问题。

线性模型：从回归到稀疏

糖尿病数据集

糖尿病数据集包括442名患者的10个生理特征(年龄，性别，体重，血压)，和一年后的疾病级别指标：

  1. >> diabetes = datasets.load_diabetes()
  2. >> diabetes_X_train = diabetes.data[:-20]
  3. >> diabetes_X_test  = diabetes.data[-20:]
  4. >> diabetes_y_train = diabetes.target[:-20]
  5. >> diabetes_y_test  = diabetes.target[-20:]

任务是使用生理特征来预测疾病级别。

线性回归

LinearRegression，最简单的拟合线性模型形式，是通过调整数据集的一系列参数令残差平方和尽可能小。

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_ols_001.png

Linear models: y = X\beta + \epsilon

  • X：数据
  • y：目标变量
  • \beta：回归系数
  • \epsilon：观察噪声
  1. >>> from sklearn import linear_model
  2. >>> regr = linear_model.LinearRegression()
  3. >>> regr.fit(diabetes_X_train, diabetes_y_train)
  4. LinearRegression(copy_X=True, fit_intercept=True, n_jobs=1, normalize=False)
  5. >>> print(regr.coef_)
  6. [   0.30349955 -237.63931533  510.53060544  327.73698041 -814.13170937
  7.  492.81458798  102.84845219  184.60648906  743.51961675   76.09517222]
  9. >>> # 均方误差
  10. >>> np.mean((regr.predict(diabetes_X_test)-diabetes_y_test)**2)
  11. 2004.56760268...
  13. >>> # 方差分数：1 是完美的预测
  14. >>> # 0 意味着 X 和 y 之间没有线性关系。
  15. >>> regr.score(diabetes_X_test, diabetes_y_test)
  16. 0.5850753022690...

收缩

如果每个维度的数据点很少，观察噪声就会导致很大的方差：

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_ols_ridge_variance_001.png

  1. >>> X = np.c_[ .5, 1].T
  2. >>> y = [.5, 1]
  3. >>> test = np.c_[ 0, 2].T
  4. >>> regr = linear_model.LinearRegression()
  6. >>> import matplotlib.pyplot as plt
  7. >>> plt.figure()
  9. >>> np.random.seed(0)
  10. >>> for _ in range(6):
  11. ...    this_X = .1*np.random.normal(size=(2, 1)) + X
  12. ...    regr.fit(this_X, y)
  13. ...    plt.plot(test, regr.predict(test))
  14. ...    plt.scatter(this_X, y, s=3)

高维统计学习中的一个解决方法是 收缩 回归系数到0：任何两个随机选择的观察值数据集都很可能是不相关的。这称为岭回归：

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_ols_ridge_variance_002.png

  1. >>> regr = linear_model.Ridge(alpha=.1)
  3. >>> plt.figure()
  5. >>> np.random.seed(0)
  6. >>> for _ in range(6):
  7. ...    this_X = .1*np.random.normal(size=(2, 1)) + X
  8. ...    regr.fit(this_X, y)
  9. ...    plt.plot(test, regr.predict(test))
  10. ...    plt.scatter(this_X, y, s=3)

这是 bias/variance tradeoff 中的一个示例：岭参数 alpha 越大，偏差越大，方差越小。

我们可以选择 alpha 来最小化排除错误，这里使用糖尿病数据集而不是人为数据：

  1. >>> alphas = np.logspace(-4, -1, 6)
  2. >>> from __future__ import print_function
  3. >>> print([regr.set_params(alpha=alpha
  4. ...             ).fit(diabetes_X_train, diabetes_y_train,
  5. ...             ).score(diabetes_X_test, diabetes_y_test) for alpha in alphas])
  6. [0.5851110683883..., 0.5852073015444..., 0.5854677540698..., 0.5855512036503..., 0.5830717085554..., 0.57058999437...]

注意： 捕获拟合参数噪声使得模型不能归纳新的数据称为过拟合。岭回归产生的偏差被称为 正则化。

稀疏

只拟合特征1和2

diabetes_ols_1 diabetes_ols_3 diabetes_ols_2

注意： 整个糖尿病数据集包括11个维度(10个特征维度和1个目标变量)。很难直观地表示出来，但是记住那是一个比较 空 的空间可能比较有用。

我们可以看到，尽管特征2在整个模型占有一个很大的系数，但是当考虑特征1时，其对 y 的影响就较小了。

为了提高问题的条件(比如，缓解维度惩罚)，只选择信息特征和设置无信息时就会变得有趣，比如特征2到0。岭回归会减小他们的值，但不会减到0.另一种抑制方法，称为 Lasso (最小绝对收缩和选择算子)，可以把一些系数设为0。这些方法称为 稀疏法，稀疏可以看作是奥卡姆剃刀的应用：模型越简单越好。

  1. >>> regr = linear_model.Lasso()
  2. >>> scores = [regr.set_params(alpha=alpha
  3. ...             ).fit(diabetes_X_train, diabetes_y_train
  4. ...             ).score(diabetes_X_test, diabetes_y_test)
  5. ...        for alpha in alphas]
  6. >>> best_alpha = alphas[scores.index(max(scores))]
  7. >>> regr.alpha = best_alpha
  8. >>> regr.fit(diabetes_X_train, diabetes_y_train)
  9. Lasso(alpha=0.025118864315095794, copy_X=True, fit_intercept=True,
  10.  max_iter=1000, normalize=False, positive=False, precompute=False,
  11.  random_state=None, selection='cyclic', tol=0.0001, warm_start=False)
  12. >>> print(regr.coef_)
  13. [   0.         -212.43764548  517.19478111  313.77959962 -160.8303982    -0.
  14.  -187.19554705   69.38229038  508.66011217   71.84239008]

同一个问题的不同算法

不同的算法可以用于解决同一个数学问题。比如在 scikit-learn 里 Lasso 对象使用 coordinate descent 方法解决 lasso 回归问题，对于大型数据集很有效。但是，scikit-learn 也提供了使用 LARS 算法 的：LassoLars对象，对于处理带权向量非常稀疏的数据非常有效(比如，问题的观察值很少)。

分类

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_logistic_001.png

对于分类，比如标定 鸢尾属植物 任务，线性回归就不是好方法了，因为它会给数据很多远离决策边界的权值。一个线性方法是为了拟合 sigmoid 函数 或 logistic 函数：

y = \textrm{sigmoid}(X\beta - \textrm{offset}) + \epsilon =\frac{1}{1 + \textrm{exp}(- X\beta + \textrm{offset})} + \epsilon

  1. >>> logistic = linear_model.LogisticRegression(C=1e5)
  2. >>> logistic.fit(iris_X_train, iris_y_train)
  3. LogisticRegression(C=100000.0, class_weight=None, dual=False,
  4.  fit_intercept=True, intercept_scaling=1, max_iter=100,
  5.  multi_class='ovr', n_jobs=1, penalty='l2', random_state=None,
  6.  solver='liblinear', tol=0.0001, verbose=0, warm_start=False)

这就是有名的： LogisticRegression

http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_iris_logistic_001.png

多类分类

如果你有很多类需要预测，一种常用方法就是去拟合一对多分类器，然后使用根据投票为最后做决定。

使用 logistic 回归进行收缩和稀疏

LogisticRegression 对象中的 C 参数控制着正则化数量：C 值越大，正则化数量越小。penalty="l2" 提供收缩(比如，无稀疏系数)，同时 penalty=”l1” 提供稀疏化。

练习

尝试用最近邻和线性模型分类数字数据集。留出最后 10%的数据，并测试观察值预期效果。

  1. from sklearn import datasets, neighbors, linear_model
  2. digits = datasets.load_digits()
  3. X_digits = digits.data
  4. y_digits = digits.target

解决方法

支持向量机(SVMs)

线性 SVMs

支持向量机 属于判别模型家族：它们尝试通过找到样例的一个组合来构建一个两类之间最大化的平面。通过 C 参数进行正则化设置：C 的值小意味着边缘是通过分割线周围的所有观测样例进行计算得到的(更正则化)；C 的值大意味着边缘是通过邻近分割线的观测样例计算得到的(更少正则化)。

示例：

SVMs 可以用于回归：SVR (支持向量回归)–，或者分类 SVC (支持向量分类)。

  1. >>> from sklearn import svm
  2. >>> svc = svm.SVC(kernel='linear')
  3. >>> svc.fit(iris_X_train, iris_y_train)    
  4. SVC(C=1.0, cache_size=200, class_weight=None, coef0=0.0,
  5.  decision_function_shape='ovr', degree=3, gamma='auto', kernel='linear',
  6.  max_iter=-1, probability=False, random_state=None, shrinking=True,
  7.  tol=0.001, verbose=False)

警告：规格化数据

对很多估计器来说，包括 SVMs，为每个特征值使用单位标准偏差的数据集，是获得好的预测重要前提。

使用核

在特征空间类并不总是线性可分的。解决办法就是构建一个不是线性的但能是多项式的函数做代替。这要使用 核技巧(kernel trick)，它可以被看作通过设置 kernels 在观察样例上创建决策力量：

线性核 多项式核 RBF 内核(径向基函数)
svm_kernel_linear svm_kernel_poly svm_kernel_rbf
>>> svc = svm.SVC(kernel='linear') >>> svc = svm.SVC(kernel='poly',degree=3) >>> svc = svm.SVC(kernel='rbf')

交互示例

查看 SVM GUI 来下载 svm_gui.py；通过左右按键添加两类数据点，拟合模型并改变参数和数据。

练习

根据特征1和特征2，尝试用 SVMs 把1和2类从鸢尾属植物数据集中分出来。为每一个类留下10%，并测试这些观察值预期效果。 http://sklearn.apachecn.org/cn/0.19.0/_images/sphx_glr_plot_iris_dataset_001.png

警告：类是有序的，不要留下最后10%，不然你只能测试一个类了。 提示：为了直观显示，你可以在网格上使用 decision_function 方法。

  1. iris = datasets.load_iris()
  2. X = iris.data
  3. y = iris.target
  4. X = X[y != 0, :2]
  5. y = y[y != 0]

解决方法