-
题名带逆角色的认知描述逻辑研究
- 1
-
-
作者
赵专政
印俊
-
机构
湖南城市学院数学与计算科学学院
中南大学信息科学与工程学院
-
出处
《计算机工程与应用》
CSCD
2013年第20期29-33,166,共6页
-
基金
湖南省科技厅计划项目(No.2011FJ6029)
-
文摘
针对认知角色不能表达个体间双向关系的问题,在描述逻辑ALCK中加入逆角色得到ALCIK,以扩充其表达能力,在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模,给出了ALCIK的语法和语义,并且在Tbox为空集,Abox中无K算子的情况下,设计了ALCIK概念的查询表算法,根据概念结构归纳证明了表算法的可靠性和完备性,并且一定会停机,最后讨论了复杂度。理论分析表明,此时认知查询问题是可判定的,并且计算复杂度为PSpace-hard。
-
关键词
认知角色
逆角色
K算子
查询表算法
复杂度
-
Keywords
epistemic role
inverse role
K operator
query tableau algorithm
complexity
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
