×
胡安·安东尼奥·格雷罗；莫雷诺，吉纳斯

通过展开、聚合和折叠优化模糊逻辑程序。 （英语） 兹比尔1286.68046

Visser，Joost（ed.）等人，第八届基于规则的编程国际研讨会论文集（rule 2007），法国巴黎，2007年6月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记219，19-34（2008）。
摘要：多伴随逻辑编程是一种将模糊逻辑引入逻辑编程的最新、非常灵活的尝试。受我们以前在（声明性）程序转换领域的经验启发，本文提出开发一种基于折叠/展开的转换系统来优化这类模糊逻辑程序。起点是一组基于展开的变换，以及我们过去设计的可逆模糊折叠。当前的工作通过允许在执行折叠步骤时在转换序列中使用属于不同程序的规则，大大改进了最后的转换操作，这对于获得更好的、递归的和优雅的模糊谓词定义至关重要。与其他声明性范式相比，如果我们真的想继续折叠操作，那么在模糊设置中，必须将模糊谓词集打包到元组中。这意味着需要重新定义经典的“定义引入”转换规则，并引入一种全新的操作，即我们称之为“聚合”的操作，该操作特别适合于新框架。最后，我们说明了如何将我们的一组转换规则（定义引入、聚合、折叠、展开和事实化）适当地应用于给定程序，从而能够针对转换的程序改进目标的执行。
关于整个系列，请参见[Zbl 1280.68048号].

引用于4文件

MSC公司：

68N17号 逻辑编程
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

模糊逻辑程序设计；程序转换；折叠/展开规则

软件：

FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Guerrero}和\textit{G.Moreno}，电子。注释Theor。计算。科学。219、19-34（2008年；Zbl 1286.68046）
全文： 内政部

参考文献：

[1] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，《带条件收缩的安全折叠/展开》，（Heering，H.；Hanus，M.；Meinke，K.，《代数和逻辑编程国际会议论文集》，ALP’97，南安普顿（英格兰）。程序。代数和逻辑程序设计国际会议。程序。代数和逻辑程序设计国际会议，ALP’97，南安普敦（英格兰），LNCS，1298（1997），斯普林格），1-15·Zbl 0886.68033号
[2] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，《Lazy Functional Logic Programs的转换系统》（Middeldorp，A.；Sato，T.，第四届Fuji International Symposyum on Functional and Logic Proggramming的会议记录。第四届富士International symposyumon Functical and Logic Programming会议记录，FLOPS'99，筑波（日本）。程序。第四届富士国际函数与逻辑编程交响乐团。程序。第四届富士国际功能和逻辑编程交响乐团，FLOPS’99，筑波（日本），LNCS，1722（1999），施普林格），147-162·Zbl 0988.68507号
[3] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，《函数逻辑程序的自动组合算法》，（Hlaváć，V.；Jeffery，K.G.；Wiedermann，J.，Sofsem 2000-信息学理论与实践，LNCS，1963（2000），Springer），289-297·Zbl 1043.68521号
[4] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，《转换惰性函数逻辑程序的规则+策略》，理论计算机科学，311,1-3479-525（2004年1月），Elsevier·Zbl 1070.68018号
[5] 鲍德温，J.F。；马丁·T·P。；Pilsworth，B.W.，Fril-人工智能中的模糊和证据推理（1995），John Wiley&Sons，Inc。
[6] Bossi，A。；Cocco，N.，《保留逻辑程序计算答案替换的基本转换操作》，《逻辑编程杂志》，16，47-87（1993）·Zbl 0778.68020号
[7] R.M.伯斯托尔。；Darlington，J.，开发递归程序的转换系统，ACM杂志，24，1，44-67（1977）·Zbl 0343.68014号
[8] 加德纳，P.A。；Shepherdson，J.C.，《逻辑程序的展开/折叠变换》，（Lassez，J.L.；Plotkin，G.，《计算逻辑》，《纪念艾伦·罗宾逊的论文》（1991），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），565-583·兹比尔0793.03002
[9] González，S。；Moreno，G.，《优化多范式声明程序的改进塔普林法》，（Lemaitre，C.；Reyes，C.A.；Gonzlez，J.A.，第九届伊比利亚-美国人工智能会议议事录，伊比利亚人工智能协会2004年。墨西哥普埃布拉，11月22日至26日。程序。第九届伊比利亚-美洲人工智能会议。程序。第九届伊比利亚-美国人工智能会议，2004年。墨西哥普埃布拉，11月22-26日，LNAI，3315（2004），斯普林格），419-429
[10] 石冢，M。；Kanai，N.，Prolog ELF合并模糊逻辑，（Joshi，Aravind K.，第九届国际人工智能联合会议论文集。第九届国际人工智能联合会议论文集，（IJCAI’85）。加利福尼亚州洛杉矶，1985年8月（1985），摩根·考夫曼），701-703
[11] 朱利安，P。；莫雷诺，G。；佩纳巴德，J.，《关于模糊展开》。多伴随方法，模糊集与系统，154，16-33（2005），Elsevier·Zbl 1099.68017号
[12] 朱利安，P。；莫雷诺，G。；Penabad，J.，《多伴随逻辑程序的操作/解释展开》，《通用计算机科学杂志》，12，11，1679-1699（2006）
[13] 川村，T。；Kanamori，T.，在展开/折叠逻辑程序转换中保持更强的等价性，理论计算机科学，75139-156（1990）·Zbl 0702.68080号
[14] 拉塞兹，J.-L。；Maher，M.J。；Marriott，K.，《重新审视统一》（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann Los Altos，Ca.），587-625·Zbl 0645.68046号
[15] Lee，R.C.T.，《模糊逻辑与解析原理》，美国医学会杂志，19，1，119-129（1972）·Zbl 0245.02020号
[16] 李德义；刘东波，《模糊Prolog数据库系统》（1990），John Wiley&Sons，Inc·Zbl 0728.68110号
[17] Lloyd，J.W.，《逻辑编程基础》（1987），《施普林格-弗拉格：柏林施普林格》·Zbl 0547.68005号
[18] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，《基于相似性的统一：多伴随方法》，模糊集与系统，146，1，43-62（2004）·Zbl 1073.68026号
[19] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，《多伴随逻辑编程的过程语义》，（人工智能进展。人工智能进展，EPIA’01）。人工智能进展。人工智能进展，EPIA’01，LNAI，2258（1）（2001），Springer-Verlag），290-297·Zbl 1053.68540号
[20] Moreno，G.，《多参数声明程序的自动优化》，（Garijo，F.J.；Riquelme，J.C.；Toro，M.，《第八届伊比利亚-美国人工智能会议论文集》，2002年伊比利亚国际人工智能协会。程序。第八届伊比利亚-美国人工智能会议。程序。第八届伊比利亚-美国人工智能会议，IBERAMIA’2002，LNAI，2527（2002），Springer），131-140·Zbl 1036.68504号
[21] Moreno，G.，《功能逻辑程序的转换规则和策略》，AI通信，15，2，3（2002），IO出版社（阿姆斯特丹）
[22] Moreno，G.，《构建一个模糊转换系统》，（Wiedermann，J.；Tel，G.；Pokorn，J.，Bielikov，M.；Stuller，J.《第32届计算机科学理论与实践当前趋势会议论文集》，2006年，《第32次计算机科学理论和实践当前趋势大会论文集》。程序。第32届计算机科学理论与实践当前趋势会议。程序。第32届计算机科学理论与实践当前趋势会议，SOFSEM’2006，LNCS，3831（2006），Springer），409-418·Zbl 1175.68101号
[23] 莫雷诺，G。；Pascual，V.，《模糊逻辑和数学函数编程》，（Bloch，I.；Petrosino，A.；Tettamanzi，A.，《第六届模糊逻辑和应用国际会议论文集》，第六届国际模糊逻辑与应用会议论文集，WILF’2005。2005年9月15日至17日，意大利克雷马。程序。第六届模糊逻辑与应用国际会议。程序。第六届国际模糊逻辑与应用会议，2005年。意大利克雷马，2005年9月15日至17日，LNAI，3849（2006），Springer，89-98，一份扩展版已提交给该杂志：模糊集与系统·Zbl 1168.68348号
[24] G.莫雷诺和V.帕斯夸尔。严格相似等式的软计算。编辑K.Sirlantzis，第六届软计算最新进展国际会议，RASC’2006。英国坎特伯雷，7月10日至12日; G.Moreno和V.Pascual。具有严格相似等式的软计算。编辑K.Sirlantzis，第六届软计算最新进展国际会议，RASC’2006。英国坎特伯雷，7月10日至12日
[25] Pettorossi，A。；Proietti，M.，《逻辑程序的转换：基础与技术》，《逻辑编程杂志》，19,20,261-320（1994）·Zbl 0942.68528号
[26] Pettorossi，A。；Proietti，M.，转换功能和逻辑程序的规则和策略，ACM计算调查，28，2，360-414（1996）
[27] Sands，D.，《功能程序转换中局部改进的总体正确性》，《程序设计语言和系统的ACM事务》，18，2，175-234（1996年3月）
[28] Scherlis，W.L.，《通过内部专业化改进程序》，（第八届美国计算机学会编程语言原则年会（1981年）会议记录，美国计算机学会出版社：美国计算机学会纽约出版社），41-49
[29] H.Tamaki和T.Sato。逻辑程序的展开/折叠转换。编辑S.Tärnlund，程序。第二届国际逻辑编程大会，瑞典乌普萨拉; H.Tamaki和T.Sato。逻辑程序的展开/折叠转换。编辑S.Tärnlund，程序。第二届国际逻辑编程大会，瑞典乌普萨拉
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。