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

ABox Knowledge Update Based on ALCO

作　　者：刘一松[1] 王昌海[1] 赵吉庆[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,镇江212013

出　　处：《计算机科学》2012年第10期264-267,共4页Computer Science

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

摘　　要：以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。This paper explored knowledge update based on description logic ALC.O~. First, it introduced the syntax and semantics of ALCO~ , secondly it proposed the concept of determined set and conflict set, after that it gave the algorithm which can obtain determined set and conflict set from the original knowledge set according to the Tableau algorithm of description logic. In the algorithm of update,we deleted assertions of Conflict Set, added new assertions to the original knowledge set, and modified other assertions affected by new assertion, so it could satisfy the open world assumption.

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

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]