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

摘要：

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

关键词：人工智能、知识库更新、算法复杂性、约束图、约束可满足问题

所属期刊栏目：10

分类号：TP182(自动化基础理论)

资助基金：中国科学院资助项目;新材料领域项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1174-1179