×
莫雷诺，吉纳斯；维森特·帕斯夸尔

一种结合模糊逻辑和函数逻辑资源的混合编程方案。 （英语） 兹比尔1186.68099

模糊集系统。 160，第10号，1402-1419（2009）.
摘要：本文着重于将函数逻辑和模糊逻辑编程的（也是集成的）声明范式进行集成，以获得数学函数与模糊逻辑特性共存的更丰富、更具表现力的编程方案。我们的最终目标是实现一种完全集成的语言，融合来自两个世界的强大编程资源，包括高效（惰性）评估机制、非确定性、相似关系等，我们提出了一种混合方言，其中与语言的功能逻辑维度相关的一组重写规则，伴随着一组性质相同的符号和arity之间的相似性方程，这些方程代表了新框架的模糊对应项。然后，我们直接在语言操作机制的内核中进行操作，从而获得所需收缩的模糊变量，它可以安全地处理相似关系。
在最后一种操作方法的设计中，一个关键点是，与明晰的情况相反，该函数的模糊化版本确定了元组集，该元组集为给定的目标（例如，lambda{fuzzy}）启用了新的收缩步骤，必须显式地处理属于目标和程序规则的绑定变量。这个动作对于通过一个过渡系统用相似关系步长对所需缩小概念进行建模至关重要，该过渡系统的最终状态是形式值、替代、相似程度（范围）的三元组，它们收集了模糊计算答案新概念的三个相关组成部分。最后，我们证明了由此产生的策略验证了，除了计算清晰案例（crisiness）的至少相同元素外，通过充分利用给定程序中收集的相似性（fuzziness），给定目标的所有相似项也都得到了完全处理同时避免了与相似关系的内在（自反、对称和传递）属性（终止）相关的无限循环的风险。

引用于2文件

MSC公司：

68N17号 逻辑编程

关键词：

相似关系；模糊逻辑程序设计；需要缩小

软件：

FRIL公司；利基洛格
PDF格式BibTeX公司 XML格式引用
\textit{G.Moreno}和\textit{V.Pascual}，模糊集系统。160，第10号，1402--1419（2009；Zbl 1186.68099）
全文： 内政部

参考文献：

[1] Lloyd，J.，《逻辑编程基础》（1987），施普林格出版社：柏林施普林格·Zbl 0668.68004号
[2] Nguyen，H。；Walker，E.，《模糊逻辑第一课程》（2000年），查普曼和霍尔，CRC:查普曼与霍尔，CRC博卡拉顿，佛罗里达州·Zbl 0927.03001号
[3] Lee，R.，模糊逻辑与解析原理，美国计算机学会期刊，19，119-129（1972）·Zbl 0245.02020号
[4] M.Ishizuka，N.Kanai，Prolog-ELF合并模糊逻辑，收录于：A.K.Joshi（编辑），Proc。第九届国际。Jt.（约）。人工智能会议（IJCAI’85），加利福尼亚州洛杉矶，1985年8月，加利福尼亚州洛斯阿尔托斯Morgan Kaufmann，1985年，第701-703页。；M.Ishizuka，N.Kanai，Prolog-ELF合并模糊逻辑，收录于：A.K.Joshi（编辑），Proc。第九届国际。Jt.（约）。人工智能会议（IJCAI’85），加利福尼亚州洛杉矶，1985年8月，加利福尼亚州洛斯阿尔托斯Morgan Kaufmann，1985年，第701-703页。
[5] 鲍德温，J.F。；马丁·T·P。；Pilsworth，B.W.，Fril，《人工智能中的模糊和证据推理》（1995），威利：威利纽约
[6] 李，D。；Liu，D.，《模糊Prolog数据库系统》（1990），威利出版社：威利纽约
[7] 沃伊塔什，P。；Paulík，L.，非经典扩展SLD分辨率的稳健性和完整性，（Dyckhoff，R.等，《96年莱比锡ELP程序》，计算机科学讲义，第1050卷（1996），施普林格：施普林格柏林），289-301
[8] 瓜达拉马，S。；穆尼奥斯，S。；Vaucheret，C.，Fuzzy Prolog:一种使用软约束传播的新方法，模糊集与系统，144,1127-150（2004）·Zbl 1065.68023号
[9] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，《基于相似性的统一：多伴随方法》，模糊集与系统，146，1，43-62（2004）·Zbl 1073.68026号
[10] Arcelli，F。；Formato，F.，Likelog:一种用于灵活数据检索的逻辑编程语言，（美国计算机学会应用计算研讨会（SAC’99），人工智能和计算逻辑（1999），美国计算机学会：美国计算机学会纽约），260-267
[11] Formato，F。；Gerla，G。；Sessa，M.I.，《基于相似性的统一》，《信息学基础》，41，4，393-414（2000）·Zbl 0954.68032号
[12] Sessa，M.，基于相似性的SLD分解近似推理，模糊集与系统，275389-426（2002）·Zbl 1051.68045号
[13] Ying，M.，《近似推理的逻辑》，符号逻辑杂志，59，3080-837（1994）·Zbl 0809.03015号
[14] Arcelli，F。；Formato，F。；Gerla，G.，《基于相似性的统一作为模糊逻辑编程的基础》（逻辑编程和软计算第一次研讨会，LPSC’96）。程序。逻辑编程和软计算第一次研讨会，LPSC’96，德国波恩（1996），38-62
[15] 朱利安，P。；莫雷诺，G。；Penabad，J.，多伴随逻辑程序的操作/解释展开，《通用计算机科学杂志》，12，11，1679-1699（2006）
[16] 朱利安，P。；莫雷诺，G。；佩纳巴德，J.，关于模糊展开。多伴随方法，模糊集与系统，154，16-33（2005）·Zbl 1099.68017号
[17] G.Moreno，构建模糊转换系统，J.Wiedermann，G.Tel，J.Pokorn，M.Bielikov，J.Stuler（编辑），Proc。第32届计算机科学理论与实践当前趋势大会，2006年《SOFSEM》，捷克梅林，1月21日至27日，计算机科学讲稿，第3831卷，柏林斯普林格，2006年，第409-418页。；G.Moreno，构建模糊转换系统，J.Wiedermann，G.Tel，J.Pokorn，M.Bielikov，J.Stuler（编辑），Proc。第32届计算机科学理论与实践当前趋势大会，2006年《SOFSEM》，捷克梅林，1月21日至27日，计算机科学讲稿，第3831卷，柏林斯普林格，2006年，第409-418页·Zbl 1175.68101号
[18] G.Moreno，V.Pascual，《模糊逻辑和数学函数编程》，收录于：I.Bloch，A.Petrosino，A.Tettamanzi（编辑），Proc。第六国际。《模糊逻辑与应用会议》，WILF’2005，意大利克雷玛，9月15-17日，《人工智能讲义》，第3849卷，施普林格，柏林，2005年，第89-98页。；G.Moreno，V.Pascual，《模糊逻辑和数学函数编程》，收录于：I.Bloch，A.Petrosino，A.Tettamanzi（编辑），Proc。第六国际。《模糊逻辑与应用会议》，WILF’2005，意大利克雷玛，9月15-17日，《人工智能讲义》，第3849卷，柏林斯普林格，2005年，第89-98页·Zbl 1168.68348号
[19] G.Moreno，V.Pascual，需要用相似关系缩小的形式属性，见：P.Lucio（编辑），Proc。“VI；G.Moreno，V.Pascual，需要用相似关系收缩的形式属性，见：P.Lucio（编辑），Proc.”VI·Zbl 1278.68060号
[20] Hanus，M.，《函数与逻辑编程的集成：从理论到实践》，《逻辑编程杂志》，第19期和第20期，583-628（1994）·Zbl 0942.68526号
[21] Zadeh，L.A.，相似关系和模糊排序，信息科学，3177-200（1971）·Zbl 0218.02058号
[22] Garmendia，L.公司。；Salvador，A.，《传递闭包与其他新的T转换方法的比较》（Proc.Modeling Decisions for Artificial Intelligence，Telection Notes in Artificulation，Vol.3131（2004），Springer:Springer Berlin），306-315·Zbl 1109.68654号
[23] 比亚奇诺。；Gerla，G。；Ying，M.，基于相似性的近似推理，《数学逻辑季刊》，46，1，77-86（2000）·Zbl 0957.68112号
[24] Gerla，G.，《模糊逻辑：近似推理的数学工具》（FUZZY LOGIC:Mathematical Tools for Approximate Reasoning）（2001），克鲁沃学术出版社：克鲁沃学术出版公司Dordrecht·Zbl 0976.03026号
[25] 巴德，F。；Nipkow，T.，《术语重写和所有这一切》（1998），剑桥大学出版社：剑桥大学出版社
[26] Klop，J.，术语重写系统，（Abramsky，S.；Gabbay，D.；Maibaum，T.，《计算机科学逻辑手册》，第一卷（1992），牛津大学出版社：牛津大学出版社），1-112·Zbl 0806.68003号
[27] Martelli，A。；Montanari，U.，《一种有效的统一算法》，美国计算机学会程序设计语言与系统汇刊，4258-282（1982）·Zbl 0478.68093号
[28] Huet，G。；Lévy，J.，《正交重写系统中的计算》，第二部分（I+\operatorname{II}）
[29] Klop，J。；Middeldorp，A.，正交项重写系统中的序列性，符号计算杂志，161-195（1991）·Zbl 0746.68047号
[30] Antoy，S.，《定义树》（Proc.3rd Internat.Conf.on Algebraic and Logic Programming，ALP’92，《计算机科学讲稿》，第632卷（1992），Springer:Springer Berlin），143-157
[31] Antoy，S。；Echahed，R。；Hanus，M.，《函数逻辑语言的并行评估策略》，（Proc.14th Internat.Conf.on logic Programming，ICLP’97（1997），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），138-152
[32] Antoy，S。；Echahed，R。；Hanus，M.，《需要缩小战略》，《ACM杂志》，第47、4、776-822页（2000年）·Zbl 1327.68141号
[33] Padawitz，P.，霍恩子句理论中的计算，（EATCS理论计算机科学专著，第16卷（1988年），施普林格：施普林格柏林）·Zbl 0646.68004号
[34] Hullot，J.，规范形式与统一，（第五届国际自动演绎会议，计算机科学讲稿，第87卷（1980），施普林格：施普林格柏林），318-334·Zbl 0441.68108号
[35] Bosco，P。；乔瓦内蒂，E。；Moiso，C.，《语义统一的精化策略》（Ehrig，H.；Kowalski，R.；Levi，G.；Montanari，U.，《TAPSOFT’87汇编》，《计算机科学讲义》，第250卷（1987），施普林格：施普林格-柏林），276-290·Zbl 0633.68090号
[36] Moreno，G.，功能逻辑程序的转换规则和策略，AI通信，15，2，3（2002）
[37] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，用于转换惰性函数逻辑程序的（\operatorname{Rules}+\operator name{strategies}\），理论计算机科学，311,1-3479-525（2004）·Zbl 1070.68018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。