arXiv:2505.06505v1 类别: 新发现 摘要: 传统的基于逻辑的信任修订研究主要集中在设计规则，以约束修订操作的行为。已经提出了框架来描述迭代修订规则，但这些框架往往过于宽松，导致在相同的信任条件下，存在多个满足这些规则的修订操作。在许多实际应用中，尤其是在安全关键的应用中，明确指定一个修订操作以使代理能够以确定的方式迭代修订其信念是非常重要的。在本文中，我们提出了一种新的迭代信任修订框架，通过使用偏好关系来描述信任信息。从语义上讲，信念和新证据都被表示为信念代数，这为信任修订提供了丰富且表达力强的基础。在传统修订规则的基础上，我们引入了修订与信念代数相关的附加公理，包括对修订结果的上界约束。我们证明，在给定当前的信任状态和新证据的情况下，修订结果是唯一确定的。此外，为了使该框架在实践中更具用途，我们开发了一种特定的算法来执行所提出的修订过程。我们认为，这种方法可能提供了一种更可预测和原则性的信任修订方法，使其适用于实际应用。