×
帕斯卡尔·朱利安；莫雷诺，吉纳斯；詹姆·佩纳巴德

使用模糊部分评估技术改进的约简演算。 （英语） Zbl 1182.68041号

模糊集系统。 160，第2号，162-181（2009）.
摘要：部分求值（PE）是一种自动程序转换技术，其目的是获得与部分输入有关的程序优化，此外还有其他优点：因此，它也称为程序专业化。本文将PE学科引入模糊逻辑规划领域。我们为多伴随逻辑程序和目标定义了PE的概念，除了讨论此技术所带来的好处外，我们还将PE的一个全新应用引入到模糊设置中，它允许我们在不影响计算效率的情况下计算保证完整性的约简。还原剂是一种特殊的模糊规则，是证明正确性的重要理论工具。
正如在专门文献中所观察到的，当在偏序格上解释多伴随逻辑程序时，为了保持（近似）完备性，必须包括其所有的还原剂。这给高效多伴随逻辑编程系统的实现带来了严重的惩罚：不仅程序的大小增加了，而且程序的执行时间也增加了。在本文中，我们基于PE技术定义了对还原剂概念的改进，我们称之为PE还原剂。我们建立了PE还原剂的主要属性（即还原剂的经典概念和PE还原剂新概念在语义和操作上都是等价的），并且，最好的是，我们证明了我们改进的PE还原剂概念甚至能够提高多伴随逻辑程序的效率。

引用于4文件

MSC公司：

68N17号 逻辑编程

关键词：

模糊逻辑程序设计；部分评估；还原剂

软件：

Refal公司；FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Julián}等人，《模糊集系统》。160，第2号，162--181（2009；Zbl 1182.68041）
全文： 内政部

参考文献：

[1] Abietar，J。；莫西洛，P。；Moreno，G.，《构建模糊逻辑编程工具》，（Pimentel，E.，Proc.VII Jornadas sobre Programación y Lenguajes，PROLE’2007，西班牙萨拉戈萨（2007年9月12日至14日），萨拉戈萨大学），215-222
[2] 艾伯特·E。；Alpunte，M。；法拉斯基，M。；朱利安，P。；Vidal，G.，《改进功能逻辑程序专业化中的控制》，（Levi，G.《静态分析学报》，SAS'98，计算机科学讲稿，第1503卷（1998年），施普林格：施普林格柏林），262-277·Zbl 0911.68036号
[3] 艾伯特·E。；Alpunte，M。；哈努斯，M。；Vidal，G.，《咖喱程序的部分评估框架》（第六届程序设计和自动推理逻辑国际会议论文集，LPAR’99，《人工智能讲义》，第1705卷（1999），施普林格：施普林格柏林），376-395
[4] M.Alpunte、M.Falaschi、P.Julián、G.Vidal，惰性功能逻辑程序的专门化，收录于：ACM SIGPLAN Conf.on Partial Evaluation and Semantics-Based Program Manipulation，PEPM’97 SIGPLAN Notices，vol.32，no.12，ACM Press，New York，1997，pp.151-162。；M.Alpunte，M.Falaschi，P.Julián，G.Vidal，惰性功能逻辑程序的专门化，收录于：ACM SIGPLAN Conf.on Partial Evaluation and Semantics-Based Program Manipulation，PEPM’97 SIGPLAN Notices，vol.32，no.12，ACM Press，New York，1997，pp.151-162。
[5] Alpunte，M。；法拉斯基，M。；Vidal，G.，功能逻辑程序的部分评估，ACM Trans。编程语言系统，20,4768-844（1998）
[6] Alpunte，M。；法拉斯基，M。；莫雷诺，G。；Vidal，G.，《转换惰性函数逻辑程序的规则（+）策略》，Theoret。计算。科学。，311、1-3、479-525（2004），（爱思唯尔）·Zbl 1070.68018号
[7] 鲍德温，J.F。；马丁·T·P。；Pilsworth，B.W.，《人工智能中的Fril-Fuzzy和证据推理》（1995），威利：威利纽约
[8] R.伯斯托尔。；Darlington，J.，开发递归程序的转换系统，J.ACM，24，1，44-67（1977）·Zbl 0343.68014号
[9] 康塞尔，C。；Danvy，O.，《关于部分评估的教程注释》，（第20届美国计算机学会编程语言原则研讨会论文集，第20届全美计算机学会编程编程语言原则会议论文集论文集，纽约ACM（1993）），493-501
[10] 康塞尔，C。；霍诺夫，L。；编号：F。；J.诺伊。；Volanschi，E.，《编译时和运行时专业化的统一方法》，（Danvy，O.；Glück，R.；Thiemann，P.，1996年Dagstuhl部分评估研讨会论文集，计算机科学讲稿，第1110卷（1996），Springer:Springer-Berlin），54-72
[11] 达马西奥，C。；麦地那，J。；Ojeda-Aciego，M.，《剩余逻辑编程的制表证明程序》，（欧洲人工智能会议，人工智能和应用前沿，第110卷（2004）），808-812
[12] 达马西奥，C。；麦地那，J。；Ojeda-Aciego，M.，《分类多伴随逻辑程序：终止结果和应用》（Proc.Logics Artificial Intelligence，JELIA'04，《人工智能讲义》，第3229卷（2004），Springer:Springer Berlin），260-273·Zbl 1111.68379号
[13] 达马西奥，C。；麦地那，J。；Ojeda-Aciego，M.，《不完全信息逻辑程序的终止：应用程序和查询过程》，J.Appl。逻辑，5435-458（2007）·Zbl 1122.68025号
[14] Fay，M.，方程理论中的一阶统一，（Proc.4th Internat.Conf.Automated Deduction（1979）），161-167
[15] Gallagher，J.，《逻辑程序专业化教程》（《部分评估和基于语义的程序操作程序》，丹麦哥本哈根，1993年6月（1993），ACM:ACM纽约），88-98
[16] Ginsberg，M.L.，《多值逻辑：人工智能推理的统一方法》，《计算》。情报，4265-316（1988）
[17] 吕克，R。；Jörgensen，J。；马滕斯，B。；Sörensen，M.，《控制确定性逻辑程序的连接部分演绎》，（Proc.Internat.Symp.Programming Languages Implementations，Logics and Programs，PLILP’96，计算机科学讲稿，第1140卷（1996），Springer:Springer Berlin），152-166
[18] 吕克，R。；Sörensen，M.，《部分演绎和驱动是等价的》（Proc.Int.Symp.Programming Language Implementation and Logic Programmings，PLILP’94，计算机科学讲义，第844卷（1994），Springer:Springer Berlin），165-181
[19] 瓜达拉马，S。；穆尼奥斯，S。；Vaucheret，C.，《模糊序言：使用软约束传播的新方法》，《模糊集与系统》，144,1127-150（2004），（Elsevier）·Zbl 1065.68023号
[20] J.Guerrero，G.Moreno，《通过展开、聚合和折叠优化模糊逻辑程序》，J.Visser，V.Winter（编辑），Proc。第八。国际。基于规则的编程研讨会，Rule-07，法国巴黎，6月29日，2007年理论计算机科学电子笔记，第15页，即将出版。；J.Guerrero，G.Moreno，《通过展开、聚合和折叠优化模糊逻辑程序》，J.Visser，V.Winter（编辑），Proc。第八。国际。基于规则的编程研讨会，Rule-07，法国巴黎，6月29日，2007年理论计算机科学电子笔记，第15页，即将出版·兹比尔1286.68046
[21] 石冢，M。；Kanai，N.，Prolog-ELF Incorporating Fuzzy Logic，（Joshi，A.K.，Proc.9th Internat.Joint Conf.on Artificial Intelligence，（IJCAI'85）（1985年8月），Morgan Kaufmann:Morgan Koufmann Los Angeles，CA），701-703
[22] 琼斯，N。；Gomard，C。；Sestoft，P.，《部分评估和自动程序生成》（1993），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0875.68290号
[23] 朱利安，P。；莫雷诺，G。；Penabad，J.，《关于模糊展开的多伴随方法》，模糊集与系统，154，16-33（2005），（Elsevier）·Zbl 1099.68017号
[24] 朱利安，P。；莫雷诺，G。；Penabad，J.，《多伴随逻辑程序的操作/解释展开》，J.通用计算。科学。，12, 11, 1679-1699 (2006)
[25] P.Julián、G.Moreno、J.Penabad、Evaluación parcial de programas lógicos multi-djuntos y aplicaciones，收录于：A.Fernández（编辑），Proc。《智能感知多学科校园研讨会》，CMPI-2006，西班牙阿尔巴塞特，7月10日至14日，UCLM，2006年，第712-724页。；P.Julián、G.Moreno、J.Penabad、Evaluación parcial de programas lógicos multi-djuntos y aplicaciones，收录于：A.Fernández（编辑），Proc。《智能感知多学科校园研讨会》，CMPI-2006，西班牙阿尔巴塞特，7月10日至14日，UCLM，2006年，第712-724页。
[26] 朱利安，P。；莫雷诺，G。；Penabad，J.，《使用带阈值的部分评估技术计算高效还原剂》，（Lucio，P.，《理论计算机科学电子笔记》，第188C卷（2007），Elsevier:Elsevier Amsterdam），77-90·兹比尔1278.68050
[27] Kifer，M。；Subrahmanian，V.，《广义注释逻辑编程理论及其应用》，《逻辑编程杂志》，第12期，第335-367页（1992年）
[28] Komorowski，H.，《作为应用语言中推断数据结构的一种手段的部分求值：序言的理论和实现》（第九届美国计算机学会程序设计语言原理研讨会（1982年）会议记录），255-267
[29] Komorowski，J.，《部分演绎导论》（Pettorossi，A.，逻辑元程序设计，瑞典乌普萨拉，计算机科学讲义，第649卷（1992），施普林格：施普林格柏林），49-69
[30] Lassez，J.L。；Maher，M.J。；Marriott，K.，《重新审视统一》（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann：Morgan Koufmann-Los Altos，CA），587-625·Zbl 0645.68046号
[31] Leuschel，M。；De Schreye，D。；de Waal，A.，《折叠到部分演绎中的概念嵌入：走向最大整合》，（Maher，M.，Proc.Joint Internat.Conf.Symp.Logic Programming，JICSLP’96（1996），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），319-332
[32] 李，D。；Liu，D.，《模糊Prolog数据库系统》（1990），威利出版社：威利纽约
[33] 劳埃德·J。；Shepherdson，J.，逻辑编程中的部分评估，J.逻辑编程，11217-242（1991）·Zbl 0741.68030号
[34] J.Medina，M.Ojeda-Aciego，J.Ruiz-Calviño，《论基于多格的逻辑程序的理想语义》，载于《信息处理与不确定性管理》，IPMU’062006年，第463-470页。URL\（\langle；\）/TR/ipmu2006-ss.pdf\（\rangle；\）；J.Medina，M.Ojeda-Aciego，J.Ruiz-Calviño，《论基于多格的逻辑程序的理想语义》，载《信息处理与不确定性管理》，IPMU’062006年，第463-470页。URL\（\langle；\）/TR/ipmu2006-ss.pdf\（\rangle；\）
[35] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，《具有连续语义的多伴随逻辑编程》（Proc.logic programming and Non-Monotonic Reasoning，LPNMR’01，《人工智能讲义》，第2173卷（2001），施普林格：施普林格柏林），351-364·Zbl 1007.68023号
[36] J.Medina，M.Ojeda-Aciego，P.VojtáŠ，多伴随逻辑编程的过程语义，in：人工智能进展，EPIA'01，人工智能课堂讲稿，第2258卷，施普林格，柏林，（1），2001，第290-297页。；J.Medina，M.Ojeda-Aciego，P.VojtáŠ，《多伴随逻辑编程的过程语义》，收录于：《人工智能进展》，EPIA’01，《人工智能讲义》，第2258卷，柏林斯普林格出版社，（1），2001年，第290-297页·Zbl 1053.68540号
[37] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，《基于相似性的统一：多伴随方法》，模糊集与系统，146，43-62（2004）·Zbl 1073.68026号
[38] Pettorossi，A。；Proietti，M.，《逻辑程序的转换：基础和技术》，《逻辑编程杂志》，第19、20、261-320页（1994年）·Zbl 0942.68528号
[39] Sessa，M.，基于相似性的SLD分解近似推理，模糊集与系统，275389-426（2002）·Zbl 1051.68045号
[40] 斯特拉契亚，美国，《不确定性下正常逻辑程序中的问答》，（Godó，L.，Proc.8th European Conf.Symbolic and Quantitative Approachs to Reasoning with uncertainty，ECSQARU-05，Barcelona，Spain，计算机科学讲义，第3571卷（2005），施普林格：施普林格柏林），687-700·Zbl 1122.68672号
[41] Swift，T.，《非单调编程表格》，《数学年鉴》。人工智能，25，3-4，201-240（1999）·Zbl 0940.68025号
[42] Turchin，V.，《超级编译器的概念》，ACM Trans。程序设计语言系统，8，3922-325（1986）·Zbl 0598.68016号
[43] 沃伊塔什，P。；Paulík，L.，非经典扩展SLD分辨率的稳健性和完整性，（Dyckhoff，R.等，《96年莱比锡ELP程序》，计算机科学讲义，第1050卷（1996），施普林格：施普林格柏林），289-301
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。