%0 Journal Article
%T The Research on Knowledge Base Revision<br>知识库更新的研究
%A Ma Shaohan & Tao Xuehong
%A <br>马绍汉
%A 陶雪红
%J 计算机科学
%D 1995
%I 
%X This paper gives an outline of knowledge base revision and some recently presented com-plexity results about propositional knowledge base revision. Different methods for revising proposi-tional knowledge base have been proposed recently by several researchers,some are formula-based methods and the others are model-based methods, but all methods are intractable in the general case. For practical application,this paper presents a revision method in special case,and gives its corresponding parallel algorithm by applying the divide-and-conquer strategy.
%K Propositional knowledge base
%K Revision
%K Divide-and-conquer strategy
%K Parallel algorithm
%K Binary search tree<br>知识库
%K Ginsberg方法
%K WIDTIO方法
%K 知识获取
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=44E00CCDCB7B657EDDC4BCC40616ACC7&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=38B194292C032A66&sid=9971A5E270697F23&eid=933658645952ED9F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=0