Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems

Autor:	Kuznets, Roman, Prosperi, Laurent, Schmid, Ulrich, Fruzsa, Krisztina
Rok vydání:	2019
Předmět:	Computer Science - Multiagent Systems Computer Science - Distributed Parallel and Cluster Computing Computer Science - Logic in Computer Science
Zdroj:	EPTCS 297, 2019, pp. 293-312
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.297.19
Popis:	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. Comment: In Proceedings TARK 2019, arXiv:1907.08335
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1907.09112 Zobrazit plný text záznamu View this record from Arxiv