%0 Journal Article
%T An Operational Approach to Belief Revision
%A Zhang Yuping
%A Li Wei
%A <br>Zhang Yuping
%A Li Wei
%J 计算机科学技术学报
%D 1996
%I 
%X A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fact, all maximal subsets of the belief set consistent with the fact can be deduced from the proof system. The soundness and completeness of the RE-proof system are proved, which imply that there exists a resolution method to decide whether a revision retains a mtalmal subset of a belief set.
%K Revision
%K inference rule
%K belief set<br>人工智能
%K 可信集
%K 相干规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=1E2C740E96EFAF800EC94E3EC56FA607&yid=8A15F8B0AA0E5323&vid=708DD6B15D2464E8&iid=0B39A22176CE99FB&sid=C3BF5C58156BEDF0&eid=D767283A3B658885&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=3