%0 Journal Article
%T 一类树型知识库的更新算法
%A 马绍汉？
%A 陶雪红？
%J 软件学报
%P 1174-1179
%D 1999
%X 知识库的更新意即向知识库中添加新知识，同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题的结构出发，给出了一种当知识库对应的约束图为树时的多项式时间更新算法.在树型约束图中，算法通过一个自底向上的过程，得到更新后的知识库.
%K 人工智能
%K 知识库更新
%K 算法复杂性
%K 约束图
%K 约束可满足问题.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19991110&flag=1