#freeze
[[FrontPage]]
#contents
2011/04/22からのアクセス回数 &counter;
ここで紹介したSageワークシートは、以下のURLからダウンロードできます。
http://sage.math.canterbury.ac.nz/home/pub/91/
また、Sageのサーバを公開しているサイト（http://sage.math.canterbury.ac.nz/ 、http://www.sagenb.org/）にユーザIDを作成することで、ダウンロードしたワークシートを
アップロードし、実行したり、変更していろいろ動きを試すことができます。
* 第3章-Sageを使って逐次ベイズ学習を試してみる [#i2326f2b]
[[パターン認識と機械学習>http://www.amazon.co.jp/dp/443110013X/]]
の３章で最も印象深い例題が、ベイズ線形回帰のパラメータ分布を逐次的に計算し、収束する様子を
示した図3.7です。
&ref(http://research.microsoft.com/en-us/um/people/cmbishop/PRML/prmlfigs-jpg/Figure3.7.jpg,nowrap,360x480);
ここでは、Sageを使って図3.7の逐次ベイズ学習を再現してみます。
** パラメータの分布 [#a434fadb]
図3.7の例では、モデルパラメータwの事前確率分布を以下のように定義しています。原書式(3.52)
$$
p(w|\alpha) = \mathcal{N}(w|0, \alpha^{-1} I)
$$
対応するwの事後分布は、線形回帰のペイズフィッティングと同じ形になります。原書式(3.53)、式(3.54)
$$
m_N = \beta S_N \Phi^T t
$$
$$
S^{-1}_{N} = \alpha I + \beta \Phi^T \Phi
$$
ポイントは、事後分布の対数です。
$$
ln p(w|t) = - \frac{\beta}{2} \sum^N_{n=1} \{ t_n - w^T\phi(x_n) \}^2 - \frac{\alpha}{2} w^T w + 定数
$$
この第1項の指数\(e^{- \frac{\beta}{2} \{ t_i - w^T\phi(x_i) \}^2}\)をその直前の事前分布に掛け合わせることで\(t_i\)の事後分布が求まるところです。
** 仮定 [#bf4cb120]
モデルパラメータwの事前確率分布の変化を見るために、\(\alpha = 2.0\)、精度パラメータ\(\beta = (1/0.2)^2 = 25\)を固定値としています。
sageへの入力:
#pre{{
# Cholesky分解のためにscipyを使用
from scipy.linalg import *
# 初期設定：平均0，α=2.0固定のガウス分布、β=(1/0.2)^2=25
alpha = 2.0;
beta = 25;
mu = vector([0, 0]);
sigma = matrix(2,2,alpha);
# グラフ表示用の変数
x, y = var('x, y');
}}
** データ [#p435273e]
データとして、図3.7から最初の2点を読み取り(0.9, 0.05), (-0.6, -0.8)とし、残りを、
$$
f(x, a) = a_0 + a_1 x
$$
ここで、\(a_0 = -0.3, a_1 = 0.5\)とし、一様部分\(U(x|-1,1)\)から選んだ\(x_n\)に、目的値\(t_n\)を以下のように計算し、
追加しました。
$$
t_n = f(x_n, a) + \mathcal{N}(0, 0.2)
$$
sageへの入力:
#pre{{
# データセット f(x,a) = a0 + a1*x <= a0 = -0.3, a1=0.5
# 観測値は、tn = f(x,a) + N(0, 0.2)
# xnを一様分布U(x|-1,1)から選択する
# チェックのために、図3.7の最初の2点を(0.9, 0.05), (-0.6, -0.8)を使用する
a0 = -0.3;
a1 = 0.5;
a_plt = point([a0, a1], rgbcolor='red');
xv = [0.9, -0.6];
tv = [0.05, -0.8];
for xn in range(18):
xn = 2*random() - 1;
xv += [xn];
tv += [a0 + a1*xn + gauss(0, 0.2)]
data = zip(xv, tv);
data_plt = list_plot(zip(xv, tv));
data_plt.show(aspect_ratio=1, figsize=(3), xmin=-1, xmax=1, ymin=-1, ymax=1);
}}
&ref(sage0.png);
** ｗの事前分布（初期分布） [#ve91b54f]
ｗの事前分布は、ベクトルのガウス分布の式、原著付録式(B.37)から
$$
\mathcal{N}(x|\mu, \Sigma) = \frac{1}{(2\pi)^{D/2}} \frac{1}{|\Sigma|^{1/2}} exp \left\{
\frac{1}{2} (x - \mu)^T \Sigma^{-1} (x - \mu)
\right\}
$$
となります。
** データ空間 [#h1e8909b]
データ空間の図は、ｗの値をランダムに選んだ関数\(y(x, w)\)と説明されていますが、
私は、第11章のBox-Muller法からコレスキー分解(Cholesky decomposition)を使って
分散\(\Sigma = L L^T\)となる\(L\)を求めて
$$
y = \mu + L z
$$
から空間のガウスのサンプリングを生成することにしました。
sageへの入力:
#pre{{
# ベクトルのガウス分布を定義
def gauss_v(v, mu, sigma):
d = len(v);
sigma_inv = sigma.inverse();
sigma_abs_sqrt = sigma.det().sqrt();
# sage 4.6.2ではtranspose()の代わりにcolumn()を使用する
val = -(v - mu) * sigma_inv * (v - mu).transpose()/2;
return n((2*pi)^(-d/2)) * sigma_abs_sqrt^-0.5 * e^val[0];
# wの初期分布
cnt_plt = contour_plot(lambda x, y : gauss_v(vector([x,y]), mu, sigma), [x, -1, 1], [y, -1, 1], fill=False);
cnt_plt.show(aspect_ratio=1, figsize=(3));
# 6個のラインを引く
L = matrix(cholesky(sigma.numpy()));
l_plt = plot([]);
for i in range(6):
y = mu + L*vector([random(), random()]);
l_plt += plot(lambda x : y[0] + y[1]*x, [x, -1, 1]);
l_plt.show(aspect_ratio=1, figsize=(3), xmin=-1, xmax=1, ymin=-1, ymax=1);
}}
&ref(sage1.png);
&ref(sage2.png);
*** 基底関数 [#nfbb9111]
一番簡単な例として直線を使用するので、基底関数は
$$
\phi_j(x) = x^j
$$
としました。
sageへの入力:
#pre{{
# Φ関数定義
def _phi(x, j):
return x^j
}}
*** 尤度関数 [#m54d0614]
同様に\(x_n\)の観測値\(t_n\)対する尤度関数は、
$$
p(t|w) = e^{- \frac{1}{2}(t_n - w^T \phi(x_n))}
$$
となります。
sageへの入力:
#pre{{
# 尤度関数の定義
def _likelihood(w0, w1, v):
xn, tn = v;
return n(e^(-beta/2*(tn - w0 - w1*xn)^2));
}}
** 1点目のプロット [#l886f35f]
最初の1点目の尤度関数をwの真の値a=(-0.3, 0.5)（赤い点）と一緒にプロットしたのが、最初の図です。
次に原書式(3.53)から求めた事後確率と真の値a=(-0.3, 0.5)（赤い点）と一緒にプロットしました。
図3.7と同じように事前分布と尤度分布を掛け合わせた形になっています。
3番目は、事後分布からランダムに生成したwを元に引いた直線です。
第1点に直線が集まっていることがわかります。
sageへの入力:
#pre{{
# グラフ表示用の変数
x, y = var('x, y');
# 最初の1点の尤度関数をプロット
v = data[0];
lf_plt = contour_plot(lambda x, y : _likelihood(x, y, v), [x, -1, 1], [y, -1, 1], fill=False);
(lf_plt + a_plt).show(aspect_ratio=1, figsize=(3));
# 1個目の事後平均と分散を計算
v = vector(xv[0:1]);
t = vector(tv[0:1]);
Phi = matrix([[ _phi(x,j) for j in range(2)] for x in v.list()]);
Phi_t = Phi.transpose();
S_N_inv = (alpha*matrix((2),(2),1) + beta*Phi_t * Phi);
S_N = S_N_inv.inverse();
m_N = beta*S_N*Phi_t*t;
# 1個目の事後分布
cnt_plt = contour_plot(lambda x, y : gauss_v(vector([x,y]), m_N, S_N), [x, -1, 1], [y, -1, 1], fill=False);
(cnt_plt + a_plt).show(aspect_ratio=1, figsize=(3));
# 6個のラインを引く
L = matrix(cholesky(S_N.numpy()));
l_plt = list_plot(zip(xv[0:1], tv[0:1]));
for i in range(6):
y = m_N + L*vector([random(), random()]);
l_plt += plot(lambda x : y[0] + y[1]*x, [x, -1, 1]);
l_plt.show(aspect_ratio=1, figsize=(3), xmin=-1, xmax=1, ymin=-1, ymax=1);
}}
&ref(sage3.png);
&ref(sage4.png);
&ref(sage5.png);
** 2点目のプロット [#ie783edd]
2点目の尤度関数をwの真の値a=(-0.3, 0.5)（赤い点）と一緒にプロットしたのが、1番目の図です。
2点から式(3.53)を使って求めた事後確率と真の値a=(-0.3, 0.5)（赤い点）と一緒にプロットしました。
図3.7と同じように事後確率分布がかなり真の値に近くなっています。
3番目は、事後分布からランダムに生成したwを元に引いた直線です。
2点が求まっているので、直線は2点に近づいています。
sageへの入力:
#pre{{
# グラフ表示用の変数
x, y = var('x, y');
# 第2点の尤度関数をプロット
v = data[1];
lf_plt = contour_plot(lambda x, y : _likelihood(x, y, v), [x, -1, 1], [y, -1, 1], fill=False);
(lf_plt + a_plt).show(aspect_ratio=1, figsize=(3));
# 2点目の事後平均と分散を計算
v = vector(xv[0:2]);
t = vector(tv[0:2]);
Phi = matrix([[ _phi(x,j) for j in range(2)] for x in v.list()]);
Phi_t = Phi.transpose();
S_N_inv = (alpha*matrix((2),(2),1) + beta*Phi_t * Phi);
S_N = S_N_inv.inverse();
m_N = beta*S_N*Phi_t*t;
# 2点目の事後分布
cnt_plt = contour_plot(lambda x, y : gauss_v(vector([x,y]), m_N, S_N), [x, -1, 1], [y, -1, 1], fill=False);
(cnt_plt + a_plt).show(aspect_ratio=1, figsize=(3));
# 6個のラインを引く
L = matrix(cholesky(S_N.numpy()));
l_plt = list_plot(zip(xv[0:2], tv[0:2]));
for i in range(6):
y = m_N + L*vector([random(), random()]);
l_plt += plot(lambda x : y[0] + y[1]*x, [x, -1, 1]);
l_plt.show(aspect_ratio=1, figsize=(3), xmin=-1, xmax=1, ymin=-1, ymax=1);
}}
&ref(sage6.png);
&ref(sage7.png);
&ref(sage8.png);
** 20点目のプロット [#v332ed86]
20点になると事後確率と真の値a=(-0.3, 0.5)（赤い点）にかなり接近した形になります。
ベイズ的なフィッティングがどうやって学習するのかこの例を通じて実感することができました。
とても貴重な例題だと思います。
sageへの入力:
#pre{{
# グラフ表示用の変数
x, y = var('x, y');
# 20個目の事後平均と分散を計算
v = vector(xv);
t = vector(tv);
Phi = matrix([[ _phi(x,j) for j in range(2)] for x in v.list()]);
Phi_t = Phi.transpose();
S_N_inv = (alpha*matrix((2),(2),1) + beta*Phi_t * Phi);
S_N = S_N_inv.inverse();
m_N = beta*S_N*Phi_t*t;
# 20個目の事後分布
cnt_plt = contour_plot(lambda x, y : gauss_v(vector([x,y]), m_N, S_N), [x, -1, 1], [y, -1, 1], fill=False);
(cnt_plt + a_plt).show(aspect_ratio=1, figsize=(3));
# 6個のラインを引く
L = matrix(cholesky(S_N.numpy()));
y = m_N + L*vector([random(), random()])
l_plt = data_plt;
for i in range(6):
y = m_N + L*vector([random(), random()]);
l_plt += plot(lambda x : y[0] + y[1]*x, [x, -1, 1]);
l_plt.show(aspect_ratio=1, figsize=(3), xmin=-1, xmax=1, ymin=-1, ymax=1);
}}
&ref(sage9.png);
&ref(sage10.png);
** コメント [#u2ada470]
#vote(おもしろかった[7],そうでもない[0],わかりずらい[0])
#vote(おもしろかった[8],そうでもない[0],わかりずらい[0])
皆様のご意見、ご希望をお待ちしております。
#comment_kcaptcha
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
