×
莫雷诺，吉纳斯；詹姆·佩纳巴德；何塞·安东尼奥·里亚扎

多伴随逻辑程序的符号展开。 （英语） Zbl 1430.68026号

Cornejo，María Eugenia（编辑）等人，《数学和计算智能趋势》。根据2017年10月4日至7日在葡萄牙法罗举行的第九届欧洲计算智能与数学研讨会（2017年欧洲经济与社会理事会）上的陈述，选出论文。查姆：斯普林格。螺柱计算。智力。796, 43-51 (2019).
摘要：展开转换在许多声明性框架中得到了广泛应用，用于在对程序规则应用计算步骤后提高程序的效率。在本文中，我们将这种运算应用于一种功能强大的模糊逻辑语言的符号扩展，在这种语言中，程序规则通过在其主体上添加具体的“符号”模糊连接词和真度来扩展子句的经典概念。
有关整个系列，请参见[Zbl 1404.68011号].

引用于4文件

MSC公司：

68N17号 逻辑编程

关键词：

模糊逻辑程序设计；符号程序；展开

软件：

FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Moreno}等人，研究计算。智力。796、43-51（2019年；Zbl 1430.68026）
全文： 内政部

参考文献：

[1] 鲍德温，J.F.，Martin，T.P.，Pilsworth，B.W.：人工智能中的模糊推理和证据推理。威利（1995）
[2] Burstall，R.M.，Darlington，J.：用于开发递归程序的转换系统。J.ACM 24（1），44-67（1977）·Zbl 0343.68014号 ·数字对象标识代码：10.1145/321992.321996
[3] Ishizuka，M.，Kanai，N.：Prolog-ELF合并模糊逻辑。摘自：Aravind，K.J.（编辑）《第九届国际人工智能联合会议论文集》，IJCAI'85，第701-703页。摩根·考夫曼（1985）
[4] Julián-Iranzo，P.，Moreno，G.，Penabad，J.：关于模糊展开：多伴随方法。模糊集系统。154, 16-33 (2005) ·Zbl 1099.68017号 ·doi:10.1016/j.fss.2005.03.013
[5] Julián-Iranzo，P.，Moreno，G.，Penabad，J.：多伴随逻辑程序的操作/解释展开。J.大学计算机。科学。12（11），1679-1699（2006）
[6] Julián-Iranzo，P.，Moreno，G.，Penabad，J.：完全集成模糊逻辑语言的阈值语义框架。J.日志。代数。方法程序。93, 42-67 (2017) ·Zbl 1372.68053号 ·doi:10.1016/j.jlamp.2017.08.002
[7] Julián-Iranzo，P.，Moreno，G.，Penabad，J.，Vázquez，C.：管理相似性和真度的模糊逻辑语言的声明语义。摘自：第十届规则技术研究、工具和应用国际研讨会论文集，RuleML 2016，Stony Brook，NY，USA，2016年7月6-9日。LNCS 9718，第68-82页。斯普林格（2016）·doi:10.1007/978-3-319-42019-65
[8] Lassez，J.L.、Maher，M.J.、Marriott，K.：重新审视统一。摘自：Minker，J.（编辑）《演绎数据库和逻辑编程基础》，第587-625页。Morgan Kaufmann，加利福尼亚州洛斯阿尔托斯（1988）·Zbl 0645.68046号 ·doi:10.1016/B978-0-934613-40-8.50019-1
[9] Lee，R.C.T.：模糊逻辑和分解原理。J.ACM 19（1），119-129（1972）·Zbl 0245.02020号 ·数字对象标识代码：10.1145/321679.321688
[10] Li，D.，Liu，D.：一个模糊Prolog数据库系统。威利（1990）
[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] Moreno，G.，Penabad，J.，Riaza，J.A.：基于相似性的展开。摘自：2017年10月4日至6日，西班牙格拉纳达2017年SUM’17第十一届可扩展不确定性管理国际会议记录。LNCS 10564，第420-426页。施普林格（2017）
[13] Moreno，G.，Penabad，J.，Riaza，J.A.，Vidal，G.：有效调整模糊逻辑程序的符号执行和阈值。2016年9月6日至8日，英国爱丁堡，第26届基于逻辑的程序合成与转换国际研讨会论文集，LOPSTR’16，修订论文集。LNCS 10184，第131-147页。施普林格（2016）·Zbl 1485.68039号
[14] Moreno，G.，Penabad，J.，Vidal，G.：用符号执行调整模糊逻辑程序（2016）。CoRR，abs arXiv公司：1608.04688·Zbl 1485.68039号
[15] Moreno，G.，Riaza，J.A.：一种用于调整模糊逻辑程序的在线工具。2017年7月12日至15日，英国伦敦，《规则与推理国际联合会议记录》，RuleML+RR 2017。LNCS 10364，第184-198页。施普林格（2017）
[16] Nguyen，H.T.，Walker，E.A.：模糊逻辑第一课程。查普曼和霍尔，佛罗里达州博卡拉顿（2006）·Zbl 1405.03001号
[17] Pettorossi，A.，Proietti，M.：转换功能和逻辑程序的规则和策略。ACM计算。Surv公司。28(2), 360-414 (1996) ·doi:10.1145/234528.234529
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。