带逆角色的认知描述逻辑研究  

Research on epistemic description logic with inverse roles

作　　者：赵专政[1] 印俊[2] 

机构地区：[1]湖南城市学院数学与计算科学学院,湖南益阳413000 [2]中南大学信息科学与工程学院,长沙410083

出　　处：《计算机工程与应用》2013年第20期29-33,166,共6页Computer Engineering and Applications

基　　金：湖南省科技厅计划项目(No.2011FJ6029)

摘　　要：针对认知角色不能表达个体间双向关系的问题,在描述逻辑ALCK中加入逆角色得到ALCIK,以扩充其表达能力,在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模,给出了ALCIK的语法和语义,并且在Tbox为空集,Abox中无K算子的情况下,设计了ALCIK概念的查询表算法,根据概念结构归纳证明了表算法的可靠性和完备性,并且一定会停机,最后讨论了复杂度。理论分析表明,此时认知查询问题是可判定的,并且计算复杂度为PSpace-hard。Aiming at epistemic role being not capable of expressing bidirectional relationship between individuals, this paper embeds inverse role into description logic ALCK and obtains ALCIK in order to extend expressiveness, models practical prob lems more conveniently while keeping capturing minimal knowledge and introspecting. It gives semantic and syntax of ALCIK and designs query tableau algorithm on condition that Tbox is empty and Abox is Kfree. It also proves that the algorithm which will terminate definitely is sound and complete by induction on structure of ALCIK concept and investigates its computational complexity at last. The theoretical analysis shows that in this situation epistemic query problem is decidable and complexity is in PSpacehard class.

关 键 词：认知角色 逆角色 K算子 查询表算法 复杂度 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]