×
Estévez Martín，S。；A.J.费尔南德斯。；HortaláGonzález，麻省理工学院。；罗德里格斯·阿塔列霍（Rodríguez Artalejo），M。；del Vado Vírseda，R。

一个完全合理的目标求解演算，用于CFLP方案中求解者的合作。 （英语） Zbl 1279.68039号

López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记177，235-252（2007）。
摘要：约束函数逻辑编程的CFLP方案具有对应于不同约束域的实例（mathrm{CFLP}（mathcal{D}））。在本文中，我们提出了一种用于构建协调域（mathcal{C}）的合并和结构，该结构适用于表示多个约束域之间的合作{D} _1个，\ldot，\mathcal{D} _n（n）\)通过中介域\（\mathcal{M}\）。此外，我们提出了一种基于惰性收缩、调用不同域的解算器的合作目标求解演算（mathrm{CFLP}（mathcal{C}））{D} _ i\)涉及协调域\（\mathcal{C}\）和转换的投影操作\（\mathcal{D} i（_i）\)约束到\（\mathcal{D} _j（_j）\)借助\（\mathcal{M}\）提供的中介约束（所谓的桥）进行约束。在投影操作的自然正确性假设下，利用\（\mathrm{CFLP}（\mathcal{C}）\）的声明语义，可以证明合作目标求解演算是完全正确的。作为我们建议的相关具体实例，我们考虑了Herbrand、实数算法和有限域约束之间的合作。
有关整个系列，请参见[Zbl 1275.68023号].

MSC公司：

68N17号 逻辑编程
68甲18 函数编程和lambda演算
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

合作目标解决；约束；函数逻辑程序设计；懒散的缩窄

软件：

CFLP公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Estévez Martín}等人，《电子》。注释Theor。计算。科学。177235-252（2007年；Zbl 1279.68039）
全文： 内政部

参考文献：

[1] P.Arenas、F.J.López-Fraguas、M.Rodríguez-Atalejo\（\mathcal{TOY}\）一种多参数声明语言。版本2.2.2网址：http://toy.sourceforge.net; P.Arenas、F.J.López-Fraguas、M.Rodríguez-Atalejo\（\mathcal{TOY}\）一种多参数声明语言。版本2.2.2网址：http://toy.sourceforge.net
[2] S.Estévez Martín、A.J.Fernández、M.T.Hortalá-González、M.Rodríguez Artalejo、F.Sáenz-Pérez和R.del Vado-Vírseda。约束函数逻辑程序设计中求解者合作的建议; S.Estévez Martín、A.J.Fernández、M.T.Hortalá-González、M.Rodríguez-Artalejo、F.Sáenz-Pérez和R.del Vado-Vírseda。约束函数逻辑程序设计中求解者合作的建议·Zbl 1278.68048号
[3] A.J.Fernández、M.T.Hortalá-González、F.Sáenz-Pérez和R.del Vado-Vírseda。有限域上的约束函数逻辑编程http://arXiv.org/abs/cs/0601071; A.J.Fernández、M.T.Hortalá-González、F.Sáenz-Pérez和R.del Vado-Vírseda。有限域上的约束函数逻辑编程http://arXiv.org/abs/cs/0601071 ·Zbl 1129.68020号
[4] González-Moreno，J.C。；Hortalá-González，M.T。；Rodríguez-Artalejo，M.，《函数逻辑编程中的多态类型》，《函数与逻辑编程杂志》（2001）的FLOPS’99特刊·Zbl 0971.68081号
[5] Granvilliers，L。；蒙弗罗伊，E。；Benhamou，F.，《约束编程中的合作求解器：简介》，《ALP通讯》，第14期，第2期（2001年5月）
[6] Hanus，M.，Curry:一种集成函数逻辑语言（2006年3月28日），0.8.2版
[7] P.霍夫斯泰德。约束求解器的合作与协调; P.霍夫斯泰德。约束求解器的合作与协调·Zbl 1017.68111号
[8] 霍夫施泰特，P。；Pepper，P.，《声明式编程与约束式编程的集成》，逻辑编程理论与实践（2006）
[9] Jaffar，J。；Maher，M.，《约束逻辑编程：一项调查》，《逻辑编程杂志》，19-20，503-581（1994）
[10] 洛佩斯·弗拉瓜斯，F.J。；罗德里格斯·阿尔塔莱霍，M。；del Vado-Vírseda，R.，《声明性约束编程的一个懒惰的狭义演算》，（国际声明性编程原理与实践大会ACM SIGPLAN程序），国际声明性程序设计原理与实践会议ACM SIGPLAN程序，（PPDP'04）（2004），ACM出版社），43-54
[11] F.J.López-Fraguas、M.Rodríguez-Artalejo和R.del Vado-Vírseda。一种新的带约束函数逻辑程序设计通用方案高阶和符号计算; F.J.López-Fraguas、M.Rodríguez-Artalejo和R.del Vado-Vírseda。一种新的带约束函数逻辑程序设计通用方案高阶和符号计算
[12] 马林先生。分布式约束求解的函数逻辑程序设计; 马林先生。分布式约束求解的函数逻辑程序设计
[13] M.Marin、T.Ida和W.Schreiner。CFLP：分布式约束求解系统的数学实现第三届国际数学研讨会（IMS’99）; M.Marin、T.Ida和W.Schreiner。CFLP：分布式约束求解系统的数学实现第三届国际数学研讨会（IMS’99）
[14] E.蒙弗罗伊。约束逻辑编程的求解器协作; E.蒙弗罗伊。约束逻辑编程的求解器协作
[15] del Vado-Vírseda，R.，带定义树的声明约束规划，（第五届组合系统前沿国际会议论文集，第五届联合系统前沿国际大会论文集，FroCoS’05）。程序。第五届国际合并制度前沿会议。程序。第五届组合系统前沿国际会议，（FroCoS’05），LNCS，第3717卷（2005），Springer，184-199·Zbl 1171.68405号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。