J4 ›› 2010, Vol. 32 ›› Issue (5): 159-160.doi: 10.3969/j.issn.1007130X.2010.
田谦益,陈倩婧
TIAN Qianyi,CHEN Qianjing
摘要: 针对在经典信念理论框架下,信念收缩后可能出现信息损失的问题,本文提出了一种利用遗忘理论来构建收缩算子的信念收缩方法。本文先通过理论证明来说明该收缩算子能够满足AGM理论中信念收缩的假定,然后用实例说明,与命题逻辑表示的信念遗忘收缩相比,一阶谓词逻辑表示的信念遗忘收缩保留了更多的原有信息,避免了不必要的信息损失,遵循最小修改原则。
中图分类号: