.. _sec_mdp: マルコフ決定過程（MDP） ======================= この節では、マルコフ決定過程（MDP）を用いて強化学習問題をどのように定式化するかを議論し、MDPのさまざまな構成要素を詳しく説明する。 MDPの定義 --------- マルコフ決定過程（MDP） :cite:`BellmanMDP` は、システムにさまざまな行動が適用されたときに、そのシステムの状態がどのように変化するかを表すモデルである。MDPは、いくつかの異なる量が組み合わさって構成される。 .. _fig_mdp: .. figure:: ../img/mdp.png :width: 250px A simple gridworld navigation task where the robot not only has to find its way to the goal location (shown as a green house) but also has to avoid trap locations (shown as red cross signs). - :math:`\mathcal{S}` をMDPにおける状態の集合とする。具体例として、グリッドワールドを移動するロボットについて :numref:`fig_mdp` を見よ。この場合、\ :math:`\mathcal{S}` は、ロボットが任意の時刻に存在しうる位置の集合に対応する。 - :math:`\mathcal{A}` を、ロボットが各状態で取りうる行動の集合とする。たとえば、「前進する」「右に曲がる」「左に曲がる」「同じ場所にとどまる」などである。行動によって、ロボットの現在の状態は :math:`\mathcal{S}` の中の別の状態へ変化しえる。 - ロボットがどのように動くのかを\ *正確には*\ 知らず、ある近似までしか分からないことがある。強化学習では、この状況を次のようにモデル化する。ロボットが「前進する」という行動を取ったとき、現在の状態にとどまる小さな確率や、「左に曲がる」小さな確率などがあるかもしれない。数学的には、これは「遷移関数」\ :math:`T: \mathcal{S} \times \mathcal{A} \times \mathcal{S} \to [0,1]` を定義することに相当し、ロボットが状態 :math:`s` にいて行動 :math:`a` を取ったときに状態 :math:`s'` に到達する条件付き確率を用いて :math:`T(s, a, s') = P(s' \mid s, a)` と表す。遷移関数は確率分布であるため、すべての :math:`s \in \mathcal{S}` と :math:`a \in \mathcal{A}` について :math:`\sum_{s' \in \mathcal{S}} T(s, a, s') = 1` が成り立つ。すなわち、ロボットは行動を取れば必ず何らかの状態へ移動しなければならない。 - 次に、「どの行動が有用で、どの行動が有用でないか」という概念を、「報酬」\ :math:`r: \mathcal{S} \times \mathcal{A} \to \mathbb{R}` を用いて定義する。ロボットが状態 :math:`s` で行動 :math:`a` を取ったとき、報酬 :math:`r(s,a)` を得るとする。報酬 :math:`r(s, a)` が大きいなら、それは状態 :math:`s` で行動 :math:`a` を取ることが、ロボットの目標、すなわち緑の家に到達することにより有用であることを示す。報酬 :math:`r(s, a)` が小さいなら、その行動 :math:`a` はこの目標達成にあまり有用ではない。重要なのは、報酬は目標を念頭に置いて、ユーザ（強化学習アルゴリズムを作成する人）によって設計されるという点である。 リターンと割引率 ---------------- 上のさまざまな構成要素を合わせると、マルコフ決定過程（MDP） .. math:: \textrm{MDP}: (\mathcal{S}, \mathcal{A}, T, r). となる。 では、ロボットが特定の状態 :math:`s_0 \in \mathcal{S}` から始まり、行動を取り続けて次のような軌道を生じる状況を考えよう。 .. math:: \tau = (s_0, a_0, r_0, s_1, a_1, r_1, s_2, a_2, r_2, \ldots). 各時刻 :math:`t` において、ロボットは状態 :math:`s_t` にあり、行動 :math:`a_t` を取り、その結果として報酬 :math:`r_t = r(s_t, a_t)` を得る。軌道の\ *リターン*\ とは、そのような軌道に沿ってロボットが得る総報酬のことである。 .. math:: R(\tau) = r_0 + r_1 + r_2 + \cdots. 強化学習の目標は、\ *リターン*\ が最大となる軌道を見つけることである。 ロボットが目標地点に到達することなく、グリッドワールド内を移動し続ける状況を考えてみよ。この場合、軌道における状態と行動の列は無限に長くなりえ、そのような無限長の軌道の\ *リターン*\ は無限大になる。このような軌道に対しても強化学習の定式化を意味のあるものに保つために、割引率 :math:`\gamma < 1` という概念を導入する。割引された\ *リターン*\ は次のように書きる。 .. math:: R(\tau) = r_0 + \gamma r_1 + \gamma^2 r_2 + \cdots = \sum_{t=0}^\infty \gamma^t r_t. :math:`\gamma` が非常に小さい場合、たとえば :math:`t = 1000` のような遠い将来にロボットが得る報酬は、\ :math:`\gamma^{1000}` という係数によって大きく割り引かれる。これにより、ロボットは目標を達成する短い軌道、すなわちグリッドワールドの例で緑の家へ向かうこと（:numref:`fig_mdp` を参照）を選びやすくなる。割引率が大きい場合、たとえば :math:`\gamma = 0.99` では、ロボットは\ *探索*\ を行い、その後で目標地点へ向かう最良の軌道を見つけるよう促される。 マルコフ仮定についての考察 -------------------------- 新しいロボットを考えてみよう。ここでは、状態 :math:`s_t` は上と同じく位置であるが、行動 :math:`a_t` は「前進する」のような抽象的な命令ではなく、ロボットが車輪に加える加速度である。このロボットが状態 :math:`s_t` で非ゼロの速度を持っているなら、次の位置 :math:`s_{t+1}` は、過去の位置 :math:`s_t`\ 、加速度 :math:`a_t`\ 、さらに時刻 :math:`t` におけるロボットの速度の関数になる。速度は :math:`s_t - s_{t-1}` に比例する。これは、次のように書けることを示している。 .. math:: s_{t+1} = \textrm{some function}(s_t, a_t, s_{t-1}); この場合の「some function」はニュートンの運動法則に相当する。これは、単に :math:`s_t` と :math:`a_t` に依存する遷移関数とはかなり異なる。 マルコフ系とは、次の状態 :math:`s_{t+1}` が現在の状態 :math:`s_t` と、現在の状態で取られた行動 :math:`a_t` のみに依存するようなシステムのことである。マルコフ系では、次の状態は過去にどの行動が取られたか、あるいは過去にロボットがどの状態にいたかには依存しない。たとえば、上で行動が加速度である新しいロボットは、次の位置 :math:`s_{t+1}` が速度を通じて前の状態 :math:`s_{t-1}` に依存するため、マルコフ的ではない。システムがマルコフ的であるという性質は制約が強い仮定に見えるかもしれないが、実際にはそうではない。マルコフ決定過程は、依然として非常に広いクラスの実システムをモデル化できる。たとえば、この新しいロボットについて、状態 :math:`s_t` を :math:`(\textrm{location}, \textrm{velocity})` の組に選べば、次の状態 :math:`(\textrm{location}_{t+1}, \textrm{velocity}_{t+1})` は現在の状態 :math:`(\textrm{location}_t, \textrm{velocity}_t)` と現在の状態での行動 :math:`a_t` のみに依存するので、システムはマルコフ的になる。 まとめ ------ 強化学習問題は通常、マルコフ決定過程を用いてモデル化される。マルコフ決定過程（MDP）は、4つの要素 :math:`(\mathcal{S}, \mathcal{A}, T, r)` の組で定義される。ここで :math:`\mathcal{S}` は状態空間、\ :math:`\mathcal{A}` は行動空間、\ :math:`T` はMDPの遷移確率を表す遷移関数、そして :math:`r` は特定の状態で行動を取ることによって得られる即時報酬である。 演習 ---- 1. `MountainCar `__ 問題をモデル化するMDPを設計したいとする。 1. 状態の集合は何になるだろうか？ 2. 行動の集合は何になるだろうか？ 3. 取りうる報酬関数は何だろうか？ 2. `Pong game `__ のような Atari ゲームのために、どのようにMDPを設計するか？