%0 Journal Article
%T A PROOF THEORY FOR BELIEF REVISION<br>维护的证明论系统
%A Zhang Yuping
%A Li Wei
%A <br>张玉平
%A 李未
%J 软件学报
%D 1995
%I 
%X A deduction system, called RE--proof system, is constructed for generatingthe revisions of first order belief sets. When a belief set is rejected by a given fact, allmaximal subsets of the belief set consistent with the fact can be deduced from the proofsystem. The soundness and completeness of the RE--proof system are proved, which imply that there exist a resolution method to decide whether a revision retains a maximal subset of a belief set.
%K First order language
%K proof theory
%K axiom<br>一阶语言，证明论，公理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=AA3B397B8486DF4E00F7D455E7A65F38&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=9CF7A0430CBB2DFD&sid=F9A6B6F259CE5121&eid=500A64A3035F6B9C&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7