機率圖模型(六):強化學習機率推斷
每日一句
There is not one big cosmic meaning for all, there is only the meaning we each give to our life。 — Anaïs Nin
本文大綱如下:
前言
透過將學習問題的全部內容用機率理論的術語來表達,機率圖模型(PGM)提供了一致和靈活的框架來設計原則性的目標,建立反映世界因果結構的模型,並允許針對廣泛的問題領域部署一套通用的推理方法。最重要的是,在PGM的框架中,只需寫下模型和提出問題,學習和推理的目標就會自動出現。
強化學習
(reinforcement learning)或最優控制的決策問題被設計為一個框架,該框架旨在透過用效用或獎勵來增強機率模型,其中
獎勵函式
( eward function)被視為一個外在的訊號。儘管底層動態系統仍可由機率圖模型描述,確定最佳行動方案(計劃)或最佳決策策略(政策)是一個與機率推理完全不同的問題型別。後面將介紹:決策問題只是一個特定型別的圖模型中的推理問題。將決策形式化為機率圖模型中的推理,原則上可以讓我們使用大量的近似推理工具,以靈活和強大的方式擴充套件模型,並對組合性和部分觀察性進行推理。
具體來說,我們將討論強化學習或最優控制問題的泛化,有時被稱為
最大熵強化學習
(maximum entropy reinforcement learning),在確定性動力學的情況下相當於精確的機率推理,而在隨機動力學的情況下相當於變分推理。雖然具體的推導方法不同,但基礎框架和最佳化目標是相同的。所有這些方法都涉及到將控制或強化學習明確或隱含地表述為PGM,然後使用PGM學習和推理方法來解決問題。
將強化學習和決策表述為推理,還引出了提供了:基於最大熵的自然探索策略,
逆向強化學習
(inverse reinforcement learning),以及部署強大的近似推理演算法來解決強化學習問題的能力。此外,機率推理和控制之間的聯絡為獎勵函式的意義及其對最優策略的影響提供了機率解釋。強化學習中獎勵或成本函式的設計往往是藝術與科學的結合,獎勵的選擇往往模糊了演算法和目標之間的界限,特定任務的啟發式方法和任務目標結合成一個獎勵。在作為推理的控制框架中,獎勵勾勒一個隨機變數的分佈,最優策略的目的是明確地匹配由獎勵和系統動力學定義的機率分佈。
強化學習介紹
在監督學習中,我們有一組資料
,我們的目的是學習一個近似於
的模型。在無監督學習中,我們有一組資料
,我們尋求學習一個接近
的模型。強化學習是一個閉環,AGENT可以與世界互動,獲得樣本並學習一個策略,在給定的環境中實現獎勵函式的最大化。
強化學習可以稱為馬爾可夫決策過程(Markov Decision Process, MDP)。一個MDP由一組
、一組可能的
行動
、
環境動態
和一個
獎勵函式
指定。環境動力學(environment dynamics)規定了agent在採取行動
後從狀態
到狀態
的轉移機率。獎勵函式提供了一個標量反饋,指定了行動的效用。該MDP中的
軌跡
(trajectory)表示為
利用這個框架,我們可以解決兩個常見的問題。第一個問題是找到一個策略
,為每個給定的狀態輸出行動,使沿軌跡的累積獎勵達到最大。另外,我們可能給定的一組最優軌跡找出MDP。第一個問題是標準的RL目標,而第二個問題則被稱為逆向強化學習。
定義
從時間點t開始的累積回報被定義為從時間點t開始的累積獎勵
如果
,總和就會發散,我們可以使用折扣係數
的概念,其中
,得到一個有限的總和。
策略是一種從狀態到行動的對映。它可以是確定性的,也可以是隨機性的。在最一般的形式下,在任何狀態下,s
狀態
的價值函式被定義為從狀態
開始並遵循策略
時獲得的累積獎勵期望。
狀態-行動對的價值函式或更多地被稱為狀態-行動對(s,a)的
函式,被定義為從狀態
開始,採取行動a並在此後遵循策略
時獲得的累積獎勵期望。
價值和Q函式的貝爾曼方程
鑑於價值和
函式的定義,自然可以推匯出以下貝爾曼方程。
最優策略和價值函式
RL的目標:找到能實現最高預期收益的最優政策。如果一個策略
在所有狀態下的預期收益都大於
,則該策略優於或等於
:
鑑於此,我們可以定義最優價值和Q函式,以及貝爾曼最優方程:
其中
是折扣因子,表示未來狀態下獎勵的重要性。上述貝爾曼更新也可以用下圖來說明。
如果我們能計算出最優的
值
,那麼我們可以恢復最優政策
:
為了恢復一組最優軌跡,我們只需要執行最優策略:
設
。
作為完整軌跡。
。在圖模型中推理,可以計算出:
此外,我們還知道以下的軟性關係:
我們也能得到:
其中,我們通常稱
為
優勢函式
(advantage function)。
推理程式想要最佳化的目標是
散度:
其中
是策略的熵。第一項只是標準的RL目標,而第二個熵項是用於正則化。
對於確定性動態,我們可以直接得到這個目標。對於隨機動態,我們從ELBO中得到(後面介紹)。
小結
強化學習通常被建模為馬爾可夫決策過程(MDP),一個典型的MDP有4個主要部分。
初始狀態分佈:
轉移機率:
策略:
獎勵:
為了用圖形模型表示MDP,我們引入了一個輔助變數
來定義最優軌跡的分佈。圖模型的表示方法為:
初始狀態分佈:
轉移機率:
策略:
獎勵:
最佳化:
引入的輔助變數
允許我們對次優行為進行建模,並可用於解決逆向強化學習問題。
的圖模型表示為我們提供了一種透過推理演算法解決控制和規劃問題的選擇。
策略梯度
在本節中,我們將研究直接最佳化標準RL目標函式
。
是策略函式的引數,即
,相當於找到最佳策略函式。
首先,讓我們從定義軌跡的機率分佈開始。任何軌跡
的機率由以下公式給出:
現在,
的最優值是使我們的報酬期望最大化,即:
目標函式
為
因此,最優的
是使目標函式最大化的
我們可以透過提取軌跡
、計算期望的蒙特卡洛估計來估計這個目標函式
對目標函式
進行梯度上升來最佳化。在目標函式的近似形式中,
對引數
沒有明確的依賴性。這可能會使我們認為
。當然不是,對
的依賴被加入蒙特卡洛近似中。為了明確這種依賴性,我們可以把
寫成如下形式:
其中第二步來自期望的定義,第三步是由於積分和梯度運算元的線性,第四步是由於
不依賴
。
很難計算,因為這個積分沒有明顯的蒙特卡洛估計,
取決於環境的動態變化
,我們可能不知道這種變化是什麼。
我們可以使用對數梯度技巧來輕鬆估計
。更具體地說 :
因此,
可以寫為:
現在,我們將
代入到
的表示式中
因此,我們把
寫成對
的期望
試著評估
,首先寫出
變為:
最後,將
的表示式代入
的表示式,可以得到:
透過抽取樣本軌跡
,用蒙特卡洛平均值來估計這個期望值 :
現在可以透過執行梯度上升法來更新
的估計:
很明顯,更新規則試圖提高總回報較高軌跡的權重(因為
)較高),並抑制那些總回報較低的軌跡(因為
較低)。
將所有步驟放在一起,我們就有了REINFORCE演算法:
Value Based Reinforcement Learning
我們可以學習最優價值函式,並從中檢索最佳策略,而不是學習強化學習代理的策略。如果我們得到
的值,我們可以得到最優策略為
。
策略迭代
策略迭代分兩步進行。第一步,策略評估,使用bellman更新迭代評估策略
函式。
第二步是貪婪地更新策略,採取具有最高
值的行動。
策略改進步驟保證至少和當前策略一樣好。這可以直觀地理解為以下幾點。假設我們在第一步採取了
的行動,並依照策略
。這樣做比從一開始就遵循政策
要好,或者至少是一樣好,因為我們採取了具有最高
值的行動。然後,當我們從
轉移到狀態
時,我們可以擴充套件這個論點。也就是說,我們選擇行動
。 從狀態
選擇行動
,並從那裡開始遵循策略
。同樣地,在每一步跟隨更新的策略,保證至少與當前策略一樣好。
上圖顯示了策略迭代。策略驗證步驟評估了正確的價值函式。對策略的貪婪更新改善了策略,但價值函式不再正確。經過多個迭代步驟,這兩個步驟都收斂到了真實值。
價值迭代
我們是否有辦法避免明確表示策略,而只根據價值函式進行強化學習。我們可以將策略評估和策略改進步驟合併為一個步驟。
在bellman更新中,我們用
代替
由於替換,我們可以用價值函式來表示更新方程。策略迭代和價值迭代之間有一個關鍵區別。策略迭代對
值進行多步更新,直到收斂,然後對策略進行一次貪婪的更新。價值迭代對策略的每一次貪婪更新都做一次價值函式的更新。
擬合Q迭代
策略迭代和價值迭代只適用於小規模的離散狀態空間。對於一個有
狀態和每個狀態有
行動的環境,我們需要儲存和更新
值。
對於大的或連續的狀態空間,我們可以用一個引數為
的函式近似器來近似值函式
。我們可以使誤差最小化:
這裡
。我們可以用隨機梯度下降法使這個目標最小化。在更新引數時,我們不考慮目標相對於引數
的梯度。我們可以像在策略迭代中一樣對策略進行貪婪的更新。在實踐中,擬合Q-learning非常不穩定。
soft策略梯度和soft Q-學習
soft策略梯度寫為:
為了計算第二項的梯度,我們使用軌跡的期望計算:
從RL中的後向資訊來看
從這兩個方程中, 可得
為了擺脫的
項,我們用
次抽樣軌跡對其進行近似。展開soft策略梯度並對引數
求導,得到:
由於括號內包含
的項成為
。展開與
有關的項,我們得到:
這個方程的結果與Q-learning更新非常相似:
其中價值函式
定義為:
從技術上講,我們可以在Q函式的exp裡面新增一個溫度引數
,如exp
。較高的
值對應於更多的 “隨機 ”政策,
接近於0意味著較少的隨機性政策。
RL/控制作為推理
MDP作為圖模型
標準MDP的圖模型顯示下圖的左邊。狀態是一個馬爾可夫鏈,狀態和行動都是隨機變數。
在MDP中,一些轉換會得到高額的獎勵,我們希望提高高額獎勵的軌跡的權重,降低次優軌跡的權重。因此,我們用一個最佳化變數
來增強圖模型,該變數是可觀察的,使其成為一個隱馬爾可夫過程。最佳化變數的條件分佈是
。高獎勵意味著在時間點
上成為最優的機率很高。請注意,這裡我們假設獎勵滿足:
是一個機率分佈。
為什麼最優性變數
很重要?
輔助變數
使我們能夠將獎勵資訊納入機率生成過程,以便對軌跡進行取樣。我們可以在這個隱馬爾科夫模型中使用機率推理演算法解決控制和規劃問題。
它允許我們以機率方式指定一個最佳行為的模型,這對逆向RL很重要。
還解釋為什麼隨機行為可能是首選(對於解釋和轉移學習的觀點)。
鑑於圖模型,我們可以
給出一個獎勵,確定一個軌跡成為最優的可能性有多大。在數學上,我們可以計算出
,即一個軌跡
在整個軌跡中表現為最優的機率。
給定一個最優軌跡的集合,推斷出獎勵和先驗,這是一個逆向RL問題。
該問題是一個特徵化的CRF。透過恢復引數化的勢能函式
和
,我們可以學習從軌跡中恢復的獎勵。請注意,CRF是無向的,不具有因果結構;這種模型的限制性更強,被稱為MEMM。
給定獎勵,透過計算
現在我們可以不解決最佳化問題,而是解決推斷問題。
透過推理實現最優策略
現在我們的目標是透過標準的訊息傳遞演算法推斷出最優策略
。只要計算出
,表示從
的狀態和行動開始,從
到
的最優軌跡的機率。我們還引入了
資訊。然後可以遞迴地計算這些:
那麼,最佳行動分佈可以透過兩個後向資訊得出:
然後,最佳行動分佈可以透過兩個後向資訊得出這裡我們假設行動先驗是一個均勻分佈
。
然後,我們引入對數空間的資訊:
實際上,對數資訊
對應於軟版的狀態行動和狀態價值函式。行動分佈與優勢值(advantage value)成正比。此外,我們可以推匯出
的以下關係 :
因此,
可以被看作是
的軟最大值。當動態是確定的,第二個關係正是貝爾曼方程的備份(backup):
然而,當動態是隨機的,更新是樂觀的,因為它將主要由下一個狀態的最大值決定,這就產生了尋求風險的行為。這個問題將在下一節透過變分推理得到緩解。總之,在PGM的基礎上增加了最佳化變數,我們將最優控制簡化為類似HMM模型的推理,並將其與動態規劃、RL的值迭代聯絡起來。
與變分推斷的聯絡
推理最佳化目標
回顧一下,最優軌跡分佈:
現在我們的目標是最佳化一個近似策略,使之與這個策略分佈相閉。策略為
, 那麼它在確定性動力學下的軌跡分佈 (其中
:
精確推理下
。因此,我們可以把最佳化目標看作是最大化負
散度:
現在,在確定性條件下的動態為-
而在隨機條件下的動態則為 -
這裡,我們想問的不是樂觀項(它假定如果任何一個未來狀態有高回報,而不考慮導致該狀態的中間狀態,那麼指數項將只有利於該高回報狀態),而是鑑於過去獲得了高回報,在轉移機率沒有改變的情況下,行動機率是多少?
變分推斷進行控制
為了解決上述問題,我們將使用變分推斷,其目標是找到
,使其接近
,同時動態保持在
。
最佳軌跡的分佈為
策略產生分佈為
因此,我們可以計算ELBO:
對可觀察變數的對數機率使用Jensen不等式計算ELBO。現在的目標由兩部分組成的,就像確定性的情況一樣,但在變分分佈方面。第一個專案是由變分策略導致收益的期望,第二個專案是變分策略的熵。現在,為了得到最優政策,有
進一步求解,有
當
時有最小值
價值函式為:
參考文獻
Reinforcement learning and control as probabilistic inference: Tutorial and review Levine, S。, 2018。 arXiv preprint arXiv:1805。00909。
下一篇:蟑螂怎麼解決?