arXiv:2305.09200v3 公告类型：替换 摘要：迭代信念修正需要关于当前信念的信息。这些信息由称为信念状态的数学结构来表示。大多数文献集中在如何修正一个信念状态，而忽略了它可能呈指数增长的问题。这个问题在最常见的存储信念状态的方法中进行了研究。所有四种方法都能够存储每一个信念状态，但其中有些方法相对于其他方法占用的空间更少。特别是，显式表示（当前信念的枚举）在空间上更为浪费。层级表示（命题公式序列）和自然表示（自然修正的历史）比它更为紧凑。词典序表示（词典序修正的历史）甚至比它们更为紧凑。