【自动驾驶决策规划】POMDP之Introduction

文章目录

前言
Markov Property
Markov Chain
Hidden Markov Model
Markov Decision Process
Partially Observable Markov Decision Process
- Background on Solving POMDPs
- POMDP Value Iteration Example
推荐阅读与参考

前言

本文是我学习POMDP相关的笔记，由于个人能力所限，可能有所纰漏，还请批评指正。初学者，希望和大家共同学习.

Markov Property

Markov Property或者Markov assumption：
未来状态的概率分布只与当前状态有关，而与过去状态无关。

$\boldsymbol{P}_{ss^{\prime}}$ 为从状态 $s$ 转移到状态 $s^{'}$ 的概率，又称一步状态转移概率。 $\boldsymbol{P}$ 为一步状态转移矩阵。

$\begin{gathered} P[S_{t+1}|S_t]=P[S_{t+1}|S_1,\ldots,S_t] \\ \boldsymbol{P}_{ss^{\prime}}=P[S_{t+1}=s^{\prime}|S_{t}=s] \\ \boldsymbol{P}=\begin{bmatrix}P_{11}&P_{12}&\ldots&P_{1n}\\P_{21}&P_{22}&\ldots&P_{2n}\\\ldots\\\ldots\\P_{n1}&P_{n2}&\ldots&P_{nn}\end{bmatrix} \end{gathered}$

矩阵有以下性质：

非负性性质, $P_{ij}\geq0$
行元素和为1, $\sum P_{ij}=1,i=1,2,...,n$

在这里插入图片描述
以上图为例， $S_1$ 转移到自身和 $S 2$ 的概率分别为0.1，0.9； $S_2$ 转移到自身和 $S 1$ 的概率分别为0.2，0.8。状态转移矩阵可表示为： $\boldsymbol{P}=\begin{bmatrix}0.1&0.9\\0.8&0.2\end{bmatrix}$

Markov Chain

时间和状态都是离散的马尔科夫过程称为马尔科夫链Markov Chain.Markov Chain可由二元组 $(S, P)$ 描述。状态转移概率不随时间发生变化。

Hidden Markov Model

隐马尔可夫模型（Hidden Markov Model, HMM）是一种统计模型，它用于描述一个含有隐含未知参数的马尔可夫过程。通俗地说，就是在一个不可见的马尔可夫链的基础上，系统会根据内部状态的转移次数发生事件，从而观察到系统的输出。它在语音识别、自然语言处理、生物信息学等领域得到了广泛应用。

在HMM中，假设只有观测到的状态是可见的，而模型的内部状态是不可见的。每个状态对应于一个观测值，然后通过观测值的分布和状态转移的概率来定义模型的参数。具体来说，HMM由以下几部分组成：

状态序列：用S表示，其中，每个状态s属于状态集合 $S={S_1, S_2, ..., S_N}$ 。
观测序列：用O表示，其中，每个观测 $o$ 属于观测集合 $O={O_1, O_2, ..., O_M}$ 。
状态转移概率：用 $P_{ij}$ 表示，表示从状态 $S_i$ 转移到状态 $S_j$ 的概率，其中 $P={P_{ij}}$ 是一个 $N\times N$ 的矩阵，且对于所有的 $i$ ， $\sum_{j=1}^{N}P_{ij}=1$ 。
观测概率：用 $B_{i}(o)$ 表示，表示在状态 $S_i$ 时观测到 $o$ 的概率，其中 $B={B_i(o)}$ 是一个 $N\times M$ 的矩阵，且对于所有的 $i$ ， $\sum_{o=1}^{M}B_{i}(o)=1$ 。
初始状态概率：用 ${\pi_{i}}$ 表示，表示初始状态为 $S_i$ 的概率，其中 $\pi={\pi_{i}}$ 是一个长度为 $N$ 的向量，且对于所有的 $i$ ， $\sum_{i=1}^{N}\pi_{i}=1$ 。

Markov Decision Process

MDP（Markov Decision Process）是用于描述智能体与环境交互的数学模型。MDP 可以表示为五元组 $\gamma)$ ：

$S$ ：状态集合， $S=\{s_1, s_2, ..., s_n\}$ ，包含了车道、环境、世界模型等信息。
$A$ ：动作集合， $A=\{a_1, a_2, ..., a_m\}$ ，车辆的决策空间，包含换道、跟随、超车等等。
$P (s^{'} ∣ s, a)$ ：状态转移概率，表示在当前状态 $s$ 下，采取动作 $a$ 后转移到状态 $s^{'}$ 的概率， $s'\in S$ ， $s'\in S$ ， $a\in A$ 。
$R (s, a, s^{'})$ ：即时奖励函数，表示在当前状态 $s$ 下，采取动作 $a$ 后转移到状态 $s^{'}$ 所获得的即时奖励， $s'\in S$ ， $a\in A$ 。
$γ\in(0,1)$ ：折扣因子，表示当前奖励和未来奖励的权重比例。

MDP 将智能体的行动转化为对状态的选择，使得智能体可以基于经验策略不断学习并优化其决策。因此，MDP 在强化学习等领域广泛应用。

在这里插入图片描述

自动驾驶车辆的决策问题本质上是寻找到一个最优的策略，对于当前状态 $S$ ,通过一定的动作 $A$ ，使之达到目标状态。因此可以通过一个目标函数去最大化总的奖励： $\sum_{t=0}^\infty\gamma^tR(S_{t+1}|S_t)$ 动作 $a$ 可以用policy $\pi$ 去定义： $a=\pi(s)$ ，policy则是我们所求的MDP的解。
问题的解可以通过动态规划的方法进行求解，通过迭代求解最大的奖励，最后回溯得到解。假设状态转移概率矩阵 $P$ 和奖励函数 $R$ 已知，通过对以下过程的不断迭代可以得到最优解： $\begin{aligned}\pi(s_t)&\leftarrow\mathrm{argmax}\left\{\sum_{s_t+1}P(S_{t+1}|S_t)\left(R(S_{t+1}|S_t)+\gamma V(s_{t+1})\right)\right\}\\V(s_t)&\leftarrow\sum_{s_{t+1}}P_{\pi(s_t)}(S_{t+1}|S_t)(R_{\pi(s_t)}(S_{t+1}|S_t)+\gamma V(s_{t+1}))\end{aligned}$

$V(s_t)$ 为价值函数(Value Function)，表示奖励中的累计折扣。求解过程就是在 $s_t$ 和 $s_{t+1}$ 之间不断迭代直到收敛。

对于动态规划迭代求解的过程，这篇文章简洁地揭示了相关原理(Value Iteration Algorithm):Brief Introduction to the Value Iteration Algorithm.

MDP比较重要的一点就是如何设计奖励函数，通常需要考虑以下因素：

抵达目标点同时不偏离路径；
安全性；
舒适性。

除此之外，状态空间、状态转移矩阵等等的设计都是十分重要的。

Partially Observable Markov Decision Process

Partially Observable Markov Decision Process (POMDP) 是一个基于马尔可夫决策过程 (MDP) 的扩展模型，其状态不完全可观测。POMDP 可以表示为一个七元组 $(S, A, P, R, Z, O ， γ)$ ，其中：

$S$ ：状态集合， $S=\{s_1, s_2, ..., s_n\}$ ，包含了车道、环境、世界模型等信息。
$A$ ：动作集合， $A=\{a_1, a_2, ..., a_m\}$ ，车辆的决策空间，包含换道、跟随、超车等等。
$P (s^{'} ∣ s, a)$ ：状态转移概率，表示在当前状态 $s$ 下，采取动作 $a$ 后转移到状态 $s^{'}$ 的概率， $s'\in S$ ， $s'\in S$ ， $a\in A$ 。
$R (s, a, s^{'})$ ：即时奖励函数，表示在当前状态 $s$ 下，采取动作 $a$ 后转移到状态 $s^{'}$ 所获得的即时奖励， $s'\in S$ ， $a\in A$ 。
$γ\in(0,1)$ ：折扣因子，表示当前奖励和未来奖励的权重比例。
$Z$ 是观测集合, $Z=\{z_1, z_2, ..., z_n\}$ ；
$O (z ∣ s^{'}, a)$ 是观测函数 $\times A \times Z \rightarrow [0, 1]$ ，定义了在执行一个动作 $\in A$ 后，在一个状态 $\in S$ 产生一个观测 $\in Z$ 的概率。

在这里插入图片描述

在POMDP中，将一组观测值(observation)添加到模型中。我们不能直接观测到当前的状态，而是通过整个模型的全域和状态给予的观测值去估计当前的状态是什么。观测值通常是一个概率，因此需要建立相应的观测模型。

Background on Solving POMDPs

这部分内容参考了https://cs.brown.edu/research/ai/pomdp/tutorial/pomdp-solving.html。

对于CO-MDP（完全可观的MDP）问题，我们需要找到状态state与动作action的映射关系;而对于POMDP问题，我们需要找到基于状态的概率分布与动作之间的映射关系。在接下来的部分，我们用belief state(信念状态)来代替基于状态的概率分布（probability distribution over states）;用belief space(信念空间)来代替概率空间probability space (the set of all possible probability distributions)。

接下来这幅图将会描述信念空间的概念。为了简化问题，我们采用2个状态的POMDP问题进行阐述。从前面的内容中可知，信念状态代表概率分布，所有的概率之和应该为1.因此在2 state POMDP问题中，若一个状态的概率为 $p$ ，这另一个状态概率为 $1 - p$ .于是，整个信念空间可以用一个线段进行描述。线段宽度可忽略。

在这里插入图片描述

1D belief space for a 2 state POMDP

如图所示，若信念状态非常靠近最左边时，意味着处于状态 $s_2$ 的概率为1，反之这是处于状态 $s_1$ 的概率为1。值得注意的是，将2 state推广到高维空间时亦成立。

接着，若假设我们从一个指定的信念状态 $b$ 开始，然后采取动作 $a_1$ 并且收到观测值 $z_1$ ，于是下一个信念状态就可以完全确定了。事实上，若我们假定有有限个的动作actions以及有限个数量的观测值observations，给定一个信念状态，就可以确定接下来的信念状态。

下图显示了上述的过程：两个state( $s_1,s_2$ )，两个actions( $a_1,a_2$ )以及三个observations( $z_1,z_2,z_3$ )，黑色竖线段为起始的信念状态。
在这里插入图片描述
上图显示了所有可能的信念状态。总结一下：对于一个起始的信念状态，若产生一个动作并且得到相应的观测值，就可以确定下一个信念状态。不过对于一个POMDP问题中，在产生一个action之前，每一个最终的信念状态都会对应相应的概率，而这样的信念状态（包括相应的observations）有很多，但是对于一个action，下一步的信念状态所对应的概率之和应该为1.

显然，上述的过程符合Markov Property，下一步的信念状态取决于上一步信念状态（以及action和observations）。事实上，我们可以将离散的POMDP问题转化为连续空间的CO-MDP问题，其中连续空间是信念空间。也就意味着我们可以利用value iteration (VI) algorithm进行求解。但是这个算法还需要被进一步完善。

在一些教程里，将其描述为Belief-MDP。

MDP的可以很好地利用value iteration进行求解，因为其状态是离散的，每一个状态的价值函数也是离散的。但是POMDP问题则不一样，因为状态(信念状态)是连续的，就需要合理的一个价值函数进行描述。下图是价值函数的一个示例：
在这里插入图片描述
POMDP公式对于上述问题施加了相关约束。核心点就是：对于每一个视野长度horizon length，价值函数是分段线性且凸的piecewise linear and convex (PWLC) 。这就意味着对于每一个值迭代过程，我们只需要找到有限个的线段去构造价值函数。

下图是相应的例子，重合部分的线段取最大值。
在这里插入图片描述

These amount to nothing more than lines or, more generally, hyper-planes through belief space. We can simply represent each hyper-plane with a vector of numbers, which are the coefficients of the equation of the hyper-plane. The value at any given belief state is found by plugging in the belief state into the hyper-planes equation. If we represent the hyper-plane as a vector (i.e., the equation coefficients) and each belief state as a vector (the probability at each state) then the value of a belief point is simply the dot product of the two vectors.

如果我们将超平面表示为一个向量（即方程的系数，又称为alpha vector），并将每个信念状态表示为一个向量（每个状态的概率），那么信念状态的价、值就是两个向量的点积( $\alpha \cdot b$ )。

下面是另一种方式，将信念空间分段，两者其实是等效的：

Instead of linear segments over belief space, another way to view the function is that it partitions belief space into a finite number of segments. We will be using both the value function and this partitioning representation to explain the algorithms. Keep in mind that they are more or less interchangeable.

在这里插入图片描述

The problem now boils down to one stage of value iteration; given a set of vectors representing the value function for horizon ‘h’, we just need to generate the set of vectors for the value function of horizon ‘h+1’

总结一下：给定一组合向量表示某一时间窗口（或称时间步长）'h’的价值函数，我们通常需要推导出时间窗口 ‘h+1’ 的价值函数的向量集合。

但是，连续状态空间的确会带来进一步的问题。在离散状态空间中的每次值迭代中，我们可以通过遍历所有可能的下一个状态来找到一个状态的新值。然而，对于连续状态 CO-MDPs，我们无法枚举所有可能的状态，因为它们是"无限"的。

接下来将会介绍一系列方法用以解决上述问题。

POMDP Value Iteration Example

接下来是一个horizon length为3的例子。依旧是两个state( $s_1,s_2$ )，两个actions( $a_1,a_2$ )以及三个observations( $z_1,z_2,z_3$ )

Horizon 1 value function

对于horizon=1的情况，我们只关心即刻的奖励，因此价值函数就变成了即刻奖励的函数，而不再考虑未来奖励的影响（就是不用考虑折扣因子 $\gamma$ 的影响）。

对于此问题，我们有两个state和两个action，因此我们有四种行为和状态的组合，每种组合有不同的价值：
$r(s_1,a_1),r(s_2,a_1),r(s_1,a_2),r(s_2,a_2)$
这些价值是离散的(基于离散state的POMDP)，但是若是在一个特定的信念状态去执行一个特定的action，这个值就变得容易获得。我们只需使用信念状态的概率分布作为每个state价值的权重。

用一个简单例子来进一步理解：若执行action $a_1$ 时，价值为 $r(s_1,a_1)=1,r(s_2,a_1)=0$ ，执行action $a_2$ 时，价值为 $r(s_1,a_2)=0,r(s_2,a_2)=1.5$ 。若当前的信念状态为 $[0.25, 0.75]$ （意味着我们“相信”当前有75%的可能在 $s_2$ ，有25%的可能在 $s_1$ ），则可得到执行 $a_1$ 的价值为： $0.25 \times 1 + 0.75 \times 0 = 0.25$ ，执行 $a_2$ 的价值为： $0.25 \times 0 + 0.75 \times 1.5 = 1.125$ 。我们可以用下图在信念空间上显示这些值。

在这里插入图片描述

Horizon 1 value function

可以看到，每一个action对应的即时奖励都指定了一段在信念空间上的线性函数。基于特定的信念状态，我们会去选择能带来更高收益的动作。上图中对于绿色部分的信念空间，显然选择 $a_2$ 会带来更高的收益，而蓝色部分的信念空间，选择 $a_1$ 会带来更高的收益。

Horizon 2 value function
接下来介绍Horizon 2 value function的情况。

我们的目的是找到在每个信念状态中，仅使用两种行动的最佳策略。这个问题比较复杂，我们将问题拆解，去依次回答如下3个问题：

如何在给定一个action和observation的情况下计算单个信念状态的价值。
如何在只给定action的情况下计算一个信念状态的价值。
如何计算一个信念状态的价值.

V(b) given a and z

首先从第一个问题开始：给定一个特定的信念状态 $b$ ，如何计算在执行action $a_1$ 并收到观测值observation $z_1$ 的情况下的价值。

在horizon=2的情况下，当前每个信念状态的价值就是即时行动的价值加上下一个行动的价值。因为我们固定了即时行动的action，所以总的流程其实类似于horizon=1的情况。

来看下图的例子：
左边是即时奖励的函数，右边是Horizon=1时的价值函数。 $a_2$ 的即时奖励函数是虚线，我们不必去考虑它（因为我们已经给定了action $a_1$ ）。

在这里插入图片描述

Value of a fixed action and observation

我们定义 $T$ 是在给定 $a_1,z_1$ 下，从信念状态 $b$ 转移到 $b^{'}$ 的函数。从 $b^{'}$ 的角度去看，很容易决定选择哪一个action能够带来更高的收益。上图的 $b^{'}$ 落在绿色的区域，意味着对于Horizon=2的情况，若我们首先选择 $a_1$ ，且观测到了 $z_1$ ，那么接下来选择 $a_2$ 会给我们带来更大的收益。显然，我们知道所有需要计算价值的变量，知道了即时奖励的值，知道转移到 $b^{'}$ 后的最佳的价值，只需要将两者相加，就可以求得在给定 $a_1,z_1$ 时， $b$ 状态下的价值。

我们可以通过重复上一节的步骤计算任意的一个信念状态的价值（即刻回报+转换后的价值）。接下来我们希望找到所有的信念状态的价值（横轴上[0,1]中每一个点的价值）。

Horizon=1时的价值函数是基于转移后的信念状态 $b^{'}$ 的函数， $b^{'}$ 则是在给定 $a_1,z_1$ 下基于初始信念状态 $b$ 的转移函数( $b'=\tau(b,a_1,z_1)$ )。因此，我们可以根据horizon=1的价值函数，在整个信念空间上构造一个函数，这个函数内置了转移函数 $b'=\tau(b,a_1,z_1)$ 。

在这里插入图片描述

Transformed value function

接着，我们可以使用 $S(a_i,z_j)$ 去代表上述的函数(transformed value function)。现在，如果我们要找到一个给定 $a_i,z_j)$ 的信念状态，只需要将 $S(a_i,z_j)$ 和即时奖励 $r(s_i,a_i)$ 相加即可。

PS:值得注意的是，这个函数 $S(a_i,z_j)$ 也是PWLC的。

V(b) given a
接着上面的问题，对于给定的 $a_i,z_j)$ ，我们可以通过上述的方法知道一个信念状态 $b$ 的价值。然而，通常情况下，observation $z$ 是不可知的，我们不能保证就能观测到给定的 $z_j$ 值。因此，我们给出下面的例子，进一步对问题进行解释：

如图所示， $b$ 在给定动作 $a_1$ 的情况下，可能会出现三种观测值 $z_1,z_2,z_3$ ，并导致三种可能的结果。

解决这个问题很简单：如果我们知道给定观测值 $z_j$ 后的信念状态的结果，那么即便我们不知道观测值，我们也可以计算信念状态的价值：用每个观察结果 $z_j$ 出现的概率进行加权得即可。
在这里插入图片描述

PS:我们之前展示的 $S(a_1,z_1)$ 实际上是观测概率的因素。我们声称它是每个信念状态 $b$ 对固定动作 $a_i$ 以及给定观测值 $z_j$ 的下一个信念状态 $b^{'}$ ，实际上， $S(a_i,z_j)$ 函数并不是我们所声称的那样。 $S(a_i,z_j)$ 函数其实已经内置了观测的概率。

在这个例子中（有三个可能的observation），每一个 $z_i$ 都有对应的 $S$ 函数。很明显可以得到一个结论：下一步要采取的最佳行动不仅取决于最初的信念状态，还取决于我们得到的确切观测结果。

在这里插入图片描述

Transformed value function for all observations

Horizon=2时的价值不仅仅取决于给定的动作 $a_1$ ，还取决于下一步的动作。对于给定的信念状态和观测值，我们可以查看 $S$ 函数分区，以决定下一步要做的最佳操作是什么。
在这里插入图片描述

如下图所示，若给定信念状态 $b$ ，动作 $a_1$ ，我们很容易从图中知道接下来的策略：若观测到 $z_1$ ，则执行 $a_2$ ；若观测到 $z_2,z_3$ ，则执行 $a_1$ 。对于信念空间中的每一个点，我们都可以划这么一条竖线，得到在这个信念状态下的策略：如果观察到 $z_i$ ，则选择 $a_j$ 。 下图的策略就是 $z_1:a_2, z_2:a_1, z_3:a_1)$ 。

在这里插入图片描述
V(b)

但是，上述的过程只是代表了在信念状态 $b$ 中能够获得的最优策略，并不代表是所有信念状态 $b_i$ 的最优策略。接着来看下面的图：

下图中，上面的矩形中不同的颜色代表了对应于不同最优策略 $b$ 的范围。我们有三个观测值 $z_1,z_2,z_3$ ，两个动作 $a_1,a_2$ ，因此我们有8种对应的策略，但并非每一种策略都是有效的（任何情况下非最优），比如图中这个例子就只有4种策略。

同样地，可以为这之中的四个构造相应的线段，最后会得到如下图所示的线性分段凸函数。
在这里插入图片描述