摘要
<正>一、研究现状 在知识库管理中,当人们获取了新的领域知识时,就需对原有知识库进行更新.对知识库的更新,从理论上讲,主要有以下三种基本操作~[4]
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.
出处
《计算机科学》
CSCD
北大核心
1995年第3期32-36,31,共6页
Computer Science
基金
国家自然科学基金
关键词
知识库
Ginsberg方法
WIDTIO方法
知识获取
Propositional knowledge base, Revision, Divide-and-conquer strategy ,Parallel algorithm,Binary search tree.