%0 Journal Article
%T A Practical Propositional Knowledge Base Revision Algorithm
%A Tao Xuehong
%A Sun Wei
%A Ma Shaohan
%A <br>Tao Xuehong
%A Sun Wei
%A Ma Shaohan
%J 计算机科学技术学报
%D 1997
%I 
%X This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision. Different methods for revising propositional knowledge baize have been proposed recently by several researchers, but all methods are intractable in the general case. For practical application, this paper presents a revision method for special case, and gives its corresponding polynomial algorithm.
%K Propositional knowledge base
%K revision
%K satisfiability problem<br>命题知识库
%K 重复算法
%K 多项式算法
%K 可满足性问题
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=739CE12BAD72203ABEE8E525BFC7A491&yid=5370399DC954B911&vid=59906B3B2830C2C5&iid=0B39A22176CE99FB&sid=E2546871E5B846EF&eid=BA79719BCA7341D5&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=2