一种基于遗忘理论的信念收缩方法

针对在经典信念理论框架下,信念收缩后可能出现信息损失的问题,本文提出了一种利用遗忘理论来构建收缩算子的信念收缩方法。本文先通过理论证明来说明该收缩算子能够满足AGM理论中信念收缩的假定,然后用实例说明,与命题逻辑表示的信念遗忘收缩相比,一阶谓词逻辑表示的信念遗忘收缩保留了更多的原有信息,避免了不必要的信息损失,遵循最小修改原则。