基于Rough集理论的模态逻辑与Rough逻辑

被引：3

作者：

刘清

机构：

[1] 南昌大学计算机科学系

来源：

关键词：

Rough集，Rough逻辑，演绎模型，近似算子;

D O I：

暂无

中图分类号：

TP301, [];

学科分类号：

081202 ;

摘要：

在介绍Ｒｏｕｇｈ集的基础上，定义了Ｒｏｕｇｈ下（Ｌ）和上（Ｈ）近似算子，建立了基于Ｒｏｕｇｈ集理论的模态逻辑和Ｒｏｕｇｈ逻辑。阐述了这两种逻辑能在Ｒｏｕｇｈ集公理化基础上被统一起来，并且随着不同性质的关系Ｒ，能得到与模态逻辑相平行的各种Ｒｏｕｇｈ逻辑模型。

引用

页码：44 / 50+54

页数：8