算子Rough逻辑及其归结原理

被引：8

作者：

刘清

机构：

[1] 南昌大学计算机科学与工程系!南昌

来源：

计算机学报 | 1998年 / 05期

关键词：

Rough集; 算子Rough逻辑; Rough真值; 归结原理;

D O I：

暂无

中图分类号：

TP302 [设计与性能分析];

学科分类号：

081201 ;

摘要：

本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．

引用

收藏

页码：476 / 480

页数：5

相关论文

共 1 条

[1]

Symbolic Logic and Mechanical Theorem Proving .2 Chang C L,Lee R C T. New York:Academic Press . 1973