| 带Rough相等关系词的Rough逻辑系统及其推理 |
| |
| 引用本文： | 刘清,郑非,江娟,刘斓.带Rough相等关系词的Rough逻辑系统及其推理[J].计算机学报,2003,26(1):39-44. |
| |
| 作者姓名： | 刘清 郑非 江娟 刘斓 |
| |
| 作者单位： | 1. 南昌大学计算机科学系,南昌,330029
2. 杭州电子工学院计算机系,杭州,310037 |
| |
| 基金项目： | 国家自然科学基金 ( 60 173 0 5 4)，江西省自然科学基金资助 |
| |
| 摘 要： | 以公式的定义域集的下和上近似分别相等方法，定义了两个Rough逻辑公式Rough相等，并以此定义了Rough相等关系词“＝R”，它不仅比等值词“←→”运算有更多的直观性，而且既考虑了可定义的公式，也包含了那 边界线上不可定义或可能可定义的公式，所以，经典逻辑中的隐含量φ→ψ被移至Rough逻辑中应当解释为R.(d(φ））包含R.(d(ψ))∧R^*(d(φ))包含R^*（d(ψ））。经典逻辑中的等值式φ←→ψ被移至Rough逻辑中应当解释为R.(d(φ））＝R.(d(ψ))∧R^*(d(φ))＝R^*（d(ψ）），其中d(F)是公式F的定义区域，它可能是可定久集，也可能是不可定义集或Rough集，这是Rough逻辑与经典逻辑与其它非标准逻辑的重要区别之一，将这种Rough相等词“＝R”引入Rough逻辑中，因而得一些相关的性质和相关的推理规则。文本中建立了带Rough相等关系词“＝R”的Rough逻辑推理系统，并在这个系统下用演绎推理方法证明了几个具体的实例。
|
| 关 键 词： | Rough相等关系词 Rough逻辑系统 推理 演绎推理 知识表示 人工智能 粗糙集理论 |
| 修稿时间： | 2001年10月29 |
Rough Logic Systems with Rough Equality Relation and Its Reasoning |
| |
| LIU Qing,ZHENG Fei,JIANG Juan,LIU Lan.Rough Logic Systems with Rough Equality Relation and Its Reasoning[J].Chinese Journal of Computers,2003,26(1):39-44. |
| |
| Authors: | LIU Qing ZHENG Fei JIANG Juan LIU Lan |
| |
| Affiliation: | LIU Qing 1) ZHENG Fei 1) JIANG Juan 2) LIU Lan 1) 1) |
| |
| Abstract: | |
| |
| Keywords: | rough equality relation rough set rough logic deductive reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
