![强化学习](https://wfqqreader-1252317822.image.myqcloud.com/cover/245/34233245/b_34233245.jpg)
3.6 实例讲解
本节以在5×5的网格世界中寻找宝藏为例,分别使用策略迭代和值迭代算法寻找最优策略,并比较两种算法在处理上的异同,以及两者的运行效率。
3.6.1 “找宝藏”环境描述
1.环境描述
首先构建寻宝环境的马尔可夫决策模型M=<S,A,P,R,γ>。
如图3-5所示为5×5的网格世界,其状态空间为S={0,1,…,24},其中状态8为宝藏区。动作空间A={UP,RIGHT,DOWN,LEFT},宝藏区回报为r=0,其他位置回报为r=-1。
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-P61_3028.jpg?sign=1739339879-9loehzNr83Psev2EdDoLvqAE5G29nLWo-0-77abc494d75dc281850bb0bc289e2b81)
图3-5 5×5网格世界
当智能体位于网格世界边缘位置时,任何使其离开网格世界的行为都会使其停留在当前位置。例如,当位于0位置时,采取向上的行为,a=UP,智能体获取-1的回报后,重新回到位置0。当智能体位于宝藏区时,则无论采取何种行为,均会产生0回报,且位置不变。当智能体位于其他位置时,采取任何一个行为,则会向相应的方向移动一格。状态转移概率。折扣因子γ=1。
求解此网格世界寻找宝藏的最优策略。
2.环境代码
接下来基于gym构建寻找宝藏的环境,以下代码主要定义了寻宝藏MDP模型的状态空间、行为空间、状态转移概率和回报等信息。此环境代码较为简单,读者可结合注释,加深对此代码的理解。
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T61_20875.jpg?sign=1739339879-Qcu1CkUJvfZL4QkzPpzfMHYf7jO8LsGG-0-8aee5577316740589050162214d654a0)
3.6.2 策略迭代
1.算法详情
使用策略迭代法对此问题进行求解。假设初始策略为均匀随机策略:
π(UP|·)=0.25,π(RIGHT|·)=0.25,π(DOWN|·)=0.25,π(LEFT|·)=0.25
(1)首先评估给定随机策略下的值函数,使用贝尔曼期望方程迭代计算直至值函数收敛。
初始所有状态值函数全部为0。在对值函数进行迭代计算时,使用如下公式:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-P63_20892.jpg?sign=1739339879-oHJofPooREfDDC7aAmO2qtaMoxOvwCTr-0-6f84e5e9c124f07716fce378797cb40b)
k=0时,随机策略下的值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T63_20881.jpg?sign=1739339879-Nc9AKrdiZHTu7ohxCUIV2tyyoQLzOeSQ-0-0fed4ab072de6ebe0acc5e13c5070911)
k=1时,随机策略下的值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T63_20882.jpg?sign=1739339879-oP17oO51pj2SWoX30j3spA536lF504oe-0-87554aacbd3e17419f7bf677d84ce7b6)
k=2时,随机策略下的值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T64_20883.jpg?sign=1739339879-6Dy05IlERezvn14dk7SJIL9vhJFjZIdp-0-021d0071e3161957c2cb8f6b6ce12510)
k=3时,随机策略下的值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T64_20884.jpg?sign=1739339879-vtb7XtzLsKjRDnMLUGllAZDlXWtPv3Dm-0-10c008bf64d9470eda761cb488e0c3e9)
k=4时,随机策略下的值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T64_20885.jpg?sign=1739339879-kAK2fVF8UEnC0f3Iup5qH3esoldbAn1x-0-9cc1121b4ae804570cda434f609fe952)
k=41时,随机策略下的值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T64_20886.jpg?sign=1739339879-ruBG8QybFLlcnENJE0uLnYK8Qo2x3F4z-0-0a500a67a11ae8d919439e4ec64f0683)
k=338时,随机策略下的值函数收敛,收敛结果为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T65_20909.jpg?sign=1739339879-FQW1rUo0PoLQ0Q2dEXGhaSRdubOIIWaD-0-29cea196eaa3922e2e01ca238c6b8432)
对应代码如下。
V = np.zeros(env.nS) i = 0 while True: value_delta = 0 # 遍历各状态 for s in range(env.nS): v = 0 # 遍历各行为的概率(上,右,下,左) for a, action_prob in enumerate(policy[s]): # 对于每个行为确认下个状态 # 四个参数: prob:概率,next_state: 下一个状态的索引, reward: 回报, # done:是否是终止状态 for prob, next_state, reward, done in env.P[s][a]: # 使用贝尔曼期望方程进行状态值函数的求解 v += action_prob * prob * (reward + discount_factor * V[next_state]) # 求出各状态和上一次求得状态的最大差值 value_delta = max(value_delta, np.abs(v - V[s])) V[s] = v
(2)使用如下公式:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-P65_20912.jpg?sign=1739339879-friczKDfkTFQFJhbG5lVDpjw5ZMTUS3j-0-edd566d7933e6c52672a59b58d361cb0)
对收敛的值函数,使用贪心算法进行策略改进,求取
对应的改进后的策略π1,则有π1:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T65_20919.jpg?sign=1739339879-p1KVnufviBISxEHCscvo3KukCtjNY4Io-0-6df5c847896ea77a538c9f0310bf0c46)
对应代码如下:
# 评估当前的策略,输出为各状态的当前的状态值函数 V = policy_eval_fn(policy, env, discount_factor) # 定义一个当前策略是否改变的标识 policy_stable = True # 遍历各状态 for s in range(env.nS): # 取出当前状态下最优行为的索引值 chosen_a = np.argmax(policy[s]) # 初始化行为数组[0,0,0,0] action_values = np.zeros(env.nA) for a in range(env.nA): # 遍历各行为 for prob, next_state, reward, done in env.P[s][a]: # 根据各状态值函数求出行为值函数 action_values[a] += prob * (reward + discount_factor * V[next_state]) # 输出一个状态下所有的可能性 best_a_arr, policy_arr = get_max_index(action_values) if chosen_a not in best_a_arr: policy_stable = False policy[s] = policy_arr
(3)继续使用贝尔曼期望方程求取当前策略π1下的值函数,直至值函数收敛。计算过程与(1)相同。
经过5轮迭代,值函数收敛,得到为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T66_20926.jpg?sign=1739339879-wPfPTbtg5Qgq1kdGYrGgZ7MYHZ3Amw8X-0-97603f7bf8372e824727737d8fac0590)
(4)针对值函数,进行第二次策略改善,得到π2。
(5)继续求取π2对应的值函数(策略评估),针对收敛的值函数进行第三次策略改进,得到π3。经过三次策略改进,策略收敛。
对应最优值函数为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T67_20935.jpg?sign=1739339879-wlenL0eByrPNajVwS7W9zV3iWMUA31Af-0-a2c65288198caec198808e5cd97c91be)
最优策略π*(π3)为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T67_20936.jpg?sign=1739339879-6attpsrwSnVZIFO6SA3NL7pBqGg2TGo0-0-4f2aa01c3c6af29de0335b822ecc6d79)
代码如下。
if policy_stable: return policy, V
policy_stable初始为True,策略未达到收敛时不会输出策略和值函数,只有达到最优收敛之后结束迭代时,才会输出最优策略和值函数。
2.核心代码
策略迭代算法主要包含两步,即策略评估和策略改进,重点包含了两个函数policy_eval方法和policy_improvement方法。
policy_eval方法是策略评估方法,输入要评估的策略policy,环境env,折扣因子discount_factor,阈值threshold。输出当前策略下收敛的值函数V。
policy_improvement是策略改进方法,输入为环境env,策略评估函数policy_eval,折扣因子discoun t_factor。输出为最优值函数和最优策略。
(1)首先展示策略评估方法:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T67_20942.jpg?sign=1739339879-7EGN9TeomYwMWlFvsBkDB4UUKDbgHzDW-0-2c14284c4b77f9a5fb84c81d5e707862)
(2)策略改进方法通过调用策略评估方法实现。
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T68_20944.jpg?sign=1739339879-RsrUi8df1W537yokzXPcaTTk8yjY2YMh-0-d9c003a6c4ce97dbe451ba34a01ed298)
3.6.3 值迭代
1.算法详情
在进行一次策略评估(即求取当前策略下的值函数)之后就进行策略改进,这种方法称为值函数迭代算法。即,在每次进行值函数计算时,直接选择那个使得值函数最大的行为。
(1)初始值函数为(k=0):
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T70_20948.jpg?sign=1739339879-wEfd3efQXZ4lsIKdatxcICpd8wndGqsd-0-124777d04b70e6c4e72b937e187d19f2)
代码如下。
V = np.zeros(env.nS)
(2)使用贝尔曼最优方程,直接使用当前状态的最大行为值函数更新当前状态值函数。
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-P70_20952.jpg?sign=1739339879-kDdPt2oFSV5Zeskb2UoBq3UCD6A7tnFi-0-19978b15ceae47343e101459fa360016)
第一次迭代(k=1),得为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T70_20954.jpg?sign=1739339879-vTbmxylmnlHl7oZkLW7bV5INuJiSWKlH-0-00246060567a4467c33dbd770d102293)
第二次迭代(k=2),得为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T71_20966.jpg?sign=1739339879-IwADwXPqtWE2Bbh9obrpDni0NPAZeXYh-0-fec477b883473c44e3dd4f36ebca0d72)
第三次迭代(k=3),得为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T71_20967.jpg?sign=1739339879-rXPUfVwXNTIP3VB9ObOkUOpXQuSkGP78-0-886966a976e65f519da0bad9c0db6bbe)
第七次之后各状态的最优行为值函数已经收敛,为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T71_20968.jpg?sign=1739339879-Z553ziL3kMMNRvVwV3qsS8nPIh3ujFTb-0-1d510825f02c33b13f000c03142a1fae)
对应的最优策略为:
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T71_20969.jpg?sign=1739339879-rbhTtM9OAcF8rwAnDi6uVadVZGR9w2mD-0-103c1fef6fe198e8c6f3dd31196328d5)
求取各状态下最大行为值函数代码如下:
V = np.zeros(env.nS) while True: # 停止条件 delta = 0 # 遍历每个状态 for s in range(env.nS): # 计算当前状态的各行为值函数 q = one_step_lookahead(s, V) # 找到最大行为值函数 best_action_value = np.max(q) # 值函数更新前后求差 delta = max(delta, np.abs(best_action_value - V[s])) # 更新当前状态的值函数,即将最大的行为值函数赋值给当前状态,用以更新当前状态的 # 值函数 V[s] = best_action_value i_num += 1 # 如果当前状态值函数更新前后相差小于阈值,则说明已经收敛,结束循环 if delta < threshold: break
求取最优策略的代码如下。
# 初始化策略 policy = np.zeros([env.nS,env.nA]) # 遍历各状态 for s in range(env.nS): # 根据已经计算出的V,计算当前状态的各行为值函数 q = one_step_lookahead(s, V) # 求出当前最大行为值函数对应的动作索引 # 输出一个状态下所有的可能性 best_a_arr, policy_arr = get_max_index(q) # 将当前所有最优行为赋值给当前状态 policy[s] = policy_arr
2.核心代码
值迭代方法将策略改进视为值函数的改进,每一步都求取最大行为值函数,用最大行为值函数更新当前状态值函数。值迭代方法为value_iteration,输入为环境env,阈值threshold,折扣因子discount_factor。输出为最优值函数和最优策略。在进行值函数更新时,使用了最优贝尔曼方程。其中方法one_step_lookahead用以求取当前状态的所有行为值函数。
代码如下。
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T73_20973.jpg?sign=1739339879-uHy2NkTHWJZ9KaPbz5YeDNdxCYmKuoa0-0-f7c79dfd7bb4a098a7a856d200e5f3ed)
![](https://epubservercos.yuewen.com/C17FFE/18320967008553606/epubprivate/OEBPS/Images/Figure-T74_20974.jpg?sign=1739339879-yYzxiXliQzwKvEtQhyUn0buYKXSIQP8D-0-69ff70606a68231ffca6739ca1677ad4)
3.6.4 实例小结
本节分别使用策略迭代和值迭代解决同一个网格世界寻找宝藏的问题,均给出了最优策略。
从策略迭代的代码可以看到,进行策略改进之前需要得到收敛的值函数。值函数的收敛往往需要很多次迭代。例如,在第一次策略改进之前,进行了338次迭代。进行策略改进之前一定要等到策略值函数收敛吗?答案是不需要。依然以第一次策略改进之前策略评估为例,策略评估迭代41次和迭代338次所得到的贪心策略是一样的,可见策略迭代方法在效率方面存在问题。
相比而言,值迭代方法就高效得多,每一次都直接用最大的行为值函数更新当前状态的值函数,直至值函数收敛,输出最优策略,其解决同样的问题仅仅需要7次迭代。