描述逻辑(￡∮0)概念及术语公理集的表达能力刻画

• 作者: 文习明 王驹 申宇铭
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 描述逻辑 概念描述 术语公理集 表达能力
• 年，卷（期）: 2014,（12）
• 所属期刊栏目: 人工智能
• 页码范围: 206-210,215
• 页数: 6页
• 分类号: TP18
• 字数: 9278字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.12.045

摘要

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理.文中给出了描述逻辑(￡∮0)(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了(￡∮0)中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与(￡∮0)概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
3	申宇铭	广东外语外贸大学思科信息学院	6	21	3.0	4.0