| 摘要: |
| 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较. |
| 关键词: 信念修正 命题逻辑 一阶逻辑 有限信息集 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60033020, 60103020 (国家自然科学基金); the China Postdoctoral Science Foundation (中国博士后科学基金) |
|
| An Approach to the Revision of a Finite Belief Set |
|
JIN Zhi-Yan,WANG Ding-Xing
|
| Abstract: |
| In this paper, an approach to the revision of a finite belief set is presented. First, a procedure for generating all the minimal inconsistent sets is introduced, and the correctness of the procedure is proved. Then what discussed further is that how to apply the procedure to the implementation of some representative methods, and a implemented prototype for belief revision is introduced. At last, the presented approach is compared with other related work. |
| Key words: belief revision propositional logic first-order logic finite belief set |
