×
帕斯夸尔·朱利安·伊兰佐；克莱门特·鲁比奥·曼扎诺

基于邻近性的统一理论。 （英语） Zbl 1360.68310号

模糊集系统。 262, 21-43 (2015).
摘要：基于相似度的逻辑编程是为了增强具有相似关系的逻辑编程范式，以表示和管理模糊或不精确的信息。相似关系是一种自反的、对称的、传递的模糊二元关系，它扩展了等价关系的标准概念，目的是削弱相等的概念。据报道，由于传递性的限制，相似关系具有显著的局限性，这可能导致在某些情况下错误地表示模糊信息。
最近，我们提出在逻辑编程系统的上下文中使用邻近关系（即自反的、对称的、模糊的二元关系），称为\（\mathsf{Bousi}\sim\mathsf{Prolog}\），作为解决这个问题的一种方法，并推广仅基于相似关系的后续方法。然而，邻近关系和现有统一算法的天真组合可能会导致不完整性问题。因此，在本文中，我们引入了表达式（术语或原子公式）之间邻近关系的精确定义，以及能够正确管理邻近关系的新统一算法。所谓弱统一算法是Martelli和Montanari统一算法的扩展，该算法由新的邻近性概念支持。作为主要的相关性质，我们证明了弱统一算法终止，并且它是健全的（即，如果两个表达式是可统一的，它将产生两个表达式的弱统一器）和完整的（即它能够计算两个可统一表达式的弱最一般统一器）。

引用于8文件

MSC公司：

68N17号 逻辑编程

关键词：

模糊逻辑程序设计；统一理论；邻近关系

软件：

利基洛格；FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Julián-Iranzo}和\textit{C.Rubio-Manzano}，模糊集系统。262、21-43（2015年；Zbl 1360.68310）
全文： 内政部

参考文献：

[1] Lee，R.，《模糊逻辑与归结原理》，J.ACM，19，119-129（1972）·Zbl 0245.02020号
[2] 瓜达拉马，S。；穆尼奥斯，S。；Vaucheret，C.，《模糊序言：使用软约束传播的新方法》，模糊集系统。，144, 127-150 (2004) ·Zbl 1065.68023号
[3] 李，D。；Liu，D.，《模糊Prolog数据库系统》（1990），John Wiley&Sons，Inc。
[4] 穆凯多诺，Z.S.M。；丁磊，《模糊序言基础》，《国际近似推理》。，3, 1080-1989 (1989)
[5] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，具有连续语义的多伴随逻辑编程，（LPNMR’01的Proc.）。程序。LPNMR’01，Lect。注释Artif。智力。，第2173卷（2001），斯普林格·弗拉格），351-364·Zbl 1007.68023号
[6] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，基于相似性的统一：多伴随方法，模糊集系统。，146, 43-62 (2004) ·Zbl 1073.68026号
[7] 沃伊塔什，P.，模糊逻辑编程，模糊集系统。，124, 361-370 (2001) ·Zbl 1015.68036号
[8] Fontana，F.A。；Formato，F.，Likelog:一种用于灵活数据检索的逻辑编程语言，（SAC’99（1999）Proc.），260-267
[9] Fontana，F.A。；Formato，F.，《基于相似性的解析规则》，国际期刊Intell。系统。，17, 853-872 (2002) ·Zbl 1021.68031号
[10] Loia，V。；Senatore，S。；Sessa，M.I.，基于相似性的SLD解决方案及其在扩展Prolog系统中的实现，（FUZZ-IEEE（2001）），650-653
[11] Sessa，M.I.，基于相似性的SLD分辨率近似推理，Theor。计算。科学。，275, 389-426 (2002) ·Zbl 1051.68045号
[12] Virtanen，H.，《语言逻辑编程》（logic programming and Soft Computing，1998），第91-128页
[13] Baldwin，J.，证据支持逻辑编程，模糊集系统。，24, 1-26 (1987) ·Zbl 0639.68105号
[14] 鲍德温，J.F。；马丁·T·P。；Pilsworth，B.W.，《人工智能中的Fril-Fuzzy和证据推理》（1995），John Wiley&Sons，Inc。
[15] 罗德里格斯·阿尔塔莱霍，M。；Romero-Díaz，C.，《重新审视定量逻辑编程》（2008年FLOPS的Proc.）。程序。2008年佛罗里达州。票据计算。科学。，第4989卷（2008）），272-288·Zbl 1137.68341号
[16] 卡巴列罗，R。；罗德里格斯-阿塔列霍，M。；Romero-Díaz，C.，合格逻辑编程中基于相似性的推理，（PPDP'08（2008），ACM Proc.），185-194
[17] 罗德里格斯·阿尔塔莱霍，M。；Romero-Díaz，C.A.，《CLP的声明性语义与限定性和接近性》，《理论与实践》。日志。程序。，10, 627-642 (2010) ·Zbl 1209.68097号
[18] van Emden，M.，定量演绎及其不动点理论，J.Log。程序。，3, 37-53 (1986) ·Zbl 0609.68068号
[19] Kefer，M。；Subrahmanian，V.，广义注释逻辑编程理论及其应用，J.Log。程序。，12, 335-367 (1992)
[20] 沃伊塔什，P。；Alsinet，T。；Godo，L.，《具有模糊统一的模糊逻辑编程的不同模型（朝向模糊数据库的修订）》，（IFSA-NAFIPS'01联合公报（2001），IEEE），1541-1546
[21] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《Bousi～Prolog的声明性语义》（PPDP'09（2009），ACM），149-160
[22] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《基于相似性的逻辑编程语言的合理语义》（IWANN’11程序（第二部分）。程序。IWANN'11（第二部分），Lect。票据计算。科学。，第6692卷（2011），施普林格），421-428
[23] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《模糊语言Prolog及其应用》，J.Intell。模糊系统。，26, 1503-1516 (2014)
[24] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《Bousi～Prolog的基于相似性的WAM》，（IWANN’09的Proc.（第一部分）。程序。IWANN'09（第一部分），Lect。票据计算。科学。，第5517卷（2009），施普林格），245-252
[25] 朱利安·伊兰佐，P。；Rubio-Manzano，C。；Gallardo-Casero，J.，Bousi～Prolog：一种用于灵活查询回答的Prolog扩展语言，Electron。注释Theor。计算。科学。，248, 131-147 (2009)
[26] Shenoi，S。；Melton，A.，模糊关系数据库模型中的邻近关系，模糊集系统。，100, 51-62 (1999)
[27] Klawon，F.，模糊等式和相似性是否应该满足传递性？对M.de Cock和E.Kerre的论文的评论，模糊集系统。，133, 175-180 (2003) ·Zbl 1020.03053号
[28] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《一种有效的模糊统一方法及其在Bousi～Prolog系统中的实现》（FUZZ-IEEE’10的Proc.（2010）），658-665
[29] Cayrol，M。；Farency，H。；Prade，H.，模糊模式匹配，Kybernetes，1103-106（1982）
[30] Dubois，D。；普拉德，H。；Testemale，C.，加权模糊模式匹配，模糊集系统。，28, 313-331 (1988) ·Zbl 0658.94026号
[31] Alsinet，T。；Godo，L.，《模糊统一度》（LPSC’98研讨会论文（1998）），23-43
[32] Rios-Filho，L。；Sandri，S.，上下文模糊统一，（1995年第五届IFSA大会会议记录），81-84
[33] Lloyd，J.，《逻辑程序设计基础》（1987），《施普林格-弗拉格：柏林施普林格》·Zbl 0668.68004号
[34] Apt，K.，《逻辑编程导论》（理论计算机科学手册，B卷：形式模型和语义（1990），爱思唯尔和麻省理工学院出版社），493-574·Zbl 0900.68136号
[35] Nguyen，H。；Walker，E.，《模糊逻辑第一课程》（2000年），查普曼和霍尔/CRC：查普曼与霍尔/CRC博卡莱顿，佛罗里达州·Zbl 0927.03001号
[36] Apt，K.R.，《从逻辑编程到Prolog》（1997），普伦蒂斯·霍尔：普伦蒂斯·霍尔·恩格尔伍德克利夫斯，新泽西州
[37] 拉塞兹，J.-L。；Maher，M.J。；Marriott，K.，《重新审视统一》，（演绎数据库和逻辑编程基础（1988），摩根考夫曼），587-625·Zbl 0645.68046号
[38] Martelli，A。；Montanari，U.，一种高效的统一算法，ACM-Trans。程序。语言系统。，4, 258-282 (1982) ·Zbl 0478.68093号
[39] 巴德，F。；Snyder，W.，《统一理论》（《自动推理手册》（2001），爱思唯尔和麻省理工学院出版社），445-532·Zbl 1011.68126号
[40] Fontana，F.A。；Formato，F。；Gerla，G.，《基于相似性的统一作为模糊逻辑编程的基础》（LPSC’96研讨会（1996））
[41] Formato，F。；Gerla，G。；Sessa，M.I.，通过相似性扩展逻辑编程，（Meo，M.C.；Ferro，M.V.，AGP’99（1999）Proc.），397-410
[42] Formato，F。；Gerla，G。；Sessa，M.I.，基于相似性的统一，Fundam。通知。，41, 393-414 (2000) ·Zbl 0954.68032号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。