×
卡门·葛尔维

集合推理的区间传播：实用语言的定义和实现。 （英语） Zbl 0870.68039号

约束条件 191-244（1997），第3期.
摘要：为了扩展逻辑编程语言的应用领域，在逻辑编程中引入了局部一致性技术。基于这些技术的现有语言考虑了应用于有限整数域上变量的算术约束。这使得一类处理集合的NP完全组合搜索问题的自然简洁建模以及有效求解变得困难。为了克服这些问题，我们提出了一种解决方案，即将整数域的概念扩展到集域（集合集）的概念。我们通过区间指定集域，该区间的上界和下界是已知集，按集包含排序。我们定义了一种新的集域约束逻辑编程语言的形式化和实用框架，称为Conjunto。Conjunto包含常用的集合运算符号\（（\cup、\cap、\setminus）\）和集合包含关系\（（\subsetq）\）。使用运算符号构建的集合表达式被解释为关系\（（s\cup s_1=s_2，\dots）\）。此外，Conjunto为我们提供了一组称为分级约束的约束（例如集合基数），它将集合映射到算术项上。这使我们能够通过将成本函数应用于可量化的，即与集合项关联的算术项，来处理优化问题。Conjunto中的约束求解是基于使用区间推理的局部一致性技术，该技术被扩展到处理集合约束。本文的主要贡献涉及语言的形式化定义及其作为实用语言的设计和实现。

引用于21文件

MSC公司：

68N17号 逻辑编程

关键词：

关系集约束；约束程序设计语言；局部一致性技术

软件：

SETL公司；炸薯条；米兰达；序言
PDF格式BibTeX公司 XML格式引用
\textit{C.Gervet}，约束1，No.3，191--244（1997；Zbl 0870.68039）
全文： 内政部

参考文献：

[1] Baptiste，P.、Legeard，B.和Lombardi，H.（1994年）。解决调度问题的序列约束。在第三届IFIP工作会议上。
[2] Beeri，C.、Naqvi，S.、Shmueli，O.和Tsur，S.（1991年）。用逻辑数据库语言设置构造函数。在《逻辑编程杂志》上。爱思唯尔·Zbl 0724.68016号
[3] Beldiceanu，N.（1990年）。全局约束的定义。内部报告IR-LP-22-30，ECRC，德国慕尼黑。
[4] Beldiceanu，N.（1990年）。CHIP中引入全局约束的一个示例：块理论问题的应用。技术报告TR-LP-49，ECRC，德国慕尼黑。
[5] Beldiceanu，N.和Contejean，E.（1994年）。在CHIP中引入全局约束。《爱思唯尔科学》编辑，《数学计算建模》20（12）：97-123·Zbl 0816.68048号
[6] Benhamou，F.（1995）。区间约束逻辑编程。在A.Podelski编辑的《约束编程：基础和趋势》中。LNCS 910，施普林格出版社。
[7] Benhamou，F.、MacAllester，D.和Van Hentenryck，P.（1994年）。重新审查CLP（间隔）。在ILPS’94中，第124-138页。
[8] Birkhoff，G.（1967年）。晶格理论，学术讨论会出版物第25卷。美国数学学会·Zbl 0153.02501号
[9] Boucher，E.和Legeard，B.（1996年）。言论进步和可接受的功能为PLC带来了许多优化方法。《96年国会法案》，第255-270页。
[10] Bruscoli，P.、Dovier，A.、Pontelli，E.和Rossi，G.（1994年）。在CLP中编译内涵集。在P.Van Hentenryck，编辑，ICLP’94，第647-664页。
[11] Carlson，B.、Haridi，S.和Janson，S.（1994年）。AKL（FD）是一种用于FD编程的并发语言。M.Bruynooghe，编辑，ILPS’94，第521-538页。
[12] Caseau，Y.和Puget，J-F.（1994年）。对排序域的约束。在约束处理研讨会上，结合ECAI'94。
[13] Cleary，J.G.（1987）《逻辑算术》。在未来一代计算系统中2（2）：125-149。
[14] Colmerauer，A.（1987）。打开序言III宇宙。在BYTE杂志上。
[15] Colmerauer，A.、Kanoui，H.和Van Caneghem，M.（1983年）。Prolog，基础理论和发展实践。在T.S.I.（技术与科学信息）2（4）：271-311·Zbl 0517.68014号
[16] Dincbas，M.、Simonis，H.和Van Hentenryck P.等人（1988年）。约束逻辑编程语言CHIP。在FGCS中·Zbl 0800.68287号
[17] Dincbas，M.、Simonis，H.和Van Hentenryck，P.（1988年）。解决逻辑编程中的大型组合问题。《逻辑编程杂志》·Zbl 0719.68013号
[18] Dovier，A.、Omodeo，E.G.、Pontelli，E.和Rossi，G.（1991）。{log}：一种具有有限集的逻辑编程语言。在ICLP’91中，第111-124页·Zbl 0874.68056号
[19] Dovier，A.和Rossi，G.（1993年）。在CLP中嵌入可拓有限集。在ILPS’93中。
[20] ECRC。(1994). ECLiPSe（a）用户手册，（b）用户手册的扩展。ECRC技术报告。
[21] Fikes，R.E.（1970）。参考arf：一种以程序形式解决问题的系统。人工智能1:27-120·Zbl 0203.49403号 ·doi:10.1016/0004-3702（70）90003-2
[22] Fraissé，R.（1986）。关系理论。在逻辑和数学基础研究118。爱思唯尔科学。
[23] Garey，M.R.和Johnson，D.S.（1979年）。计算机与不可纠正性，NP-完备性理论指南。维克托·克莱·Zbl 0411.68039号
[24] Gervet，C.（1993）。符号约束对象的新结构：集合和图形。1993年WCLP。
[25] Gervet，C.（1993）。集合和二进制关系变量被视为受约束对象。在使用集合进行逻辑编程的研讨会上。结合ICLP’93。
[26] Gervet，C.（1994）。Conjunto：具有有限集域的约束逻辑编程。M.Bruynooghe，编辑，ILPS’94，第339-358页。
[27] Gervet，C.（1995）。约束逻辑编程中的设置区间：语言的定义和实现。法国法兰西大学博士论文。欧洲论文，英语。
[28] Gierz，G.和Hoffman，K.H.等人（1980年）。连续格纲要。斯普林格·弗拉格·Zbl 0452.06001号
[29] Gondran，M.和Minoux，M.（1984年）。图形和算法。威利-国际科学·Zbl 0611.90096号
[30] Graetzer，G.（1971）。格理论：第一概念和分配格。W.H.Freeman公司。
[31] Guerinik，N.和Van Caneghem，M.（1995年）。利用约束规划求解机组调度问题。在CP’95中，第481-498页，计算机科学课堂讲稿。
[32] Van Hentenryck，P.（1989）。逻辑程序设计中的约束满足。麻省理工学院出版社·Zbl 0707.68101号
[33] Van Hentenryck，P.、Deville，Y.和Teng，C.-M.（1992年）。一种通用的弧一致性算法及其特化。人工智能57:291-321·Zbl 0763.68059号 ·doi:10.1016/0004-3702（92）90020-X
[34] Van Hentenryck，P.和Dincbas，M.（1986年）。逻辑编程领域。在AAAI-86中·Zbl 0623.68006号
[35] Hibti，M.（1995年）。系统约束集合的可判定性和复杂性。法国科姆特大学博士论文，贝桑松。用法语。
[36] Hoffman，K.L.和Padberg，M.（1992年）。通过分支机构解决航空公司乘务员的排班问题。技术报告376，乔治·梅森和纽约大学·兹比尔0783.90051
[37] Holzbaur，C.（1992年）。可扩展统一上下文中的元结构与属性化变量。1992年PLILP，第260-268页。
[38] Le Huitouze，S.（1990）。用于实现序言扩展的新数据结构。在第二期《国际编程语言实现和逻辑编程》中，LNCS 456，第136-150页。
[39] Jaffar，J.和Lassez，J.-L.（1987）。约束逻辑编程。第14届ACM编程语言原理研讨会会议记录，第111-119页。
[40] Jaffar，J.和Maher，M.J.（1994年）。约束逻辑编程：一项调查。《逻辑编程杂志》19（20）：503-581·Zbl 00639141号 ·doi:10.1016/0743-1066（94）90033-7
[41] Jayaraman，B.和Plaisted，D.A.（1989年）。使用方程、子集和关系进行编程。在Lusk和Overbeek，编辑，《北美会议记录》，第1051-1065页。
[42] Kapur，D.和Narendran，P.（1986年）。集的统一和匹配问题的Np-完备性。在CADE·Zbl 0643.68054号
[43] Kowalski，R.A.（1974年）。谓词逻辑作为一种编程语言。IFIP，第569-571页·Zbl 0297.68006号
[44] Kuper，G.（1990年）。《集合逻辑编程》，第41卷。学术出版社·Zbl 0694.68013号
[45] Laurière，J.L.（1978）。一种描述和解决组合问题的语言和程序。人工智能10:29-127·Zbl 0374.68060号 ·doi:10.1016/0004-3702（78）90029-2
[46] Lee，J.H.M.和van Emden，H.（1993）。在CHIP中作为演绎的间隔计算。《逻辑编程杂志》16（3-4）：255-276·Zbl 0784.68021号 ·doi:10.1016/0743-1066（93）90045-I
[47] Legeard，B.和Legros，E.（1991年）。CLPS系统的简要概述。1991年PULP会议记录。
[48] Legeard，B.和Legros，E.（1992年）。逻辑编程语言的可满足性测试，包括约束集合：CLPS。《JFPL法案》，第18-34页。
[49] Lindner，C.C.和Rosa，A.（1980年）。斯坦纳系统专题，《离散数学年鉴》第7卷。北荷兰。
[50] Livesey，M.和Siekmann，J.（1976年）。集合与多集合的统一。Memo seki-76-ii，圣安德鲁斯大学（苏格兰）和卡尔斯鲁厄大学（德国）计算机科学系。
[51] Lloyd，J.W.（1987）。逻辑编程基础。斯普林格·弗拉格·Zbl 0668.68004号
[52] Lueneburg，H.（1989）。组合数学的工具和基本结构。Wissenschaftverlag公司。
[53] Mackworth，A.K.（1977年）。关系网络的一致性。人工智能·Zbl 0341.68061号
[54] Mackworth，A.K.和Freuder，E.C.（1985）。约束满足问题中一些多项式网络一致性算法的复杂性。在人工智能25。
[55] Older，W.和Vellino，A.（1993）。实数区间上的约束算法。编辑F.Benhamou和A.Colmerauer，《约束逻辑编程：论文选集》。麻省理工学院出版社。
[56] Padberg，M.W.（1979年）。覆盖、包装和背包问题。在离散数学年鉴4。North-Holland出版公司·兹比尔0407.90056
[57] Papadimitriou，C.H.和Steiglitz，K.（1982年）。组合优化：算法和复杂性。普伦蒂斯·霍尔·Zbl 0503.90060号
[58] Pawlak，Z.（1991年）。粗糙集：数据推理的理论方面。D：系统理论、知识工程和问题解决。Kluwer学术出版社·Zbl 0758.68054号
[59] Perry，K.J.、Palem，K.V.、MacAloon，K.和Kuper，G.M.（1986年）。集合逻辑编程的复杂性。计算机科学。
[60] Puget，J-F.（1992）。编程部分约束了东方对象。《阿维尼翁会议录》，第129-138页。
[61] Puget，J.F.（1996）。有限的设置间隔。在与CP’96相关的设置约束研讨会上。
[62] Schrijver，A.（1986年）。线性和整数规划理论。Wiley Interscience公司·Zbl 0665.90063号
[63] Schwartz，J.T.、Dewar，R.B.、Dubinsky，E.和Schonberg，E.（1986年）。用集合编程？SETL简介。斯普林格·弗拉格·Zbl 0604.68001号
[64] Shmueli，O.、Tsur，S.和Zaniolo，C.（1992年）。用逻辑数据语言（LDL）编译集合项。逻辑编程杂志12（12）·Zbl 0763.68026号
[65] Stolzenburg，F.（1996）。集合逻辑编程中的成员约束和复杂性。Franz Baader和Klaus U.Schulz，编辑，《组合系统的前沿》。Kluwer学术·Zbl 0894.68032号
[66] Turner，D.（1986）。米兰达21概述（12）。SIGPLAN通知。
[67] 牛津大学计算实验室。(1986). Z手册。
[68] Walinsky，C.（1989）。CLP（？*）：使用正则集的约束逻辑编程。在ICLP’89中，第181-190页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。