论文部分内容阅读
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状．近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法；一类是基于模型的方法，但所有这些方法在通常情况下都是难解的．本文讨论基于公式的Ｇｉｎｓｂｅｒｇ更新方法，并给出在公式个数远小于变元个数情况下的一个多项式时间算法．
This paper introduces the basic concepts of knowledge base updating and the status quo of research on the complexity of knowledge updating. In recent years, scholars have proposed many ways to update the proposition knowledge base, one is formula-based method and the other is model-based method, but all of these methods are usually difficult to solve. This paper discusses the Ginsberg update method based on the formula, and gives a polynomial time algorithm when the number of formulas is far less than the number of variables.