关于封闭演绎且保持最小变化的洛克兰信念

在洛克兰命题的形式化框架下，以置信度的度为标准定义智能体的信念集合，这些置信度以概率术语描述。尽管该方法已获广泛关注，但在某些情境下（如信念变更理论）存在一些限制，使其使用变得棘手。具体而言，洛克兰信念集合通常不满足（经典）逻辑演绎的封闭性。本文旨在两方面工作：一方面，我们提供两种描述那些在经典逻辑演绎下封闭的信念集合的特征；另一方面，我们提出一种概率性更新方法，实现对这些信念的最小修订，即在容纳新信息的同时，对现有信念集合进行最少的修改。特别是，我们展示了如何通过最小修订来封闭信念集合。