%0 Journal Article
%T 基于alco@的abox知识更新的研究
%A 刘一松
%A 王昌海
%A 赵吉庆？
%J 计算机科学
%D 2012
%X 以描述逻辑alco@为基础研究知识更新。首先介绍alco@的语法和语义，然后引入确定集和冲突集的概念，并根据描述逻辑的tablcau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中，首先在原知识库中删除冲突集中的断言，然后把需要添加的断言加入到知识库中，最后修改受更新操作影响的其它断言的约束条件，以使知识库满足开世界假设。
%K 描述逻辑
%K 断言
%K 开世界假设
%K 标准否定范式
%K 确定集
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=121060&flag=1