×

基于强拓扑粗糙代数的粗糙蕴涵算子。 (英语) Zbl 1202.03070号

摘要:研究了拓扑De Morgan代数在粗糙集理论中的作用。在强拓扑粗糙代数中引入了粗糙蕴涵算子,该代数是经典粗糙代数和拓扑De Morgan代数的推广。讨论了几个相关问题。首先,描述了拓扑De Morgan代数在粗糙集理论中的两个应用方向,并给出了各种粗糙集模型的统一代数描述。其次,基于强拓扑粗糙代数的内部算子和闭包算子,引入了蕴涵算子(称为粗糙蕴涵),并证明了它的重要性质。第三,分析了经典逻辑的粗糙集解释,并基于粗糙蕴涵构建了对Łukasiewicz连续值逻辑系统Łuk的新语义解释。最后,引入了强拓扑粗糙蕴涵代数。建立了STRI-代数、正则双Stone代数和RSL--代数之间的联系,并基于STRI代数讨论了粗糙逻辑系统RSL的完备性定理。

MSC公司:

03G25号 与逻辑相关的其他代数
03B50号 多值逻辑
03B52号 模糊逻辑;模糊逻辑

软件:

达塔克
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 班纳吉,M。;Chakraborty,M.K.,《粗糙代数》,波兰科学院公报(数学),41,4,293-297(1993)·Zbl 0795.03035号
[2] 班纳吉,M。;Khan,M.A.,粗糙集理论中的命题逻辑,《粗糙集学报》,第六期,第4374页,第1-25页(2007年)·Zbl 1186.68446号
[3] Bonikowski,Z.,粗糙集演算的某些概念,《圣母院形式逻辑杂志》,33412-421(1992)·Zbl 0762.04001号
[6] Chuchro,M.,《关于拓扑布尔代数中的粗糙集》(Ziarko,W.P.,《粗糙集》,粗糙集、模糊集和知识发现(1994),Springer-Verlag:Springer-Verlag London),157-160·Zbl 0822.68106号
[7] Cignoli,R。;I·D’Ottaviano。;Mundici,D.,《多值推理的代数基础》(1999年),Kluwer学术:Kluwer-Academic Dordrecht
[8] 杜迪奥斯,D。;Prade,H.,粗糙模糊集和模糊粗糙集,国际通用系统杂志,191-209(1990)·Zbl 0715.04006号
[9] 杜奇,I.,《粗糙集的逻辑》,《理论计算机科学》,179427-436(1997)·Zbl 0896.03050号
[10] 杜奇,I。;Winter,M.,《重新审视粗糙关系代数》,《信息基础》,74,2,3,283-300(2006)·Zbl 1110.03061号
[11] 埃斯特娃,F。;Gispert,J。;戈多,L。;Montagna,F.,关于基于单(t)-范数逻辑的一些公理扩张的标准和有理完备性,Studia Logica,71,393-420(2002)
[12] 埃斯特娃,F。;Gispert,J。;Godo,L.,关于单体范数逻辑的一些公理扩张的标准和有理完备性,Studia Logica,71,2,199-226(2002)·Zbl 1011.03015号
[13] 埃斯特娃,F。;Godo,L.,基于单调\(t\)范数的逻辑:走向左连续\(t\)范数的逻辑,模糊集和系统,124271-288(2001)·Zbl 0994.03017号
[14] Gregorczyk,A.,一些拓扑理论的不确定性,数学基础,38,137-152(1951)·兹比尔0045.00301
[15] Hájek,P.,《模糊逻辑的元数学》(1998),Kluwer学术出版社·Zbl 0937.03030号
[16] Luo,C.W.,拓扑De Morgan代数和Kleen-Stone代数,模糊集和系统,8,2,267-272(2000)·兹bl 0955.06006
[17] 马萨,M。;蒙塞拉特,M。;托伦斯,J。;Trillas,E.,《模糊蕴涵函数的调查》,IEEE模糊系统汇刊,15,6,1107-1121(2007)
[18] Nakamura,A.,拓扑软代数及其应用,模糊集与系统,46273-280(1992)·Zbl 0769.03034号
[19] Pagliani,P.,《粗糙集理论和逻辑代数结构》,《不完全信息:粗糙集分析》(1998年),《物理-验证:物理-验证-海德堡》,第109-190页
[20] Pawlak,Z.,《粗糙集:关于数据推理的理论方面》(Rough Sets:Theory Aspects of Reasoning About Data)(1991年),Kluwer Academic Publishing:Kluwer-Academical Publishing Dordrecht·Zbl 0758.68054号
[21] Pawlak,Z。;Skowron,A.,《粗糙集的基础》,信息科学,177,3-27(2007)·Zbl 1142.68549号
[22] Pawlak,Z。;Skowron,A.,《粗糙集与布尔推理》,信息科学,177,41-73(2007)·Zbl 1142.68551号
[23] 齐,G.L。;Liu,W.R.,布尔代数上的粗糙算子,信息科学,173,1-3,49-63(2005)·Zbl 1074.03025号
[24] 秦光耀。;涂文斌,粗糙集代数与格蕴涵代数,西南交通大学学报,39,6754-757(2004)·Zbl 1105.03328号
[25] Van Gasse,B。;科内利斯,C。;Deschrijver,G。;Kerre,E.E.,三角代数:区间值剩余格的形式逻辑方法,模糊集与系统,1591042-1060(2008)·Zbl 1174.03028号
[26] Van Gasse,B。;科内利斯,C。;Deschrijver,G。;Kerre,E.E.,区间值模糊逻辑的伪线性语义,信息科学,179717-728(2009)·Zbl 1162.03014号
[27] Vigneron,L.,研究粗糙代数的自动演绎技术,信息学基础,33,1,85-103(1998)·Zbl 0902.68182号
[29] 王国杰,《非经典数理逻辑与近似推理》(2000),科学出版社:北京科学出版社
[30] Wasilewska,A.,拓扑粗糙代数,粗糙集和数据挖掘:不精确数据的分析,411-425(1995)·Zbl 0860.03042号
[32] Wasilewska,A。;Vigneron,L.,《粗糙代数与自动演绎》,《知识发现中的粗糙集》,第1卷(1998年),Springer-Verlag,第261-275页·Zbl 0926.03081号
[33] 姚义勇,有限宇宙中粗糙集理论的两种观点,国际近似推理杂志,15,4,291-317(1996)·Zbl 0935.03063号
[34] 姚义勇,粗糙集理论的构造和代数方法,信息科学,109,1-4,21-47(1998)·兹伯利0934.03071
[35] Yao,Y.Y.,基于α水平集的粗糙集与模糊集的组合,粗糙集与数据挖掘:不精确数据的分析(1997),克鲁沃学术出版社:克鲁沃学术出版商波士顿,第301-321页·Zbl 0859.04005号
[36] Yao,Y.Y。;Lin,T.Y.,使用模态逻辑的粗糙集的泛化,智能自动化和软计算,2,2103-120(1996)
[37] 张晓华,《模糊逻辑与代数分析》(2008),科学出版社:北京科学出版社
[39] Zhang,X.H。;He,H.C。;Xu,Y.,基于Schweizer Sklar(t\)-范数的模糊逻辑系统,中国科学:信息科学F系列,49,2175-188(2006)·Zbl 1122.03025号
[41] 朱威廉;王飞跃,覆盖广义粗糙集的约简与公理化,信息科学,152217-230(2003)·Zbl 1069.68613号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。