粗描述逻辑RALCQ的Tableau推理

• 作者: 苗长运 许禾
• 来源期刊: 电脑与电信
• 学科: 工学
• 关键词: 描述逻辑 粗描述逻辑 RALCQ Tableau算法
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 经验交流
• 页码范围: 73-75
• 页数: 3页
• 分类号: TP3
• 字数: 3066字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-6609.2009.12.041

摘要

基于描述逻辑ALCQ,通过引入分级近似算子而得到粗描述逻辑RALCQ.随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许禾	广西师范大学计算机科学与信息上程学院	1	1	1.0	1.0
2	苗长运	广西师范大学计算机科学与信息上程学院	1	1	1.0	1.0