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

需要用相似关系收缩的形式属性。 （英语） Zbl 1278.68060号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，21-35（2007）。
摘要：在设计数学函数与模糊逻辑特性共存的高度表达的声明性语言时，函数逻辑和模糊逻辑编程等声明性范式的集成似乎是一个有趣的挑战。从两种背景下的两种代表性语言（即Curry和Likelog）开始，我们最近提出了一种混合方言，其中一组（Curry）重写规则和一组（Likelog）相似性方程可以通过所需缩小的模糊变量安全地执行。本文致力于展示新的收缩策略所具有的一些重要特性。首先，我们证明了确定元组集的过程的终止，该元组集为给定项启用新的收缩步骤。在模糊上下文中终止并不容易，因为除了需要计算初始相似方程组的传递闭包外，还必须确保收缩策略执行的递归调用集的有限性，并且每个调用都不会落入无限循环。从这里，我们证明了两个重要的（某种程度上互补的）属性，我们分别称之为清晰性和模糊性。第一种策略意味着新策略（至少）相对于所需缩小的原始策略是保守的，即在清晰情况下获得的每个元组在模糊情况下也被复制（具有最大真实度）。另一方面，模糊性意味着在利用（尽可能多地）给定程序中收集的相似关系时，新策略的最大化。
关于整个系列，请参见[Zbl 1275.68024号].

引用于4文件

MSC公司：

68甲18 函数编程和lambda演算
68甲19 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

功能逻辑编程；需要缩小；相似性

软件：

利基洛格
PDF格式BibTeX公司 XML格式引用
\textit{G.Moreno}和\textit{V.Pascual}，电子。注释Theor。计算。科学。188、21-35（2007年；Zbl 1278.68060）
全文： DOI程序

参考文献：

[1] Antoy，S.，《定义树》，（第三届代数和逻辑编程国际会议论文集，第三届国际代数和逻辑程序设计会议论文集（ALP'92）。程序。第三届国际代数和逻辑程序设计会议。程序。第三届国际代数和逻辑程序设计会议，ALP’92，LNCS，632（1992），Springer），143-157
[2] Antoy，S。；Echahed，R。；Hanus，M.，《需要缩小战略》，《美国医学杂志》，47,4776-822（2000），年·Zbl 1327.68141号
[3] F.Arcelli和F.Formato。Likelog：一种用于灵活数据检索的逻辑编程语言。在程序。ACM交响乐团。应用计算（SAC’99）; F.Arcelli和F.Formato。Likelog：一种用于灵活数据检索的逻辑编程语言。在程序。ACM交响乐团。应用计算（SAC’99）
[4] Garmendia，L。；Salvador，A.，《传递闭包与其他新的T-传递化方法的比较》（Proc.Modeling Decisions for Artificial Intelligence），《为人工智能建模决策》，LNAI，3131（2004），Springer，306-315·Zbl 1109.68654号
[5] Huet，G。；Lévy，J.J.，《正交重写系统中的计算》，第一部分和第二部分，（Lassez，J.L.；Plotkin，G.D.，《计算逻辑》，《纪念艾伦·罗宾逊的论文》（1992），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），395-443
[6] Lloyd，J.W.，《逻辑编程基础》（1987），《施普林格-弗拉格：柏林施普林格》·Zbl 0547.68005号
[7] 莫雷诺，G。；Pascual，V.，《模糊逻辑和数学函数编程》，（Bloch，I.；Petrosino，A.；Tettamanzi，A.，第六届国际模糊逻辑与应用研讨会论文集。程序。第六天。模糊逻辑与应用国际咨询公司。程序。第六天。国际模糊逻辑与应用研究会，WILF'05，米兰大学，Crema（意大利），LNCS，3849（2006），Springer），89-98·Zbl 1168.68348号
[8] Nguyen，H.T。；Walker，E.A.，《模糊逻辑第一课程》（2000年），查普曼和霍尔/CRC：查普曼与霍尔/CRC博卡拉顿，佛罗里达州·Zbl 0927.03001号
[9] Sess，M.I.，基于相似性的SLD分解近似推理，模糊集与系统，275389-426（2002）·Zbl 1051.68045号
[10] Zadeh，L.A.，相似关系和模糊排序，信息科学。，3, 177-200 (1971) ·Zbl 0218.02058号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。