|
|||||
|
|
| 粗描述逻辑RALCQ的Tableau推理 | |
| 引用本文： | 许禾,苗长运.粗描述逻辑RALCQ的Tableau推理[J].广东电脑与电讯,2009(12):73-75. |
| 作者姓名： | 许禾 苗长运 |
| 作者单位： | 广西师范大学计算机科学与信息工程学院,广西桂林541004 |
| 摘 要： | 基于描述逻辑ALCQ，通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性。 |
| 关 键 词： | 描述逻辑 粗描述逻辑 RALCQ Tableau算法 |
| 本文献已被 维普 万方数据 等数据库收录！ | |