|
|||||
|
|
| 一种基于缺省规则的推理算法 | |
| 引用本文： | 张彪,文坤梅,许家伟.一种基于缺省规则的推理算法[J].微电子学与计算机,2011,28(3):111-114. |
| 作者姓名： | 张彪 文坤梅 许家伟 |
| 作者单位： | 1. 武汉纺织大学,机电学院,湖北,武汉,430073 2. 华中科技大学,计算机学院,湖北,武汉,430074 3. 湖北省水利厅,湖北,武汉,430071 |
| 基金项目： | 国家自然科学基金项目，国家重点实验室开放基金项目 |
| 摘 要： | 提出了一种将特定缺省规则转换成描述逻辑Abox实例的推理算法,该算法针对特定缺省规则的改变通常不影响Tbox的情况,将缺省规则映射成为Abox中实例的变化,简化了推理过程,同时保持描述逻辑推理的可判定性,具有较好的可行性,并通过推理实例验证了该算法的有效性. |
| 关 键 词： | 描述逻辑 缺省规则 推理算法 |
A Reasoning Algorithm Based on Default Rules |
|
| ZHANG Biao,WEN Kun-mei,XU Jia-wei.A Reasoning Algorithm Based on Default Rules[J].Microelectronics & Computer,2011,28(3):111-114. | |
| Authors: | ZHANG Biao WEN Kun-mei XU Jia-wei |
| Affiliation: | ZHANG Biao,WEN Kun-mei,XU Jia-wei(1 School of Electrical and Mechanical Engineering,Wuhan Textile University,Wuhan 430074,China,2 School of Computer Science and Technology,Huazhong Univ.of Sci.and Tech.,3 Hubei Provincial Department of Water Resources,China) |
| Abstract: | A reasoning algorithm which transfers special default rules into instances in Abox is proposed.The algorithm is designed based on the case that the change of special default rules cannot affect Tbox.So the change can be mapped into the change of Abox.It can simply the inference process,at the same time the determination is not changed.The algorithm has good feasibility.Finally a reasoning example is shown to validate the effectivity of the algorithm. |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |