Naive Bayesの復習(導出編)
すぐ忘れるのでメモ。ナイーブベイズの学習アルゴリズムの導出とか、そもそもナイーブベイズが定番過ぎて意外とやったことなかった気もするので、復習がてらやってみた。
ちょっと修正 2013/07/30
- ナイーブベイズについて整理
- 学習アルゴリズムの導出
Naive bayes (ナイーブベイズ)
スパムフィルタで使われたことで有名な確率モデルで、シンプルだけどそこそこ実用的なのが良い所。Naive bayesという名前は、特徴ベクトル間に条件付き独立性を仮定してることにある(実際は相関あることが多いけど、まぁ簡単のためって感じ)。具体的に例を挙げて言うと、例えば文書分類タスクの場合、各単語は独立に生起するという仮定を置くことに相当する。
まずはモデルを書き下す。入力データを$\mathbf{x}$(D次元)、ラベルを$y$(離散値)とすると、ナイーブベイズでは以下のように同時確率をモデル化する。
カンタン。基本的にdは次元に対するインデックス、nはデータに対するインデックスとして書く。
ポイントは特徴ベクトル間に条件付き独立性の仮定を置いていること(二度目)で、それによってパラメータの数が少なくて済む。
分類
一番確率の高いラベルを選べばいい。数式で書くと以下のようになる。
argmaxを取る上では、$y$に依存しない項は無視していいので、事後確率の最大化は、同時確率の最大化に等しくなる。
学習アルゴリズムの導出
ここからが本番。学習データを$X = {\mathbf{x}_{n}}_{n=1}^{N}$、対応する正解ラベルを$Y = {y_n}_{n=1}^{N} $として、最尤推定により学習アルゴリズムを導出する。実際はMAP推定をすることが多いけど、今回は省略。拡張は簡単。
尤度関数
各サンプルが独立に生起したと仮定すると、尤度関数は以下のように書ける。
対数を取って、
学習アルゴリズムは、この関数の最大化として導くことができる。
ところで
特徴ベクトルにどのような分布を仮定するかでアルゴリズムが少し変わるので、今回は以下の二つをやってみる。
- ベルヌーイ分布
- 正規分布
前者は、binary featureを使う場合で、後者は、continuous featureを使う場合を想定してる。画像のピクセル値とか連続値を扱いたい場合は、正規分布が無難。その他、多項分布を使うこともあるけど、ベルヌーイ分布の場合とほとんど一緒なので今回は省略
ラベルに対する事前分布は、ラベルが離散値なので多項分布(間違ってた)categorical distributionとする。日本語でなんて言えばいいのか…wikipedia 参考
Bernoulli naive bayes
特徴ベクトルにベルヌーイ分布を仮定する場合。0 or 1のbinary featureを使う場合にはこれでおk.ベルヌーイ分布は以下
特徴ベクトルに対するパラメータは、ラベル数×特徴ベクトルの次元数(L×D)個ある。対数尤度関数(Gとする)は、以下のように書ける。
ここで、$\pi_{y_{n}}$ はcategorical distributionのパラメータ。
微分方程式を解く
あとは微分してゼロ。ラベルに対するインデックスをl 、学習データ中のラベルlが出現する回数を$N_{l} = \sum_{n=1}^{N} \delta(y_{n}= l)$、さらにその中で$x_{nd}=1 $となる回数を$N_{ld} = \sum_{n=1}^{N} \delta(y_{n}= l) \cdot x_{nd} $とすると、
よって、
できました。厳密に数式で書こうとするとめんどくさい。日本語で書くと、
って感じでしょうか。
categoricalのパラメータについては、めんどくさくなってきたのでやらないけど、もう直感的に以下。ラグランジュの未定定数法でおk
学習は、式 ($\ref{eq:naive1}$)、($\ref{eq:naive2}$) を計算すればおk.やっと終わった。。。長かった。
Gaussian naive bayes
次。$x$が連続変数で、その分布に正規分布(Gaussian)を仮定する場合。まず、正規分布は以下のとおり。
正規分布を使う場合、特徴ベクトルに対するパラメータは、ラベル数×特徴ベクトルの次元数×2個ある。×2となっているのは、平均と分散の分。対数尤度関数は、以下のようになる
微分方程式を解く
計算は省略するけど、偏微分してゼロと置けば、結果は以下のようになる。式が若干煩雑だけど、基本的には正規分布の最尤推定をしてるだけ。
学習では、式 ($\ref{eq:naive2}$)、($\ref{eq:naive3}$)、($\ref{eq:naive4}$)を計算すればおk.式 ($\ref{eq:naive3}$)は式 ($\ref{eq:naive1}$)と一緒なんだけど、正規分布の場合はxが連続値なので注意。分散が特徴ベクトルの次元によらず一定とすれば、パラメータの数をぐっと減らすこともできる。
おわりに
これで終わり。予想以上に書くのに時間かかった…。今日logistic regressionを見直してて、ふとnaive bayesやったことないなーと思って、まぁ試すだけならscipy使えば一瞬なんだろうけどちょっと導出までやってみようと思った。
実装編→Naive Bayesの復習(実装編): MNISTを使って手書き数字認識