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

Rough Logic System RSL and Fuzzy Logic System ■uk

作　　者：张小红[1] 祝峰[2] 

机构地区：[1]上海海事大学文理学院,上海浦东区201306 [2]电子科技大学计算机科学与工程学院,成都610054

出　　处：《电子科技大学学报》2011年第2期296-302,共7页Journal of University of Electronic Science and Technology of China

基　　金：国家自然科学基金(60775038;60873077);宁波市自然科学基金(2009A610078)

摘　　要：基于rough集的偶序对(下近似,上近似)表示,通过改进基于rough集的逻辑系统L的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数。其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数)。最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系。From the description of the pairs （low approximation, upper approximation） of rough sets, a new rough implication operator is introduced by modifying the method by Ref. [1], some algebraic properties of this rough implication operator are investigated, and these results are generalized to regular double Stone algebras and the following important result is proved： the regular double Stone algebra with the new rough implication operator is an MV-algebra. Further more a rough logic system RSL is constructed, its schematic is rough sets and extensional regular double Stone algebras. The completeness theorem of RSL is proved by introducing the notion of RSL-algebra. Finally, the relationship between rough logic RSL and fuzzy logic Luk （continuous-valued tukasiewicz logic system） is discussed.

关 键 词：模糊逻辑 正则双Stone代数 rough蕴涵 ROUGH逻辑 ROUGH集 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP18[自动化与计算机技术—计算机科学与技术]