arXiv · 2011.01057
The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks
Abstract
Recently, a detailed epistemic reasoning framework for multi-agent systems with byzantine faulty asynchronous agents and possibly unreliable communication was introduced. We have developed a modular extension framework implemented on top of it, which allows to encode and safely combine additional system assumptions commonly used in the modeling and analysis of fault-tolerant distributed systems, like reliable communication, time-bounded communication, multicasting, synchronous and lock-step synchronous agents and even agents with coordinated actions. We use this extension framework for analyzing basic properties of synchronous and lock-step synchronous agents, such as the agents' local and global fault detection abilities. Moreover, we show that even the perfectly synchronized clocks available in lock-step synchronous systems cannot be used to avoid "brain-in-a-vat" scenarios.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Thomas Schlögl, Ulrich Schmid, Roman Kuznets. 2020-11-02. The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. https://doi.org/10.1007/978-3-030-69322-0_30
Cite the original work for its findings. Save a collection to share your selection of sources.