×
托马斯·库尔;维伦·维科迪尔

模糊逻辑编程简化为具有属性含义的推理。 （英语） Zbl 1360.68311号

模糊集系统。 262, 1-20 (2015).
摘要：我们提出了两类逻辑系统之间的联系，用于使用分级if-then规则进行推理：Vojtásh意义上的模糊逻辑编程系统（FLP）和Belohlavek和Vychodil意义上的fuzzy属性逻辑系统（FAL）。我们证明了由FAL公式组成的每个有限理论都可以用一个确定的程序来表示，因此FAL中的语义蕴涵可以用程序的正确答案来表征。相反，我们表明，对于每个确定的程序，都有一组FAL公式，因此正确的答案可以用FAL中的蕴涵来表示。通过使用链接，我们可以将结果从FAL传输到FLP，反之亦然，这给了我们一个正确答案的句法特征，例如基于Pavelka-style-Armstrong-like FAL公理化。我们进一步证明了FLP中的蕴涵可以简化为具有布尔属性蕴涵的推理，并详细阐述了相关问题，包括最小模型的属性。

引用于9文件

MSC公司：

68N17号 逻辑编程

关键词：

逻辑程序设计;属性含义;函数依赖;序数刻度;剩余格;最小模型特性
PDF格式BibTeX公司 XML格式引用
\textit{T.Kuhr}和\textit{V.Vychodil}，模糊集系统。262，1--20（2015；Zbl 1360.68311）
全文： DOI程序

参考文献：

[1] Ward Armstrong，William，数据库关系的依赖结构，（Rosenfeld，Jack L.；Freeman，Herbert，《信息处理74:IFIP大会会议记录》，信息处理74:IFIP大会记录，阿姆斯特丹（1974），北荷兰），580-583·Zbl 0296.68038号
[2] Baaz，Mathias，《具有0-1投影和相对化的无限值哥德尔逻辑》，（哥德尔’96，数学、计算机科学和物理的逻辑基础，哥德尔’1996，数学、计算科学和物理逻辑基础，法律注释日志，第6卷（1996），《施普林格-弗拉格：施普林格柏林/海德堡》），23-33·Zbl 0862.03015号
[3] 贝洛赫拉维克（Belohlavek），拉迪姆（Radim），《模糊关系系统：基础与原理》（Fuzzy Relational Systems:Foundations and Principles）（2002年），克鲁沃学术出版社：克鲁沃学术出版商，美国马萨诸塞州诺威尔·Zbl 1067.03059号
[4] 拉迪姆·贝洛赫拉维克；富尼奥科娃，塔塔纳；Vychodil，Vilem，带真值应力因子的Fuzzy闭包算子，Log。J.IGPL，13，5，503-513（2005）·Zbl 1089.06001号
[5] 拉迪姆·贝洛赫拉维克；Vychodil，Vilem，《模糊属性数据与缩放二进制属性的含义》（第14届IEEE模糊系统国际会议，2005年）。第14届IEEE模糊系统国际会议，2005年，FUZZ’05（2005）），1050-1055·Zbl 1175.68448号
[6] 拉迪姆·贝洛赫拉维克；Vychodil，Vilem，模糊环境中的属性含义，（第四届形式概念分析国际会议论文集。第四届形式概念分析国际会议论文集，ICFCA'06（2006），施普林格出版社：施普林格出版社，海德堡），45-60·Zbl 1177.68203号
[7] 拉迪姆·贝洛赫拉维克；Vychodil，Vilem，《具有相似关系的数据表：功能依赖、完整规则和非冗余基础》，（高级应用的数据库系统。高级应用的数据系统，Lect.Notes Compute.Sci.，vol.3882（2006），Springer），644-658·Zbl 1117.03029号
[8] 拉迪姆·贝洛赫拉维克；Vychodil，Vilem，完全剩余格上的模糊属性逻辑，J.Exp.Theor。Artif公司。智力。，18, 4, 471-480 (2006) ·Zbl 1117.03029号
[9] 拉迪姆·贝洛赫拉维克；维伦·维科迪尔，《模糊喇叭逻辑I：证明理论》，《拱门》。数学。日志。，45, 3-51 (2006) ·Zbl 1095.03014号
[10] 拉迪姆·贝洛赫拉维克；Vychodil，Vilem，Fuzzy-Horn逻辑II：含蓄定义类，Arch。数学。日志。，45, 149-177 (2006) ·Zbl 1099.03016号
[11] 拉迪姆·贝洛赫拉维克；Vilem Vychodil，《基于相似性的数据库中的查询系统：逻辑基础、表达能力和完整性》（ACM应用计算研讨会，ACM应用计算机研讨会，SAC（2010），ACM），1648-1655·Zbl 1180.15026号
[12] 拉迪姆·贝洛赫拉维克；维伦·维科迪尔，《形式概念分析与语言模糊限制语》，《国际遗传学系统》。，41, 5, 503-532 (2012) ·Zbl 1277.93045号
[13] Codd，Edgar F.，大型共享数据库的数据关系模型，Commun。ACM，26，64-69（1983）
[14] 帕特里克·库索特（Patrick Cousot）；库索特，拉迪亚，塔斯基不动点定理的构造性版本，Pac。数学杂志。，81, 1, 43-57 (1979) ·兹比尔0413.06004
[15] 卡洛斯·达马西奥；麦地那，杰苏斯；Ojeda-Aciego，Manuel，Sorted multi-jojoint logic programs:termination results and applications，（Alferes，Jóse Jülio；Leite，Joáo，《人工智能中的逻辑》，Lect.Notes Compute Sci.，vol.3229（2004），Springer:Springer Berlin，Heidelberg），252-265·Zbl 1111.68379号
[16] 卡洛斯·达马西奥；Pereira，Luís，《单调和剩余逻辑程序》（Benferhat，Salem；Besnard，Philippe，《不确定性推理的符号和定量方法》。《不确定性的符号和量化方法》，Lect.Notes Compute.Sci.，第2143卷（2001），Springer:Springer Berlin/Heidelberg），748-759·Zbl 1001.68545号
[17] 弗朗西斯科·埃斯特瓦；Godo，Lluís，基于单体t-范数的逻辑：走向左旋t-范本的逻辑，模糊集系统。，124, 3, 271-288 (2001) ·Zbl 0994.03017号
[18] 弗朗西斯科·埃斯特瓦；戈多，Lluís；Noguera，Carles，模糊真理模糊限制语的逻辑方法，《信息科学》。，232, 366-385 (2013) ·Zbl 1293.03014号
[19] 尼古拉斯·加拉托斯；彼得·吉普森（Peter Jipsen）；托马斯·科瓦尔斯基；Ono，Hiroakira，《剩余格：亚结构逻辑的代数一瞥》，第151卷（2007），爱思唯尔科学：爱思唯尔科学圣地亚哥，美国·Zbl 1171.03001号
[20] 甘特，伯恩哈德；Wille，Rudolf，《形式概念分析：数学基础》（1997），Springer-Verlag:Springer-Verlag New York，Inc.，美国新泽西州塞考克斯·Zbl 0861.06001号
[21] Gerla，Giangiacomo，模糊逻辑。《近似推理的数学工具》（2001年），Kluwer学术出版社：荷兰Dordrecht Kluwer-学术出版社·Zbl 0976.03026号
[22] 约瑟夫·戈根（Joseph A.Goguen），《不精确概念的逻辑》，《综合》（Synthese），19325-373（1979）·Zbl 0184.00903号
[23] 吉格斯（Jean-Louis Guigues）；Duquenne，Vincent，Familles将信息的含义降到最低，从而产生了“数学”。科学。哼，95，5-18（1986）·Zbl 1504.68217号
[24] Hájek，Petr，《模糊逻辑的元数学》（1998），Kluwer学术出版社：荷兰Dordrecht Kluwer-学术出版社·Zbl 0937.03030号
[25] Hájek，Petr，《关于非常真实的模糊集系统》。，124, 3, 329-333 (2001) ·Zbl 0997.03028号
[26] 理查德·霍尔泽（Richard Holzer），《使用形式概念分析方法在不完全知识下获取知识：第一部分，Fundam》。通知。，63, 1, 17-39 (2004) ·Zbl 1102.68114号
[27] 埃里希·彼得·克莱门特（Erich Peter Klement）；拉德科·梅西亚尔；Pap，Endre，三角范数（2000），Springer·Zbl 0972.0302号
[28] 托马斯·库尔（Tomas Kuhr）；Vychodil，Vilem，通过分级属性含义表示模糊逻辑程序，（Torra，Vicenc；Narukawa，Yaso；Lopez，Beatriz；Villaret，Mateu，人工智能建模决策。人工智能建模决策，Lect.Notes Comput.Sci.，第7647卷（2012），施普林格：施普林格柏林，海德堡），246-257·Zbl 1301.03050号
[29] Lloyd，John W.，《逻辑编程基础》（1984），Springer-Verlag:Springer-Verlag New York，Inc.，美国纽约州纽约市·兹比尔0547.68005
[30] David Maier，《关系数据库理论》（1983），计算机科学出版社：美国马里兰州罗克维尔计算机科学出版社·Zbl 0519.68082号
[31] 麦地那，杰苏斯；曼纽尔·奥杰达·阿西戈（Manuel Ojeda-Aciego）；Vojtásh，Peter，多伴随逻辑编程的过程语义，（EPIA’01（2001），Springer-Verlag），290-297·Zbl 1053.68540号
[32] 埃利奥特·门德尔森，《数理逻辑导论》（1987），查普曼和霍尔·Zbl 0681.03001号
[33] 尼尔森，乌尔夫；Maluszynski，Jan，《逻辑、编程和PROLOG》（1995年），John Wiley&Sons公司：John Willey&Sons，Inc.，美国纽约州纽约市·兹比尔0722.68023
[34] Pavelka，Jan，《论模糊逻辑III》，《数学杂志》。日志。格兰德。数学。，25, 447-464 (1979) ·Zbl 0446.03016号
[35] 波兰特，塞尔克，《Fuzzy-Begriffe:正式Begriffsanalysis unsharfer Daten》（1997），施普林格·Zbl 0870.06008号
[36] Takeuti，Gaisi；泰坦尼，佐藤，直觉主义集合论的全球化，《纯粹应用》。日志。，33, 195-211 (1987) ·Zbl 0633.03050号
[37] 塔斯基，阿尔弗雷德，格理论不动点定理及其应用，太平洋。数学杂志。，5, 285-309 (1955) ·Zbl 0064.26004号
[38] 沃伊塔什，彼得，模糊逻辑编程，模糊集系统。，124, 3, 361-370 (2001) ·Zbl 1015.68036号
[39] Wechler，Wolfgang，计算机科学家通用代数，EATCS Monogr。西奥。计算。科学。，第25卷（1992），《斯普林格·弗拉格：柏林斯普林格尔·弗拉格》，海德堡·Zbl 0748.68002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。