単純ベイズ分類器(たんじゅんベイズぶんるいき、英: Naive Bayes classifier)は、単純な確率的分類器である。
単純ベイズ分類器の元となる確率モデルは強い(単純な)独立性仮定と共にベイズの定理を適用することに基づいており、より正確に言えば「独立特徴モデル; independent feature model」と呼ぶべきものである。
確率モデルの性質に基づいて、単純ベイズ分類器は教師あり学習の設定で効率的に訓練可能である。多くの実用例では、単純ベイズ分類器のパラメータ推定には最尤法が使われる。つまり、単純ベイズ分類器を使用するにあたって、ベイズ確率やその他のベイズ的手法を使う必要はない。
設計も仮定も非常に単純であるにもかかわらず、単純ベイズ分類器は複雑な実世界の状況において、期待よりもずっとうまく働く。近頃、ベイズ分類問題の注意深い解析によって、単純ベイズ分類器の効率性に理論的理由があることが示された[1]。単純ベイズ分類器の利点は、分類に不可欠なパラメータ(変数群の平均と分散)を見積もるのに、訓練例データが少なくて済む点である。変数群は独立であると仮定されているため、各クラスについての変数の分散だけが必要であり、共分散行列全体は不要である。
単純ベイズ確率モデル[編集]
抽象的には、分類器の確率モデルは次のような依存クラス変数
についての条件付きモデルである。クラスは、いくつかの特徴変数
から
までに依存している。
![{\displaystyle p(C\vert F_{1},\dots ,F_{n})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28079310be466655aad2c65f245e4cb412e8b117)
問題は、特徴数
が大きいとき、あるいは特徴がとりうる値の範囲が大きいとき、確率表に基づいたようなモデルは現実的でなくなることである。そこで、モデルをより扱いやすく変形する。
ベイズの定理を使えば、次のようになる。
![{\displaystyle p(C\vert F_{1},\dots ,F_{n})={\frac {p(C)\ p(F_{1},\dots ,F_{n}\vert C)}{p(F_{1},\dots ,F_{n})}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6c4dc4aa78cf7e97278e42a067acf60f3292bae)
この式を英語で表すと次のようになる(Posterior = 事後、Prior = 事前、Likelihood = 尤度、Evidence = 証拠)。
![{\displaystyle Posterior={\frac {Prior\times Likelihood}{Evidence}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/205f288ad3d5f96168eb289ad52efca0f1b1d532)
実際には、分母は
に依存しておらず、分母が実質的に一定であるように
が与えられるため、分子だけを考慮すればよい。分子は、次のように表される同時確率モデルと等価である。
![{\displaystyle p(C,F_{1},\dots ,F_{n})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/986d7fe118032a16f6b71a8478a2bba04e1bee1a)
これに条件付き確率の定義を繰り返し適用すると、次のように書き換えられる。
![{\displaystyle =p(C)\ p(F_{1},\dots ,F_{n}\vert C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/844c2219c95798d637798eb5a1171947ee37f934)
![{\displaystyle =p(C)\ p(F_{1}\vert C)\ p(F_{2},\dots ,F_{n}\vert C,F_{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5085788729f3c3376a9899d94852235a4b1e72ba)
![{\displaystyle =p(C)\ p(F_{1}\vert C)\ p(F_{2}\vert C,F_{1})\ p(F_{3},\dots ,F_{n}\vert C,F_{1},F_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbf7e74c2526558d97a1ce9a549be1dfdc3b6a9c)
![{\displaystyle =p(C)\ p(F_{1}\vert C)\ p(F_{2}\vert C,F_{1})\ p(F_{3}\vert C,F_{1},F_{2})\ p(F_{4},\dots ,F_{n}\vert C,F_{1},F_{2},F_{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f913e4739b3b2b24c7ade044cbdfc8cd4b43f96f)
ここで、「単純」な条件付き独立性(英語版)を仮定する。すなわち、各特徴変数
が条件付きで独立であるとする。独立性より、次の式が成り立つ。
![{\displaystyle p(F_{i}\mid C,F_{1},\ldots ,F_{i-1})=p(F_{i}\mid C)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07ae539360f3c7350f5a46d4ecda743b589575cd)
すると、同時モデルは次のように表される。
![{\displaystyle p(C,F_{1},\dots ,F_{n})=p(C)\ p(F_{1}\vert C)\ p(F_{2}\vert C)\ p(F_{3}\vert C)\ \cdots \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61bef82c869b6883db5730bd2af9201c5e5e394e)
![{\displaystyle =p(C)\prod _{i=1}^{n}p(F_{i}\vert C)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eab879491ee6137df0118c8e98b38f2f3efc7fbb)
つまり、上述のような独立性の仮定のもとで、クラス変数
の条件付き分布は次のように表される。
![{\displaystyle p(C\vert F_{1},\dots ,F_{n})={\frac {1}{Z}}p(C)\prod _{i=1}^{n}p(F_{i}\vert C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e2c830eac90468e5839385df574ae31d4fc1dbc)
ここで、
は
にのみ依存する係数であり、特徴変数群の値が既知であれば定数となる。
このようなモデルの方が扱いやすい。いわゆる「クラス事前確率」
と独立確率分布
に分かれているからである。
個のクラスがあり、
のモデルを
個のパラメータで表現できるとき、対応する単純ベイズモデルは (k − 1) + n r k 個のパラメータを持つ。二項分類では
であり、
は予測に使われる2値の特徴の個数である。
全てのモデルパラメータ(すなわち、クラス事前確率と特徴確率分布)は、訓練例の集合から相対度数によって見積もることができる。それらは確率の最尤推定量である。離散的でない特徴の場合、離散化を事前に行う必要がある。離散化には教師なし(場当たり的な手法)と教師あり(訓練データに基づいた手法)の手法がある。
あるクラスとある特徴値の組合せが訓練例では出現しない場合、度数に基づいた確率推定はゼロとなる。これを乗算に用いると積がゼロになってしまうという問題が生じる。これを防ぐため、確率値の推定をわずかに修正してどの組合せの確率値もゼロにならないようにすることが行われる(擬似カウント(英語版))。
確率モデルからの分類器構築[編集]
ここまでの説明で、独立特徴モデル、すなわち単純ベイズ確率モデルが導出された。単純ベイズ分類器はそのモデルに決定規則を合わせたものである。よく使われる決定規則は、最も事後確率が高い仮説を採用するというもので、最大事後確率(MAP)決定規則と呼ばれている。そのような分類器を関数
とすると、次のように表される。
![{\displaystyle \mathrm {classify} (f_{1},\dots ,f_{n})=\mathop {\mathrm {argmax} } _{c}\ p(C=c)\prod _{i=1}^{n}p(F_{i}=f_{i}\vert C=c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73a993042f520890dbf45b8cc39508fe709e6587)
独立性を仮定することで、事後確率の計算結果が予期しないものとなる可能性を懸念する場合がある。観測結果に依存性がある状況では、確率に関する第二の公理、すなわち確率は常に 1 以下でなければならないという公理に反する結果が得られる可能性がある。
独立性の仮定を広範囲に適用することが正確性に欠けるという事実があるにもかかわらず、単純ベイズ分類器は実際には驚くほど有効である。特に、クラスの条件付き特徴分布を分離することは、各分布を1次元の分布として見積もることができることを意味している。そのため、特徴数が増えることで指数関数的に必要なデータ集合が大きくなるという「次元の呪い」から生じる問題を緩和できる。MAP 規則を使った確率的分類器の常として、正しいクラスが他のクラスより尤もらしい場合に限り、正しいクラスに到達する。それゆえ、クラス確率はうまく見積もられていなくてもよい。い換えれば、根底にある単純な確率モデルの重大な欠陥を無効にするほど、分類器は全体として十分に頑健である。単純ベイズ分類器がうまく機能する理由についての議論は、後述の参考文献にもある。
例: 文書分類[編集]
単純ベイズ分類器を文書分類問題に適用した例を示す。文書群をその内容によって分類する問題であり、例えば、電子メールをスパム (C=0) とスパムでないもの (C=1) に分類する。文書は、単語群としてモデル化できるいくつかのクラスから取り出されるものとする。ここで、文書のi番目の単語
が、クラス C から取り出された文書に出現する(独立な)確率は、次のように書き表せる。
![{\displaystyle p(w_{i}\vert C)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8761289c498f15b6fab88b3c7441eff02ec899d8)
ただしこの式では、問題をより簡単にするため、単語は文書中にランダムに分布すると仮定している。すなわち、単語の出現確率は、文書の長さ、文書中での他の単語との位置関係、その他の文脈には依存しないものとする。
すると、あるクラスCが与えられた時、文書D が取り出される確率は次のようになる。
![{\displaystyle p(D\vert C)=\prod _{i}p(w_{i}\vert C)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88ea882f5caefa669099d3d557edd68e98bf64cd)
解きたい問題は、「ある文書 D が、あるクラス C に属する確率」であり、い換えれば
の値である。
ここで、定義から(確率空間参照)
![{\displaystyle p(D\vert C)={p(D\cap C) \over p(C)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d661cf818992db10ef55db6bd5f8a703d2ecb6d)
かつ
![{\displaystyle p(C\vert D)={p(D\cap C) \over p(D)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44b7d7af3e9add5f8d5cbf02310af9dbf83b9f76)
となる。ベイズの定理によれば、尤度関数を使って確率が次のように表される。
![{\displaystyle p(C\vert D)={p(C) \over p(D)}\,p(D\vert C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a1b7912c1bd095262409facf5c7e90102a5230a)
ここで、クラスは S と ¬S の2つしかないと仮定する(例えば、スパムかそうでないか)。
![{\displaystyle p(D\vert S)=\prod _{i}p(w_{i}\vert S)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74151595914b3c6ece45c83751689f0a7d5cce21)
かつ
![{\displaystyle p(D\vert \neg S)=\prod _{i}p(w_{i}\vert \neg S)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e7f0956f00f7654204cd6482bf277bc04591fa0)
となる。上記のベイズの結果を使うと、次のようになる。
![{\displaystyle p(S\vert D)={p(S) \over p(D)}\,\prod _{i}p(w_{i}\vert S)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c604e5a26c020fd768cb93664b5b7dd723504a04)
![{\displaystyle p(\neg S\vert D)={p(\neg S) \over p(D)}\,\prod _{i}p(w_{i}\vert \neg S)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89689bf05f2b87703ba4d4207d30da46e3baadeb)
一方を他方で割ると、次のようになる。
![{\displaystyle {p(S\vert D) \over p(\neg S\vert D)}={p(S)\,\prod _{i}p(w_{i}\vert S) \over p(\neg S)\,\prod _{i}p(w_{i}\vert \neg S)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76fcb4e6e7fc9307d7a511e7c9bd03c9f0388381)
これを書き換えると、次の通り。
![{\displaystyle {p(S\vert D) \over p(\neg S\vert D)}={p(S) \over p(\neg S)}\,\prod _{i}{p(w_{i}\vert S) \over p(w_{i}\vert \neg S)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95babe41e1cb651cf38953336ebe47d03faf88f9)
従って、確率比率 p(S | D) / p(¬S | D) は、一連の尤度比を使って表される。実際の確率 p(S | D) は、p(S | D) + p(¬S | D) = 1 であることから、容易に log (p(S | D) / p(¬S | D)) から求められる。
これらの比を全て対数にすると、次の式が得られる。
![{\displaystyle \ln {p(S\vert D) \over p(\neg S\vert D)}=\ln {p(S) \over p(\neg S)}+\sum _{i}\ln {p(w_{i}\vert S) \over p(w_{i}\vert \neg S)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ad9ff134f7adcaa347ed793d4f542fbf788f20c)
統計学では、このような尤度比の対数を使うのが一般的な技法である。この例のような二項分類では、その値はシグモイド曲線を描く(ロジット参照)。
このようにして文書が分類される。
なら、その文書はスパムであり、そうでなければスパムではない。
Complement Naive Bayes[編集]
単純ベイズ分類機で、あるクラスに属さない補集合(英: Complement)を用いて学習させる拡張をComplement Naive Bayesという。
たとえば文章分類で純粋な単純ベイズ分類器では文章中のそのクラスに属する単語の出現率が大きくなってしまうが、属さない確率が最も低いクラスとして識別することで文章中のこのばらつきを最低限に抑えられる。これによってよい識別が可能になる。
- Domingos, Pedro & Michael Pazzani (1997) "On the optimality of the simple Bayesian classifier under zero-one loss". Machine Learning, 29:103–137. (CiteSeer にあるオンライン版: [1])
- Rish, Irina. (2001). "An empirical study of the naive Bayes classifier". IJCAI 2001 Workshop on Empirical Methods in Artificial Intelligence. (オンライン版: PDF, PostScript)
- Hand, DJ, & Yu, K. (2001). "Idiot's Bayes - not so stupid after all?" International Statistical Review. Vol 69 part 3, pages 385-399. ISSN 0306-7734.
- Mozina M, Demsar J, Kattan M, & Zupan B. (2004). "Nomograms for Visualization of Naive Bayesian Classifier". In Proc. of PKDD-2004, pages 337-348. (オンライン版: PDF)
- Maron, M. E. (1961). "Automatic Indexing: An Experimental Inquiry." Journal of the ACM (JACM) 8(3):404–417. (オンライン版: PDF)
- Minsky, M. (1961). "Steps toward Artificial Intelligence." Proceedings of the IRE 49(1):8-30.
- McCallum, A. and Nigam K. "A Comparison of Event Models for Naive Bayes Text Classification". In AAAI/ICML-98 Workshop on Learning for Text Categorization, pp. 41-48. Technical Report WS-98-05. AAAI Press. 1998. (オンライン版: PDF)
- Harry Zhang "The Optimality of Naive Bayes". (オンライン版: PDF)
- S.Kotsiantis, P. Pintelas, Increasing the Classification Accuracy of Simple Bayesian Classifier, Lecture Notes in Artificial Intelligence, AIMSA 2004, Springer-Verlag Vol 3192, pp. 198-207, 2004 (PDF)
- S. Kotsiantis, P. Pintelas, Logitboost of Simple Bayesian Classifier, Computational Intelligence in Data mining Special Issue of the Informatica Journal, Vol 29 (1), pp. 53-59, 2005 (PDF)