%0 Journal Article
%T An Approach to the Revision of a Finite Belief Set<br>有限信念集上修正的一种方法
%A JIN Zhi-Yan
%A WANG Ding-Xing
%A <br>栾尚敏
%A 戴国忠
%J 软件学报
%D 2003
%I 
%X 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.
%K belief revision
%K propositional logic
%K first-order logic
%K finite belief set<br>信念修正
%K 命题逻辑
%K 一阶逻辑
%K 有限信息集
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B29E9E346A0791AE&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=94C357A881DFC066&sid=58AAF01A97187A3A&eid=3D9E2C3DB640307A&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=31