×
罗恩·布拉夫曼（Ronen I。Brafman）。;卡梅尔·多姆什拉克

代理团队规划的复杂性及其对单代理规划的影响。 （英语） Zbl 1284.68564号

Artif公司。智力。 198, 52-71 (2013).
总结：如果单个代理的规划复杂性由输入的某个函数来描述，那么为合作代理团队制定规划会更加困难吗？如果这些代理是完全独立的，我们可以简单地解决单代理问题，并随代理数量线性扩展。但是，如果所有代理都紧密交互，我们真的需要解决一个比它大几倍的问题，而这个问题可能会以指数形式（in）更难解决。是否可以进行更一般的描述？为了精确地描述这个问题，我们最小限度地扩展了标准STRIPS模型来描述多智能体规划问题。然后，我们确定了两个有助于我们回答问题的问题参数。第一个参数与多智能体系统应该计划的精确任务无关，它通过团队诱导的图的树宽度来捕捉智能体之间可能的直接交互的结构。第二个参数是task-dependent，它捕获了团队中“交互最多”的代理为解决问题所需的最少交互次数。我们证明，只有在这些参数下，多智能体规划问题才能以时间指数形式求解。因此，当这些参数有界时，复杂性仅在代理团队的规模中按多项式缩放。这些结果对单智能体的情况也有直接的启示：通过将单智能体规划任务转换为多智能体规划，我们可以为单智能体基于分解的规划设计新方法。我们分析了一种这样的方法，并使用所开发的技术为经典的单智能体规划提供了一些迄今为止最强大的可处理性结果。

引用于5文件

MSC公司：

68T42型 Agent技术与人工智能

关键词：

经典规划;多主体规划;复杂性;树的宽度

软件：

图规划
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Brafman}和\textit{C.Domshlak}，Artif。智力。198，52-71（2013年；兹bl 1284.68564）
全文： 内政部

参考文献：

[2] Amir，E.，《树宽近似算法》，《算法》，56，4，448-479（2010）·Zbl 1187.68703号
[3] Arnborg，S。；康奈尔·D·G。；Proskurowski，A.，在（k）树中寻找嵌入的复杂性，SIAM代数离散方法杂志，8277-284（1987）·Zbl 0611.05022号
[4] Blum，A.L。；Furst，M.L.，通过规划图分析快速规划，人工智能，90，1-2，279-298（1997）·Zbl 1017.68533号
[5] Boutiler，C。；Brafman，R.I.，具有并发交互动作的部分顺序规划，《人工智能研究杂志》，第14期，第105-136页（2001年）·Zbl 0970.68164号
[6] R.I.布拉夫曼。；Domshlak，C.，《一元运算符规划的结构和复杂性》，《人工智能研究杂志》，第18期，第315-349页（2003年）·Zbl 1056.68129号
[13] Bylander，T.，命题STRIPS规划的计算复杂性，人工智能，69，1-2，165-204（1994）·Zbl 0821.68065号
[15] 克莱门特，B.J。；Durfee，E.H。；Barrett，A.C.，规划和协调的抽象推理，《人工智能研究杂志》，28453-515（2007）·Zbl 1182.68156号
[16] Darwiche，A.，《贝叶斯网络建模与推理》（2009），剑桥大学出版社·Zbl 1231.68003号
[17] Dechter，R.，《约束处理》（2003），摩根·考夫曼
[18] 做，M.B。；Kambhampati，S.，《作为约束满足的规划：通过将规划图编译成CSP来求解规划图》，《人工智能》，132，2，151-182（2001）·Zbl 0983.68181号
[22] 菲克斯，R.E。；Nilsson，N.，STRIPS：将定理证明应用于问题解决的新方法，《人工智能》，2189-208（1971）·Zbl 0234.68036号
[23] 吉梅内兹，O。；Jonsson，A.，简单因果图规划问题的复杂性，《人工智能研究杂志》，31939-351（2008）·Zbl 1182.68242号
[24] Gottlob，G。；斯卡切罗，F。；Sideri，M.，人工智能和非单调推理中的固定参数复杂性，人工智能，138，1-2，55-86（2002）·Zbl 0995.68118号
[25] Halin，R.，《图形的函数》，《几何杂志》，8171-186（1976）·Zbl 0339.05108号
[26] Helmert，M.，《规划中标准基准领域的复杂性结果》，人工智能，146，2，219-262（2003）·Zbl 1079.68621号
[28] Helmert，M.，快速向下规划系统，《人工智能研究杂志》，26191-246（2006）·Zbl 1182.68245号
[29] Helmert，M.，PDDL规划任务的简明有限域表示，人工智能，173，503-535（2009）·Zbl 1191.68635号
[30] M.卡茨。；Domshlak，C.，《成本最优规划的可控制性新岛》，《人工智能研究杂志》，32，203-288（2008）·Zbl 1182.68251号
[31] M.卡茨。；Domshlak，C.，隐式抽象启发式，《人工智能研究杂志》，39，51-126（2010）·Zbl 1205.68377号
[33] Knoblock，C.，自动生成规划抽象，人工智能，68，2，243-302（1994）·Zbl 0942.68712号
[35] 摩西，Y。；Tennenholtz，M.，多技术模型，机器智能，14，63-88（1995）
[36] Robertson，北卡罗来纳州。；Seymour，P.D.，图小类III.平面树宽度，组合理论杂志，36，49-63（1984）·Zbl 0548.05025号
[37] Sacerdoti，E.，抽象空间层次中的规划，人工智能，5115-135（1974）·Zbl 0288.68052号
[38] 西摩，P.D。；Thomas，R.，图搜索和树宽度的最小-最大定理，组合理论杂志，58，22-33（1993）·Zbl 0795.05110号
[39] 维达尔，V。；Geffner，H.，分支和修剪：基于约束规划的最优时间POCL规划器，人工智能，170，3，298-335（2006）·Zbl 1131.68528号
[41] Yokoo，M.，分布式约束满足，（《多代理系统中的合作基础》（2001），Springer）·Zbl 0968.68150号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。