更改

===因果态的定义===

===因果态的定义===

====划分====

====划分====

通过对状态空间进行划分（ partition），我们可以找到观测到的状态（可以称之为微观态）与智能体压缩后得到的隐空间上的状态（可以称为宏观态）之间的对应关系。划分为一种映射，<math> \eta{:}\overleftarrow{S}\mapsto\mathcal{R}</math>，其中<math>\mathcal{R} </math>是状态空间的子集的集合，要满足其元素彼此互斥，而且所有元素的并集等于<math> \overset{\leftarrow}{S}</math>的条件。通过划分操作得到的每个子集都可以被视为对应着一个宏观态。

通过对状态空间进行划分（ partition），智能体可以用一种更加粗糙的方式来描述同样的状态，这一过程也被人们叫做[[粗粒化]]。划分可以被理解为一种映射，<math> \eta{:}\overleftarrow{S}\mapsto\mathcal{R}</math>，其中<math>\mathcal{R} </math>是状态空间的子集的集合，要满足其元素彼此互斥，而且所有元素的并集等于<math> \overset{\leftarrow}{S}</math>的条件。通过划分操作得到的每个子集都可以被视为对应着一个宏观态。找到观测到的状态（可以称之为微观态）与智能体压缩后得到的隐空间上的状态（可以称为宏观态）之间的对应关系

[[文件:划分示意图.jpg|居中|400x400像素|替代=|无框]]

[[文件:划分示意图.jpg|居中|400x400像素|替代=|无框]]

上图为某种划分的示意图，将集合<math> \overset{\leftarrow}{S}</math>划分为某类宏观态的子集<math> \mathcal{R}=\{\mathcal{R}_i:i=1,2,3,4\}</math>，值得注意的是，<math> \mathcal{R}_i</math>不必形成紧致集，也可以是康托集或其他更特殊的结构，上图为了示意清楚才这样画的。

上图为某种划分的示意图，将集合<math> \overset{\leftarrow}{S}</math>划分为某类宏观态的子集<math> \mathcal{R}=\{\mathcal{R}_i:i=1,2,3,4\}</math>，值得注意的是，<math> \mathcal{R}_i</math>不必形成紧致集，也可以是康托集或其他更特殊的结构，上图为了示意清楚才这样画的。

====因果态====

====因果态====