識別的モデル
識別的モデル(しきべつてきモデル、discriminative models)は、条件付きモデル(じょうけんつきモデル、conditional models)とも呼ばれ、分類や回帰に使用されるロジスティックモデルの一種である。これらのモデルは、合格/不合格、勝ち/負け、生/死、健康/病気など、観測データに基づいて決定境界を設定する。
代表的な識別的モデルの例として、ロジスティック回帰(LR)、条件付き確率場(CRF)(無向グラフで指定される)、決定木などがある。一方、生成的モデルの代表例としては、単純ベイズ分類器、ガウス混合モデル、変分オートエンコーダ、敵対的生成ネットワークなどがある。
識別的モデルは、観測されていない変数(ターゲット)x を、観測された変数(訓練サンプル)に基づくクラスラベル y に対応付ける条件付き確率分布 P(y|x) に焦点を当てた研究である。この点において、同時確率分布 P(x,y) を研究する生成的モデルとは異なる。たとえば物体認識では、x は通常、画像の生の画素または画像の生の画素から抽出された特徴のベクトルを表す。確率論的な枠組みで条件付き確率分布 P(y|x) をモデル化することで、x から y を予測することができる。条件付きモデルと識別的モデルは別物であるが、単純に識別的モデルとしてまとめられることが多い。
上述のように、条件付きモデルは、条件付き確率分布をモデル化するものである。一方、従来の識別的モデルは、最適化のために最も類似した訓練済みサンプルに入力をマッピングすることに焦点を当てている。
これらのモデリング手法は、訓練データセット D=\{(x_i;y_i)|i\leq N\in \mathbb{Z}\} が提供されていることを前提としており、入力 x_i に対応する出力を y_i とする。
線形分類法を用いて訓練データセットで観察される挙動をシミュレートするため、関数 f(x) と結合特徴ベクトル \phi(x,y) を使用する。決定関数は次のように定義される。
f(x;w)=\arg \max_y w^T \phi(x,y)
Memisevicの解釈では、w^T \phi(x,y) は c(x,y;w) とも呼ばれ、入力 x と潜在的出力 y との適合性を測るスコアを計算する。そして、もっとも高いスコアを持つクラスが \arg \max を用いて決定される。
ロジスティック回帰モデルは、決定理論における0-1損失関数を持つ分る課題でよく使用される。ロジスティック回帰モデルでは、条件付き確率分布 P(y|x;w) は、w を訓練データを最適化するパラメータベクトルとすると、次のように表される。
P(y|x;w)= \frac{1}{Z(x;w)} \exp(w^T\phi(x,y))
Z(x;w)= \textstyle \sum_{y}  \displaystyle\exp(w^T\phi(x,y))
2つの式はいずれもロジスティック回帰を表し、主な違いは、事後確率の導入方法である。事後確率は、パラメトリックモデルから推測され、次の式でパラメータを最大化することができる。
L(w)=\textstyle \sum_{i} \displaystyle \log p(y^i|x^i;w)
この方程式は、対数損失方程式で置き換えることもできる。
l^{\log} (x^i, y^i,c(x^i;w)) = -\log p(y^i|x^i;w) = \log Z(x^i;w)-w^T\phi(x^i,y^i)
対数損失は微分可能であるため、勾配に基づく手法でモデルの最適化を行うことができる。目的関数は凸であるため、大域的な最適化が保証される。対数尤度の勾配は次のように表される。
\frac{\partial L(w)}{\partial w} = \textstyle \sum_{i} \displaystyle \phi(x^i,y^i) - E_{p(y|x^i;w)} \phi(x^i,y)
ここで E_{p(y|x^i;w)} は p(y|x^i;w) の期待値である。
この方法は、比較的少数の分類数に対して効率的である。
m 個のクラスラベル(分類)と n 個の特徴変数 Y:\{y_1, y_2,\ldots,y_m\}, X:\{x_1,x_2,\ldots,x_n \} を持つ訓練サンプルが与えられたとする。
生成的モデルは、 入力 x、ラベル y の同時確率 P(x,y) を用いて、ベイズの定理を適用して未知入力 \widetilde{x} に対してもっとも可能性のある既知のラベル \widetilde{y}\in Y を予測する。
一方、識別的モデルは、観測変数と目的変数の同時分布からサンプルを生成することはできないが、同時分布を必要としない分類や回帰のようなタスクでは、生成的モデルよりも優れた性能を発揮することができる(計算する変数が少ないことも一つの理由)。一般的に生成的モデルは、複雑な学習課題における依存関係をより柔軟に表現することができる。また、ほとんどの識別的モデルは本質的に教師あり学習で、教師なし学習をサポートしない。最終的に、識別的モデルと生成的モデルのどちらを選択するかは、特定のアプリケーションの要件に依存する。識別的モデルと生成的モデルは、事後確率の導入方法が異なる。識別的モデルでは、パラメトリックモデルから事後確率 P(y|x)  を推定し、訓練データからパラメータを得る。パラメータの推定は、パラメータに対する尤度の最大化または分布計算によって得られる。これに対し、生成的モデルは同時確率に着目し、ベイズの定理におけるクラス事後確率 P(k) を考慮する。したがって、クラス事後確率は、
P(y|x) = \frac{p(x|y)p(y)}{\textstyle \sum_{i}p(x|i)p(i) \displaystyle}=\frac{p(x|y)p(y)}{p(x)} として求められる。
ロジスティック回帰と単純ベイズモデルを適用した二値分類タスクの実験を繰り返すと、識別的学習では漸近誤差が小さく、生成的学習では漸近誤差の増大が早くなることが分かった。しかし、UlusoyとBishopは共同研究「物体検出と分類のための生成的手法と識別的手法の比較(Comparison of Generative and Discriminative Techniques for Object Detection and Classification)」において、この結果はモデルがデータに適している場合、すなわち生成的モデルがデータ分布を正確にモデル化している場合にのみ成り立つと述べている。
識別的モデルには、次のような大きな利点がある。
より高い精度を得、主に学習結果の向上につながる。
入力を簡素化し、条件付確率 P(y|x) への直接なアプローチが可能。
計算資源を節約できる。
漸近的誤差が小さい。
生成的モデルの利点と比較すると、識別的モデルは次のような特徴がある。
生成的モデルは、すべてのデータを考慮することで、処理速度が遅くなる制約がある。
識別的モデルは、より少ない訓練サンプルで済む。
また、他のアプリケーションのニーズと容易に連携できる柔軟なフレームワークを提供する。
識別的モデルの学習法には、複数の数値最適化手法を要することが多い。
識別的モデルは、入力変数と出力変数の関係にのみ着目するため、すべてのデータを考慮できる生成的モデルと比較し、複雑な実世界の問題を解決するために複数のサブタスクの組み合わせを要することがある。
このように、2つのモデリングには長所と短所が存在し、両方のアプローチを組み合わせた手法により、実用化において優れた結果が得られている。たとえば、Marrasの論文「A Joint Discriminative Generative Model for Deformable Model Construction and Classification」では、モデルの顔分類に両モデルを組み合わせて適用した結果、従来の手法よりも高い精度が得られた。
Kelmの論文「Combining Generative and Discriminative Methods for Pixel Classification with Multi-Conditional Learning」でも、ピクセル分類のために2つのモデリングの統合が提案されている。
識別的モデルは、一般的に、分類の前に複数のサブタスクの組み合わせが含まれる。たとえばクラスタリング前に識別的な特徴抽出をする場合、主成分分析(PCA)がよく使用されるが、PCAはクラスの違いを考慮しないため、必ずしも最も効果的な識別的手法とは言えない。一方、線形判別分析(LDA。潜在的ディリクレ配分法と混同しないこと)は、クラス間の差異を明示的にモデル化して次元を削減しようとするため、上記の短所に対する適切な解決策を提供する。
識別的モデルの例としては、つぎのようなものがある。
ロジスティック回帰は、一般化線形回帰(GLM)の一種で、2値またはカテゴリー分布の予測に使用される(最大エントロピー分類器としても知られる)。
生成的モデル - 観測可能変数と目的変数との同時確率分布に基づく統計モデル