基于ALCO@的ABox知识更新的研究

摘要：

以描述逻辑ALCO@为基础研究知识更新.首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法.在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设.

关键词：描述逻辑、断言、开世界假设、标准否定范式、确定集

所属期刊栏目：39

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

资助基金：江苏大学高级专业人才科研启动基金项目10JDG063;江苏省社会发展计划BS2001046;江苏省高校自然科学研究计划03kjd520075

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

页数：共4页

页码：264-267