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

• 作者: 印俊 赵专政
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 认知角色 逆角色 K算子 查询表算法 复杂度
• 年，卷（期）: 2013,（20）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 29-33,166
• 页数: 6页
• 分类号: TP301
• 字数: 8596字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1305-0060

摘要

针对认知角色不能表达个体间双向关系的问题，在描述逻辑ALCK中加入逆角色得到ALCIK，以扩充其表达能力，在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模，给出了ALCIK的语法和语义，并且在Tbox为空集，Abox中无K算子的情况下，设计了ALCIK概念的查询表算法，根据概念结构归纳证明了表算法的可靠性和完备性，并且一定会停机，最后讨论了复杂度。理论分析表明，此时认知查询问题是可判定的，并且计算复杂度为PSpace-hard。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵专政	湖南城市学院数学与计算科学学院	16	36	4.0	5.0
2	印俊	中南大学信息科学与工程学院	1	1	1.0	1.0