prml_note @ ウィキ
第四章
最終更新:
prml_note
-
view
第四章 線形モデルによるクラス識別問題
- クラス識別問題は、入力ベクトルを離散クラス(各クラスは通常、互いに素)に分類することを目的とする。この場合、入力空間は複数の決定領域(decision region)に分割され、それらの間の境界は決定境界(decision boundary)あるいは決定平面(decision surface)と呼ばれる。決定境界が入力ベクトルの線形関数からなる超平面によって形成される場合、線形分割可能(linearly separable)という。
- クラス識別問題のため、線形回帰モデルを一般化(一般化線形モデル)を考える。
は活性化関数(activation function)と呼ばれる(この逆関数を統計学では連結関数link function)という)。
4.1節 識別関数
- 2クラスの線形識別関数
を重みベクトル(weight vector)といい、をバイアスという(バイアスの負数を閾値(threshold)と呼ぶこともある)。は決定平面上の任意のベクトルに対して垂直であるから、は決定平面の方向を定めるベクトル。また、は決定平面の位置を決める働きをする。点と決定平面との間の垂直距離は
- 個の複数クラスの判別については、ある一つのクラスと他のクラスの一つとを判別する個の(一対多クラス判別器(one-versus-the-rest classifier))、あるいは個の(one-versus-one classfier)2クラス識別関数を利用することが考えられるが、帰属先クラスが二義的な領域が生じてしまう。これは個の線形関数から成る
を考え、すべてのについてならば点をに識別すると、および間の次元決定平面は
で定められる。このような決定領域は常に単接続(一つの境界について一つの他領域としか接していない)かつ凸。
- 以下、線形識別関数のパラメータを決定する3つの方法、最小二乗法(least square)、フィッシャーの線形判別法(Fisher's linear descriminant)、パーセプトロン・アルゴリズム(perceptron algorithm)を概観。
最小二乗法
- 最小二乗による場合、それが入力ベクトルに対する目的変数の条件付確率を近似することが出来るが、あまりよい結果は期待できない。
- 各クラスが線形モデル
で表されるとすると、新たな入力は出力が最大になるクラスに識別されることになる。を列ベクトルからなる行列、とすれば、上式のセットは
とまとめることが出来る。ここで以下の二乗和誤差関数を最小化することでパラメータ行列を決定する。
これをについて微分して0と等置すると
ここではのムーア・ペンローズ型一般逆行列。ここから識別関数
が導かれる。
- 複数の目的変数についての最小二乗解の持つ興味深い性質のひとつとして、学習データの目的変数ベクトルのすべてが或る線形制約
を満たすなら、モデルの予測はすべての入力に対して同一の制約
を満たすことが挙げられる。
- 最小二乗法には識別関数のパラメータについて閉形式の厳密解を与える利点がある。その一方で異常値に影響されやすく、また頑健性に欠けるという欠点がある。これらの欠点は、非正規分布データに対して正規分布に従う条件付確率を仮定して最尤推定した場合と同様のミスマッチに起因する。
フィッシャーの線形判別法
- 線形判別モデルは次元の削減と見なすことができる。次元の入力ベクトルの1次元上への射影を
によって求め、ならクラスに、そうでなければクラスに分類する識別器が得られる。一般に、1次元への射影によって情報の多くが失われ、次元において適切に分割された決定領域でも1次元上では重複してしまう。しかし、重みベクトルを適切に調整することで、クラス識別を最大化する射影を選択することが可能になる。
- 2次元の場合を例にとり、個のデータ点がクラスに、他の個がクラスに属するものとし、それぞれのクラス内平均を、とする。これら2つの平均の間の距離が最大になるとき射影は元の次元におけるクラス分割を最もよく温存していると考えることができるから、
を最大化するを選ぶ。ただしの通常のノルムは1に等しいものとする。ラグランジュ未定乗数法により、
が得られる。クラス間のオーバーラップを最小にするため、射影の各クラス内分散を最小化するようにを決定しようというのがフィッシャーの提案。
- 変換後のクラス内データの分散は
いま簡単に、2クラス全体のクラス内分散を
で定義すると、フィッシャーの基準はクラス間分散のクラス内分散に対する比
として表される。ただしはクラス間分散で
はクラス内分散で
これを最大化するを求めると、フィッシャーの線形判別関数(Fisher's linear discriminant)
が得られる。これは、最適な1次元上への射影の方向を表している。もしクラス内分散が等方的なら、は単位行列のスカラー倍となり、従ってはクラス平均間の差に比例する。
- 2クラスの場合、最小二乗法とフィッシャーの線形判別法の結果は一致する。
パーセプトロン・アルゴリズム
- パーセプトロン・アルゴリズムにおいては、入力ベクトルはまず固定された非線形変換によって変換された後に一般化線形モデル
ここで活性化関数は
パーセプトロン基準(perceptron criterion)は
は誤分類されたパターンの集合を表す。ここでこの誤差関数に対して確率的勾配アルゴリズムを適用すると、重みベクトルの変化は
ただしは学習レートパラメータ、はステップ番号。学習パターンを一つずつ評価し、パターンを正しく分類した場合には重みベクトルはそのままで維持し、誤分類した場合には、の場合は重みベクトルにパターンベクトルを加え、の場合には重みベクトルからパターンベクトルを差し引く。そしてこの結果はパーセプトロン収束定理(perceptron convergence theorem)によって、線形的に分離可能な場合には有限ステップ内で厳密解に収束することが保証されている。ただし実際には収束までに要するステップ数は相当なものになる可能性があるうえに、それが収束するまではそれが線形分離可能なケースなのかどうかを知ることが出来ない。また、複数の解が存在する場合、結果がどの解に到達するかはパラーメータの初期値に依存し、また、データが線形分離不可能ならばパーセプトロン・アルゴリズムは収束しない。パーセプトロン・アルゴリズムの有する最も重大な限界は(ここで論ずる他の二つの手法と同様に)固定的基底関数の線形結合に基づいている点にある。
確率的生成モデル(Probabilistic Generative Models)
- 生成モデルによる場合は、クラス条件付き密度および事前確率を求め、これらからベイズの定理によって事後確率を求めることになる。
- 2クラスの場合は、クラスの事後確率は
ただし、
(ロジスティック・シグモイド関数)
ロジスティック・シグモイド関数は以下のような対称性を有する。
ロジスティック・シグモイド関数の逆関数は
でロジット関数(logit function)という。これは2クラスの確率の比率の対数を表すため、対数オッズ(log odds)とも呼ばれる。
- いまがの線形関数だと仮定すると、事後確率は一般線形モデルに支配される。クラスの場合
これは正規化指数関数(normalized exponential)と呼ばれ、ロジスティック・シグモイド関数の多クラスへの拡張と見ることができる。正規化指数関数はソフトマックス関数softmax functionとも呼ばれる。
入力値が連続の場合
- クラス条件付き確率分布が正規分布に従い、すべてのクラスが同一の共分散行列を持つものと仮定すると、クラスの密度は
同一共分散行列の仮定の下では決定境界は線形となり、同一でない場合は二次関数となる。
- 2クラスの場合の尤度関数は
- まず、についてこれを最大化する。尤度関数のうち、に依存する項は、
これをについて微分して0と等置すると、
ただしはクラスに帰属する学習データ点の総数。つまり総学習データ点に対するクラス毎データ点総数の割合。
- 次にについて最大化する。に依存する項のみを集めると、
これをについて微分して0と等置すると、
となるが、これはクラスに分類されるべきすべての入力ベクトルの平均。同様に
- 同様に共分散行列についての最尤解は
ただし
これらの結果は多クラスの場合に容易に拡張できるが、この手法には異常値に対する頑健性はない。
特徴値が離散な場合
- 入力が個の特徴で構成され、それらがであるとき、単純ベイズ(naive Bayes)仮定の下、すなわち特徴の値は
条件付独立であると仮定すれば、クラス条件付き確率は
となり、の線形関数
を得る。
となり、の線形関数
を得る。
- 以上より、正規分布に従うあるいは離散的入力については、事後クラス別確率分布は、ロジスティック・シグモイド関数(2クラスの場合)あるいはソフトマックス関数(2クラス以上の場合)を用いた一般化線形モデルによって与えられることが分かる。これらは、クラス条件付確率が指数関数族に属するというより一般的な仮定から得られる一般的結果の特別の場合。
確率的判別モデル(Probabilistic Discriminative Models)
- 判別モデルは、条件付事後確率によって定義された尤度関数を最大化することで直接にパラメータを決定する。生成モデルと比較して、このような判別学習(discriminative training)の利点は、決定すべきパラメータの数が一般に少なくて済む点にある(例えば平均なら生成モデルパラメータ数/クラス数)。
- 2クラスのロジスティック回帰モデル(logistic regression model)
このパラメータを決定するために最尤法を利用する。まず、ロジスティック・シグモイド関数の導関数
と表すことができる。データセット、目的変数は、とすると尤度関数は
となる。この尤度関数についてその負の対数をとると以下のクロスエントロピー(cross entropy)誤差関数が得られる。
に関して傾きを取ると、
- このような最尤法は線形分離可能な学習データについて過学習を起こしうることに注意すべきで、これはモデルのパラメータ数よりも学習データ数が多い場合にも当てはまる。これを回避するには、事前確率を含めてMAP解を求める、あるいは同じことだが、正則化項を誤差関数に追加することが必要。
- 線形回帰モデル(第三章)の場合には、ノイズが正規分布に従うという仮定の下で閉形式解が得られたが、ロジスティック回帰モデルにおいてはロジステッィク・シグモイド関数が線形ではないため、もはや閉形式解の存在は保証されない。しかしながら誤差関数は凸関数なので、唯一の最小値を持つ。
- ニュートン-ラフソンの反復最適化法(Newton-Raphson iterative optimization scheme)は、対数尤度関数に対して局地的二次式近似を利用する。
- ニュートン-ラフソン更新は
としてを最小化する。はのヘッセ行列。これをクロスエントロピー誤差関数に適用すると(4.91)より、
ここでは既にヘッセ行列は重み行列を通じてに依存しているが、これは誤差関数がもはや二次形式ではないことに対応している。は正定値であり、誤差関数は凸関数であるから唯一の最小値を持つ。(4.92)に代入すると、
これは重み付き最小二乗問題の正規方程式の集合の形をとっている。重み行列はに依存しているため、更新ごとに新たなを使って新たな重み行列を計算しつつ、正規方程式を反復して適用する必要がある。このため、この手法は反復再重み付け最小二乗法(iterative reweighted least squares, IRLS)と呼ばれる。IRLSはによる空間における線形化された問題の解と解釈できる。ここで対角行列の要素は分散を表し、の要素は、その時点でのにおいてこの空間におけるロジスティック・シグモイド関数の局地的な近似によって得られる、による空間における有効な目的変数とみなすことができる。
プロビット回帰(probit regression)
- ノイズあり閾値モデルにおいては、入力についてを評価し、なら1を、それ以外の場合には0を目標変数として出力する。
- 例えばが平均0、分散1の正規分布に従うとすると、活性化関数は
となり、これはプロビット関数(probit function)の逆関数。これはシグモイドと同様のS字状の形状を持つ。また、
はerf関数と呼ばれプロビット関数と以下のような関係がある。
- ロジステック・シグモイド関数の場合と比較すると、プロビット活性化関数を用いた場合の短所として、異常値により影響されやすいという点が挙げられるが、学習データの誤分類確率を導入することで解決しうる。は予め設定することもパラメータとしてデータを用いて推定することも可能。
標準連結関数(canonical link function)
- 目標変数が一般的な指数分布族に属する条件付確率分布に従うとき、対応する活性化関数の逆関数は標準連結関数と呼ばれる。
ラプラス近似(the laplace approximation)
- ラプラス近似はある確率分布をそのモードが一致するように正規分布で近似することを目的とする。
- 実際例では分布は複峰的であることが多く、その場合にはモードごとに異なるラプラス近似を考慮する。中央極限定理によりデータが多くなるに従って分布は正規分布に近づくから、ラプラス定理はデータ点が比較的多い場合に有用。短所は現実の変数に直接にしか適用できないこと、分布の大域的特徴を捉えることが出来ないこと。
- BIC(Bayesian Information Criterion)はAIC同様の情報基準だが、AICよりもモデルの複雑さに対して大きなペナルティを課す。
AICおよびBICはヘッセ行列が最大階数を持たない場合にはミスリーディングな結果をもたらす可能性がある。
ベイズロジスティック回帰(Bayesian Logistic Regression)
- ベイズ的手法によるロジスティック回帰においては解が存在しない。殊に事後分布を得るためには事前分布と尤度関数(それ自身、各データ点に対応するロジスティックシグモイド関数の積)との積を正規化しなければならず、予測分布の同様に厳密解を得られない。従ってラプラス近似を利用することになるが、これは対数事後分布の二階偏微係数をすなわちヘッセ行列を求めることに等しい。
- いま事前分布を
とすれば事後分布は
となる。ここで対数事後分布の二階偏微係数の負数をとすると事後分布は以下のように近似される。
予測分布を得るにはこれを周辺化する(詳細略)。