×
尤尼斯机械师;穆罕默德·瓦赫比;克里斯蒂安·贝西尔;肯尼斯·布朗。

分布式约束满足问题异步回溯中所有代理的重新排序。 （英语） 兹比尔1478.68327

Artif公司。智力。 278，文章ID 103169，28 p.（2020）.
摘要：分布式约束满足问题（DisCSP）可以表示物理分布式代理控制不同决策变量的决策问题，但必须相互协调才能达成全局解决方案。异步回溯（ABT）是DisCSP的关键搜索过程。ABT需要对代理进行静态总排序。然而，在搜索过程中对代理进行重新排序是有效解决DisCSP的一个基本组件。迄今为止，所有提出的通过在搜索过程中重新排序代理来改进ABT的多项式空间算法只允许有限数量的重新排序。本文提出了AgileABT，一个用于异步重新排序代理的通用框架，它能够改变全部的代理人。这是通过最初的概念终止值，一个标签，贴在代理在搜索期间交换的订单上。我们证明AgileABT是健全和完整的。我们表明，由于终止值的存在，我们的框架允许我们从集中式CSP实现主变量排序启发式，而到目前为止，这还不能应用于分布式设置。我们证明了在所有这些情况下，AgileABT终止并具有多项式空间复杂度。我们的实证研究表明，与解决分布式CSP的最新异步动态排序算法相比，我们的框架具有重要意义。

MSC公司：

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

关键词：

分布式约束推理;异步回溯;动态变量排序

软件：

DisChoco公司;传感器DCSP;CSPLib数据库
PDF格式BibTeX公司 XML格式引用
\textit{Y.Mechqrane}等人，Artif。智力。278，文章ID 103169，28 p.（2020；Zbl 1478.68327）
全文： 内政部 链接

参考文献：

[1] 荣格斯，R。；Bazzan，A.L.C.，《评估DCOP算法在现实世界动态问题中的性能》，（第七届自治代理和多代理系统国际联合会议论文集，第2卷）。第七届自主代理和多代理系统国际联合会议记录——第2卷，AAMAS’08，Richland，SC（2008）），599-606
[2] Ottens，B。；Faltings，B.，《通过分布式约束优化协调代理计划》（《多代理规划研讨会论文集》，《多代理计划研讨会论文集，MASPLAN’08，澳大利亚悉尼》（2008））
[3] Jung，H。；Tambe，M。；Kulkarni，S.，《作为分布式约束满足的论证：应用和结果》，（第五届自治代理国际会议论文集。第五届国际自治代理会议论文集，Agents'01（2001），ACM:美国纽约州纽约市ACM），324-331
[4] Béjar，R。；Domshlak，C。；费尔南德斯，C。；戈麦斯，C。；Krishnamachari，B。；塞尔曼，B。；Valls，M.，《传感器网络和分布式CSP：通信、计算和复杂性》，Artif。智力。，161, 1-2, 117-147 (2005) ·Zbl 1132.68688号
[5] 莫迪，P.J。；沈伟民（Shen，W.M.）。；Tambe，M。；采用，Yokoo M.，具有质量保证的异步分布式约束优化，Artif。智力。，161，1-2149-180（2005年）·兹比尔1132.68706
[6] 马赫斯瓦兰，R.T。；Tambe，M。；鲍林，E。；皮尔斯，J.P。；Varakantham，P.，《将DCOP带到现实世界：分布式多事件调度的高效完整解决方案》，（第三届自治代理和多代理系统国际联合会议论文集——第1卷）。第三届自主代理和多代理系统国际联合会议论文集——第1卷，AAMAS’04（2004），IEEE计算机学会：IEEE计算机协会，华盛顿特区，美国），310-317
[7] O.博内特·托雷斯。；Tessier，C.，分布式计划和调度的多重约束DCOP，（AAAI春季研讨会：分布式计划和进度管理（2006），AAAI），17-24
[8] 卡普兰斯基，E。；Meisels，A.，《分布式人员调度——调度代理之间的协商》，Ann.Oper。研究，155，1，227-255（2007）·Zbl 1145.90385号
[9] 佩特库，A。；Faltings，B.，分布式资源分配的价值排序启发式，（ERCIM/CoLogNet关于CSCLP’04的联合年度研讨会论文集（2004）），86-97·Zbl 1078.68759号
[10] Léauté，T。；Faltings，B.，《协调后勤行动与隐私保障》，（第二十二届人工智能国际联合会议记录，第3卷）。《第二十二届国际人工智能联合会议记录》第3卷，IJCAI’11（2011），AAAI出版社，2482-2487
[11] Yokoo，M。；Durfee，E.H。；石田，T。；Kuwabara，K.，《分布式约束满足问题：形式化和算法》，IEEE Trans。知识。数据工程，10673-685（1998）
[12] Bessière，C。；艺术大师。；我·布里托。；Meseguer，P.，《不添加链接的异步回溯：ABT家族的新成员，Artif》。智力。，161, 1-2, 7-24 (2005) ·Zbl 1132.68690号
[13] Haralick，R.M。；Elliott，G.L.，提高约束满足问题的树搜索效率，Artif。智力。，14, 3, 263-313 (1980)
[14] Bessière，C。；Régin，J.，MAC和联合启发式：在难题上放弃FC（和CBJ？）的两个原因，（《第二届约束程序设计原理与实践国际会议论文集》，第二届限制程序设计原理和实践国际会议文献集，CP'96，美国马萨诸塞州剑桥（1996）），61-75
[15] Boussemart，F。；Hemery，F。；Lecoutre，C。；Sais，L.，通过加权约束推进系统搜索，（第16届欧洲人工智能会议论文集。第16届欧盟人工智能会议文献集，ECAI'04（2004），IOS出版社：荷兰阿姆斯特丹IOS出版社），146-150
[16] Silaghi，M.C。；Sam-Haroud，D。；Faltings，B.，《将ABT和AWC杂交到多项式空间》，《具有重新排序的完整协议》（2001），EPFL，技术代表LIA-REPORT-2001-008
[17] Zivan，R。；Meisels，A.，DisCSP异步回溯的动态排序，约束，11，2-3，179-197（2006）·Zbl 1103.68117号
[18] 我·布里托。；Meseguer，P.，《DisCSP的同步异步和混合算法》，（第五届分布式约束推理国际研讨会论文集。第五届分布约束推理国际会议论文集，DCR’04（2004）），80-94
[19] Silaghi，M.C.，异步回溯的重新排序启发式建模框架，（IEEE/WIC/ACM智能代理技术国际会议论文集。IEEE/WIC/ACM智能代理技术国际会议论文集，IAT'06（2006），IEEE计算机学会：IEEE计算机学会华盛顿特区，美国），529-536
[20] 齐万，R。；Zazone，M。；Meisels，A.，异步回溯的Min-domain追溯排序，约束，14，2，177-198（2009）·Zbl 1191.68644号
[21] Mechqrane，Y。；瓦比，M。；Bessiere，C。；Bouyakhf，E.H。；梅赛尔，A。；Zivan，R.，“异步回溯的多域追溯订购”勘误表，约束，17，348-355（2012）·Zbl 1304.68165号
[22] Yokoo，M.，解决分布式约束满足问题的异步弱承诺搜索，（《第一届约束编程原理与实践国际会议论文集》，第一届约束程序设计原理与实践会议论文集，1995年，法国卡西斯），88-102
[23] 平山，K。；Yokoo，M.，《过约束分布式约束满足问题的一种方法：分布式层次约束满足》，（《第四届多代理系统国际会议论文集》，ICMAS'00（2000）），135-142
[24] Dechter，R.，《约束网络（调查）》（《人工智能百科全书》，第1卷（1992年）），276-285
[25] 金斯伯格，M.L。；McAllester，D.A.，GSAT和动态回溯，（《第四届知识表示和推理原则国际会议论文集》，KR’94（1994），Morgan Kaufmann Publishers Inc.：Morgan Koufmann-Publishers Inc.Bonn，德国），226-237
[26] Yokoo，M。；Durfee，E.H。；石田，T。；Kuwabara，K.，《形式化分布式问题解决的分布式约束满足》，（第十二届分布式计算系统国际会议论文集（1992）），614-621
[27] 平山，K。；Yokoo，M.，《非良好学习在分布式约束满足中的作用》（ICDCS’00（2000）会议记录），169-177
[28] Yokoo，M.，《分布式约束满足：多代理系统中合作的基础》（2000），Springer-Verlag:Springer-Verlag London，UK·Zbl 0968.68150号
[29] （Colburn，T.R.；Rankin，T.L.；Fetzer，J.H.，《程序验证：计算机科学中的基本问题》（1993），Kluwer学术出版社：Kluwer-学术出版社Norwell，MA，美国）·Zbl 0826.68078号
[30] Lecoutre，C。；Boussemart，F。；Hemery，F.，基于回跳的技术与冲突导向启发法，（第16届IEEE人工智能工具国际会议论文集。第16届EEE人工智能工具会议论文集，ICTAI’04（2004）），549-557
[31] B.M.史密斯。；Grant，S.A.，《努力先失败》（《第13届欧洲人工智能会议论文集》，第13届欧盟人工智能会议文献集，ECAI'98（1998），John Wiley and Sons：John Willey and Sons Brighton，UK），249-253
[32] Eppstein，D.，Lexicographically minimal topological sort of a labeled dag（2015），理论计算机科学堆栈交换
[33] 瓦比，M。；R.Ezzahir。；Bessiere，C。；Bouyakhf，E.H.，Dischoco 2:分布式约束推理平台，（第13届分布式约束推理国际研讨会论文集。第13届分布约束推理国际会议论文集，DCR’11，巴塞罗那，加泰罗尼亚，西班牙（2011）），112-121
[34] Lynch，N.A.，《分布式算法》（1997），摩根-考夫曼系列
[35] 梅赛尔，A。；拉兹贡，I。；卡普兰斯基，E。；Zivan，R.，比较分布式约束处理算法的性能，（第三届分布式约束推理国际研讨会论文集。第三届分布式约束推理国际研讨会论文集，DCR'02（2002）），86-93
[36] 齐万，R。；Meisels，A.，《消息延迟和DisCSP搜索算法》，《数学年鉴》。Artif公司。智力。，46, 4, 415-439 (2006) ·Zbl 1107.68106号
[37] Roussel，O。；Lecoutre，C.，约束网络的XML表示：XCSP 2.1格式，CoRR 2009
[38] Wahbi，M.，CSPLib问题072：分布式传感器网络中的目标跟踪（2015）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。