艾伦·弗里希。;沃里克·哈维;克里斯·杰斐逊;伯纳黛特·马丁内斯·埃尔南德斯;伊恩·米格尔 本质：用于指定组合问题的约束语言。 （英语） Zbl 1147.68424号 约束条件 13，第3号，268-306（2008）. 摘要：本质是一种形式语言，用于以类似于自然严格规范的方式指定组合问题，该规范使用自然语言和离散数学的混合。Essence提供了高级抽象，其中大部分是提供决策变量的结果，决策变量的值可以是组合对象，例如元组、集合、多集合、关系、分区和函数。Essence还允许将这些组合对象嵌套到任意深度，例如提供分区集、分区集等。因此，需要找到复杂组合对象的问题可以通过使用类型正好是该组合对象的决策变量直接指定。 引用于24文件 MSC公司： 68甲15 编程语言理论 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：约束语言;规范语言;约束建模;约束编程;组合问题 软件：本地化程序;ESRA公司;NP-SPEC公司;AMPL公司;GAMS游戏;锌;本质;迷你锌 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Frisch}等人，《约束13》，第3期，268--306（2008；Zbl 1147.68424） 全文： 内政部 参考文献： [1] Aggoun，A.和Beldiceanu，N.（1993年）。CHIP编译器系统概述。F.Benhamou，A.Colmerauer（编辑），《约束逻辑编程：精选研究》（第421-436页）。伦敦：麻省理工学院。 [2] Brooke，A.、Kendrick，D.和Meeraus，A.（1988年）。游戏：用户指南。丹弗斯：科学。 [3] Cadoli，M.、Ianni，G.、Palopoli，L.、Schaerf，A.和Vasile，D.（2000年）。NP-SPEC：一种用于解决NP中所有问题的可执行规范语言。计算机语言，26，165-195·Zbl 0995.68025号 ·doi:10.1016/S0096-0551（01）00010-8 [4] Cheadle，A.M.、Harvey，W.、Sadler，A.J.、Schimpf，J.、Shen，K.和Wallace，M.G.（2003）。ECLiPSe：简介。技术报告，IC-Parc-03-1。伦敦帝国理工学院。 [5] Flener，P.、Frisch，A.M.、Hnich，B.、Kzltan，z.、Miguel，I.、Walsh，T.（2001）。矩阵建模。在《CP'01建模与问题表述研讨会论文集》（第1-7页）中。 [6] Flener，P.、Pearson，J.和Agren，M.（2004）。介绍ESRA，一种用于建模组合问题的关系语言。《LOPSTR'03会议录：修订精选论文》（第3018卷）。计算机科学课堂讲稿·Zbl 1099.68543号 [7] Fourer，R.、Gay，D.M.和Kernighan，B.W.（2003年）。AMPL：用于数学编程的建模语言（第二版）。太平洋格罗夫：汤姆森/布鲁克斯/科尔。 [8] Frisch，A.M.、Grum，M.、Jefferson，C.、Martínez Hernández，B.和Miguel，I.（2005）。本质的本质：一种指定组合问题的语言。程序中。第四届约束满足问题建模和重新定义国际研讨会（第73-88页）。 [9] Frisch，A.M.、Grum，M.、Jefferson，C.、Martínez Hernández，B.和Miguel，I.（2007）。Essence的设计：一种指定组合问题的语言。程序中。第二十届国际人工智能联合会议。 [10] Frisch，A.M.、Hnich，B.、Miguel，I.、Smith，B.M.和Walsh，T.（2005）。转换和细化抽象约束规范。第六届抽象、改写和近似研讨会论文集。计算机科学课堂讲稿（第3607卷，第76-91页）。斯普林格。 [11] Frisch，A.M.、Jefferson，C.、Martínez Hernández，B.和Miguel，I.（2005）。约束建模规则。程序中。第十九届国际人工智能联合会议（第109-116页）。 [12] Frisch，A.M.、Jefferson，C.、Martinez-Hernandez，B.和Miguel，I.（2007）。约束模型生成中的对称性。在国际对称会议的会议记录中。 [13] Frisch，A.M.和Miguel，I.（2006年）。未命名、无法区分的类型的概念和起源。www.cs.york.ac.uk/aig-constraints/AutoModel/。2007年9月访问。 [14] Garey，M.R.和Johnson，D.S.（1979年）。计算机和棘手。旧金山：W.H.Freeman·Zbl 0411.68039号 [15] Gent，I.P.，Jefferson，C.，Miguel，I.（2006）。仆从：精益、快速解决约束。第17届欧洲人工智能会议论文集。 [16] Gent，I.P.、Miguel，I.和Rendl，A.（2007年）。定制独立于求解器的约束模型：Essence和Minion的案例研究。第七届国际抽象、改写和近似研讨会论文集（第18-21页）。 [17] Gervet，C.（1994年）。Conjunto：具有有限集域的约束逻辑编程。M.Bruynooghe（编辑），逻辑编程–proc。1994年国际研讨会（第339-358页）。伦敦：麻省理工学院。 [18] Hnich，B.（2003年）。约束编程的函数变量。乌普萨拉大学信息科学系计算机科学部博士论文·Zbl 1159.68390号 [19] ILOG（2006）ILOG Solver 6.3用户手册。ILOG，S.A.，Gentilly公司。 [20] Jackson，D.（2006年）。软件抽象：逻辑、语言和分析。伦敦：麻省理工学院。 [21] Lauriere，J-L.（1978年）。艾丽斯：一种描述和解决组合问题的语言和程序。人工智能，10（1），29–127·Zbl 0374.68060号 ·doi:10.1016/0004-3702（78）90029-2 [22] Marriott，K.、Nethercote，N.、Rafeh，R.、Stuckey，P.J.、De la Banda，M.G.和Wallace，M.（2008）。锌建模语言的设计。约束，本卷·Zbl 1146.68352号 [23] Marriott，K.、Rafeh，R.、Wallace，M.、Garcia de la Banda，M.和Nethercote，N.（2006年）。锌0.1：语言和库。莫纳什大学技术报告·Zbl 1146.68352号 [24] Michel，L.和Van Hentenryck，P.（2000年）。定位器。约束，5（1/2），43–84·Zbl 0988.90015号 ·doi:10.1023/A:1009818401322 [25] Mills，P.、Tsang，E.P.K.、Williams，R.、Ford，J.、Borrett，J.（1999）。EaCL 1.5：一种简单的抽象约束优化编程语言。技术报告，英国科尔切斯特埃塞克斯大学，12月。 [26] Mitchell，D.和Ternovska，E.（2008）。本质上的表达能力和抽象。约束，本卷·Zbl 1147.68428号 [27] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.和Tack G.（2007）。Minizin：走向标准CP建模语言。第13届约束规划原理与实践国际会议论文集（第529-543页）。 [28] Regin，J-C.（1996）。全局基数约束的广义弧一致性。《第13届人工智能会议论文集》（第209-215页）。 [29] Renker，G.和Ahriz，H.（2004）。通过正式规范构建模型。在关于组合优化问题的约束编程中AI和OR技术的集成的第一次国际会议记录中，计算机科学讲义（第3011卷，第395–401页）。斯普林格·Zbl 1094.68536号 [30] Simons，R.V.（1987）。使用MGG进行数学编程建模。IMA管理数学杂志，1267–276·doi:10.1093/imaman/1.4.267 [31] Spivey，J.M.（1989）。Z和正式规范的介绍。《软件工程杂志》，4（1），40–50·doi:10.1049/sej.1989.0006 [32] Van Hentenryck，P.（1999）。OPL优化编程语言。伦敦：麻省理工学院。 [33] Wallace，M.G.、Novello，S.和Schimpf，J.（1997）。ECLiPSe：约束逻辑编程平台。ICL系统杂志，12（1），159-200。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。