在设计上的协调的诊断.docVIP

在设计上的协调的诊断 位于算法的球队的代理商 梅尔Kalech¤,加答:Kaminka 倔强的集团 部门计算机科学的 团队合作的要求一致,为了合作成员 协调有效。当一个分歧的队友发生(由于失败- 农业大宗商品的供给压力,成员最好应该)的病因,诊断的解决分歧。 这样的诊断社会失败可以昂贵的沟通和computa - 挑战的声誉,先前的工作已经未做规定。提出了一种新的设计 诊断算法,区分空间的几个阶段在诊断过程中, 并提供每个阶段的替代算法。然后,我们结合这些很少的- 以不同的方式rithms实证研究,探讨具体的设计选择在一个复杂的 领域,在数千个失败的病例。结果表明,不同的阶段迪- agnosis影响通信和计算的开销。特别是,集中 诊断消歧过程是一个关键因素在降低通讯, 当运行时的影响主要由数量的议论的其他药物。 这些结果与以前的工作,在对比检测(没有diag分歧- nosis),在这种分布式算法降低通信。 关键字: 多智能体系统,位于诊断,代理商 ¤通讯作者。 电子邮件地址:kalechm@cs.biu.ac.il(梅尔Kalech),galk@cs.biu.ac.il 答:Kaminka(加)。 kalechm url:http://www.cs.biu.ac.il/ /(梅尔Kalech ~), http://www.cs.biu.ac.il/ ~ galk /(加答:Kaminka)。 农业科学Preprint提交到1月8 20071介绍 随着部署机器人和经纪人队伍,在复杂、动态 设置,越来越需要同样能够应对失败 发生在团队精神[2、8、34个,24]。一种类型的失败在团队精神是争论的时候, 代理人不同意的地方来突出他们的联合任务方面。有 因此一个特定的需要能够检测和诊断的原因,并在dis - 协议的过程中可能发生,为了方便恢复和重建工作 协作的,比如:用谈判[20]。这种类型的诊断被称为是如此—— cial诊断,因为它专注于找到原因为失败,以维护社会 [18],即关系、协调的失败。 比如,假设一组四机器人守门的时候携带一张桌子,今日- 一个机器人的denly摆放桌子摔到地板上的,而它的队友 是仍然保留在桌子上。成员可以很容易地识别不同意- 品德,但他们也需要确定其原因,例如,希望这个机器人的人都信了 桌子上抵达终点的位置,而它的队友并没有这样做。考虑到这个 诊断,机器人可以协商来解决分歧。 遗憾的是,当检测的问题,探讨了公升- 例如,基因表达,25日,19日[17],社会诊断仍然是一个开放的挑战。天真的实现—— mentations诊断过程的社会要求重大的计算 和通讯,它禁止它们被有效的号码 代理商按比例提高,或者是失败的数量增加诊断。以前的 工作没有严格处理这个问题:Kaminka[18]guaran和Tambe - 检测,三通分歧,但是他们的heuristic-based通信 诊断经常失败。Dellarocas和克莱恩以及Horling孙俐。[5、10]求你不要 明确的地址通讯复杂性。FrAohlich高庆宇,后来间房等资产 艾尔。[7,28岁、30、31]假定固定通信链接,一个假设哪个 在动态的球队不持有,其中一类可以选择他们的沟通 合作伙伴(见第2的动态详情)。 我们希望能够检查在深度的通信和计算的要求- 闪光的社会的诊断。我们区分两个阶段的社会诊断:(我) 诊断药物的选择;(二)诊断的国家(的球队 选择剂等)。我们提供替代算法对这些阶段和com - 茎,他们以不同的方式呈现六个诊断方法,提出相应的 对不同的设计决策。然后,我们检查运行和交际- 阳离子复杂性和实证研究评价这些参数在诊断 成千上万的systematically-generated失效案例,发生于一组 对行为的代理商,在两种不同的复杂的领域。 我们从中吸取一般性的议题,即关于社会诊断算法的设计 实证结果。具体地说,结果表明,集中了disam - 2biguation过程是一个关键因素,极大地提高了通信 效率,但不是一个确定的因素来运行效率。在另 手,显式推理的其他药物,在确定是一个关键因素 原因:代理,运行时明确的对他人的招致重大com - putational成本的,尽管他们有时是能够减少了世界 通信。这些结果与以前的工作,在对比的分歧 检测,在哪个分布式网络算法和减少通信 某种程度上,运行时)的逻辑推理过程,利用关于其他的代理商。 摘要组织如下:第2部分激励研究和dis - 建筑有关的工作。第3部分,介绍了对行为的建筑 代理商。第四部分介绍了假说阶段和歧义的诊断 第5节介绍了诊断代理人选择阶段。第6条规定见dis - agnosis方法相结合的算法,在前两个部分 不同的方法,以及第7节评估他们进行了实证分析。第八节得出这样的结论。 2动机和其他相