在強化學(xué)習(xí)（五）用時序差分法（TD）求解中，我們討論了用時序差分來求解強化學(xué)習(xí)預(yù)測問題的方法，但是對控制算法的求解過程沒有深入，本文我們就對時序差分的在線控制算法SARSA做詳細(xì)的討論。

SARSA這一篇對應(yīng)Sutton書的第六章部分和UCL強化學(xué)習(xí)課程的第五講部分。

1.SARSA算法的引入

SARSA算法是一種使用時序差分求解強化學(xué)習(xí)控制問題的方法，回顧下此時我們的控制問題可以表示為：給定強化學(xué)習(xí)的5個要素：狀態(tài)集SS, 動作集AA, 即時獎勵RR，衰減因子γγ, 探索率??, 求解最優(yōu)的動作價值函數(shù)q?q?和最優(yōu)策略π?π?。

這一類強化學(xué)習(xí)的問題求解不需要環(huán)境的狀態(tài)轉(zhuǎn)化模型，是不基于模型的強化學(xué)習(xí)問題求解方法。對于它的控制問題求解，和蒙特卡羅法類似，都是價值迭代，即通過價值函數(shù)的更新，來更新當(dāng)前的策略，再通過新的策略，來產(chǎn)生新的狀態(tài)和即時獎勵，進而更新價值函數(shù)。一直進行下去，直到價值函數(shù)和策略都收斂。

再回顧下時序差分法的控制問題，可以分為兩類，一類是在線控制，即一直使用一個策略來更新價值函數(shù)和選擇新的動作。而另一類是離線控制，會使用兩個控制策略，一個策略用于選擇新的動作，另一個策略用于更新價值函數(shù)。

我們的SARSA算法，屬于在線控制這一類，即一直使用一個策略來更新價值函數(shù)和選擇新的動作，而這個策略是????貪婪法，在強化學(xué)習(xí)（四）用蒙特卡羅法（MC）求解中，我們對于????貪婪法有詳細(xì)講解，即通過設(shè)置一個較小的??值，使用1??1??的概率貪婪地選擇目前認(rèn)為是最大行為價值的行為，而用??的概率隨機的從所有m個可選行為中選擇行為。用公式可以表示為：

π(a|s)={?/m+1???/mifa?=argmaxa∈AQ(s,a)elseπ(a|s)={?/m+1??ifa?=arg?maxa∈AQ(s,a)?/melse

2. SARSA算法概述

作為SARSA算法的名字本身來說，它實際上是由S,A,R,S,A幾個字母組成的。而S,A,R分別代表狀態(tài)（State），動作(Action),獎勵(Reward)，這也是我們前面一直在使用的符號。這個流程體現(xiàn)在下圖：

在迭代的時候，我們首先基于????貪婪法在當(dāng)前狀態(tài)SS選擇一個動作AA，這樣系統(tǒng)會轉(zhuǎn)到一個新的狀態(tài)S′S′, 同時給我們一個即時獎勵RR, 在新的狀態(tài)S′S′，我們會基于????貪婪法在狀態(tài)S‘′S‘′選擇一個動作A′A′，但是注意這時候我們并不執(zhí)行這個動作A′A′，只是用來更新的我們的價值函數(shù)，價值函數(shù)的更新公式是：

Q(S,A)=Q(S,A)+α(R+γQ(S′,A′)?Q(S,A))Q(S,A)=Q(S,A)+α(R+γQ(S′,A′)?Q(S,A))

其中，γγ是衰減因子，αα是迭代步長。這里和蒙特卡羅法求解在線控制問題的迭代公式的區(qū)別主要是，收獲GtGt的表達式不同，對于時序差分，收獲GtGt的表達式是R+γQ(S′,A′)R+γQ(S′,A′)。這個價值函數(shù)更新的貝爾曼公式我們在強化學(xué)習(xí)（五）用時序差分法（TD）求解第2節(jié)有詳細(xì)講到。

除了收獲GtGt的表達式不同，SARSA算法和蒙特卡羅在線控制算法基本類似。

3. SARSA算法流程

下面我們總結(jié)下SARSA算法的流程。

算法輸入：迭代輪數(shù)TT，狀態(tài)集SS, 動作集AA, 步長αα，衰減因子γγ, 探索率??,

輸出：所有的狀態(tài)和動作對應(yīng)的價值QQ

1. 隨機初始化所有的狀態(tài)和動作對應(yīng)的價值QQ. 對于終止?fàn)顟B(tài)其QQ值初始化為0.

2. for i from 1 to T，進行迭代。

a) 初始化S為當(dāng)前狀態(tài)序列的第一個狀態(tài)。設(shè)置AA為????貪婪法在當(dāng)前狀態(tài)SS選擇的動作。

b) 在狀態(tài)SS執(zhí)行當(dāng)前動作AA,得到新狀態(tài)S′S′和獎勵RR

c) 用????貪婪法在狀態(tài)S′S′選擇新的動作A′A′

d) 更新價值函數(shù)Q(S,A)Q(S,A):

Q(S,A)=Q(S,A)+α(R+γQ(S′,A′)?Q(S,A))Q(S,A)=Q(S,A)+α(R+γQ(S′,A′)?Q(S,A))

e)S=S′,A=A′S=S′,A=A′

f) 如果S′S′是終止?fàn)顟B(tài)，當(dāng)前輪迭代完畢，否則轉(zhuǎn)到步驟b)

這里有一個要注意的是，步長αα一般需要隨著迭代的進行逐漸變小，這樣才能保證動作價值函數(shù)QQ可以收斂。當(dāng)QQ收斂時，我們的策略????貪婪法也就收斂了。

4. SARSA算法實例：Windy GridWorld

下面我們用一個著名的實例Windy GridWorld來研究SARSA算法。

如下圖一個10×7的長方形格子世界，標(biāo)記有一個起始位置 S 和一個終止目標(biāo)位置 G，格子下方的數(shù)字表示對應(yīng)的列中一定強度的風(fēng)。當(dāng)個體進入該列的某個格子時，會按圖中箭頭所示的方向自動移動數(shù)字表示的格數(shù)，借此來模擬世界中風(fēng)的作用。同樣格子世界是有邊界的，個體任意時刻只能處在世界內(nèi)部的一個格子中。個體并不清楚這個世界的構(gòu)造以及有風(fēng)，也就是說它不知道格子是長方形的，也不知道邊界在哪里，也不知道自己在里面移動移步后下一個格子與之前格子的相對位置關(guān)系，當(dāng)然它也不清楚起始位置、終止目標(biāo)的具體位置。但是個體會記住曾經(jīng)經(jīng)過的格子，下次在進入這個格子時，它能準(zhǔn)確的辨認(rèn)出這個格子曾經(jīng)什么時候來過。格子可以執(zhí)行的行為是朝上、下、左、右移動一步，每移動一步只要不是進入目標(biāo)位置都給予一個 -1 的懲罰，直至進入目標(biāo)位置后獲得獎勵 0 同時永久停留在該位置。現(xiàn)在要求解的問題是個體應(yīng)該遵循怎樣的策略才能盡快的從起始位置到達目標(biāo)位置。

邏輯并不復(fù)雜，完整的代碼在我的github。這里我主要看一下關(guān)鍵部分的代碼。

算法中第2步步驟a,初始化SS,使用????貪婪法在當(dāng)前狀態(tài)SS選擇的動作的過程：

    # initialize state
    state = START

    # choose an action based on epsilon-greedy algorithm
    if np.random.binomial(1, EPSILON) == 1:
        action = np.random.choice(ACTIONS)
    else:
        values_ = q_value[state[0], state[1], :]
        action = np.random.choice([action_ for action_, value_ in enumerate(values_) if value_ == np.max(values_)])

算法中第2步步驟b,在狀態(tài)SS執(zhí)行當(dāng)前動作AA,得到新狀態(tài)S′S′的過程，由于獎勵不是終止就是-1，不需要單獨計算：

def step(state, action):
    i, j = state
    if action == ACTION_UP:
        return [max(i - 1 - WIND[j], 0), j]
    elif action == ACTION_DOWN:
        return [max(min(i + 1 - WIND[j], WORLD_HEIGHT - 1), 0), j]
    elif action == ACTION_LEFT:
        return [max(i - WIND[j], 0), max(j - 1, 0)]
    elif action == ACTION_RIGHT:
        return [max(i - WIND[j], 0), min(j + 1, WORLD_WIDTH - 1)]
    else:
        assert False

算法中第2步步驟c,用????貪婪法在狀態(tài)S‘S‘選擇新的動作A′A′的過程：

        next_state = step(state, action)
        if np.random.binomial(1, EPSILON) == 1:
            next_action = np.random.choice(ACTIONS)
        else:
            values_ = q_value[next_state[0], next_state[1], :]
            next_action = np.random.choice([action_ for action_, value_ in enumerate(values_) if value_ == np.max(values_)])

算法中第2步步驟d,e,更新價值函數(shù)Q(S,A)Q(S,A)以及更新當(dāng)前狀態(tài)動作的過程：

        # Sarsa update
        q_value[state[0], state[1], action] += \
            ALPHA * (REWARD + q_value[next_state[0], next_state[1], next_action] -
                     q_value[state[0], state[1], action])
        state = next_state
        action = next_action

代碼很簡單，相信大家對照算法，跑跑代碼，可以很容易得到這個問題的最優(yōu)解，進而搞清楚SARSA算法的整個流程。

5. SARSA(λλ)

在強化學(xué)習(xí)（五）用時序差分法（TD）求解中我們講到了多步時序差分TD(λ)TD(λ)的價值函數(shù)迭代方法，那么同樣的，對應(yīng)的多步時序差分在線控制算法，就是我們的SARSA(λ)SARSA(λ)。

TD(λ)TD(λ)有前向和后向兩種價值函數(shù)迭代方式，當(dāng)然它們是等價的。在控制問題的求解時，基于反向認(rèn)識的SARSA(λ)SARSA(λ)算法將可以有效地在線學(xué)習(xí)，數(shù)據(jù)學(xué)習(xí)完即可丟棄。因此SARSA(λ)SARSA(λ)算法默認(rèn)都是基于反向來進行價值函數(shù)迭代。

在上一篇我們講到了TD(λ)TD(λ)狀態(tài)價值函數(shù)的反向迭代，即：

δt=Rt+1+γV(St+1)?V(St)δt=Rt+1+γV(St+1)?V(St)

V(St)=V(St)+αδtEt(S)V(St)=V(St)+αδtEt(S)

對應(yīng)的動作價值函數(shù)的迭代公式可以找樣寫出，即：

δt=Rt+1+γQ(St+1,At+1)?Q(St,At)δt=Rt+1+γQ(St+1,At+1)?Q(St,At)

Q(St,At)=Q(St,At)+αδtEt(S,A)Q(St,At)=Q(St,At)+αδtEt(S,A)

除了狀態(tài)價值函數(shù)Q(S,A)Q(S,A)的更新方式，多步參數(shù)λλ以及反向認(rèn)識引入的效用跡E(S,A)E(S,A)，其余算法思想和SARSA類似。這里我們總結(jié)下SARSA(λ)SARSA(λ)的算法流程。

算法輸入：迭代輪數(shù)TT，狀態(tài)集SS, 動作集AA, 步長αα，衰減因子γγ, 探索率??,多步參數(shù)λλ

輸出：所有的狀態(tài)和動作對應(yīng)的價值QQ

1. 隨機初始化所有的狀態(tài)和動作對應(yīng)的價值QQ. 對于終止?fàn)顟B(tài)其QQ值初始化為0.

2. for i from 1 to T，進行迭代。

a) 初始化所有狀態(tài)動作的效用跡EE為0，初始化S為當(dāng)前狀態(tài)序列的第一個狀態(tài)。設(shè)置AA為????貪婪法在當(dāng)前狀態(tài)SS選擇的動作。

b) 在狀態(tài)SS執(zhí)行當(dāng)前動作AA,得到新狀態(tài)S′S′和獎勵RR

c) 用????貪婪法在狀態(tài)S′S′選擇新的動作A′A′

d) 更新效用跡函數(shù)E(S,A)E(S,A)和TD誤差δδ:

E(S,A)=E(S,A)+1E(S,A)=E(S,A)+1

δ=Rt+1+γQ(St+1,At+1)?Q(St,At)δ=Rt+1+γQ(St+1,At+1)?Q(St,At)

e) 對當(dāng)前序列所有出現(xiàn)的狀態(tài)s和對應(yīng)動作a, 更新價值函數(shù)Q(s,a)Q(s,a)和效用跡函數(shù)E(s,a)E(s,a):

Q(s,a)=Q(s,a)+αδE(s,a)Q(s,a)=Q(s,a)+αδE(s,a)

E(s,a)=γλE(s,a)E(s,a)=γλE(s,a)

f)S=S′,A=A′S=S′,A=A′

g) 如果S′S′是終止?fàn)顟B(tài)，當(dāng)前輪迭代完畢，否則轉(zhuǎn)到步驟b)

對于步長αα，和SARSA一樣，一般也需要隨著迭代的進行逐漸變小才能保證動作價值函數(shù)QQ收斂。

6. SARSA小結(jié)

SARSA算法和動態(tài)規(guī)劃法比起來，不需要環(huán)境的狀態(tài)轉(zhuǎn)換模型，和蒙特卡羅法比起來，不需要完整的狀態(tài)序列，因此比較靈活。在傳統(tǒng)的強化學(xué)習(xí)方法中使用比較廣泛。

但是SARSA算法也有一個傳統(tǒng)強化學(xué)習(xí)方法共有的問題，就是無法求解太復(fù)雜的問題。在 SARSA 算法中，Q(S,A)Q(S,A)的值使用一張大表來存儲的，如果我們的狀態(tài)和動作都達到百萬乃至千萬級，需要在內(nèi)存里保存的這張大表會超級大，甚至溢出，因此不是很適合解決規(guī)模很大的問題。當(dāng)然，對于不是特別復(fù)雜的問題，使用SARSA還是很不錯的一種強化學(xué)習(xí)問題求解方法。