一类命题知识库的更新算法

本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状。近年来，学者们提出了许多方法进行命题知识库的更新，一类是基于公式的方法，一类是基于模型的方法，但所有这些方法在通常情况下都是难解的。本文结合实际应用，提出了一种特殊情况下的更新方法，并给出了相应的多项式时间算法。