• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2010, Vol. 32 ›› Issue (5): 159-160.doi: 10.3969/j.issn.1007130X.2010.

• 论文 • 上一篇    下一篇

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

田谦益,陈倩婧   

  1. (漳州师范学院计算机科学与工程系,福建 漳州 363000)
  • 收稿日期:2009-09-12 修回日期:2009-12-14 出版日期:2010-04-28 发布日期:2010-05-11
  • 通讯作者: 田谦益 E-mail:qytian@126.com
  • 作者简介:田谦益(1974),女,云南昆明人,硕士,讲师,CCF会员(E200009745M),研究方向为信号处理与智能仪器;陈倩婧,研究方向为人工智能。
  • 基金资助:
    福建省教育厅科技项目(JA09162);漳州师范学院科研资助项目(SK08006)

Belief Contraction Based on the Forgetting Theory

TIAN Qianyi,CHEN Qianjing   

  1. (Department of Computer Science and Engineering,Zhangzhou Normal University,Zhangzhou 363000,China)
  • Received:2009-09-12 Revised:2009-12-14 Online:2010-04-28 Published:2010-05-11

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

关键词: 信念修正, 信念收缩, 遗忘理论

Abstract: A method of belief contraction based on the forgetting theory is presented for the information loss after belief contraction under the framework of the classic belief theory. At first, this method is proved theoretically to be able to meet the assumption of the AGM theory. Then through examples, it is illustrated that the belief contraction based on the forgetting theory expressed by the firstorder predicate can save more old information and obey the minimal change principle.

Key words: belief revision;belief contraction;forgetting theory

中图分类号: