强化学习之马尔科夫过程

马尔可夫过程

马尔可夫决策过程（Markov Decision Processes,MDPs）是对强化学习问题的数学描述。几乎所有的RL问题都能用MDPs来表述：

• 最优控制问题可以描述为连续MDPs
• 部分观测环境可以转化成POMDPs
• **机问题是只有一个状态的MDPs

本文中介绍的MDPs是在全观测的环境下进行的！

马尔科夫性

如果在t时刻的状态St$S_t$满足如下等式，那么这个状态被称为马尔科夫状态，或者说该状态满足马尔科夫性。

• 状态St$S_t$包含了所有历史相关信息，或者说历史的所有状态的相关信息都在当前状态St$S_t$上体现出来
• 一旦St$S_t$知道了，那么S1,S2,...,St−1$S_1,S_2,...,S_{t-1}$都可以被抛弃
• 数学上可以认为状态是将来的充分统计量，这里要求环境全观测，比如下棋时，只关心当前局面，打俄罗斯方块时，只关心当前屏幕

状态转移矩阵

状态转移概率指从一个马尔科夫状态s跳转到后继状态 s′$s^{{}^{\prime }}$的概率

所有的状态组成行，所有的后继状态组成列，我们得到状态转移矩阵

n表示状态的个数，每行元素相加和等于1

状态转移函数

我们可以将状态转移概率写成函数形式

• ∑s′P(s′|s)=1$\sum _{s^{{}^{\prime }}}P(s^{{}^{\prime }}|s)=1$
• 状态数量太多或者无穷大（连续状态）时，更适合使用状态转移函数，此时∫s′P(s′|s)=1${\int }_{s^{{}^{\prime }}}P(s^{{}^{\prime }}|s)=1$

马尔可夫过程（Markov process,MP）

马尔可夫过程是一个无记忆的随机过程，即一些马尔可夫状态的序列，马尔可夫过程可以由一个二元组来定义 < S,P >，S表示状态的集合，P描述状态转移矩阵
注：虽然我们不知道P的具体值，但是通常我们假设P存在且稳定，当P不稳定时，不稳定环境在线学习，快速学习

如上图：

• 一个学生每天需要学习三个科目，然后通过测验
• 有的可能智学苑两个科目之后直接睡觉
• 一旦挂科有可能需要重新学习某些科目
• 该过程用椭圆表示普通状态，每条线上的数字表示从一个状态跳转到另一个状态的概率
• 方块表示终止状态
• 终止状态的定义有两种：
  
  • 时间终止
  • 状态终止

由于马尔可夫过程可以用图中的方块和线条表示，所以马尔可夫过程也成为马尔可夫链

片段

强化学习中，从初始状态S1$S_1$到终止状态的序列过程，被称为一个片段S1,S2,...,ST$S_1,S_2,...,S_T$

• 如果一个任务总以终止状态结束，那么这个任务被称为片段任务
• 如果一个任务会没有终止状态，会被无限执行下去，被称为连续性任务

马尔可夫奖励过程（MRP）

马尔可夫链主要描述的是状态之间的转移关系，在这个转移关系上赋予不同的奖励值即得到了马尔可夫奖励过程。

• S代表状态的集合
• P表示状态转移矩阵
• R表示奖励函数，R(s)描述在状态s的奖励R(s)=E[Rt+1|St=s]$R(s)=E[R_{t+1}|S_t=s]$
• γ$\gamma$表示衰减因子，γ∈[0,1]$\gamma \in [0,1]$

回报值

奖励值是对每一个状态的评价，回报值是对每一个片段的评价
回报值（return Gt$G_t$）是从时间t处开始的累计衰减奖励

• 对于片段性任务
  

  Gt=Rt+1+γRt+2+...+γT−t−1RT=∑k=0T−t−1γkRt+k+1$$G_t=R_{t+1}+\gamma R_{t+2}+...+{\gamma }^{T-t-1}{R}_T=\sum _{k=0}^{T-t-1}{\gamma }^k{R}_{t+k+1}$$

• 对于连续性任务
  

  Gt=Rt+1+γRt+2+...=∑k=0∞γkRt+k+1$$G_t=R_{t+1}+\gamma R_{t+2}+...=\sum _{k=0}^{\mathrm{\infty }}{\gamma }^k{R}_{t+k+1}$$

终止状态等价于自身转化概率为1，奖励为0的状态

因此我们能够将片段性任务和连续性任务统一表达

当T=∞$\mathrm{\infty }$时，表示连续性任务，否则为片段性任务

关于衰减系数γ$\gamma$

• 影响未来的因素不仅包含当前，所以需要用多状态的统计量。而我们对未来的把握是逐步衰减的，一般情况下更关注短时间的反馈
• 指数衰减是对回报值的有界保证，避免了循环MRP和连续性MRP情况下回报值编程无穷大

值函数

一个MRP的值函数定义为：

这里的值函数针对的是状态s，故称为状态值函数，也称为V函数，Gt$G_t$是一个随机变量
从相同的初始状态，不同的片段有不同的回报值，值函数就是它们的期望值。

状态值函数是与策略π$\pi$相对应的，因为策略π$\pi$决定了累计回报G的状态分布

MRPs中的贝尔曼方程

值函数的表达式可以分解成两部分：瞬时奖励Rt+1$R_{t+1}$，后继状态St+1$S_{t+1}$的值函数乘上一个衰减系数

如果已知转移矩阵P，则

使用矩阵-向量的形式表达贝尔曼方程，即

假设状态集合S=s1,s2,...,sn$S=s_1,s_2,...,s_n$,则

贝尔曼方程本质上是一个线性方程，可以直接解：

计算复杂度为O(n3)$O(n^3)$，要求已知状态转移矩阵P，直接求解的方式仅限于的MRPs

马尔可夫决策过程

马尔可夫过程（MP）和马尔可夫奖励过程是去观察其中的状态转移现象，去计算回报值，对于一个RL问题，我们更希望去改变状态转移的过程，最大化回报值。通过在MRP中引入决策即得到了马尔可夫决策过程（Markov Decision Processes,MDPs）
定义：
一个马尔科夫决策过程由一个五元组组成<S,A,P,R,γ$\gamma$>

• S表示状态的集合
• A表示动作的集合
• P描述状态转移矩阵，Pass′=P[St+1=s′|St=s,At=a]$P_{s{s}^{{}^{\prime }}}^a=P[S_{t+1}=s^{{}^{\prime }}|S_t=s,A_t=a]$
• R表示奖励函数，R(s,a)描述在状态s做动作a的奖励，R(s,a)=E[Rt+1|St=s,At=a]$R(s,a)=E[R_{t+1}|S_t=s,A_t=a]$
• γ$\gamma$表示衰减因子，γ∈[0,1]$\gamma \in [0,1]$

上图为MDPs的链图，对比MRP的马尔可夫链图，不同点在于：
- 针对状态的奖励变成了<s,a>的奖励
- 通过动作进行控制的状态转移由原来的状态转移概率替换为动作
- MDP只关注哪些可以做决策的动作，被动的状态转移关系被压缩成一个状态（被动状态指无论做任何动作，状态都会发生跳转）

策略

MDPs中的策略是智能体能够控制的策略，不受控制的都认为是环境的一部分。一个策略（Policy）π$\pi$是在给定状态下的动作的概率分布

• 策略是对智能体行为的全部描述
• MDPs中的策略是基于马尔可夫状态的，而不是基于历史状态的
• 策略是时间稳定的，只与s有关，与时间t无关
• 策略是RL问题的终极目标
• 如果策略的概率分布输出都是独热的（非0即1），那么称为确定策略，否则为随机策略

MDPs与MRPs之间的关系

对于一个MDP问题<S,A,P,R,γ$\gamma$>，如果给定了策略π$\pi$,则MDP将会退化成MRP，<S,A,Pπ$P^{\pi }$,Rπ$R^{\pi }$,γ$\gamma$>

MDPs中的值函数

MDPs中的值函数有两种：状态值函数（V函数）和状态动作值函数（Q函数）

状态值函数从状态s开始，使用策略π$\pi$得到的策略回报值

vπ(s)=E[Gt|St=s]$$v_{\pi }(s)=E[G_t|S_t=s]$$

分解成瞬时奖励和后继状态：

vπ(s)=Eπ[Rt+1+γvπ(St+1)|St=s]$$v_{\pi }(s)=E_{\pi }[R_{t+1}+\gamma v_{\pi }(S_{t+1})|S_t=s]$$

状态动作值函数从状态s开始，执行动作a，然后使用策略π$\pi$得到的期望回报值

qπ(s,a)=Eπ[Gt|St=s,At=a]$$q_{\pi }(s,a)=E_{\pi }[G_t|S_t=s,A_t=a]$$

分解成瞬时奖励和后继状态：

qπ(s,a)=Eπ[Rt+1+γqπ(St+1,At+1)|St=s,At=a]$$q_{\pi }(s,a)=E_{\pi }[R_{t+1}+\gamma q_{\pi }(S_{t+1},A_{t+1})|S_t=s,A_t=a]$$

V函数与Q函数之间的相互转化：

V=>Q： vπ(s)=∑a∈Aπ(a|s)qπ(s,a)$v_{\pi }(s)=\sum _{a\in A}\pi (a|s)q_{\pi }(s,a)$

Q=>V： qπ(s,a)=R(s,a)+γ∑s′∈SPass′Vπ(s′)$q_{\pi }(s,a)=R(s,a)+\gamma \sum _{s^{{}^{\prime }}\in S}{P}_{s{s}^{{}^{\prime }}}^a{V}_{\pi }(s^{{}^{\prime }})$

贝尔曼期望方程V函数

贝尔曼期望方程Q函数

贝尔曼期望方程的矩阵形式

MDPs下的贝尔曼期望方程和MRP的形式相同，

直接求解可得：

最优化函数

之前值函数以及贝尔曼期望方程针对的都是给定策略π$\pi$的情况，是一个评价的问题。现在我们考虑强化学习中的优化问题，即找出最好的策略：
最优值函数指的是在所有策略中的值函数最大值，其中包括最优V函数和最优Q函数：

最优值函数指的是一个MDP中所能达到的最佳性能，如果我们找到最优值函数即相当于这个MDP解决了。

最优策略

为了比较不同策略的好坏，我们首先应该定义策略的比较关系：

对于任何MDPs问题，总存在一个策略要好于或等于其他所有策略；所有的最优策略都能够实现最优的V函数；所有的最优策略都能够实现最优的Q函数。

最优V函数和最优Q函数存在递归的关系，互转公式如下：
V=>Q:

Q=>V:

贝尔曼最优方程：
V函数：

Q函数：

贝尔曼最优方程与贝尔曼期望方程的关系：

• 贝尔曼最优方程本质上利用了π∗${\pi }_{\ast }$的特点，将求期望的算子转化成了maxa$ma{x}_a$
• 在贝尔曼期望方程中，π$\pi$是已知的，而在最优方程中，π∗${\pi }_{\ast }$是未知的
• 解贝尔曼期望方程的过程对应了评价，解贝尔曼最优方程的过程对应了优化

MDPs的拓展

• 无穷或连续MDPs

  包含如下情况：

  • 动作空间或状态空间无限可数
  • 动作空间或状态空间无限不可数（连续）
  • 时间连续

• 部分可观测MDPs（POMDPs）

  POMPDs此时观测不等于状态，由七元组构成<S,A,O,P,R,Z,γ$\gamma$>，其中Z是观测函数

  Zas′o=P[Ot+1=o|St+1=s′,At=a]$$Z_{s^{{}^{\prime }}o}^a=P[O_{t+1}=o|S_{t+1}=s^{{}^{\prime }},A_t=a]$$

  
  观测不满足马尔可夫性，因此不满足贝尔曼方程
  状态未知，属于隐马尔可夫过程
  有时对于POMDPs来说，最优的策略是随机性的

• 无衰减MDPs

  用于各态历经马尔可夫决策过程，各态经历性指平稳随机过程的一种特性
  存在独立于状态的平均奖赏ρπ${\rho }^{\pi }$
  求值函数时，需要减去该平均奖赏，否则有可能奖赏爆炸