Download as PDF, PPTX
![「状態の価値」とは？
特定の状態以降の収益の期待値を
「状態価値関数」と呼ぶ。
𝑉 𝑠 = 𝔼[𝐺𝑡|𝑆𝑡 = 𝑠]
特定の状態で特定の行動をした後の
収益の期待値を「行動価値関数」と呼ぶ。
𝑄 𝑠, 𝑎 = 𝔼[𝐺𝑡|𝑆𝑡 = 𝑠, 𝐴 𝑡 = 𝑎]
18
このQがDQNのQ](https://image.slidesharecdn.com/2-170203040322/75/2-18-2048.jpg)
![モンテカルロで状態価値を求める
状態価値
𝑉 𝑠 = 𝔼[𝐺𝑡|𝑆𝑡 = 𝑠]
をどうすれば求められるか？
適当に試行錯誤して、得られた観測データの
平均値を取ればよい。*
…だけどこの方法は計算コストが大きい。
もっといい方法があるのでそれを見よう。
19
* ゲームの思考エンジンで「各局面からランダムにプレイして各手の勝率を求める」時
これは行動価値関数をこの方法で求めることに相当する。](https://image.slidesharecdn.com/2-170203040322/75/2-19-2048.jpg)
![Vを変形
𝑉 𝑠 = 𝔼 𝐺𝑡 𝑆𝑡 = 𝑠
= 𝔼[𝑅𝑡+1 + 𝛾𝑅𝑡+2 + 𝛾2
𝑅𝑡+3 + ⋯ |𝑆𝑡 = 𝑠]
= 𝔼 𝑅𝑡+1 𝑆𝑡 = 𝑠 + 𝛾𝔼[𝑅𝑡+2 + 𝛾𝑅𝑡+3 + ⋯ |𝑆𝑡 = 𝑠]
𝔼 𝑅𝑡+1 𝑆𝑡 = 𝑠 =
𝑎
𝑠′
𝜋 𝑎 𝑠 𝑃 𝑠′
𝑠, 𝑎 𝑟(𝑠, 𝑎, 𝑠′
)
𝔼 𝑅𝑡+2 + 𝛾𝑅𝑡+3 + ⋯ 𝑆𝑡 = 𝑠
=
𝑎
𝑠′
𝜋 𝑎 𝑠 𝑃 𝑠′
𝑠, 𝑎 𝑉(𝑠′
)
20](https://image.slidesharecdn.com/2-170203040322/75/2-20-2048.jpg)
More Related Content
![[DL輪読会]近年のオフライン強化学習のまとめ —Offline Reinforcement Learning: Tutorial, Review, an...](https://cdn.slidesharecdn.com/ss_thumbnails/20200626journalclubpub-200630064755-thumbnail.jpg?width=640&height=640&fit=bounds)
![[DL輪読会]Set Transformer: A Framework for Attention-based Permutation-Invariant...](https://cdn.slidesharecdn.com/ss_thumbnails/20200221settransformer-200221020423-thumbnail.jpg?width=640&height=640&fit=bounds)
![[DL輪読会]Decision Transformer: Reinforcement Learning via Sequence Modeling](https://cdn.slidesharecdn.com/ss_thumbnails/decisiontransformer20210709zhangxin-210709021501-thumbnail.jpg?width=640&height=640&fit=bounds)
![SSII2021 [TS2] 深層強化学習 〜 強化学習の基礎から応用まで 〜](https://cdn.slidesharecdn.com/ss_thumbnails/ts2-01-210607042910-thumbnail.jpg?width=640&height=640&fit=bounds)
![[Dl輪読会]introduction of reinforcement learning](https://cdn.slidesharecdn.com/ss_thumbnails/dlintroductionofreinforcementlearning-161121061444-thumbnail.jpg?width=640&height=640&fit=bounds)
強化学習その2
- 1. 強化学習 その2 2017-01-26 @機械学習勉強会 サイボウズ・ラボ 西尾泰和 関連スライド一覧 https://github.com/nishio/reinforcement_learning 2017-02-24 加筆
- 2.
- 3.
- 4. Sutton & Bartoの新作 draftが読める。目次を一部紹介: 第1部: Tabular Solution Methods 6 Temporal-Difference Learning 8 Planning and Learning with Tabular Methods 第2部: Approximate Solution Methods 12 Eligibility Traces 13 Policy Gradient Methods 第3部: Looking Deeper 16 Applications and Case Studies 16.6 Human-Level Video Game Play 16.7 Mastering the Game of Go 16.8 Personalized Web Services 4 https://webdocs.cs.ualberta.ca/~sutton/book/the-book-2nd.html
- 5. 今後の予定 第1回(前回): 序章 1章 強化学習の基礎的理論 1節 強化学習とは 第2回: 2節強化学習の構成要素 3節 価値反復に基づくアルゴリズム 第3回: 4節 方策勾配に基づくアルゴリズム 第4回: 5節 部分観測マルコフ決定過程 5
- 6. 今後の予定 第5回 2.1 統計学習の観点から見たTD学習 2.1.1 強化学習と教師付き学習の学習則 2.1.2~3関数近似を(する/しない)価値関数推定 (ここまで28ページ) 第6回 2.1.4 セミパラメトリック統計学習に基づく定式 化(10ページ) 2.2 理論性能解析とベイズ (理論薄めでやる。13ページ) 6
- 7. 今後の予定 第7回 2.3 逆強化学習 第8回2.4 経験強化型学習 2.5 群強化学習(飛ばします) 第9回 2.6 リスク考慮型強化学習 2.7 複利型強化学習(飛ばします) 第10回 3 強化学習の工学応用 3.3 対話処理における強化学習 7
- 8. 今後の予定 第11回 3.5 自然言語処理における逆強化学習と模 倣学習 第12回3.7 深層学習を用いたQ関数の学習 (いわゆるDQN) 第13回 4 知能のモデルとしての強化学習 8
- 9.
- 10.
- 11.
- 12. 環境をMDPで記述する 状態空間 𝒮 =𝑠1, 𝑠2, … , 𝑠 𝑁 行動空間 𝒜(𝑠) = {𝑎1, 𝑎2, … , 𝑎 𝑀} 初期状態分布 𝑃0 状態遷移確率 𝑃(𝑠′ |𝑠, 𝑎) 報酬関数 𝑟(𝑠, 𝑎, 𝑠′) 時刻tの値 𝑆𝑡, 𝐴 𝑡, 𝑅𝑡 12
- 13. 環境をMDPで記述する 初期状態 𝑆0~𝑃0 次の状態 𝑆𝑡+1~𝑃𝑠′ 𝑆𝑡, 𝐴 𝑡 報酬 𝑅𝑡+1 = 𝑟 𝑆𝑡, 𝐴 𝑡, 𝑆𝑡+1 13 𝑆𝑡+1がtより前の状態や行動に依存していない ＝マルコフ性
- 14. 行動は？ 行動Aを決めるのは環境ではなくて エージェントなので上記枠組みにない。 方策 𝜋 𝑎𝑠 行動 𝐴 𝑡~𝜋 𝑎 𝑆𝑡 14 質疑Q: 𝐴 𝑡~𝜋 𝑎 𝑆𝑡, 𝑆𝑡−1, 𝑆𝑡−2, … と考えてはダメか？ 現実的な実装は過去の全部の観測に依存するのでは？ A: 強化学習は学習によって𝜋を更新していくので、 時刻tとt-1とで𝜋が異なると考えればこの定式化でもその実装に矛盾しない。
- 15. 遅延報酬の扱い 報酬が即時でないので、 時刻tの報酬を個別に扱うのではなく、 まとめて「収益(return, income)」にする。 色々な方法がある。その1つが割引報酬和： 𝐺𝑡 = 𝜏=0 ∞ 𝛾 𝜏 𝑅𝑡+1+𝜏 15 𝛾は割引係数、0以上1未満の実数。ようは指数平滑平均。
- 16.
- 17.
- 18. 「状態の価値」とは？ 特定の状態以降の収益の期待値を 「状態価値関数」と呼ぶ。 𝑉 𝑠 =𝔼[𝐺𝑡|𝑆𝑡 = 𝑠] 特定の状態で特定の行動をした後の 収益の期待値を「行動価値関数」と呼ぶ。 𝑄 𝑠, 𝑎 = 𝔼[𝐺𝑡|𝑆𝑡 = 𝑠, 𝐴 𝑡 = 𝑎] 18 このQがDQNのQ
- 19. モンテカルロで状態価値を求める 状態価値 𝑉 𝑠 =𝔼[𝐺𝑡|𝑆𝑡 = 𝑠] をどうすれば求められるか？ 適当に試行錯誤して、得られた観測データの 平均値を取ればよい。* …だけどこの方法は計算コストが大きい。 もっといい方法があるのでそれを見よう。 19 * ゲームの思考エンジンで「各局面からランダムにプレイして各手の勝率を求める」時 これは行動価値関数をこの方法で求めることに相当する。
- 20. Vを変形 𝑉 𝑠 =𝔼 𝐺𝑡 𝑆𝑡 = 𝑠 = 𝔼[𝑅𝑡+1 + 𝛾𝑅𝑡+2 + 𝛾2 𝑅𝑡+3 + ⋯ |𝑆𝑡 = 𝑠] = 𝔼 𝑅𝑡+1 𝑆𝑡 = 𝑠 + 𝛾𝔼[𝑅𝑡+2 + 𝛾𝑅𝑡+3 + ⋯ |𝑆𝑡 = 𝑠] 𝔼 𝑅𝑡+1 𝑆𝑡 = 𝑠 = 𝑎 𝑠′ 𝜋 𝑎 𝑠 𝑃 𝑠′ 𝑠, 𝑎 𝑟(𝑠, 𝑎, 𝑠′ ) 𝔼 𝑅𝑡+2 + 𝛾𝑅𝑡+3 + ⋯ 𝑆𝑡 = 𝑠 = 𝑎 𝑠′ 𝜋 𝑎 𝑠 𝑃 𝑠′ 𝑠, 𝑎 𝑉(𝑠′ ) 20
- 21. ベルマン方程式 𝑉 𝑠 = 𝑎 𝑠′ 𝜋 𝑎 𝑠 𝑃 𝑠′ 𝑠, 𝑎 𝑟 𝑠, 𝑎, 𝑠′ + 𝛾𝑉 𝑠′ 同様に 𝑄 𝑠, 𝑎 = 𝑠′ 𝑎′ 𝑃 𝑠′ 𝑠, 𝑎 𝑟 𝑠, 𝑎, 𝑠′ + 𝛾𝜋 𝑎′ 𝑠′ 𝑄 𝑠′ , 𝑎′ これをベルマン方程式と呼ぶ。 21
- 22.
- 23. Sarsa SarsaはQを以下の式で更新する学習アルゴリズム： 𝑄 𝑆𝑡, 𝐴𝑡 ← 𝑄 𝑆𝑡, 𝐴 𝑡 + 𝛼 𝑅𝑡+1 + 𝛾𝑄 𝑆𝑡+1, 𝐴 𝑡+1 − 𝑄 𝑆𝑡, 𝐴 𝑡 𝛼は学習率(0以上1以下の実数) 下記ベルマン方程式ではs’やa’についてsumを取っているが、 それを「実際に出てきたもの」で置き換えて、 「Pやπは未知だけど、実際の観測をたくさん集めれば Pやπを掛けてsumしたのと同じところに収束するよね」 という発想。 𝑄 𝑠, 𝑎 = 𝑠′ 𝑎′ 𝑃 𝑠′ 𝑠, 𝑎 𝑟 𝑠, 𝑎, 𝑠′ + 𝛾𝜋 𝑎′ 𝑠′ 𝑄 𝑠′, 𝑎′ 23
- 24. On-policyとOff-policy 日本語だと「方策オン型/方策オフ型」と言う Sarsaの元になったベルマン方程式はπを含んでい る。つまり、方策πが変われば解も変わる。 (これを表現するために𝑄 𝜋 (𝑠, 𝑎)と書いたりする) 𝑄 𝑠, 𝑎 = 𝑠′ 𝑎′ 𝑃 𝑠′ 𝑠, 𝑎 𝑟 𝑠, 𝑎, 𝑠′ + 𝛾𝜋 𝑎′ 𝑠′ 𝑄 𝑠′ , 𝑎′ SarsaはOn-policy。 24
- 25. ベルマン最適方程式 価値Qがわかってるなら「価値が最大の行動をす る」という方策(greedy方策)が最適。じゃあベル マン方程式のπをその方策で置き換えたら？ 𝑄∗ 𝑠, 𝑎 = 𝑠′ 𝑎′ 𝑃𝑠′ 𝑠, 𝑎 𝑟 𝑠, 𝑎, 𝑠′ + 𝛾max 𝑎′ 𝑄∗ 𝑠′ , 𝑎′ これをベルマン最適方程式という。 25
- 26. Q学習(Q-learning) Q学習はQを以下の式で更新する学習アルゴ リズム： 𝑄 𝑆𝑡, 𝐴𝑡 ← 𝑄 𝑆𝑡, 𝐴 𝑡 + 𝛼 𝑅𝑡+1 + 𝛾max 𝑎′ 𝑄 𝑆𝑡+1, 𝑎′ − 𝑄 𝑆𝑡, 𝐴 𝑡 要はSarsaのベルマン方程式をベルマン最適方程 式に変えたもの。Q学習は式に方策が入っていな いのでOff-policy。 26 解は方策の影響を受けないけど、探索範囲やどこを重点的に探索するかが 方策によって影響を受けるので、収束速度には影響があるよ。
- 27.
- 28.
- 29.
- 30. 三目並べ 2人のプレイヤーが交互に○と×を書いて 先に3つ並んだ方が勝ちの有名なゲーム。 この片方のプレイヤーをエージェントとする。 環境： 盤面ともう片方のプレイヤー 行動： どこに書くか決めて、書く 報酬：勝ったか負けたか 方策： 環境の状態と報酬を受け取って、行動を 決める関数 30
- 31.
- 32.
- 33.
- 34. 実験 ランダム同士の対戦は1万回中 先手勝ち: 5785, 後手勝ち:2918, 引き分け: 1297 だったので、0.578をベースラインとする。 Sarsa(先手)とランダム(後手)で10000試合し、 100試合ごとの勝率をプロットした。 Sarsaのパラメータ: π=greedy方策, α=0.5, γ=0.9 34
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42. 話の流れの整理 話すことのキューが長くなってきたので整理 • Sarsaを試したのでQ-learningを試して比較 • Greedy方策を試したのでε-Greedy方策を 試して比較 •その他 • 状態を圧縮したら？ • 指数平滑平均をやめたら？ 42
- 43. Q-LearningとSarsa+Greedy よしQ-Learningをためそう！と考えて： Sarsa: 𝑄 𝑆𝑡, 𝐴𝑡 ← 𝑄 𝑆𝑡, 𝐴 𝑡 + 𝛼 𝑅𝑡+1 + 𝛾𝑄 𝑆𝑡+1, 𝐴 𝑡+1 − 𝑄 𝑆𝑡, 𝐴 𝑡 Q-Learning: 𝑄 𝑆𝑡, 𝐴 𝑡 ← 𝑄 𝑆𝑡, 𝐴 𝑡 + 𝛼 𝑅𝑡+1 + 𝛾max 𝑎′ 𝑄 𝑆𝑡+1, 𝑎′ − 𝑄 𝑆𝑡, 𝐴 𝑡 Sarsaにgreedy方策を組み合わせた場合、 同じ更新式になりそうに思うが、正しいか？ 43
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53. 質疑 Q: なぜSarsaは崖から離れたのか？ A: 崖のそばが「確率εで-100食らう」低価値なマ ス目なので、価値の高い方に進んだ Q:失敗時のダメージが大きい問題設定だとSarsa の方が常に良い？ A: とも言えない。問題設定次第。このSlideの趣 旨は「Q学習が常に良いわけではない」 53
- 54.
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61.
- 62.
- 63. 実験 (状態, 行動)対を圧縮する方法は3通り用意した。 まず行動で選ばれている場所を+3する。 回転・鏡映の8通りを全部6**9の整数にして 一番小さいものを取る(Sym) 3**9の盤面をまず各ラインに分解し((6**3) **8) ライン内をソート(6**3→18)、 各ラインもソートし、18**8のtupleにする(Line1) Line1の(6**3→18)の所で2色の駒が存在するor3を 含まないもの同一視(18→6)して6**8のtupleにす る(Line2) 63
- 64. 結果 Raw: 0.45+-0.16 Sym: 0.80+-0.19 Line1:0.74+-0.14 Line2: 0.72+-0.12 どの圧縮手法も生の方法に比べて 2SD以上改善する Line*はもっと良くなると期待したのだが 意外とそうでもなかった。 64 (表記は「平均+-標準偏差*2」)
- 65.
- 66.
- 67.
- 68.
- 69.
- 70.
- 71. 状態数の雑な見積もり 「16種類の駒+空欄」が16か所あるので 17^16 だから 4.6e+19。46エクサ個。 ……これはさすがにPythonのリストでは無理だ。 71 なおオセロが1e+28,チェスが1e+50, 将棋が1e+71, 囲碁が1e+160, という見積もりがあるので相対的にはかなりやさしい問題である
- 72. 少しマジメに見積もる マジメに考えるとn種類の識別される駒をmマス に置く、すべて置かなくてもよい置き方は 𝑓 𝑛, 𝑚= ቊ 𝑛 + 1 … 𝑚 = 1 𝑛𝑓 𝑛 − 1, 𝑚 − 1 + 𝑓 𝑛, 𝑚 − 1 … else なので、 f(16, 16)=6199668952527617 f(15, 16)=1290434218669921 6e+13。4ケタ減ったけどまだペタ個オーダー。 72
- 73. scipy.sparse.dok_matrix たぶん到達不能局面が結構あると思うので 雑にdok_matrixにつっこむことにする。 dok_matrixはDictionary of Keys型スパース行列で ランダムアクセス性能がO(1)なので今回の目的に 適している。 <48661191875666868481x256 sparsematrix of type ‘<type ’numpy.float64‘>‘ with 0 stored elements in Dictionary Of Keys format> 無茶なサイズだが、問題なく動く。(see: 付録1) 73
- 74. 実験条件 Sarsa(後手)とランダムで100,000試合し、 Sarsaの1000試合ごとの勝率をプロットした。 ランダム同士の対戦は1万回中 先手勝ち: 5063, 後手勝ち:4757, 引き分け: 180 だったので、0.475をベースラインとする。 Sarsaのパラメータ: π=greedy方策, α=0.5, γ=0.9 74
- 75.
- 76.
- 77.
- 78.
- 79.
- 80.
- 81.
- 82. 参考文献 「コンピュータ囲碁における モンテカルロ法 ~ 理論編~」(2008年) http://minerva.cs.uec.ac.jp/~ito/entcog/contents/l ecture/date/20080614.html これからの強化学習http://amzn.to/2josIJ1 Reinforcement Learning: An Introduction https://webdocs.cs.ualberta.ca/~sutton/book/ebo ok/the-book.html 82