Epistemic Reasoning with Byzantine-Faulty Agents
- 154 Downloads
We introduce a novel comprehensive framework for epistemic reasoning in multi-agent systems where agents may behave asynchronously and may be byzantine faulty. Extending Fagin et al.’s classic runs-and-systems framework to agents who may arbitrarily deviate from their protocols, it combines epistemic and temporal logic and incorporates fine-grained mechanisms for specifying distributed protocols and their behaviors. Besides our framework’s ability to express any type of faulty behavior, from fully byzantine to fully benign, it allows to specify arbitrary timing and synchronization properties. As a consequence, it can be adapted to any message-passing distributed computing model we are aware of, including synchronous processes and communication, (un-)reliable uni-/multi-/broadcast communication, and even coordinated action. The utility of our framework is demonstrated by formalizing the brain-in-a-vat scenario, which exposes the substantial limitations of what can be known by asynchronous agents in fault-tolerant distributed systems. Given the knowledge of preconditions principle, this restricts preconditions that error-prone agents can use in their protocols. In particular, it is usually necessary to relativize preconditions with respect to the correctness of the acting agent.
We are grateful to Hans van Ditmarsch and Yoram Moses for extensive helpful comments on earlier versions of this paper. We also thank the anonymous reviewers for their comments and suggestions on related research.
- 8.Fedoruk, A., Deters, R.: Improving fault-tolerance by replicating agents. In: AAMAS 2002, pp. 737–744. ACM (2002). https://doi.org/10.1145/544862.544917
- 9.Fruzsa, K.: Hope for epistemic reasoning with faulty agents! In: Proceedings of ESSLLI 2019 Student Session (2019, to appear)Google Scholar
- 10.Gonczarowski, Y.A., Moses, Y.: Timely common knowledge: Characterising asymmetric distributed coordination via vectorial fixed points. In: Schipper, B.C. (ed.) TARK XIV, pp. 79–93 (2013). https://arxiv.org/pdf/1310.6414.pdf
- 11.Goren, G., Moses, Y.: Silence. In: PODC 2018, pp. 285–294. ACM (2018). https://doi.org/10.1145/3212734.3212768
- 14.Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)Google Scholar
- 17.Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K., Gréaux, L.: Knowledge in Byzantine message-passing systems I: Framework and the causal cone. Technical report TUW-260549, TU Wien (2019). https://publik.tuwien.ac.at/files/publik_260549.pdf
- 20.McKinsey, M.: Skepticism and content externalism. In: Stanford Encyclopedia of Philosophy (2018). https://plato.stanford.edu/entries/skepticism-content-externalism/
- 21.Michel, R.: A categorical approach to distributed systems, expressibility and knowledge. In: Rudnicki, P. (ed.) PODS 1989, pp. 129–143. ACM (1989). https://doi.org/10.1145/72981.72990
- 25.Pessin, A., Goldberg, S. (eds.): The Twin Earth Chronicles: Twenty Years of Reflection on Hilary Putnam’s the “Meaning of Meaning". M. E. Sharpe (1996)Google Scholar
- 27.Trask, R.L.: Mind the Gaffe: The Penguin Guide to Common Errors in English. Penguin Books (2001)Google Scholar