技能一覧 › 大学数学 オペレーションズ・リサーチ

マルコフ決定過程と方策の価値

方策を 1 つ固定し、割引率 のもとでベルマン方程式 の連立 1 次方程式を解いて、各状態の期待割引総報酬を求められる

前提

この技能までの道筋(39 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる (算数 場合の数)
  2. 積の法則と和の法則 (算数 場合の数)
  3. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
  4. 順列・円順列・重複順列 (数学A 場合の数と確率)
  5. 組合せ (数学A 場合の数と確率)
  6. 確率の定義と和事象・余事象 (数学A 場合の数と確率)
  7. 条件付き確率と乗法定理 (数学A 場合の数と確率)
  8. 四則の混じった計算の順序 (算数 計算と数のきまり)
  9. 等間隔にならんだ数の和 (算数 計算と数のきまり)
  10. 分数のたし算・ひき算 (算数 計算と数のきまり)
  11. 小数の四則計算 (算数 計算と数のきまり)
  12. 正負の数の加法・減法 (中学数学 数と式)
  13. 分数のかけ算・わり算 (算数 計算と数のきまり)
  14. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  15. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  16. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  17. 等差・等比数列の和と Σ (数学B 数列)
  18. マルコフ連鎖と推移確率 (大学数学 確率・統計)
  19. 数列の極限 (数学III 極限)
  20. 無限等比級数と無限級数 (数学III 極限)
  21. 三角形の角の大きさ (算数 平面図形)
  22. 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
  23. 三角形の外角と角の組み合わせ (中学数学 平面図形)
  24. 小数と分数のまじった計算 (算数 計算と数のきまり)
  25. 逆算(□ を求める) (算数 計算と数のきまり)
  26. 1 次方程式の解き方 (中学数学 方程式)
  27. 二等辺三角形の角 (中学数学 平面図形)
  28. 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
  29. 三角形・四角形の面積 (算数 平面図形)
  30. 約数の見つけ方 (算数 整数の性質)
  31. 素因数分解と約数の個数 (算数 整数の性質)
  32. 平方根の意味と根号の簡単化 (中学数学 数と式)
  33. 三平方の定理 (中学数学 相似と三平方の定理)
  34. 乗法公式による展開 (中学数学 数と式)
  35. 折り返した図形の角と長さ (中学数学 平面図形)
  36. 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
  37. ベクトルの演算と成分 (数学C ベクトル)
  38. 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
  39. 掃き出し法と連立 1 次方程式 (大学数学 線形代数)

説明

マルコフ決定過程(MDP)とは、状態 で行動 を選ぶと報酬 が得られ、次の状態 が確率 で決まる、という確率的な意思決定のモデルです。各状態でどの行動をとるかの規則を方策 といいます。方策を 1 つ固定すると、各状態から出発したときに将来もらえる報酬の割引付きの合計の期待値(状態の価値 )が計算できます。これは方策の良し悪しを比べる基本の量で、強化学習やオペレーションズ・リサーチで最初に行う計算(方策評価)です。

なぜそうしてよいのか

方策 を固定すると、状態 でとる行動は に決まります。そこで 、 と書けば、状態の列 は推移確率 のマルコフ連鎖になります。割引率 ()のもとで状態 の価値を と定めます。状態が有限個なら となる定数 があり、 は無限等比級数として収束するので、この期待値は有限の値として定まり です。

この和を「最初の 1 歩」と「その後」に分けます。 です。 のとき最初の項は 。後ろの和は、次の状態が だとすると、マルコフ性(未来は現在の状態だけで決まる)により「 から出発した場合」とまったく同じ分布をもつので、その期待値は です。 となる確率 で重み付けして足すと が得られます。これがベルマン方程式で、状態ごとに 1 本ずつ、未知数 について 1 次の式になっています。

状態を と番号付けし、 を 成分が の推移確率行列、 を縦ベクトルとすると、方程式は となります。この解はただ 1 つです。実際、 となる をとり、 が最大になる を選ぶと となり、 より 、したがって です。よって掃き出し法で解けば、必ず一意な価値が求まります。

手順

  1. 方策 が各状態で選ぶ行動を読み取り、状態ごとの報酬 と推移確率 を書き出す(各状態で を確認する)。

  2. 状態ごとにベルマン方程式 を立てる。自分自身へ戻る確率 の項も忘れずに入れる。

  3. 未知数を左辺に集めて の形にし、拡大係数行列 を作る。

  4. 掃き出し法(または代入)で連立 1 次方程式を解き、各 を求める。

  5. 求めた値をもとのベルマン方程式に代入して成り立つか確かめ、 に収まっているかも確認する。

例題

状態が A, B の 2 つのマルコフ決定過程で、ある方策 を固定した。この方策のもとで、状態 A では報酬 を得て、次に確率 で A、確率 で B に移る。状態 B では報酬 を得て、次に確率 で A、確率 で B に移る。割引率 のとき、各状態の価値の組 を求めよ。

例題の解答

手順 1:。(各行の和は 1)。

手順 2:ベルマン方程式は

手順 3:未知数を左辺に集めると

分母を払って(第 1 式を 4 倍、第 2 式を 8 倍)拡大係数行列は 。

手順 4:行を入れ替えて 、第 2 行に第 1 行の 3 倍を足すと 。よって 、第 1 行から 。

手順 5:検算。、 で成り立つ。また上限 以下に収まっている。

よって 。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること