电子科技大学学报2011，Vol.40Issue(2)：296-302,7.DOI:10.3969/j.issn.1001-0548.2011.02.028
Rough逻辑系统RSL与模糊逻辑系统Luk
Rough Logic System RSL and Fuzzy Logic System Luk
摘要
Abstract
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 tukasiewiez logic system) is discussed.关键词
模糊逻辑/正则双Stone代数/rough蕴涵/rough逻辑/rough集Key words
fuzzy logic/ regular double Stone algebra/ rough implication/ rough logic/ rough set分类
信息技术与安全科学引用本文复制引用
张小红,祝峰..Rough逻辑系统RSL与模糊逻辑系统Luk[J].电子科技大学学报,2011,40(2):296-302,7.基金项目
国家自然科学基金(60775038,60873077) （60775038,60873077）
宁波市自然科学基金(2009A610078) （2009A610078）
