3,094
个编辑
更改
→粗粒化
# '''划分'''（对状态空间进行粗粒化）：对状态进行分组，得出<math>\Phi</math>，决定 <math>S</math> 空间中的状态要如何被投影到 <math>S'</math> 空间上。
# '''划分'''（对状态空间进行粗粒化）：对状态进行分组，得出<math>\Phi</math>，决定 <math>S</math> 空间中的状态要如何被投影到 <math>S'</math> 空间上。
# '''聚合'''（对转移概率进行粗粒化）：基于分组函数 <math>\Phi</math>，我们要决定如何把原来的状态转移矩阵<math>P</math>降维成新的<math>P'</math>。
# '''聚合'''（对转移概率进行粗粒化）：基于分组函数 <math>\Phi</math>，我们要决定如何把原来的状态转移矩阵<math>P</math>降维成新的<math>P'</math>。
# 判断粗粒化方案 <math>\Phi</math> 和 <math>P'</math> 符合什么样的性质。
# 判断粗粒化方案 <math>\Phi</math> 和 <math>P'</math> 符合什么样的性质，从而决定是否接受当前的划分和聚合方案。