We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we propose a dynamic epistemic logic. We show how to correct transmission errors due to faulty messages without a central authority coordinating protocol execution, how this affects optimality, and how this compares to bounded memory and full information protocols.

翻译：我们研究了带错误的自我纠正八卦协议。在分布式计算中，带有错误的协议已在时间认知逻辑中得到广泛研究。相反，我们提出了一种动态认知逻辑。我们展示了如何在无中央权威协调协议执行的情况下纠正由错误消息导致的传输错误，探讨了这对最优性的影响，并将其与有限内存协议和全信息协议进行了比较。