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

基于相似性的逻辑编程语言的完善语义。 （英语） Zbl 1392.68138号

模糊集系统。 317, 1-26 (2017).
摘要：基于相似性的逻辑编程将经典SLD解析的语法统一算法替换为模糊算法，从而产生了一种操作机制，我们称之为弱SLD解析。这是BousiProlog子集的操作语义，是Prolog的扩展，旨在使查询应答过程更加灵活。本文在回顾了该语言纯子集的模型理论和不动点语义之后，详细介绍了BousiProlog的操作语义，并证明了其合理性和完备性。重要的是，在这项工作中，我们还澄清了我们的框架与其他相关建议之间的一些差异。

引用于6文件

MSC公司：

68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

模糊逻辑程序设计；陈述语义学；定点语义；操作语义学；SLD分辨率低；相似关系

软件：

BousiProlog公司；利基洛格
PDF格式BibTeX公司 XML格式引用
\textit{P.Julián-Iranzo}和\textit{C.Rubio-Manzano}，模糊集系统。317，1-26（2017；Zbl 1392.68138）
全文： 内政部

参考文献：

[1] Zadeh，L.，模糊集，信息控制，8，338-353，（1965）·Zbl 0139.24606号
[2] 范埃姆登，M。；Kowalski，R.，谓词逻辑作为编程语言的语义，J.ACM，23，733-742，（1976）·Zbl 0339.68004号
[3] Lee，R.，《模糊逻辑与归结原理》，J.ACM，19，119-129，（1972）·Zbl 0245.02020号
[4] 瓜达拉马，S。；穆尼奥斯，S。；Vaucheret，C.，《模糊序言：使用软约束传播的新方法》，模糊集系统。，144, 127-150, (2004) ·Zbl 1065.68023号
[5] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，基于相似性的统一：多伴随方法，模糊集系统。，146, 43-62, (2004) ·Zbl 1073.68026号
[6] Sessa，M.I.，基于相似性的SLD分辨率近似推理，Theor。计算。科学。，275, 389-426, (2002) ·Zbl 1051.68045号
[7] 沃伊塔什，P.，模糊逻辑编程，模糊集系统。，124, 361-370, (2001) ·兹比尔1015.68036
[8] 卡巴列罗，R。；罗德里格斯·阿尔塔莱霍，M。；Romero-Díaz，C.，合格逻辑编程中基于相似性的推理，（PPDP'08，（2008），ACM Proc.），185-194
[9] 卡巴列罗，R。；罗德里格斯·阿尔塔莱霍，M。；Romero-Díaz，C.A.，《CLP基于转型的实施与资格和接近性》（2010年），CoRR·Zbl 1295.68057号
[10] Kefer，M。；Subrahmanian，V.，广义注释逻辑编程理论及其应用，J.Log。程序。，12, 335-367, (1992)
[11] 罗德里格斯·阿尔塔莱霍，M。；Romero-Díaz，C.，《重新审视定量逻辑编程》（FLOPS’08 Proc.of FLOPS，LNCS，vol.4989，（2008），Springer），272-288·Zbl 1137.68341号
[12] 罗德里格斯·阿尔塔莱霍，M。；Romero-Díaz，C.A.，《CLP的声明性语义与限定性和接近性》，《理论与实践》。日志。程序。，10, 627-642, (2010) ·Zbl 1209.68097号
[13] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《基于相似性的bousi～prolog WAM》，（《IWANN’09汇编》第一部分，LNCS，第5517卷，（2009），Springer），245-252
[14] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《bousi～prolog的声明性语义》（PPDP'09的Proc.，（2009）），149-160
[15] 朱利安·伊兰佐，P。；Rubio-Manzano，C。；Gallardo-Casero，J.，Bousi～prolog：一种用于灵活查询应答的prolog扩展语言，Electron。注释Theor。计算。科学。，248, 131-147, (2009)
[16] Rubio-Manzano，C。；朱利安·伊兰佐，P.，《模糊语言序言及其应用》，J.Intell。模糊系统。，26, 1503-1516, (2014)
[17] 罗梅罗，F.P。；朱利安·伊兰佐，P。；费雷拉·萨特勒，M。；Gallardo Casero，J.，使用模糊陈述方法对未标记的短文本进行分类，Lang.Resour。评估。，47, 151-178, (2013)
[18] Rubio-Manzano，C。；Iranzo，P.J.，《通过使用邻近关系将抽象能力纳入基于逻辑的框架》，J.Intell。模糊系统。，29, 1671-1683, (2015)
[19] Rubio-Manzano，C。；Triviño，G.，《通过使用玩家的行为分析和语言描述来改善玩家在电脑游戏中的体验》，《国际计算机杂志》。螺柱，95，27-38，（2016）
[20] Aït-Kaci，H.，沃伦的抽象机器：教程重建，（1991），麻省理工学院出版社，马萨诸塞州剑桥
[21] Fontana，F.A。；Formato，F.，Likelog:一种用于灵活数据检索的逻辑编程语言，（SAC’99，（1999）Proc.），260-267
[22] Loia，V。；Senatore，S。；Sessa，M.I.，基于相似性的SLD解决方案及其在扩展序言系统中的实现，（FUZZ-IEEE Proc.，（2001）），650-653
[23] Lloyd，J.，《逻辑编程基础》（1987），柏林施普林格出版社·Zbl 0668.68004号
[24] Apt，K.R。；van Emden，M.H.，《对逻辑编程理论的贡献》，J.ACM，29，841-862，（1982）·Zbl 0483.68004号
[25] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，《基于相似性的逻辑编程语言的合理语义》（IWANN 2011，第二部分，LNCS，第6692卷，（2011），Springer），421-428
[26] Apt，K.，《逻辑编程导论》（van Leeuwen，J.，《理论计算机科学手册》，第B卷：形式模型和语义，（1990），爱思唯尔和麻省理工出版社），493-574·Zbl 0900.68136号
[27] Nguyen，H。；Walker，E.，《模糊逻辑第一课程》，（2000年），查普曼和霍尔/CRC Boca Ratón，佛罗里达州·Zbl 0927.03001号
[28] Zadeh，L.，语言变量的概念及其在近似推理I、II和III中的应用，《信息科学杂志》。，8和9，（1975年）·Zbl 0404.68075号
[29] 朱利安·伊兰佐，P。；Rubio-Manzano，C.，基于邻近性的统一理论，模糊集系统。，262, 21-43, (2015) ·Zbl 1360.68310号
[30] Martelli，A。；Montanari，U.，一种高效的统一算法，ACM-Trans。程序。语言系统。，4, 258-282, (1982) ·Zbl 0478.68093号
[31] Fontana，F.A。；Formato，F。；Gerla，G.，基于相似性的统一作为模糊逻辑编程的基础，（逻辑编程与软计算研讨会，（1996））
[32] Formato，F。；Gerla，G。；Sessa，M.I.，通过相似性扩展逻辑编程，（Meo，M.C.；Ferro，M.V.，APPIA-GULP-PRODE程序，（1999）），397-410
[33] Formato，F。；Gerla，G。；Sessa，M.I.，基于相似性的统一，Fundam。通知。，41, 393-414, (2000) ·Zbl 0954.68032号
[34] 丰塔纳，F.A。；Formato，F.，《基于相似性的解析规则》，国际期刊Intell。系统。，17, 853-872, (2002) ·Zbl 1021.68031号
[35] 朱利安·伊兰佐，P。；莫雷诺，G。；彭纳巴德，J。；Vázquez，C.，用于管理相似度和真度的模糊逻辑编程环境，（PROLE’14的Proc.，EPTCS，vol.173，（2015）），71-86
[36] 朱利安·伊兰佐，P。；莫雷诺，G。；Penabad，J.，《管理相似度和真度的模糊逻辑语言的声明语义》（RuleML 2016 Proc.，LNCS，vol.9718，（2016），Springer），68-82
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。