一类树型知识库的更新算法

知识库的更新意即向知识库中添加新知识，同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题的结构出发，给出了一种当知识库对应的约束图为树时的多项式时间更新算法.在树型约束图中，算法通过一个自底向上的过程，得到更新后的知识库.