拜占庭多智能体系统中的因果关系和认知推理
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
摘要：
因果关系是分布式计算中证明不可能结果和合成有效协议的重要概念。对于异步代理在不可靠的通道上通信，因果关系得到了很好的研究和理解。然而，这种理解在很大程度上依赖于代理人本身是正确和可靠的假设。我们提供了第一个拜占庭代理人存在的因果关系的认识分析，即，代理人可以偏离他们的协议，因此，不能依赖。使用我们的新框架，在容错多智能体系统的认知推理，我们确定拜占庭式的类比的因果锥，并描述了一个通信结构，我们称之为多足动物，必要的验证先决条件，在此设置中的行动。
英文摘要：
Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and reliable. We provide the first epistemic analysis of causality in the presence of byzantine agents, i.e., agents that can deviate from their protocol and, thus, cannot be relied upon. Using our new framework for epistemic reasoning in fault-tolerant multi-agent systems, we determine the byzantine analog of the causal cone and describe a communication structure, which we call a multipede, necessary for verifying preconditions for actions in this setting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
