×
亚历山大·希恩多夫;亚历山大·纳普;杰里特·安德斯;沃尔夫冈·雷夫

MiniBrass：MiniZin的软约束。 （英语） Zbl 1430.90525号

约束条件 23，第4号，403-450（2018）.
摘要：过约束问题在实际决策和优化问题中普遍存在。针对涉及软约束的各种问题领域，如加权约束、模糊约束或概率约束，已经提出了大量的建模形式。所有这些都是代数结构的实例。然而，就建模语言而言，软约束领域落后于经典约束优化领域的最新技术。我们介绍了MiniBrass，它是一种通用的软约束建模语言，建立在部分有序估值结构（PVS）的统一代数框架之上，作为MiniZin和MiniSearch的扩展实现。首先，我们证明了PVS可以通过软约束中使用的组合操作自然地增加部分订单。此外，我们给出了任意PVS的c-半环的最一般构造。这两个论点都借鉴了范畴理论的要素。MiniBrass将这些理论考虑转化为实践：它提供了一个通用的可扩展PVS类型系统、作为PVS类型的特定软约束形式的可重用实现、复杂PVS产品的操作符以及转换PVS的形态。MiniBrass模型被编译为MiniZin，以受益于支持FlatZin的各种解算器。我们用六种不同的求解器对MiniBrass的28个“软化”MiniZin基准问题进行了评估。结果证明了我们方法的可行性。

引用于1文件

MSC公司：

90立方 非线性规划

关键词：

软约束;建模语言;迷你锌

软件：

本质;十二国集团;迷你黄铜;采矿锌;Gecode公司;迷你锌;数字插孔;微型搜索;日本石油公司;图尔巴尔2;CP网络;乔科
PDF格式BibTeX公司 XML格式引用
\textit{A.Schiendorfer}等人，约束23，No.4，403--450（2018；Zbl 1430.90525）
全文： 内政部 链接

参考文献：

[1] Allen，T.E.，Chen，M.，Goldsmith，J.，Mattei，N.，Popova，A.，Regenwetter，M.、Rossi，F.、Zwilling，C.（2015）。在偏好建模中，超越理论和数据：将人类纳入循环。在T.Walsh（编辑）第四届算法决策理论国际会议论文集（ADT’15）。计算机科学课堂讲稿（第9346卷，第3-18页）。柏林：斯普林格·Zbl 1405.91134号
[2] Allouche，D，de Givry，S.，Schiex，T.（2010年）。Toulbar2是一个开源的精确成本函数网络求解器。INRIA技术代表。
[3] Allouche，D，de Givry，S.，Katsirelos，G.，Schiex，T.，Zytnicki，M.（2015）。加权CSP的树分解任意时间混合最佳优先搜索。G.Pesant（Ed.）《第21届约束规划原理与实践国际会议论文集》（CP’15）。计算机科学课堂讲稿（第9255卷，第12-29页）。柏林：斯普林格。
[4] Amadio，R.M.和Curien，P.L.（1998年）。域和Lambda-Calculi。剑桥理论计算机科学丛书46。剑桥：剑桥大学出版社·兹比尔0962.03001 ·文件编号：10.1017/CBO9780511983504
[5] Ansótegui，C.、Bofill，M.、Palahí，M.和Suy，J.、Villaret，M..（2011年）。W-miniZin:使用MiniZin对加权CSP建模的建议。在第一届微型锌国际研讨会（MZN’11）的会议记录中·Zbl 1309.90083号
[6] Ansótegui，C.、Bofill，M.、Palahí，M.，Suy，J.、Villaret，M..（2013）。通过重新表述为可满足性模理论，求解具有元约束的加权CSP。约束，18（2），236-268·Zbl 1309.90083号 ·doi:10.1007/s10601-012-9131-1
[7] Awodey，S.（2010年）。范畴理论。牛津：牛津大学出版社·Zbl 1194.18001号
[8] Barr，M.和Wells，C.（1990年）。计算科学的范畴理论。恩格尔伍德悬崖：普伦蒂斯大厅·Zbl 0714.18001号
[9] Beldiceanu，N.、Carlsson，M.、Flener，P.、Pearson，J.（2013年）。关于全球约束的具体化。约束，18（1），1-6·Zbl 1328.68192号 ·doi:10.1007/s10601-012-9132-0
[10] Bertele，U.和Brioschi，F.（1973年）。关于非串行动态规划。组合理论杂志A辑，14（2），137-148·兹比尔0264.49021 ·doi:10.1016/0097-3165（73）90016-2
[11] Bistarelli，S.（2004）。用于软约束求解和编程的半环。计算机科学第2962卷课堂讲稿。柏林：斯普林格·Zbl 1054.68136号
[12] Bistarelli，S.、Montanari，U.、Rossi，F.（1997）。基于半环的约束满足和优化。美国医学会杂志，44（2），201-236·Zbl 0890.68032号 ·数字对象标识代码：10.1145/256303.256306
[13] Bistarelli，S.、Montanari，U.、Rossi，F.、Schiex，T.、Verfaillie，G.、Fargier，H.（1999）。基于半环的CSP和有价值的CSP：框架、属性和比较。约束条件，4（3），199-240·Zbl 0946.68143号 ·doi:10.1023/A:1026441215081
[14] Bistarelli，S.、Fung，S.K.L.、Lee，J.H.M.、Leung，H.（2003）。基于半环的约束满足问题的局部搜索框架。《软约束研讨会论文集》（soft'03）。
[15] Borning，A.，Freeman-Benson，B.，Wilson，M.（1992年）。约束层次结构。LISP与符号计算，5，223-270·Zbl 0942.68515号 ·doi:10.1007/BF01807506
[16] Boutiler，C.、Brafman，R.I.、Domshlak，C.、Hoos，H.H.、Poole，D.（2004）。CP-nets：一种用条件对等偏好语句表示和推理的工具。人工智能研究杂志，21135-191·Zbl 1080.68685号 ·doi:10.1613/jair.1234
[17] Brandt，F.、Conitzer，V.、Endriss，U.（2013年）。计算型社会选择。在G.Weiß（编辑）《多代理系统》，第2版，第6章（第213-283页）。麻省理工学院出版社。
[18] Cooper，M.C.和Schiex，T.（2004年）。软约束的圆弧一致性。人工智能，154（1），199-227·Zbl 1085.68672号 ·doi:10.1016/j.artint.2003.09.002
[19] Cooper，M.C，de Givry，S.，Sánchez，M.，Schiex，T.，Zytnicki，M.和Werner，T.（2010）。再次检查软弧一致性。人工智能，174（7），449-478·兹比尔1213.68580 ·doi:10.1016/j.artint.2010.02.001
[20] Dalla Pozza，G.，Pini，M.S.，Rossi，F.，Venable，K.B.（2011年）。通过顺序投票实现多智能体软约束聚合。第22届国际人工智能联合会议（IJCAI'11）论文集。IJCAI/AAAI（第172-177页）。
[21] Dechter，R.（1999）。桶消除：一个统一的推理框架。人工智能，113（1），41-85·Zbl 0939.68847号 ·doi:10.1016/S0004-3702（99）00059-4
[22] Dechter，R.（2003）。约束处理。圣马特奥：摩根·考夫曼·兹伯利1057.68114
[23] Diaconescu，R.（1994）。用于等式和约束逻辑编程的基于类别的语义。牛津大学博士论文。
[24] Fargier，H.和Lang，J.（1993年）。约束满足问题中的不确定性：一种概率方法。在M.Clarke，R.Kruse，S.Moral（编辑）《欧洲会议论文集》中，推理和不确定性的象征性和定量方法。计算机科学课堂讲稿（第747卷，第97-104页）。柏林：斯普林格。
[25] Fioretto，F.、Pontelli，E.、Yeoh，W.（2016）。分布式约束优化问题及其应用：综述。CoRR arXiv:1602.06347·Zbl 1440.68307号
[26] Fleming，P.J.和Wallace，J.J.（1986年）。如何不依赖统计数据：总结基准结果的正确方法。ACM通讯，29（3），218-221·数字对象标识代码：10.1145/5666.5673
[27] 弗洛伊德·E.C.和华莱士·R.J.（1992）。部分约束满足。人工智能，58（1-3），21-70·doi:10.1016/0004-3702（92）90004-H
[28] 弗里希·A.M.、哈维·W、杰斐逊·C、马丁内斯·埃尔南德斯·B、米格尔·I（2008）。本质：用于指定组合问题的约束语言。约束，13（3），268-306·Zbl 1147.68424号 ·doi:10.1007/s10601-008-9047-y
[29] Gadducci，F.、Hölzl，M.、Monreale，G.V.、Wirsing，M.（2013）。词典顺序的软约束。在F.Castro，A.Gelbukh，M.González（编辑）第12届墨西哥人工智能国际会议记录（MICAI’2013）。计算机科学课堂讲稿（第8265卷，第68-79页）。柏林：斯普林格。
[30] 谷歌优化工具。https://developers.google.com/optimization。[在线访问：2017年6月29日。
[31] Guns，T.、Dries，A.、Nijssen，S.、Tack，G.、De Raedt，L.（2017）。MiningZin：基于约束的挖掘的声明性框架。人工智能，244，6-29·Zbl 1404.68106号 ·doi:10.1016/j.artint.2015.09.007
[32] Hebrard，E.，O'Mahony，E.，O’Sullivan，B.（2010年）。Numberjack中的约束编程和组合优化。A.Lodi，M.Milano，P.Toth（Eds.），第七届国际会议论文集，关于组合优化问题约束规划中人工智能和或技术的集成（CPAIOR’10）。计算机科学讲义（第6140卷，第181-185页）。柏林：斯普林格。
[33] Hosobe，H.（2009）。将层次结构约束为基于半环的CSP。《第21届人工智能工具国际会议论文集》（ICTAI’2009）（第176-183页）。
[34] Hurley，B.，O'Sullivan，B.，Allouche，D.，Katsirelos，G.，Schiex，T.，Zytnicki，M，de Givry，S.（2016）。图形模型离散优化中精确解的多语言评估。约束，21（3），413-434·Zbl 1368.90107号 ·doi:10.1007/s10601-016-9245-y
[35] Junker，U.（2009年）。外部分支：如何在部分订单下进行优化？在V.Barichard，M.Ehrgott，X.Gandibleux，V.T'Kindt（编辑）《第七届多目标规划和目标规划国际会议论文集》（MOPGP’06）中。经济学和数学系统的课堂讲稿（第618卷，第99-109页）。柏林：斯普林格·Zbl 1176.90520号
[36] Jussien，N.、Rochart，G.、Lorca，X.（2008）。Choco：一个开源Java约束编程库。《整数和约束编程开源软件研讨会论文集》（OSSICP’08）（第1-10页）。
[37] Kaci，S.（2011年）。处理偏好：少即是多。柏林：斯普林格·Zbl 1239.68002号 ·doi:10.1007/978-3-642-17280-9
[38] Kießling，W.和Köstler，G.（2002）。首选SQL：设计、实施、经验。第28届超大数据库国际会议论文集（VLDB’02）（第990-1001页）。圣马特奥：摩根·考夫曼。
[39] Knapp，A.，Schiendorfer，A.，Reif，W.（2014）。软约束中的质量大于数量。《第26届人工智能工具国际会议论文集》（ICTAI’2014）（第453-460页）。
[40] Kuchcinski，K.和Szymanek，R.（2013）。JaCoP-Java约束编程求解器。CP求解器研讨会论文集：建模、应用、集成和标准化。
[41] Leenen，L.、Anbulagan，A、Meyer，T.、Ghose，A.K.（2007年）。通过转换为加权半环Max-SAT来建模和求解半环约束满足问题。M.A.Orgun和J.Thornton（Eds.），第20届澳大利亚人工智能联合会议论文集。计算机科学课堂讲稿（第4830卷，第202-212页）。柏林：斯普林格。
[42] Mears，C.、Schutt，A.、Stuckey，P.J.、Tack，G.、Marriott，K.、Wallace，M.（2014）。使用MiniZin中的选项类型进行建模。H.Simonis（Ed.）《第十一届约束编程中人工智能与运筹学技术集成国际会议论文集》（CPAIOR’14），计算机科学讲稿（第8451卷，第88-103页）。柏林：斯普林格·Zbl 1407.68458号
[43] Meseguer，P.、Rossi，F.、Schiex，T.（2006年）。软约束。在F.Rossi，P.van Beek，T.Walsh（编辑）约束编程手册，第9章。阿姆斯特丹：爱思唯尔·Zbl 1175.90011号
[44] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.、Tack，G.（2007）。MiniZin：走向标准CP建模语言。在C.Bessière（Ed.）《第13届约束规划原理与实践国际会议论文集》（CP’07）中。计算机科学课堂讲稿（第4741卷，第529-543页）。柏林：斯普林格。
[45] Nisan，N.和Ronen，A.（1999）。算法机制设计。J.S.Vitter，L.L.Larmore，F.T.Leighton（编辑）第31届ACM计算理论研讨会论文集（STACS’99）（第129-140页）。ACM公司·Zbl 1346.68246号
[46] Petit，T.、Régin，J.C.、Bessière，C.（2000）。对过度约束问题的违规进行元约束。《第十二届人工智能工具国际会议论文集》（ICTAI'00）（第358-365页）。
[47] 不列颠哥伦比亚省皮尔斯（1991）。计算机科学家的基本范畴理论。剑桥：麻省理工学院出版社·Zbl 0875.18001号
[48] 伦德尔，A.，塔克，G.，斯塔基，P.J.（2014）。随机微量锌。B.O'Sullivan（Ed.）《第20届约束编程原理与实践国际会议论文集》（CP’14），《计算机科学讲义》（第8656卷，第636-645页）。柏林：斯普林格。
[49] Rendl，A.，Guns，T.，Stuckey，P.J.，Tack，G.（2015）。MiniSearch：MiniZin的一种独立于解算器的元搜索语言。G.Pesant（Ed.）《第21届约束编程国际会议论文集》（CP’15），《计算机科学讲义》（第9255卷，第376-392页）。
[50] Rollón，E.（2008）。图形模型中的多目标优化。巴塞罗那加泰罗尼亚政治大学博士论文。
[51] Rossi，F.和Pilan，I.（2003年）。抽象软约束：模糊CSP的一些实验结果。K.R.Apt，F.Fages，F.Rossi，P.Szeredi，J.Váncza（编辑），ERCIM/CologNET约束求解和约束逻辑编程国际研讨会（CSCLP’03）联合论文选。计算机科学课堂讲稿（第3010卷，第107-123页）。柏林：斯普林格·Zbl 1196.68225号
[52] Ruttkay，Z.（1994年）。模糊约束满足。第三届IEEE国际模糊系统会议论文集（第1263-1268页）。电气与电子工程师协会。
[53] Sánchez，M.、Allouche，D、de Givry，S.、Schiex，T.（2009）。俄罗斯玩偶搜索与树分解。C.Boutiler（编辑）《第21届国际人工智能联合会议论文集》（IJCAI'09）（第603-608页）。
[54] Sannella，D.和Tarlecki，A.（2012年）。代数规范和正式软件开发的基础。EATCS理论计算机科学专著。柏林：斯普林格·Zbl 1237.68129号 ·doi:10.1007/978-3-642-17336-3
[55] Schiendorfer，A.、Steghöfer，J.P.、Knapp，A.，Nafz，F.、Reif，W.（2013）。软约束的约束关系。M.Bramer和M.Petridis（编辑）第33届SGAI人工智能创新技术和应用国际会议论文集（AI'13）（第241-255页）。柏林：斯普林格。
[56] Schiendorfer，A.，Steghöfer，J.P.，Reif，W.（2014）。层次资源分配问题约束模型的综合与抽象。第六届代理与人工智能国际会议论文集（ICAART’14）（第2卷，第15-27页）。科学技术出版社。
[57] Schiendorfer，A.、Knapp，A.，Steghöfer，J.P.、Anders，G.、Siefert，F.、Reif，W.（2015）。定性软约束的部分估值结构。在R.D.Nicola和R.Hennicker（编辑）《软件、服务和系统——在Martin Wirsing崭露头角之际为他撰写的论文》中，《计算机科学讲义》（第8950卷，第115-133页）。柏林：斯普林格·Zbl 1453.68157号
[58] Schiex，T.、Fargier，H.、Verfaillie，G.（1995）。有价值约束满足问题：困难和容易的问题。在第14届国际人工智能会议论文集（IJCAI’95）（第1卷，第631-639页）。圣马特奥：摩根·考夫曼。
[59] Schulte，C.、Lagerkvist，M.Z.、Tack，G.（2006）。Gecode：通用约束开发环境。在INFORMS年会上。
[60] Shapiro，L.G.和Haralick，R.M.（1981）。结构描述和不精确匹配。IEEE模式分析和机器智能汇刊，3（5），504-519·doi:10.10109/TPAMI.1981.4767144
[61] Shaw，P.（1998）。使用约束规划和局部搜索方法解决车辆路径问题。M.J.Maher，&J.F.Puget（编辑），第四届约束规划原理与实践国际会议论文集（CP’98）。计算机科学课堂讲稿（第1520卷，第417-431页）。柏林：斯普林格。
[62] Shoham，Y.和Leyton-Brown，K.（2008）。多智能体系统：算法、游戏理论和逻辑基础。剑桥：剑桥大学出版社·Zbl 1163.91006号 ·doi:10.1017/CBO9780511811654
[63] Stuckey，P.J.和Tack，G.（2013年）。MiniZin具有功能。C.P.Gomes，&M.Sellmann（Eds.），《第十届人工智能与运筹学技术在约束规划中的集成国际会议论文集》（CPAIOR’13）。计算机科学课堂讲稿（第7874卷，第268-283页）。柏林：斯普林格·兹比尔1382.68234
[64] Stuckey，P.J.、de la Banda，M.G.、Maher，M.、Marriott，K.、Slaney，J.、Somogyi，Z.、Wallace，M.和Walsh，T.（2005）。G12项目：将独立于求解器的模型映射为高效的解决方案。P.van Beek（Ed.）《第11届约束编程原理与实践国际会议论文集》（CP’05），《计算机科学讲义》（第3709卷，第13-16页）。柏林：斯普林格·Zbl 1165.68517号
[65] Stuckey，P.J.、Feydy，T.、Schutt，A.、Tack，G.、Fischer，J.（2014）。2008-2013年迷你锌挑战。AI杂志，35（2），55-60·doi:10.1609/aimag.v35i2.2539
[66] van Hentenryck，P.（1999）。OPL优化编程语言。剑桥：麻省理工学院出版社。
[67] van Hoeve，W.J.（2011）。过度约束的问题。M.Milano，&P.van Hentenryck（编辑）《混合优化、优化及其应用》（第45卷，第191-225页）。柏林：斯普林格·Zbl 1206.90184号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。