×

模糊内涵语义。 (英语) Zbl 1499.03020号

摘要:加权结构的研究是近年来计算机科学的重要发展趋势之一。本文的目的是提供在高阶模糊逻辑框架中形式化的经典内涵语义的加权多值版本。我们在模糊S5型模态的几个变体上说明了该装置。形式主义适用于广泛的加权内涵概念,包括逻辑、认知或概率模式、广义量词、反事实条件句、动态和非单调逻辑等。

MSC公司:

03B52号 模糊逻辑;模糊逻辑
03B45号 模态逻辑(包括规范逻辑)
03B16号 高阶逻辑

软件:

伊西查尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Amgoud,L.和Ben-Naim,J.(2017年)。加权双极图中参数的评估。欧洲推理和不确定性符号和定量方法会议(ECSQUARU)卢加诺(第25-35页)。斯普林格。
[2] Běhounek,L.,Groenendijk-Stokhof命题性爱逻辑的模糊化,Logique et Analyse,47,167-188(2004)·Zbl 1083.03029号
[3] Běhounek,L.(2008)。程序的建模成本在模糊化命题动态逻辑中运行。在F.Hakl(编辑)中,Doktoradskédny'08年(第11-18页)。布拉格:Matfyzpress。检索自
[4] Běhounek,L.(2009)。模糊逻辑被解释为资源逻辑。在M.Peliš(编辑)中,2008年Logica年鉴(第9-21页)。伦敦:学院出版物·Zbl 1261.03098号
[5] Běhounek,L.,一元和二元模糊连接词的分级性质,模糊集与系统,202,1-41(2012)·Zbl 1347.03051号 ·doi:10.1016/j.fss.2011.12.020
[6] Běhounek,L.(2013)。可行性是一个渐进的概念。在A.Voronkov、G.Sutcliffe、M.Baaz和C.Fermüller(编辑),EPiC计算系列:第13卷.LPAR-17简写:第17届国际编程、人工智能和推理逻辑会议的短文(第15-19页)。EasyChair。检索自
[7] BŞhounek,L.,模糊线性排序中的极大值和极小值,模糊集和系统,289,82-93(2016)·Zbl 1374.06001号 ·doi:10.1016/j.fss.2015.02.010
[8] Běhounek,L.,《类型的极简多值理论》,《逻辑与计算杂志》,271307-1332(2017)·兹伯利1396.03014
[9] Běhounek,L。;博登霍夫,美国。;Cintula,P.,《模糊类理论中的关系:初始步骤,模糊集和系统》,1591729-1772(2008)·Zbl 1185.03078号 ·文件编号:10.1016/j.fss.2007.10.12
[10] Běhounek,L。;Cintula,P.,模糊类理论,模糊集与系统,154,1,34-55(2005)·Zbl 1086.03043号 ·doi:10.1016/j.fss.2004.12.010
[11] Běhounek,L.和Cintula,P.(2007)。形式模糊逻辑中数学理论的特点。在P.Melin、O.Castillo、L.T.Aguilar、J.Kacprzyk和W.Pedrycz(编辑)中,人工智能课堂讲稿:第4529卷.模糊逻辑和软计算基础(IFSA 2007)(第523-532页)。斯普林格·Zbl 1202.03034号
[12] Běhounek,L.、Cintula,P.和Hájek,P.(2011)。数学模糊逻辑导论。在P.Cintula、P.Hájek和C.Noguera(编辑)中,数学模糊逻辑手册(第1-101页)。学院出版物·Zbl 1284.03175号
[13] Běhounek,L.和Kroupa,T.(2007)。模糊类理论中基于内部的拓扑。在M.Štěpnička、V.Novák和U.Bodenhofer(编辑)中,模糊逻辑和相关技术的新维度:第五届Eusflat会议论文集(第一卷,第145-151页)。俄斯特拉发大学·Zbl 1202.54006号
[14] Běhounek,L.和Majer,O.(2011)。基于模糊逻辑的反事实语义。在M.Peliš&V.Punčochář(编辑)中,Logica年鉴2010(第25-41页)。伦敦:学院出版物·Zbl 1261.03099号
[15] Bou,F.、Esteva,F.和Godo,L.(2015)。关于MTL链上定义的可能性模态逻辑。在F.Montagna(编辑)中,对逻辑的杰出贡献:第6卷.彼得·哈耶克谈数学模糊逻辑(第225-244页)。斯普林格·Zbl 1372.03039号
[16] Bou,F。;埃斯特娃,F。;戈多,L。;Rodríguez,R.O.,《有限剩余格上的最小多值模态逻辑》,《逻辑与计算杂志》,21,5,739-790(2009)·Zbl 1252.03040号 ·doi:10.1093/log.com/exp062
[17] Caicedo,X。;Rodriguez,R.O.,《标准哥德尔模态逻辑》,Studia Logica,94189-214(2010)·Zbl 1266.03030号 ·doi:10.1007/s11225-010-9230-1
[18] 查格罗夫,A。;Zakharyaschev,M.(1997)
[19] Ciardelli,I。;Roelofsen,F.,《调查逻辑》,《哲学逻辑杂志》,40,1,55-94(2011)·Zbl 1214.03019号 ·doi:10.1007/s10992-010-9142-6
[20] 辛图拉,P。;Noguera,C.,模态多值逻辑的邻域语义,模糊集和系统,345,99-112·Zbl 1397.03027号 ·doi:10.1016/j.fss.2017.10.009
[21] De Baets,B。;梅西亚尔,R。,T型-划分,模糊集与系统,97,2,211-223(1998)·Zbl 0930.03070号 ·文件编号:10.1016/S0165-0114(96)00331-4
[22] Droste,M.、Kuich,W.和Vogler,H.(2009)。加权自动机手册柏林:施普林格科技与商业媒体·Zbl 1200.68001号
[23] Dunn,J.M.(2001)。信息概念与现代逻辑的发展。W.Stelzner&M.Stöckler(编辑),Zwischen传统与现代物流:Nichtklassische Ansatze(第423-447页)。帕德博恩:Mentis-Verlag。
[24] 埃斯特娃,F。;加西亚,P。;戈多,L。;Rodríguez,R.O.,《基于相似性推理的模式说明》,《国际近似推理杂志》,第16期,第3-4期,第235-260页(1997年)·Zbl 0935.03037号 ·doi:10.1016/S0888-613X(96)00126-0
[25] 埃斯特娃,F。;Godo,L.,基于单体t-范数的逻辑:走向左旋t-范本的逻辑,模糊集与系统,124,3,271-288(2001)·Zbl 0994.03017号 ·doi:10.1016/S0165-0114(01)00098-7
[26] 弗拉米尼奥,T。;戈多,L。;马尔基奥尼(Marchioni,E.),《关于国家的可能对等物的逻辑形式化》n个-valuedŁukasiewicz events,《逻辑与计算杂志》,21,429-446(2011)·Zbl 1244.03084号 ·doi:10.1093/log.com/exp012
[27] Flaminio,T.和Kroupa,T.(2015)。MV-代数的状态。在P.Cintula、C.Fermüller和C.Noguera(编辑)中,数学模糊逻辑手册(第3卷,第1191-1245页)。伦敦:学院出版物·Zbl 1431.06005号
[28] 戈多,L。;Hájek,P。;Esteva,F.,信念函数的模糊模态逻辑,信息学基础,57127-146(2003)·Zbl 1044.03009号
[29] Hájek,P.(1998)
[30] Hájek,P.,《关于模糊模态逻辑S5(C)》,《模糊集与系统》,1612389-2396(2010)·Zbl 1210.03020号 ·doi:10.1016/j.fss.2009.11.011
[31] Hájek,P。;辛图拉,P.,《模糊谓词逻辑的理论和模型》,《符号逻辑杂志》,71,3863-880(2006)·Zbl 1111.03030号 ·doi:10.2178/jsl/1154698581
[32] Hájek,P。;Cintula,P.,基于三角范数的谓词模糊逻辑,模糊集与系统,161,3,311-346(2010)·Zbl 1200.03020号 ·doi:10.1016/j.fss.2009.09.006
[33] Horík,R.、Moraschini,T.和Vidal,A.(2017年)。有值约束满足的代数方法。在V.Goranko&M.Dam(编辑)中,莱布尼茨国际信息学会议(LIPIcs):第82卷.第26届EACSL计算机科学逻辑年会(CSL 2017)(第42:1-42:20页)。德国达格斯图尔:Dagstuhl-Leibniz-Zentrum fuer Informatik。检索自·Zbl 1440.68121号
[34] Novák,V.,关于模糊类型理论,模糊集与系统,149,2,235-273(2004)·Zbl 1068.03019号 ·doi:10.1016/j.fss.2004.03.027
[35] Rasiowa,H.,《非经典逻辑的代数方法》(1974年),阿姆斯特丹:荷兰北部·Zbl 0299.02069号
[36] Valverde,L.,关于F类-不可分辨算子,模糊集与系统,17,3,313-328(1985)·Zbl 0609.04002号 ·doi:10.1016/0165-0114(85)90096-X
[37] Van Benthem,J。;Doets,K.(2001)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。