科创中国

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

原文链接：万方

• 作者：

  刘一松,王昌海,赵吉庆

• 摘要：

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

• 关键词：

  描述逻辑 断言 开世界假设 标准否定范式 确定集

• 作者单位：

  江苏大学计算机科学与通信工程学院

• 基金项目：

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

• 来源期刊：

  计算机科学

• 年，卷(期)：

  2012010