| 算子Rough逻辑及其归结原理 |
| |
| 引用本文： | 刘清. 算子Rough逻辑及其归结原理[J]. 计算机学报, 1998, 21(5): 476-480 |
| |
| 作者姓名： | 刘清 |
| |
| 作者单位： | 南昌大学计算机科学与工程系,南昌,330029 |
| |
| 基金项目： | 国家自然科学基金!69773001，江苏省自然科学基金!961111 |
| |
| 摘 要： | 本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．
|
| 关 键 词： | Rough集 算子Rough逻辑 归结原理 计算机 |
| 修稿时间： | 1997-01-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 维普 万方数据 等数据库收录！ |
