| 算子Rough逻辑及其归结原理 |
| |
| 引用本文： | 刘清.算子Rough逻辑及其归结原理[J].计算机学报,1998,21(5):476-480. |
| |
| 作者姓名： | 刘清 |
| |
| 作者单位： | 南昌大学计算机科学与工程系,南昌,330029 |
| |
| 基金项目： | 国家自然科学基金!69773001，江苏省自然科学基金!961111 |
| |
| 摘 要： | 本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．
|
| 关 键 词： | Rough集 算子Rough逻辑 归结原理 计算机 |
| 修稿时间： | 1997年1月28日 |
OPERATOR ROUGH LOGIC AND RESOLUTION PRINCIPLES |
| |
| LIU Qing.OPERATOR ROUGH LOGIC AND RESOLUTION PRINCIPLES[J].Chinese Journal of Computers,1998,21(5):476-480. |
| |
| Authors: | LIU Qing |
| |
| Abstract: | |
| |
| Keywords: | Rough sets operator rough logic rough truth values resolution principles |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
