关于信念代数下的确定性迭代信念修订

传统逻辑基方法的信念修订研究聚焦于设计规则以约束修订算子的行为。虽然已提出多种框架来刻画迭代修订规则，但这些规则往往过于宽松，导致在相同信念条件下出现多个满足规则的修订算子。在许多实际应用中，如安全关键型应用，明确指定确定性修订算子以便代理人以确定性方式迭代修订其信念尤为重要。本文提出一种通过信念信息通过偏好关系来刻画的迭代信念修订新框架。语义层面上，信念与新证据均表示为信念代数，这为信念修订提供了丰富且表达力强的基础。基于传统修订规则，我们引入针对信念代数的额外修订后设条件，包括对修订结果的上限约束。我们证明给定当前信念状态和新证据后，修订结果唯一确定。此外，为使该框架在实际中更具实用性，我们开发了一种执行所提修订过程的具体算法。我们认为，这种方法可能提供更可预测且原则的方法进行信念修订，使其适用于实际应用。