###
DOI:
Journal of Software:2003.14(5):911-917

有限信念集上修正的一种方法
栾尚敏,戴国忠
(中国科学院,软件研究所,北京,100080)
An Approach to the Revision of a Finite Belief Set
JIN Zhi-Yan,WANG Ding-Xing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3026   Download 2771
Received:April 22, 2002    Revised:May 23, 2002
> 中文摘要: 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60033020, 60103020 (国家自然科学基金); the China Postdoctoral Science Foundation (中国博士后科学基金) Supported by the National Natural Science Foundation of China under Grant Nos.60033020, 60103020 (国家自然科学基金); the China Postdoctoral Science Foundation (中国博士后科学基金)
Foundation items:
Reference text:

栾尚敏,戴国忠.有限信念集上修正的一种方法.软件学报,2003,14(5):911-917

JIN Zhi-Yan,WANG Ding-Xing.An Approach to the Revision of a Finite Belief Set.Journal of Software,2003,14(5):911-917