×
勒·蒂普;儿子Tran Cao;恩里科·蓬泰利;Yeoh，William威廉

使用逻辑编程解决分布式约束优化问题。 （英语） Zbl 1379.68284号

理论与实践。日志。程序。 17，第4号，634-683（2017）.
摘要：本文探讨了答案集编程（ASP）在求解中分布式约束优化问题（DCOP）本文提供了以下新颖的贡献：（1）它展示了如何将DCOP表示为逻辑程序；（2） 介绍了ASP-DPOP，第一个基于逻辑编程的DCOP算法；（3） 实验表明，ASP-DPOP可以比DPOP（命令式编程对应项）快两个数量级，并且可以解决DPOP由于内存限制而无法解决的一些问题；（4）它证明了ASP在当前被建模为DCOP的大量多代理问题中的适用性。

引用于1文件

MSC公司：

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

关键词：

DCOP公司;DPOP公司;逻辑程序设计;ASP公司

软件：

Potassco公司;M-DPOP公司;SICStus公司
PDF格式BibTeX公司 XML格式引用
\textit｛T.Le｝等人，《理论与实践》。日志。程序。17，第4号，634--683（2017；Zbl 1379.68284）
全文： 内政部 arXiv公司

参考文献：

[1] 巴拉尔C.2003。知识表示、推理和用答案集解决陈述性问题。剑桥大学出版社，马萨诸塞州剑桥·Zbl 1056.68139号
[2] 巴拉尔市。，Gelfong集团。，庞泰利。和SonT。2010年2月23日。使用ASP对多代理场景进行建模，其中涉及代理对他人知识的了解。程序中。AAMAS，259-266。
[3] BessiereC公司。，古铁雷斯。和MeseguerP.2012。在DCOP中包含软全局约束。程序中。175-190年。
[4] CarlssonM.et等人，2015年。SICStus Prolog用户手册。瑞典计算机科学研究所。
[5] CitrignoS.、。，爱尔兰。，FaberW.、。，哥特洛布。，科赫公司。，利昂内。，马提斯C。，PfeiferG公司。和ScarcelloF.1997。dlv系统：模型生成器和应用程序前端。程序中。逻辑编程研讨会，128-137。
[6] 德沃斯。，板球。，帕吉特J。A.、BrainM.、。，克利夫奥。和NeedhamJ.2005。LAIMA：使用有序选择逻辑编程的多代理平台。程序中。DALT的。
[7] 2003年12月。约束处理。爱思唯尔/摩根考夫曼。
[8] DovierA公司。，福米萨诺阿。和PontelliE.2010a。CLP中多智能体规划的研究。基础信息105、1-2、79-103·Zbl 1209.68559号
[9] DovierA公司。，福米萨诺阿。和PontelliE.2010b。CLP（FD）中带约束的多值动作语言。逻辑程序设计的理论与实践10，2，167-235.10.1017/S147106841000013S14710686410000013·Zbl 1191.68653号 ·doi:10.1017/S147106841000013
[10] DovierA公司。，福米萨诺阿。和PontelliE.2013。自主代理协调：动作语言满足CLP（）和Linda。逻辑程序设计的理论与实践13，2149-173.10017/S1471068411000615·Zbl 1267.68079号 ·文件编号：10.1017/S1471068411000615
[11] 厄德索普。和RényiA.1959。关于随机图I.出版物Mathematicae Debrecen6290·Zbl 0092.15705号
[12] Farinelli公司。，罗杰斯公司。，佩库A。和JenningsN.2008。使用Max-Sum算法对低功耗嵌入式设备进行分散协调。程序中。AAMAS，639-646年。
[13] 菲奥雷托。，Campeotto广场。，大林FiorettoL。，YeohW公司。和PontelliE.2014。GD-Gibbs：一种基于GPU的采样算法，用于解决分布式约束优化问题（扩展抽象）。程序中。AAMAS的。
[14] 菲奥雷托。，LeT。，YeohW.，是的。，庞泰利。和SonT。2014年2月。使用分支一致性改进DPOP以解决分布式约束优化问题。程序中。CP.的。
[15] 菲奥雷托。，YeohW公司。和PontelliE.2016。dcops的多变量代理分解。程序中。第30届AAAI人工智能会议，美国亚利桑那州凤凰城，2016年2月12日至17日，2480-2486。
[16] GebserM.、KaminskiR.、。，考夫曼B。和SchaubT.2012。实践中的答案集求解。摩根和克莱普尔出版社。
[17] GebserM.、KaufmannB.、。，卡明斯基。，奥斯特罗斯基。，朔布。和SchneiderM.2011。Potassco：potsdam答案集求解集合。AI通信24，2（4月），107-124·Zbl 1215.68214号
[18] GebserM.、KaufmannB.、。，纽曼那。和SchaubT.2007。扣：冲突驱动的答案集求解器。程序中。LPNMR，260-265。
[19] GelfondG公司。和WatsonR.2007。对协作多智能体系统进行建模。程序中。ASP研讨会。
[20] GelfondM公司。和KahlY.2014。知识表示、推理和智能代理的设计。剑桥大学出版社。
[21] GelfondM公司。和LifschitzV.1990。经典否定逻辑程序。程序中。ICLP，579-597。
[22] 格什曼。，梅塞尔斯A。和ZivanR.2009。分布式COP的异步转发。《人工智能研究杂志》34，61-88·Zbl 1180.90166号
[23] 格林斯塔特。，皮尔斯J。P.和TambeM.2006。分布式约束优化中的隐私损失分析。程序中。第21届全国人工智能大会和第18届人工智能创新应用大会。2006年7月16日至20日，美国马萨诸塞州波士顿，邮编：647-653。
[24] 古普塔斯。，JainP.公司。，YeohW.，是的。，拉纳德斯。和PontelliE.2013。作为DCOP解决客户驱动的微电网优化问题。程序中。分布式约束推理研讨会，45-59。
[25] 古铁雷斯。，LeeJ.、。，莱克。M.、MakT。和MeseguerP.2013。在搜索期间保持BnB-ADOPT^+中的软弧一致性。程序中。CP，365-380。
[26] 古铁雷斯。和MeseguerP.2012a。改进BnB-ADOPT^+-AC过程中。AAMAS，273-280。
[27] 古铁雷斯。和MeseguerP.2012b。删除n元BnB-ADOPT中的冗余消息。《人工智能研究杂志》45，287-304·Zbl 1253.68300号
[28] 古铁雷斯。，MeseguerP公司。和YeohW.2011。推广ADOPT和BnB ADOPT。程序中。IJCAI，554-559。
[29] 哈马迪。，贝西埃·C。和昆昆顿J.1998。分布式智能回溯。程序中。ECAI第219-223页。
[30] IEEE配电测试馈线。2014.网址：http://ewh.iee.org/soc/pes/dsacom/testfeeders/[访问日期：2014年7月29日]。
[31] JaffarJ.和MaherM.J.1994年。特刊：逻辑编程十年约束逻辑编程：综述。《逻辑编程杂志》19503-581。
[32] JainP.、。，古普塔斯。，拉纳德斯。和PontelliE.2012。客户驱动微电网的优化运行：一种综合方法。程序中。PEDES的。
[33] 卡卡萨。，托罗尼普。和DemetriouN.2004。代理计划、谈判和运营控制。程序中。ECAI。
[34] 考夫曼银行。，利昂内。，PerriS.和SchaubT.2016。答案集编程中的接地和解决方法。AI杂志37，3，25-32.10.1609/aimag.v37i3.2672·doi:10.1609/aimag.v37i3.2672
[35] 科瓦尔斯基。和SadriF.1999。面向多智能体系统的逻辑编程。数学与人工智能年鉴25，3-4，391-419.10.1023/A:1018934223383·Zbl 0940.68017号 ·doi:10.1023/A:1018934223383
[36] 库马拉。，FaltingsB。和PetcuA.2009。具有结构化资源约束的分布式约束优化。程序中。AAMAS，923-930年。
[37] 库马拉。，佩特夸。和FaltingsB.2008。H-DPOP：在DCOP中使用硬约束进行搜索空间修剪。程序中。AAAI，325-330。
[38] LassR.、。，科佩纳J。，苏丹。，阮元。，杜根市。，莫迪普。和RegliW.2008。在通信和资源限制下协调急救人员（短文）。程序中。AAMAS，1409-1413年。
[39] 列支敦士登。，庞泰利。，SonT公司。C.和YeohW.2014。分布式约束优化的逻辑和约束逻辑编程。第三十届逻辑程序设计国际会议（ICLP’14）的技术交流。逻辑程序设计理论与实践，在线增刊。
[40] 列支敦士登。，SonT公司。C.、庞泰利。和YeohW.2015。用逻辑编程解决分布式约束优化问题。程序中。AAAI的。
[41] LéautéT。和FaltingsB.2011。协调后勤运作与隐私保障。程序中。IJCAI，2482-2487。
[42] LéautéT。，奥滕斯B。和SzymanekR.2009。FRODO 2.0：分布式约束优化的开源框架。程序中。分布式约束推理研讨会，160-164。
[43] 刘总。，雷恩。，织机。T、MaoY。和BasuP.2012。科隆：一个声明式分布式约束优化平台。程序。VLDB捐赠基金会5，8，752-763.10.14778/2212351.2212357·doi:10.14778/2212351.2212357
[44] 马赫斯瓦兰。，皮尔斯J。和TambeM.2004。DCOP的分布式算法：一种基于图形游戏的方法。程序中。PDCS，432-439。
[45] 马赫斯瓦兰。，坦白省。，鲍灵E。，皮尔斯J。和VarakanthamP.2004。将DCOP带到现实世界：分布式事件调度的高效完整解决方案。程序中。AAMAS，310-317。
[46] Mailler R.和LesserV.2004。使用协作中介解决分布式约束优化问题。程序中。AAMAS，438-445。
[47] 马雷克V。和Truszczyn skiM.1999。稳定模型和替代逻辑编程范式。在《逻辑编程范式：25年展望》（The Logic Programming Paradigm:A 25-year Perspective）中。，马雷克V。W.，特鲁什琴斯基。，沃伦D。S.，Eds.Springer，柏林，375-398.10007/978-3-642-60085-2_17·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60085-2_17
[48] 修改。，沈伟-M.、TambeM。和YokooM.2005。采用：具有质量保证的异步分布式约束优化。人工智能161，1-2149-180.10.1016/j.artint.2004.09.003·Zbl 1132.68706号 ·doi:10.1016/j.artint.2004.09.003
[49] 阮氏。T.，杨威。和LauH。2013年2月。分布式吉布斯：一种基于内存的采样DCOP算法。程序中。AAMAS，167-174年。
[50] 尼梅尔一世，1999年。具有稳定模型语义的逻辑编程是一种约束编程范式。数学与人工智能年鉴25，3-4，241-273.10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[51] 奥滕斯银行。，迪米特拉卡基斯。和FaltingsB.2012。DUCT：一种求解分布式约束优化问题的置信上限方法。程序中。AAAI，528-534。
[52] PetcuA.2009年。一类分布式约束优化算法。《人工智能与应用前沿》，第194卷。IOS出版社·Zbl 1180.90355号
[53] 佩特夸。和Faltings B.2005a。一种可扩展的多智能体约束优化方法。程序中。IJCAI，1413-1420年。
[54] 佩特夸。和FaltingsB.2005b。超稳定、包含故障的多智能体组合优化。程序中。AAAI，449-454。
[55] 佩特夸。和FaltingsB.2006。ODPOP：一种开放/分布式约束优化算法。程序中。第21届全国人工智能大会和第18届人工智能创新应用大会。2006年7月16日至20日，美国马萨诸塞州波士顿，邮编：703-708。
[56] 佩特夸。和FaltingsB.2007。MB-DPOP：一种用于分布式优化的新的内存边界算法。程序中。IJCAI，1452-1457年。
[57] 佩特夸。，伪造B。和MaillerR.2007。PC-DPOP：一种用于分布式优化的新的局部集中算法。程序中。IJCAI，167-172。
[58] 佩特夸。，FaltingsB。和ParkesD.2008。M-DPOP：高效社会选择问题的忠实分布式实现。《人工智能研究杂志》32，705-755·Zbl 1183.68586号
[59] 庞泰利。，SonT公司。C.、BaralC。和GelfondG.2010。在知识逻辑及其应用中寻找模型的逻辑编程：案例研究。逻辑编程的理论与实践10，4-6，675-690.10.1017/S1471068410000359S1471068410000359·Zbl 1213.68168号 ·网址：10.1017/S1471068410000359
[60] SadriF.和ToniF.2003。用于代理之间通信和协商的诱拐逻辑编程。ALP新闻稿。
[61] 坂城。，SonT公司。C.和PontelliE.2011。不诚实代理人之间谈判的逻辑公式。程序中。IJCAI，1069-1074年。
[62] SonT公司。C.、庞泰利。和SakamaC.2009。带协商的多智能体规划的逻辑编程。程序中。ICLP的，99-114·Zbl 1251.68263号
[63] 苏丹。，LassR公司。和RegliW.2007。DCOPolis：用于模拟和部署分布式约束推理算法的框架。程序中。分布式约束推理车间。
[64] 上田。，川崎。和YokooM.2010。基于分布式约束优化的联盟结构生成。程序中。AAAI，197-203年。
[65] VinyalsM公司。，Rodríguez-AguilarJ.和CerquidesJ.2011年。利用广义分布律构造了动态规划DCOP算法的统一理论。自治代理和多代理系统22，3，439-464.10.1007/s10458-010-9132-7·doi:10.1007/s10458-010-9132-7
[66] 弗拉哈瓦斯一二零零二年。MACLP：多代理约束逻辑编程。信息科学144，1-4，127-142.10.1016/S0020-0255（02）00190-1·Zbl 1006.68653号 ·doi:10.1016/S0020-0255（02）00190-1
[67] YeohW.，是的。，费内拉。和KoenigS.2010。BnB ADOPT：一种异步分支绑定DCOP算法。《人工智能研究杂志》38，85-133·Zbl 1191.68733号
[68] YeohW.，是的。，瓦拉坎塔姆。和KoenigS.2009。DCOP搜索算法的缓存方案。程序中。AAMAS，609-616。
[69] YeohW公司。和YokooM.2012。分布式问题解决。AI杂志33，3，53-65.10.1609/aimag.v33i3.2429·doi:10.1609/aimag.v33i3.2429
[70] 齐瓦纳。，奥卡莫托。和PeledH.2014。随时随地探索分布式约束优化的局部搜索。人工智能212，1-26.10.1016/j.artint.2014.03.002·Zbl 1405.68334号 ·doi:10.1016/j.artint.2014.03.002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。