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

模糊逻辑计算中的解释步骤建模。 （英语） Zbl 1246.68083号

Di Gesó，Vito（编辑）等人，《模糊逻辑与应用》。2009年6月9日至12日，第八届国际研讨会，WILF 2009，意大利巴勒莫。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02281-4/pbk）。计算机科学课堂讲稿5571。人工智能课堂讲稿，44-51（2009）。
摘要：模糊逻辑编程是一种不断发展的声明性范式，旨在将模糊逻辑集成到逻辑编程（LP）中。在这种情况下，多伴随逻辑方法代表了一种极其灵活的模糊语言，其过程原理分为两个不同的阶段。在运算过程中，以与LP中经典分辨率步骤类似的方式系统地应用容许步骤，从而返回所有原子都被利用的表达式。然后，在所谓的解释阶段，在给定的晶格下解释最后一个表达式。虽然操作阶段在过去已经成功地正式化，但仍需要作出更多努力来澄清解释步骤的概念。在本文中，我们首先介绍了这个概念的一种改进，它在一个非常低的层次上对解释阶段的计算行为进行了相当的建模。然后，我们提出了一个简单但强大的成本度量方法，该方法由此类定义导出，有助于估计解决目标所需的计算（解释）工作量。与我们过去提出的用于证明程序转换任务（如折叠/展开、部分评估等）中的效率属性的其他简单成本度量（如计算解释步骤的数量或权重）相比，得到的方法更加准确和现实。
关于整个系列，请参见[Zbl 1168.68001号].

引用于1文件

MSC公司：

68N17号 逻辑编程

关键词：

模糊逻辑程序设计;成本计量;聚合器

软件：

FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{P.J.Morcillo}和\textit{G.Moreno}，莱克特。注释计算。科学。5571、44-51（2009年；Zbl 1246.68083）
全文： 内政部

参考文献：

[1] Baldwin，J.F.，Martin，T.P.，Pilsworth，B.W.：Fril–人工智能中的模糊和证据推理。约翰·威利父子公司，奇切斯特（1995）
[2] Guadarrama，S.、Muñoz，S.和Vaucheret，C.：模糊Prolog：使用软约束传播的新方法。模糊集与系统144（1），127-150（2004）·Zbl 1065.68023号 ·doi:10.1016/j.fss.2003.10.017
[3] Guerrero，J.A.，Moreno，G.：通过展开、聚合和折叠优化模糊逻辑程序。理论计算机科学电子笔记219，19-34（2008）·Zbl 1286.68046号 ·doi:10.1016/j.entcs.2008.10.032
[4] Ishizuka，M.，Kanai，N.：Prolog-ELF合并模糊逻辑。收录：Joshi，A.K.（编辑）《第九届国际人工智能联合会议论文集》，IJCAI 1985，第701-703页。Morgan Kaufmann，旧金山（1985）
[5] Julián，P.，Moreno，G.，Penabad，J.：关于模糊展开。多伴随方法。模糊集与系统154，16–33（2005）·Zbl 1099.68017号 ·doi:10.1016/j.fss.2005.03.013
[6] Julián，P.，Moreno，G.，Penabad，J.：多伴随逻辑程序的运算/解释展开。《通用计算机科学杂志》12（11），1679–1699（2006）
[7] Julián，P.，Moreno，G.，Penabad，J.：测量模糊逻辑计算中的解释成本。收录：Masulli，F.等人（编辑）《2007年世界遗产法》。LNCS（LNAI），第4578卷，第28-36页。斯普林格，海德堡（2007）·Zbl 1182.68040号 ·数字对象标识代码：10.1007/978-3-540-73400-04
[8] Li，D.，Liu，D.：模糊Prolog数据库系统。约翰·威利父子公司，奇切斯特（1990）
[9] Lloyd，J.W.：逻辑编程基础。施普林格，柏林（1987）·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8
[10] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：具有连续语义的多伴随逻辑编程。收录：Eiter，T.、Faber，W.、Truszczynski，M.（编辑）LPNMR 2001。LNCS（LNAI），第2173卷，第351-364页。斯普林格，海德堡（2001）·Zbl 1007.68023号
[11] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：基于相似性的统一：一种多伴随方法。模糊集与系统146，43–62（2004）·Zbl 1073.68026号 ·doi:10.1016/j.fss.2003.11.005
[12] Morcillo，P.J.，Moreno，G.：使用FLOPER工具进行模糊逻辑规则编程。收录：Bassiliades，N.等人（编辑）2008年规则。LNCS，第5321卷，第119-126页。斯普林格，海德堡（2008）·Zbl 05362241号 ·doi:10.1007/978-3-540-88808-6_14
[13] Vojtáš，P.：模糊逻辑编程。模糊集与系统124（1），361–370（2001）·Zbl 1015.68036号 ·doi:10.1016/S0165-0114（01）00106-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。