×
佩德罗·莫西洛。;莫雷诺，吉纳斯

多伴随逻辑程序模糊连接词的有效展开。 （英语） Zbl 1429.68039号

Kóczy，LászlóT.（编辑）等人，《计算智能与数学之间的相互作用》。查姆：斯普林格。螺柱计算。智力。758, 57-78 (2018).
总结：在过去的十年中，我们设计了一些工具，用于帮助开发在模糊逻辑编程领域中使用有前途的语言编码的灵活软件应用程序。在所谓的多伴随逻辑编程方法中，一组逻辑规则由一组模糊连接定义（其真值函数被定义为函数规则）组合而成，用于在更简单的情况下操作真度。此外，我们最近通过重用基于展开的程序转换技术的一些变体提供了优化技术，这些变体在纯函数（而非模糊）设置中被大量利用，以增强此类运算符的行为。在本文中，我们通过实验展示了在模糊连接词上使用新的c展开变换的好处，以及如何通过重用非常著名的依赖图概念来提高正确展开过程的效率。此外，我们还对我们的技术进行了成本分析和实际方面的讨论。
关于整个系列，请参见[Zbl 1407.68038号].

引用于1文件

MSC公司：

68N17号 逻辑编程
03B52号 模糊逻辑；模糊逻辑

关键词：

模糊逻辑程序设计;连接词;展开

软件：

FRIL公司;XPath（XPath）
PDF格式BibTeX公司 XML格式引用
\textit{P.J.Morcillo}和\textit{G.Moreno}，Stud.Comput。智力。758，57-78（2018；Zbl 1429.68039）
全文： 内政部

参考文献：

[1] Almendros-Jiménez，J.M.，Bofill，M.，Luna Tedesqui，A.，Moreno，G.，Vázquez，C.，Villaret，M.：模糊公式模型自动搜索的模糊xpath。参见：Beierle，C.，Dekhtyar A.（编辑）《可扩展不确定性管理第九届国际会议》，2015年9月16日至18日，加拿大魁北克省魁北克市，SUM 2015。《计算机科学讲稿》第9310卷，第385-398页。施普林格，2015
[2] Almendros-Jiménez，J.M.，Luna，A.，Moreno，G.：实现基于xpath的灵活查询语言的模糊逻辑编程。电子。注释Theor。计算。科学。282, 3-18 (2012) ·doi:10.1016/j.entcs.2011.12.002
[3] Almendros-Jiménez，J.M.，Luna，A.，Moreno，G.：通过模糊逻辑编程的模糊xpath。新一代计算33（2），173-209（2015）·doi:10.1007/s00354-015-0201-y
[4] Alpuente，M.，Falaschi，M.、Moreno，G.、Vidal，G.：转换惰性函数逻辑程序的规则+策略。理论计算。科学。Elsevier爱思维尔311（1-3），479-525（2004）·Zbl 1070.68018号 ·doi:10.1016/j.tcs.2003.10.33
[5] Arts，T.，Giesl，J.：使用依赖对终止术语重写。西奥。计算。科学。236(1-2), 133-178 (2000) ·Zbl 0938.68051号 ·doi:10.1016/S0304-3975（99）00207-8
[6] Baader，F.，Nipkow，T.：术语重写和所有这些。剑桥大学出版社，剑桥（1998）·Zbl 0948.68098号 ·doi:10.1017/CBO9781139172752
[7] Baldwin，J.F.，Martin，T.P.，Pilsworth，B.W.：人工智能中的模糊和证据推理。新亚克·威利（1995）
[8] Burstall，R.M.，Darlington，J.：开发递归程序的转换系统。J.ACM 24（1），44-67（1977）·Zbl 0343.68014号 ·数字对象标识代码：10.1145/321992.321996
[9] Guerrero，J.A.，Martínez，M.S.，Moreno，G.，Vázquez，C.：为模糊逻辑编程环境设计真度格。摘自：IEEE计算智能研讨会系列，2015年SSCI，南非开普敦，2015年12月7日至10日，第995-1004页IEEE，2015
[10] Guerrero，J.A.，Moreno，G.：通过展开、聚合和折叠优化模糊逻辑程序。电子。注释Theor。计算。科学。219, 19-34 (2008) ·兹比尔1286.68046 ·doi:10.1016/j.entcs.2008.10.032
[11] Hanus，M.（编辑）：Curry：一种集成函数逻辑语言（版本0.8.3）。可在http://www.curry-language.org, (2012)
[12] Huet，G.，Lévy，J.J.：正交重写系统中的计算，第一部分和第二部分。收录于：Lassez，J.L.，Plotkin，G.D.（编辑）《计算逻辑——纪念艾伦·罗宾逊的论文》，第395-443页。麻省理工学院出版社，马萨诸塞州剑桥（1992）
[13] Hutton，Graham：哈斯克尔编程。剑桥大学出版社，剑桥（2007）·Zbl 1344.68001号 ·doi:10.1017/CBO9780511813672
[14] Ishizuka，M.，Kanai，N.：Prolog-ELF合并模糊逻辑。Joshi，A.K.（编辑）《第九届国际人工智能联合会议论文集》，IJCAI’85，701-703。Morgan Kaufmann，1985年
[15] Julián Iranzo，P.，Moreno，G.，Penabad，J.，Vázquez，C.：管理相似性和真度的模糊逻辑语言的声明语义。收录人：Alferes，J.、Bertossi，L.E.、Governatori，G.、Fodor，P.、Roman，D.（编辑）Rule Technologies。研究、工具和应用——第十届国际研讨会，RuleML 2016，Stony Brook，NY，USA，2016年7月6-9日。《计算机科学讲稿》第9718卷，第68-82页。斯普林格，2016
[16] Julián，P.，Medina，J.，Morcillo，P.J.，Moreno，G.，Ojeda-Aciego，M.：用于增强模糊表格中阈值的基于展开的预处理。摘自：《第十二届人工神经网络国际工作会议论文集》，IWANN’13，647-655。Springer Verlag，LNCS 7902，第一部分，2013
[17] Julián，P.，Moreno，G.，Penabad，J.：关于模糊展开。多伴随方法。模糊集系统。154, 16-33 (2005) ·Zbl 1099.68017号 ·doi:10.1016/j.fss.2005.03.013
[18] Julián，P.，Moreno，G.，Penabad，J.：多伴随逻辑程序的操作/解释展开。J.通用计算。科学。12(11), 1679-1699 (2006)
[19] Kifer，M.，Subrahmanian，V.S.：广义注释逻辑编程理论及其应用。J.逻辑程序。12, 335-367 (1992) ·doi:10.1016/0743-1066（92）90007-P
[20] Klop，J.W.，Middeldorp，A.：正交项重写系统中的序列性。J.符号。计算。161-195 (1991) ·Zbl 0746.68047号
[21] Lee，R.C.T.：模糊逻辑与解析原理。J.ACM 19（1），119-129（1972）·Zbl 0245.02020号 ·数字对象标识代码：10.1145/321679.321688
[22] Lee，C.，Jones，N.，Ben-Amram，A.：项目终止的规模变化原则。SIGPLAN不是。36(3), 81-92 (2001) ·Zbl 1323.68216号 ·数字对象标识代码：10.1145/373243.360210
[23] Li，D.，Liu，D.：模糊Prolog数据库系统。Wiley，New Yark（1990年）
[24] Lloyd，J.W.：逻辑编程基础。柏林斯普林格·弗拉格（1987）·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8
[25] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：具有连续语义的多伴随逻辑编程。收录于：《逻辑编程与非单调推理程序》，LPNMR’01，第2173卷，第351-364页。斯普林格·弗拉格，LNAI，（2001）·Zbl 1007.68023号
[26] Medina，J.，Ojeda-Aciego，M.，VojtášP.：多伴随逻辑编程的过程语义。In:《人工智能进展》，EPIA’01，第2258（1）卷，第290-297页，Springer-Verlag，LNAI，（2001）·Zbl 1053.68540号
[27] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：基于相似性的统一：一种多伴随方法。模糊集系统。146, 43-62 (2004) ·Zbl 1073.68026号 ·doi:10.1016/j.fss.2003.11.005
[28] Morcillo，P.J.、Moreno，G.、Penabad，J.、Vázquez，C.：收集证据信息的模糊计算答案。在：Cabestany，J.等人（编辑）《第11届国际人工神经网络工作会议计算智能进展》，IWANN 2011，445-452。Springer Verlag，LNCS 66922011年
[29] Morcillo，P.J.，Moreno，G.：通过展开模糊连接定义改进多伴随逻辑程序。摘自：《第13届人工神经网络国际工作会议论文集》，IWANN 2015年6月10日至12日，西班牙马洛卡，第511-524页。Springer Verlag，LNCS 9094，第一部分，2015
[30] Morcillo，P.J.，Moreno，G.：关于执行模糊逻辑程序的成本估算。In Arabnia，H.R.等人（编辑）《第十一届国际人工智能会议论文集》，ICAI 2009年7月13日至16日，美国内华达州拉斯维加斯
[31] Morcillo，P.J.，Moreno，G.Penabad，J.，Vázquez，C.：使用FLOPER的模糊真度实用管理。摘自：Dean，M.等人（编辑）《第四届国际规则交换与应用研讨会论文集》，RuleML'10。美国华盛顿，10月21日至23日，20日至34日。斯普林格·弗拉格，LNCS 64032010
[32] Morcillo，P.J.Moreno，G.：模糊逻辑计算中的解释步骤建模。摘自：Di GesöV.等人（编辑）《第八届模糊逻辑与应用国际研讨会论文集》，WILF 2009。意大利巴勒莫，6月9日至12日，44-51。Springer Verlag，LNAI 55712009年·兹比尔1246.68083
[33] Moreno，G.、Penabad，J.、Vidal。G.：用符号执行调整模糊逻辑程序。CoRR，abs/1608.04688，2016年·Zbl 1485.68039号
[34] Moreno，G.：构建模糊转换系统。摘自：Wiedermann，J.等人（编辑）《第32届计算机科学理论与实践当前趋势会议论文集》，SOFSEM’2006。捷克共和国梅林，1月21-27日，409-418。施普林格出版社，LNCS 38312006·Zbl 1175.68101号
[35] Moreno，Ginés：用于基于重写的折叠/展开转换的基于缩小范围的实例化规则。选举人。注释Theor。计算。科学。86(3), 144-167 (2003) ·Zbl 1270.68133号 ·doi:10.1016/S1571-0661（04）80698-4
[36] Moreno，G.，Vázquez，C.：用触发器进行模糊逻辑编程。J.软件工程应用。7, 273-298 (2014) ·doi:10.4236/jsea.2014.74028
[37] Rodríguez-Artalejo，M.，Romero-Díaz，C.：重温定量逻辑编程。摘自：第九届函数与逻辑编程研讨会论文集，FLOPS’08，272-288。LNCS 4989，Springer Verlag，2008年·Zbl 1137.68341号
[38] 美国斯特拉契亚：管理描述逻辑、逻辑程序和描述逻辑程序中的不确定性和模糊性。收录于：推理网，第四国际暑期学校，辅导讲座，计算机科学讲义第5224期，54-103。施普林格出版社，2008年
[39] Tamaki，H.，Sato，T.：逻辑程序的展开/折叠转换。In:Tärnlund，S.（ed.）《第二届逻辑程序设计国际会议论文集》，127-1391984年
[40] 巴斯克斯，C。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。