描述逻辑的粗糙扩展研究 |
| |
引用本文: | 王岁花,赵爱玲,魏涛.描述逻辑的粗糙扩展研究[J].计算机工程与科学,2011,33(2):137. |
| |
作者姓名: | 王岁花 赵爱玲 魏涛 |
| |
作者单位: | 河南师范大学计算机与信息技术学院,河南,新乡,453007 |
| |
基金项目: | 河南省重点科技攻关计划资助项目(102102210409); 河南省教育厅基础研究项目(2009B520014) |
| |
摘 要: | 由于传统的描述逻辑系统不适于表示不确定的、模糊的知识,本文将基于粗糙集语义的下近似和上近似引入描述逻辑系统中,使用一种简单的方法将传统描述逻辑进行扩展,介绍了粗糙描述逻辑的概念,在粗糙描述逻辑系统中我们可以使用适当的子概念和超概念来对某些模糊的知识进行约束表示。本文主要讨论描述逻辑ALC的粗糙扩展,介绍扩展后所得到的粗糙描述逻辑RALC的语法、语义和相关推理问题,探讨了使用粗糙描述逻辑来对不精确概念进行建模的基本思想,最后提出了一个RALC的可满足性问题的推理算法。本文的工作可以使得在描述逻辑中对不确定的知识进行形式化描述和推理更加方便。
|
关 键 词: | 粗糙描述逻辑 描述逻辑 粗糙集 近似概念 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|