“在马尔可夫决策过程中,一般策略是概率核序列 $\pi=(\pi t) {t\ge0}$。对可测动作集合 $B$, $$ \pi t(B\mid h t)=\Pr(A t\in B\mid H…”
形式陈述
一个折扣马尔可夫决策过程通常写成
其中
马尔可夫条件要求,在允许的决策规则下,
其中
有限 MDP 指
直觉
MDP 把“行动会改变以后看到什么”纳入模型。监督学习的一条样本通常在预测后结束;MDP 中今天的动作既产生即时奖励,也改变明天的状态分布,因此贪图眼前奖励可能损失长期价值。状态的职责不是保存所有原始历史,而是保存对未来决策有用的那部分信息。
可以把
例子与边界
设机器有健康态
两步确定计划“先运行,若故障则维修,否则继续运行”的期望未折扣奖励为
这个计算同时展示了分支概率、动作依赖转移和状态反馈;不能把第二步奖励简单写成两个动作奖励的平均数。
边界在于状态必须真的足够。若机器的失效概率还取决于未记录的累计磨损,仅用
推论与应用
固定平稳马尔可夫策略会诱导时间齐次马尔可夫链;只依赖当前状态和时刻的策略则一般诱导非齐次链。历史依赖策略下,原状态过程未必仍是马尔可夫链。例如动作
MDP 是动态规划、强化学习、排队控制、库存管理和机器人控制的共同接口。模型已知时可以直接使用转移核规划;模型未知时,学习器只能从交互样本估计价值、模型或策略。两种情形共享目标定义,但统计误差与探索问题只出现在后者。
参考资料
- Martin L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, Wiley, 1994, Chs. 2–3.
- Richard S. Sutton and Andrew G. Barto, Reinforcement Learning: An Introduction, 2nd ed., MIT Press, 2018, Secs. 3.1–3.3.
- Dimitri P. Bertsekas, Dynamic Programming and Optimal Control, Vol. I, 4th ed., Athena Scientific, 2017, Ch. 1.