弗朗西斯科·埃斯特瓦;路易斯·戈多;齐格弗里德·戈特瓦尔德;佛朗哥·蒙塔格纳 导言。 （英语） Zbl 1328.03023号 Montagna，Franco（编辑），Petr Hájek关于数学模糊逻辑。查姆：施普林格（ISBN 978-3-319-06232-7/hbk；978-3-3169-06233-4/电子书）。《逻辑6的杰出贡献》，3-20（2015）。 本文简介：数学模糊逻辑是对逻辑系统的数学研究，其代数语义涉及真度的一些概念。学科的起源二者都是哲学的（在某些特定的上下文中建模正确的推理，例如模糊谓词的处理，经典逻辑可能对此并不足够），也都是技术性的：扎德的模糊集理论（已被广泛应用）和多值逻辑（具有中间真度的逻辑），其阶数通常假定为线性。与主要致力于具体应用的模糊集理论不同，数学模糊逻辑是数学逻辑的一个分支，因此它旨在对具有中间真度的推理进行数学处理。关于整个系列，请参见[Zbl 1300.03007号]. MSC公司： 03B52号 模糊逻辑；模糊逻辑 关键词：模糊逻辑;计算复杂性;BL-代数;模态逻辑;描述逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}等人，Outst。控制日志。6、3——20（2015；Zbl 1328.03023） 全文： 内政部 链接 参考文献： [1] 阿格利安奥，P。；费雷里姆，IMA；Montagna，F.，《基础圈：连续T范数的代数研究》，Studia Logica，87，1，73-98（2007）·兹比尔1127.03049 ·doi:10.1007/s11225-007-9078-1 [2] 巴德，F。；Calvanee，D。；麦吉尼斯，DL；Nardi，D。；Patel-Schneider，PF，《描述逻辑手册：理论、实现和应用》（2003），纽约：剑桥大学出版社，纽约·Zbl 1058.68107号 [3] Baaz，M。；Hájek，P。；Krajíček，J.，《将逻辑嵌入产品逻辑》，Studia Logica，61，1，35-47（1998）·Zbl 0962.03019号 ·doi:10.1023/A:1005026229560 [4] Baaz，M。；Hájek，P。；蒙塔格纳，F。；Veith，H.，T-同义反复的复杂性，《纯粹与应用逻辑年鉴》，113，1-3，3-11（2002）·Zbl 1006.03022号 [5] Bobillo，F。；德尔加多，M。；Gómez-Romero，J。；美国斯特拉契亚，《哥德尔语义学下的模糊描述逻辑》，《国际近似推理杂志》，50，3，494-514（2009）·Zbl 1191.68647号 ·doi:10.1016/j.ijar.2008.10.003 [6] Borgwardt，S.、Distel，F.和Peñaloza，R.（2012）我的模糊描述逻辑有多模糊？摘自：《第六届国际自动推理联合会议论文集》（IJCAR 12），《人工智能讲义》（第7364卷，第82-96页）·Zbl 1358.68274号 [7] Borgwardt，S.和Peñaloza，R.（2011年）。t-范数格上的模糊本体。摘自：第24届描述逻辑国际研讨会论文集（DL 2011）（第70-80页）。 [8] Bou，F。；埃斯特娃，F。；戈多，L。；Rodríguez，RO，关于有限剩余格上的最小多值模态逻辑，《逻辑与计算杂志》，21，5，739-790（2011）·Zbl 1252.03040号 ·doi:10.1093/log.com/exp062 [9] Caicedo，X。；Rodríguez，RO，标准哥德尔模态逻辑，Studia Logica，94，2，189-214（2010）·Zbl 1266.03030号 ·doi:10.1007/s11225-010-9230-1 [10] Caicedo，X.和Rodríguez，R.O.（2012）。[0,1]值Kripke框架上的双模哥德尔逻辑。《逻辑与计算杂志》（出版中）·Zbl 1371.03035号 [11] Cerami，M.（2012）。从数学模糊逻辑的角度来看，模糊描述逻辑。巴塞罗那大学博士论文，2012年10月16日。 [12] 塞拉米，M。；Straccia，U.，论模糊描述逻辑在Łukasiewicz t-范数下的（不）可判定性，信息科学，227，1-21（2013）·Zbl 1293.68255号 ·doi:10.1016/j.ins.2012.1019 [13] Cerami，M.、Esteva，F.和Bou，F.（2010年）。描述逻辑对无限值乘积逻辑的判定性。KR2010会议记录（第203-213页）。 [14] Chang，CC，Łukasiewicz公理完备性的新证明，美国数学学会学报，93，1，74-80（1959）·Zbl 0093.01104号 [15] Cignoli，R。；埃斯特瓦，F。；戈多，L。；Torrens，A.，《基本模糊逻辑是连续t-范数及其残差的逻辑》，《软计算》，4，2，106-112（2000）·doi:10.1007/s005000000044 [16] Cintula，P.、Hájek，P.和Horík，R.（2007）。模糊逻辑的形式系统及其碎片。《纯粹逻辑与应用逻辑年鉴》，150（1-3），40-65·Zbl 1140.03010号 [17] 辛图拉，P。；Hájek，P.，Łukasiewicz逻辑公理扩展中的复杂性问题，逻辑与计算杂志，19，2，245-260（2009）·Zbl 1165.03009号 ·doi:10.1093/log.com/exn052 [18] Cintula，P.、Hájek，P.和Noguera，C.（编辑）。(2011). 数学模糊逻辑手册（2卷）。在逻辑研究中。数理逻辑与基础（第37、38卷）。伦敦：学院出版物·Zbl 1283.03002号 [19] Cintula，P.、Haniková，Z.和Švejdar，V.（编辑）。(2009). 见证数年——为纪念彼得·哈耶克而写的论文。《致敬》（第10卷）。伦敦：学院出版物·Zbl 1203.03005号 [20] 埃斯特娃，F。；戈多，L。；Hájek，P。；纳瓦拉，M.，《带对合否定的剩余模糊逻辑》，《数学逻辑档案》，39，2，103-124（2000）·Zbl 0965.03035号 ·doi:10.1007/s001530050006 [21] 埃斯特娃，F。；Godo，L.，基于单调t-范数的逻辑：走向左连续t-范数的逻辑，模糊集和系统，124，3271-288（2001）·Zbl 0994.03017号 ·doi:10.1016/S0165-0114（01）00098-7 [22] 埃斯特瓦，F。；戈多，L。；Hájek，P。；Montagna，F.，《圈与模糊逻辑》，《逻辑与计算杂志》，13，4，532-555（2003）·Zbl 1039.03016号 ·doi:10.1093/logcom/13.4.532 [23] Esteva，F.和Godo，L.（2013）。模糊真理模糊限制语的逻辑方法。信息科学，232366-385·Zbl 1293.03014号 [24] Fitting，MC，多值模态逻辑，基础信息学，15235-254（1992）·Zbl 0745.03018号 [25] Fitting，MC，多值模态逻辑II，Fundamental Informaticae，17，55-73（1992）·Zbl 0772.03006号 [26] 弗拉米尼奥，T。；Godo，L.，《模糊事件概率推理逻辑》，《模糊集与系统》，158625-638（2007）·Zbl 1116.03018号 ·doi:10.1016/j.fss.2006.11.008 [27] 弗拉米尼奥，T。；戈多，L。；Marchioni，E.，《关于n值Łukasiewicz事件上状态的可能对应物的逻辑形式化》，《逻辑与计算杂志》，21，3，429-446（2011）·Zbl 1244.03084号 ·doi:10.1093/log.com/exp012 [28] 弗拉米尼奥，T。；Montagna，F.，多值概率推理模型，《逻辑与计算杂志》，21，3，447-464（2011）·Zbl 1237.06005号 ·doi:10.1093/log.com/exp013 [29] 弗拉米尼奥，T。；戈多，L。；Marchioni，E.，MV-代数上信念函数的逻辑，国际近似推理杂志，54，4，491-512（2013）·Zbl 1264.03049号 ·doi:10.1016/j.ijar.2012.08.006 [30] Flondor，P。；乔治斯库，G。；Iorgulescu，A.，伪t范数和伪BL-代数，软计算，5，5，355-371（2001）·Zbl 0995.03048号 ·doi:10.1007/s005000100137 [31] 字体，JM；Hájek，P.，OnŁukasiewicz的四值模态逻辑，Studia Logica，70，2，157-182（2002）·Zbl 0998.03022号 ·doi:10.1023/A:105111314455 [32] 加西亚·塞尔达尼亚，a。；Armengol，E。；Esteva，F.，模糊描述逻辑和基于t-范数的模糊逻辑，国际近似推理杂志，51，632-655（2010）·Zbl 1209.68522号 ·doi:10.1016/j.ijar.2010.01.01 [33] García-Cerdaña，a.、Cerami，M.和Esteva，F.（2010年）。从经典描述逻辑到n级模糊描述逻辑。《FUZZ-IEEE2010会议录》（第187-192页）。 [34] 乔治斯库，G。；Iorgulescu，A.，伪MV代数，多值逻辑，6，1-2，95-135（2001）·Zbl 1014.06008号 [35] 戈多，L。；Hájek，P。；Esteva，F.，信念函数的模糊模态逻辑，信息学基础，57，2-4，127-146（2003）·Zbl 1044.03009号 [36] 戈特瓦尔德，S.（2001）。关于多值逻辑的论文。《逻辑与计算研究》（第9卷）。巴尔多克：研究出版社·Zbl 1048.03002号 [37] Hájek，P.（1998年）。模糊逻辑的元数学。《逻辑趋势》（第4卷）。多德雷赫特：克鲁沃·Zbl 0937.03030号 [38] Hájek，P.（2006）。数学模糊逻辑为描述逻辑提供了什么？E.Sanchez（编辑），《模糊逻辑和语义网，捕捉智能》（第5章，第91-100页）。爱思唯尔。 [39] Hájek，P.，《面向模糊逻辑上弱算术的元数学》，《纯粹和应用逻辑兴趣小组的逻辑杂志》，19，3，467-475（2010）·Zbl 1243.03032号 [40] Hájek，P。；Harmancová，D。；Verbruge，R.，定性模糊可能性逻辑，国际近似推理杂志，12，1，1-19（1995）·Zbl 0819.03017号 ·doi:10.1016/0888-613X（94）00011-Q [41] Hájek，P。；戈多，L。；Esteva，F.，《带乘积连接的完全多值逻辑》，《数理逻辑档案》，35，3，191-208（1996）·Zbl 0848.03005号 ·doi:10.1007/BF01268618 [42] Hájek，P.，基本模糊逻辑和BL-代数，软计算，2，3，124-128（1998）·doi:10.1007/s005000.50043 [43] Hájek，P。；Harmancová，D.，哥德尔模糊逻辑的对冲，国际不确定性、模糊性和基于知识的系统杂志，8，4，495-498（2000）·Zbl 1113.03318号 ·doi:10.1142/S021848850000332 [44] Hájek，P。；巴黎，J。；Shepherdson，JC，Rational Pavelka逻辑是Łukasiewicz逻辑的保守扩展，符号逻辑杂志，65，2，669-682（2000）·Zbl 0971.03025号 ·doi:10.2307/2586560 [45] Hájek，P.（2001年）。非常正确。模糊集与系统，124（3），329-333·兹比尔0997.03028 [46] Hájek，P。；Shepherdson，JC，关于模糊逻辑中真理概念的注释，《纯粹和应用逻辑年鉴》，109，1-2，65-69（2001）·Zbl 1004.03020号 ·doi:10.1016/S0168-0072（01）00041-0 [47] Hájek，P。；Tulipani，S.，《模糊概率逻辑的复杂性》，《信息学基础》，45207-213（2001）·Zbl 0972.03025号 [48] Hájek，P.，关于单体t-范数逻辑的观察，模糊集和系统，132,1107-112（2002）·Zbl 1012.03035号 ·doi:10.1016/S0165-0114（02）00057-X [49] Hájek，P.，连续T范数逻辑的一些模糊限制语，神经网络世界，12，2159-164（2002） [50] Hájek，P.，将标准BL-代数嵌入到非交换伪BL-代数中，塔特拉山数学出版物，27，3，125-130（2003）·Zbl 1068.06012号 [51] Hájek，P.，《带非交换连接词的模糊逻辑》，《逻辑与计算杂志》，13，4，469-479（2003）·Zbl 1036.03018号 ·doi:10.1093/logcom/13.4.469 [52] Hájek，P.，Fleas and fuzzy logic，多值逻辑与软计算杂志，11，1-2，137-152（2005）·Zbl 1078.03021号 [53] Hájek，P.，《使模糊描述逻辑更通用》，《模糊集与系统》，154，1，1-15（2005）·Zbl 1094.03014号 ·doi:10.1016/j.fss.2005.03.005 [54] Hájek，P.，《非算术哥德尔逻辑》，《纯粹逻辑和应用逻辑兴趣小组的逻辑杂志》，13，5，435-441（2005）·Zbl 1086.03018号 [55] Hájek，P.，《关于康托-Łukasiewicz模糊集理论中的算术》，《数学逻辑档案》，44，6，763-782（2005）·Zbl 1096.03064号 ·doi:10.1007/s00153-005-0284-0 [56] Hájek，P.，基于t-范数的命题模糊逻辑与有理真值常数的计算复杂性，模糊集与系统，157,5677-682（2006）·Zbl 1104.03015号 ·doi:10.1016/j.fss.2005.12.008 [57] Hájek，P。；辛图拉，P.，《模糊谓词逻辑的理论和模型》，《符号逻辑杂志》，71,3863-880（2006）·Zbl 1111.03030号 ·doi:10.2178/jsl/1154698581 [58] Hájek，P.，模糊概率逻辑的复杂性II，模糊集与系统，1582605-2611（2007）·邮编1124.03008 ·doi:10.1016/j.fss.2007.07.001 [59] Hájek，P.（2007b）。数学模糊逻辑和自然数。《信息基础》，81（1-3），155-163·Zbl 1139.03016号 [60] Hájek，P。；Montagna，F.，关于完整BL链的一阶逻辑的注释，《数学逻辑季刊》，54，435-446（2008）·Zbl 1152.03019号 ·doi:10.1002/malq.200710058 [61] Hájek，P.，《模糊谓词逻辑的算术复杂性——调查II》，《纯粹逻辑和应用逻辑年鉴》，161，2，212-219（2009）·Zbl 1182.03050号 ·doi:10.1016/j.apal.2009.05.015 [62] Hájek，P.，关于模糊模态逻辑（S5（{{C}}）），模糊集与系统，1612389-2396（2010）·Zbl 1210.03020号 ·doi:10.1016/j.fss.2009.11.011 [63] Hájek，P.、Godo，L.和Esteva，F.（1995年）。模糊逻辑和概率。《第11届人工智能不确定性年会论文集》（第237-244页）。蒙特利尔。 [64] Hájek，P。；哈尼科娃，Z。；配件，MC；Orlowska，E.，《模糊逻辑中集合论的发展》，《超越二：多值逻辑的理论和应用》，《模糊性和软计算研究》，273-285（2003），海德堡：物理，海德伯格·Zbl 1040.03041号 [65] Hájek，P。；Harmancová，D。；巴拉奥纳，P。；斯特凡内利，M。；Wyatt，J.，医学模糊专家系统和信念推理，医学人工智能，403-404（1995），柏林：施普林格，柏林·doi:10.1007/3-540-60025-6_159 [66] Hájek，P.和Harmancová，D.（1996）。多值模态逻辑。《1996年IPMU会议记录》（第1021-1024页）。格拉纳达。 [67] Hájek，P.、Harmancová，D.、Esteva，F.、Garcia，P.和Godo，L.（1994）。模糊环境中定性可能性的模态逻辑。《94年人工智能不确定性会议论文集》（UAI'94）（第278-285页）。摩根·考夫曼。 [68] Hähnle，R.，多值逻辑和混合整数规划，《数学和人工智能年鉴》，12，34，231-264（1994）·Zbl 0856.03011号 ·doi:10.1007/BF01530787 [69] Haniková，Z（2002）。关于单个t-代数命题重言式复杂性的注记。神经网络世界，12（5），453-460。（SOFSEM 2002专刊）。 [70] Hansoul，G.等人。；Teheux，B.，用模态扩展Łukasiewicz逻辑：关系语义的代数方法，Studia Logica，101，3，505-545（2013）·Zbl 1272.03100号 ·doi:10.1007/s11225-012-9396-9 [71] Höhle，美国。；R.Palm。；克鲁斯，R。；Gebhardt，J.，《单体逻辑，计算机科学中的模糊系统》，233-243（1994），威斯巴登：维埃格·doi:10.1007/978-3-3222-86825-1_18 [72] Höhle，美国。；Höhle，美国。；Klement，EP，交换，剩余l-幺半群，非经典逻辑及其在模糊子集中的应用，53-106（1995），Dordrecht:Kluwer，Dordecht·Zbl 0838.06012 ·doi:10.1007/978-94-011-0215-5_5 [73] Łukasiewicz，T.，&Straccia，U.（2008）。管理语义Web描述逻辑中的不确定性和模糊性。《网络语义杂志》，6（4），291-308。 [74] Metcalfe，G.和Olivetti，N.（2011年）。走向哥德尔模态逻辑的证明理论。计算机科学中的逻辑方法，7（2:10），1-27·Zbl 1266.03044号 [75] Mundici，D.，多值句子逻辑中的可满足性是NP-完全的，理论计算机科学，52，1-2，145-153（1987）·Zbl 0639.03042号 ·doi:10.1016/0304-3975（87）90083-1 [76] Pavelka，J.（1979）。关于模糊逻辑I，II，III。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，25，45-52，119-134，447-464·Zbl 0446.03016号 [77] Sánchez，D.和Tettamanzi，A.G.B.（2006）。模糊逻辑和语义网（捕获智能）在E.Sanchez（编辑），模糊描述逻辑中的模糊量化（第135-159页）。阿姆斯特丹：爱思唯尔·Zbl 1107.68336号 [78] Skolem，T.，Bemerkungen zum Komprehensionsaxiom，Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，3，1-17（1957）·Zbl 0095.00902号 ·doi:10.1002/malq.19570030102 [79] Stoilos，G.、Straccia，U.、Stamou，G.和Pan，J.Z.（2006）。模糊描述逻辑中的一般概念。《第17届欧洲人工智能会议论文集》（ECAI-06）（第457-461页）。IOS出版社。 [80] 斯特拉契亚（1998）。模糊描述逻辑。《AAAI-98会议记录》，第15届全国人工智能会议（第594-599页）。麻省理工学院出版社。 [81] 美国斯特拉契亚，《模糊描述逻辑中的推理》，《人工智能研究杂志》，第14期，第137-166页（2001年）·Zbl 0973.03034号 [82] 美国斯特拉契亚。；Bobillo，F.，混合整数规划，一般概念包含和模糊描述逻辑，数学软件和软计算，14，3，247-259（2007）·Zbl 1152.68632号 [83] Tresp，C.B.和Molitor，R.（1998年）。模糊知识的描述逻辑。技术报告RWTH-LTCS报告98-01。亚琛工业大学。 [84] Vychodil，V.（2006年）。真实表示对冲和BL-逻辑。模糊集与系统，157（15），2074-2090·Zbl 1114.03023号 [85] 怀特，RB，《尤卡西维茨无限值谓词逻辑中理解公理的一致性》，《哲学逻辑杂志》，8，1，509-534（1979）·Zbl 0418.03037号 ·doi:10.1007/BF00258447 [86] Yen，J.（1991）。将术语包含语言推广到模糊逻辑。第十二届国际JCAI会议记录（第472-477页）。澳大利亚悉尼·Zbl 0742.68062号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。