[论文解读] Strengthening Gossip Protocols using Protocol-Dependent Knowledge

Hans van Ditmarsch, Malvin Gattinger+2 more|arXiv (Cornell University)|Jul 29, 2019

Logic, Reasoning, and Knowledge被引用 5

一句话总结

本文通过将依赖于协议的认知知识整合到决策中，强化了动态八卦协议，采用一种新型的、包含依赖于协议规则的知识算子的认知逻辑。实验表明，此类强化协议在成功率和终止性方面优于标准的“学习新秘密”（LNS）协议，但证明此类强化无法在任意部分网络中保证始终成功终止。

ABSTRACT

Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers are exchanged to determine who can call whom. Recent work focused on the success conditions of simple protocols such as "Learn New Secrets" (LNS) wherein an agent a may only call another agent b if a does not know b's secret. A protocol execution is successful if all agents get to know all secrets. On partial networks these protocols sometimes fail because they ignore information available to the agents that would allow for better coordination. We study how epistemic protocols for dynamic gossip can be strengthened, using epistemic logic as a simple protocol language with a new operator for protocol-dependent knowledge. We provide definitions of different strengthenings and show that they perform better than LNS, but we also prove that there is no strengthening of LNS that always terminates successfully. Together, this gives us a better picture of when and how epistemic coordination can help in the dynamic gossip problem in particular and distributed systems in general.

研究动机与目标

• 解决现有动态八卦协议在部分网络中因缺乏协调而失效的局限性。
• 对依赖于协议规则的认知知识进行建模与形式化，以支持代理做出更明智的决策。
• 设计并评估利用依赖于协议知识以改善成功与终止行为的强化协议。
• 确定是否存在对LNS协议的某种强化，可保证在所有部分网络中实现成功终止。

提出的方法

• 引入一种新型认知逻辑，包含依赖于协议的知识算子，以表示代理基于协议规则对可拨打对象的认知。
• 定义多种协议强化方式，如 $\cdot^{\blacksquare}$、$\cdot^{\lozenge}$ 和 $\cdot^{\square}$，通过认知约束对LNS协议进行细化。
• 使用模型检测法，并在小型网络中对所有呼叫序列进行穷举执行，以评估协议性能与成功条件。
• 形式化“专家”代理（掌握所有秘密）的概念，并将成功定义为所有代理均成为专家。
• 分析对电话号码的认知以及秘密传播对协议行为的影响。
• 证明尽管性能有所提升，但没有任何LNS协议的强化可保证在所有部分网络中实现成功终止，其反例构造已证明。

实验结果

研究问题

• RQ1 关于协议规则的认知知识是否能提升动态八卦协议在部分网络中的成功率？
• RQ2 不同LNS协议强化方式在成功率与终止性方面有何差异？
• RQ3 是否存在一种协议强化方式，可保证在所有部分通信网络中实现成功终止？
• RQ4 依赖于协议的知识在八卦过程中对协调代理决策起到何种作用？
• RQ5 通信网络的结构如何影响认知八卦协议的性能？

主要发现

• 所提出的协议强化方式，如 $\cdot^{\blacksquare}$ 和 $\cdot^{\lozenge}$，在测试的部分网络中表现出优于标准LNS协议的成功率。
• $\cdot^{\lozenge}$ 强化方式在LNS失败的所有测试情形中均实现成功，尤其在连接性受限的场景中表现突出。
• $\cdot^{\square 3}$ 和 $\cdot^{\lozenge 3}$ 强化方式在复杂网络拓扑中表现出更优性能，在30次或以上呼叫的全部测试序列中均实现成功。
• 尽管性能有所提升，但通过反例构造证明，没有任何LNS协议的强化可保证在所有部分网络中实现成功终止。
• $\cdot^{\lozenge}$ 和 $\cdot^{\square}$ 强化方式在涉及31名代理的序列中表现一致成功，所有测试情形中均实现完全知识传播。
• $\cdot^{\lozenge 3}$ 强化方式在31名代理、20次呼叫的所有测试序列中均实现成功，包括复杂扩展情形如 31;10;30;21。