Rough逻辑系统RSL与模糊逻辑系统Luk

• 作者: 张小红 祝峰
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 模糊逻辑 正则双Stone代数 rough蕴涵 rough逻辑 rough集
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 296-302
• 分类号: TP301|TP18
• 字数: 6698字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2011.02.028

摘要

基于rough集的偶序对<下近似,上近似)表示,通过改进基于rough集的逻辑系统(C)的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数.其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数).最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张小红	上海海事大学文理学院	14	22	3.0	4.0
2	祝峰	电子科技大学计算机科学与工程学院	7	68	5.0	7.0