智能体定义的正式方法

本论文致力于在有限多元马尔可夫链类中对智能体概念的形式化。智能体被视为行动、感知且具有目标导向的实体。我们提出了一种新的度量，可用于识别实体(称为$\iota$-实体)，多元马尔可夫链中实体的一些一般要求，以及适用于此类实体的行动和感知的形式定义。$\iota$-实体背后的直觉是，实体是时空模式，其中每一部分都使其他部分更可能发生。该度量——完整局部整合(CLI)——在一般贝叶斯网络中得到形式化研究。它基于特定局部整合(SLI)，后者是相对于一个划分来度量的。CLI是所有划分上SLI的最小值。我们证明$\iota$-实体是全局轨迹的特定划分中的块。这些划分是达到给定SLI值的最细划分。我们还建立了SLI在网络中节点置换下的变换行为。接着，我们提出了关于实体一般定义的三个条件。这些条件不被随机变量集满足，即通常用于建模智能体的感知-动作循环过于严格。我们提出，任何一般的实体定义实际上应该指定给定多元马尔可夫链的所有时空模式集的一个子集(称为实体集)。$\iota$-实体的集合就是这样一个集合。重要的是，感知-动作循环也诱导出一个实体集。然后，我们为任意实体集提出了行动和感知的形式定义。在感知-动作循环实体集的情况下，这些定义特化为标准概念。最后，我们考察了一些非常简单的例子。