马特乌斯·拉因斯基；萨尔瓦多阿布雷乌；格列戈兹·奈勒帕（Grzegorz J.Nalepa）。 用合成逻辑程序生成局部搜索邻域。 （英语） Zbl 07453113号 Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306168-181（2019）。 摘要：局部搜索元神经理论已被证明是解决复杂优化问题的可行方法。它们的性能在很大程度上取决于搜索空间景观，正如成本函数和选定的邻域运算符所定义的那样。在本文中，我们提出了一个基于逻辑编程的框架，命名为Noodle，旨在生成定制的局部搜索邻域，以适应特定的离散优化问题。该系统由受逻辑编程启发的领域特定语言和基于语法进化算法的遗传编程求解器组成。我们用一个初步的实验评估来补充这一描述，其中我们为旅行商问题合成了有效的邻域算子，其中一些算子再现了众所周知的结果。有关整个系列，请参见[Zbl 1464.68003号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 软件：PonyGE2系列；github；彗星；SWI-预测；扁平锌 PDF格式BibTeX公司 XML格式引用 \textit{M.Ślażynski}等人，《电子》。程序。西奥。计算。科学。（EPTCS）306168--181（2019年；Zbl 07453113） 全文： arXiv公司 链接 参考文献： [1] zgr Akgn、Saad Attieh、Ian P.Gent、Christopher Jefferson、Ian Miguel、Peter Nightingale、Andrs Z.Sala-mon、Patrick Spracklen和James Wetter（2018）：基于约束的本地搜索使用本质框架。载：《第二十七届国际人工智能联合会议论文集》，IJCAI-18，国际人工智能组织联合会议，第1242-1248页，doi:10.24963/IJCAI.2018/173·doi:10.24963/ijcai.2018/173 [2] Peter J.Angeline（1994）：基因编程和应急智能。在Kenneth E.Kinnear，Jr.主编：《遗传编程进展》，麻省理工学院出版社，马萨诸塞州剑桥，美国，第75-97页。可在http://dl.acm.org/citation.cfm？id=185984.185992。 [3] Gustav Bjrdal、Jean-Nol Monette、Pierre Flener和Justin Pearson（2015）：MiniZin基于约束的本地搜索后端。约束20（3），第325-345页，doi:10.1007/s10601-015-9184-z·兹比尔1325.90076 ·doi:10.1007/s10601-015-9184-z [4] Samir A.Mohamed Elsayed和Laurent Michel（2011）：从高级CP模型合成搜索算法。吉米·李（Jimmy Lee）主编：约束编程原理与实践CP 2011，《计算机科学讲义》，施普林格-柏林-海德堡，第256-270页，doi:10.1007/978-3642-23786-7 21·doi:10.1007/978-3-642-23786-7_21 [5] Thomas Elsken、Jan Hendrik Metzen和Frank Hutter（2019）：《神经架构研究》，第63-77页。Springer International Publishing，Cham，doi:10.1007/978-3-030-05318-5 3·doi:10.1007/978-3-030-05318-5_3 [6] D.Fagan、M.Fenton和M.O'Neill（2016）：探索革兰氏进化中的位置无关初始化。2016年IEEE进化计算大会（CEC），第5060-5067页，doi:10.1109/CEC.2016.7748331·doi:10.1109/CEC.2016.7748331 [7] Michael Fenton、James McDermott、David Fagan、Stefan Forstenlechner、Michael O'Neill和Erik Hemberg（2017）：PonyGE2：Python中的语法进化。遗传与进化合成会议论文集-GECCO’17，第1194-1201页，doi:10.1145/3067695.3082469。可在http://arxiv.org/abs/1703.08535。ArXiv:1703.08535·数字对象标识代码：10.1145/3067695.3082469 [8] Jun He、Pierre Flener和Justin Pearson（2012）：面向约束的局部搜索的解决方案邻域。摘自：第27届美国计算机学会应用计算研讨会论文集，SAC’12，美国纽约州纽约市美国计算机学会，第74-79页，doi:10.1145/2245276.2245294·doi:10.1145/2245276.2245294 [9] Tiago Januario和Sebastin Urrutia（2016）：循环调度问题的新邻域结构。《计算机与运筹学70》，第127-139页，doi:10.1016/j.cor.2015.12.016·Zbl 1391.90276号 ·doi:10.1016/j.cor.2015.12.016 [10] David S.Johnson和Lyle A.McGeoch（1997）：旅行推销员问题：局部优化的案例研究。E.H.L.Aarts和J.K.Lenstra主编：《组合优化中的局部搜索》，英国奇切斯特John Wiley and Sons出版社，第215-310页·Zbl 0947.90612号 [11] A.Kaul、S.Maheshwarve和V.Pudi（2017）：自动学习自动特征生成和选择。2017年IEEE国际数据挖掘会议（ICDM），第217-226页，doi:10.1109/ICDM.2017.31·doi:10.1109/ICDM.2017.31 [12] Michael Marte（2017）：Yuck是一个具有FlatZin界面的基于约束的本地搜索解算器。可在https://github.com/informarte/yuck。2019/05/13访问。 [13] Erik Meijer、Maarten Fokkinga和Ross Paterson（1991）：香蕉、镜头、信封和带刺铁丝网的功能编程。约翰·休斯，编辑：《函数式编程语言与计算机体系结构》，施普林格-柏林-海德堡，柏林，海德堡，第124-144页，doi:10.1007/3540543961 7·doi:10.1007/3540543961_7 [14] 迈克尔·奥尼尔和科诺·瑞恩（2003）：语法演变。收录于：《语法进化，遗传粗粒化系列》，Springer，Boston，MA，第33-47页，doi:10.1007/978-1-4615-0447-4 4·Zbl 1027.68030号 ·doi:10.1007/978-1-4615-0447-44 [15] B.Shahraria、K.Swersky、Z.Wang、R.P.Adams和N.de Freitas（2016）：《让人类脱离循环：贝叶斯优化综述》。IEEE 104（1），第148-175页，doi:10.1109/JPROC.2015.2494218·doi:10.1109/JPROC.2015.2494218 [16] MateuszŚlażynski，Salvador Abreu&Grzegorz J.Nalepa（2019）：从约束满足问题结构走向局部搜索邻域的形式规范。摘自：《遗传和进化计算会议论文集》，GECCO’19，ACM，美国纽约州纽约市，第137-138页，doi:10.1145/3319619.3321968·doi:10.1145/3319619.3321968 [17] Pascal Van Hentenryck和Laurent Michel（2005）：基于约束的局部搜索。麻省理工学院出版社·Zbl 1153.90582号 [18] Pascal Van Hentenryck和Laurent Michel（2007）：从高级模型中综合基于约束的局部搜索算法。摘自：《第22届全国人工智能会议记录——第1卷，AAAI'07》，AAAI出版社，加拿大不列颠哥伦比亚省温哥华，第273-278页。 [19] Pascal Van Hentenryck和Yannis Vergados（2006）：巡回赛日程安排：模拟退火的系统评估。J.Christopher Beck和Barbara M.Smith主编：《组合优化问题约束编程中AI和OR技术的集成》，《计算机科学讲义》，Springer Berlin Heidelberg，第228-243页，doi:10.1007/11757375 19·Zbl 1177.90187号 ·doi:10.1007/11757375_19 [20] Jan Wielemaker、Tom Schrijvers、Markus Triska和Torbjrn Lager（2012年）：SWI-Prolog。逻辑编程理论与实践12（1-2），第67-96页，doi:10.1017/S1471068407003237·Zbl 1139.68012号 ·doi:10.1017/S1471068407003237 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。