粗糙集与BCK代数

粗糙集的代数刻画是粗糙集理论中研究的一个重要方向,在偶序对[R(X),R(X)]构成的集合中定义了二元运算[*],证明了序偶对构成的集合构成了一个有界BCK代数,给出了基本的性质,为粗糙逻辑和粗糙推理奠定了基础。     

粗代数研究

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对((下近似集,上近似集()表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能够抽象刻画偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数,它们对应的一般代数结构分别是正则双Stone代数、半简单Nelson代数和预粗代数.通过建立这些粗代数中算子之间的联系,证明了:(a) 近似空间代数可转化为半简单Nelson代数和正则双Stone代数;(b) 粗Nelson代数可转化为预粗代数和正则双Stone代数;(c) 粗双Stone代数可化为预粗代数和半简单Nelson代数,从而将3个不同角度的研究统一了起来.     

粗代数与三值Lukasiewicz代数

在粗糙集的代数方法研究中一个重要的方面是从粗糙集的偶序对(〈下近似集,上近似集〉)表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、近似空间代数和粗Nelson代数,它们对应的一般代数分别是正则双Stone代数、预粗代数和半简单Nelson代数.文章证明了这三种粗代数都可以化为三值Lukasiewicz代数,从而将它们统一到了三值Lukasiewicz代数的框架下.并在此基础上,更直接地证明了一个近似空间中的所有粗糙集可构成一个三值Lukasiewicz代数.最后给出一个实例,说明了从一个信息系统得到其对应三值Lukasiewicz代数的过程.     

粗糙集与FI代数

在粗糙集的代数刻画方面,一个重要方法是在偶序对<■(X),■(X)>构成的集合中,通过定义基本运算,寻找刻画偶序对所构成集合的代数结构。本文在偶序对<■(X),■(X)>构成的集合中定义二元运算→,证明了偶序对<■(X),■(X)>所构成的集合构成FI代数,并给出几个简单性质。     

正则FI-代数的刻画及成为Boole代数的条件

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨了蕴涵分配正则FI-代数的若干性质,证明了蕴涵分配正则FI-代数与Boole代数是相互等价的代数系统,给出了Boole代数的一种新的刻画,使其在形式上更接近于二值逻辑代数。     

粗糙集代数与BL代数

讨论粗糙集代数与BL代数的关系以及由粗糙集代数构造BL代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙集代数就成为BL代数。     

区间集上的格蕴涵代数、FI-代数、MV-代数的研究

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵今,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。     

格蕴涵代数的Ω-模糊子代数

给定一个集合Ω,将Ω-模糊集与格蕴涵代数相结合,引入了格蕴涵代数Ω-模糊子代数的概念,并研究了其相关性质;给出了格蕴涵代数Ω-模糊子代数的若干等价刻画,讨论了格蕴涵代数Ω-模糊子代数与格蕴涵代数子代数之间的相互关系;研究了格蕴涵代数Ω-模糊子代数在Ω-模糊集下交、并等运算下的基本性质;讨论了格蕴涵代数Ω-模糊子代数的同态像与同态原像的基本性质;最后研究了格蕴涵代数Ω-模糊子代数的直积与投影。     

粗糙集代数与BR0代数

讨论粗糙集代数与BR₀代数的关系,以及由粗糙集代数构造BR₀代数的方法。借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR₀代数。     

基于蕴涵算子的粗糙集代数与R0-代数

讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法。粗糙集本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙集代数就成为R0-代数。     

Rough implication operator based on strong topological rough algebras

The role of topological De Morgan algebra in the theory of rough sets is investigated. The rough implication operator is introduced in strong topological rough algebra that is a generalization of classical rough algebra and a topological De Morgan algebra. Several related issues are discussed. First, the two application directions of topological De Morgan algebras in rough set theory are described, a uniform algebraic depiction of various rough set models are given. Secondly, based on interior and closure operators of a strong topological rough algebra, an implication operator (called rough implication) is introduced, and its important properties are proved. Thirdly, a rough set interpretation of classical logic is analyzed, and a new semantic interpretation of ?ukasiewicz continuous-valued logic system ?uk is constructed based on rough implication. Finally, strong topological rough implication algebra (STRI-algebra for short) is introduced. The connections among STRI-algebras, regular double Stone algebras and RSL-algebras are established, and the completeness theorem of rough logic system RSL is discussed based on STRI-algebras.     

粗糙集代数与FI代数

讨论了粗糙集代数与FI代数的关系以及由粗糙集代数构造FI代数的方法。粗糙集本身具有格结构,证明了在适当选取蕴含算子之后,粗糙集代数就成为FI代数。     

可换双剩余格上的广义模糊粗糙集及其公理化

双剩余格是t-模、t-余模、模糊剩余蕴涵及其对偶算子的代数抽象,基于格的L-模糊关系是普通模糊关系的推广。作为Pawlak经典粗糙集及多种模糊粗糙集模型的共同推广,提出了一种基于可换双剩余格及L-模糊关系的广义模糊粗糙集模型,引入了正则可换双剩余格的概念,并给出了基于正则可换双剩余格的广义模糊粗糙上、下近似算子的公理系统,推广了多个文献中已有的结果。     

粗糙蕴涵

Rough implication operator is the emphasis and difficulty in the study of rough logic. Due to the shortage of rough implication in [3]～[5], we redefine rough set and rough implication operator by Stone algebra, and introduce new rough operators such as rough intersection, rough union, and rough complement. Moreover the characteristics of the proposed rough implication are investigated ,and we also point out that the proposed implication operation is superior to that of three-valued Lukasiewicz logic.