The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks

by   Thomas Schlögl, et al.

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.


Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems

Causality is an important concept both for proving impossibility results...

Gathering despite a linear number of weakly Byzantine agents

We study the gathering problem to make multiple agents initially scatter...

A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing

The usual epistemic S5 model for multi-agent systems is a Kripke graph, ...

Reducing asynchrony to synchronized rounds

Synchronous computation models simplify the design and the verification ...

ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication

With the emergence of cross-organization attack-prone byzantine fault-to...

Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them

Recently, we proposed a framework for verification of agents' abilities ...

Communication-Efficient Byzantine Agreement without Erasures

Byzantine agreement (BA) is one of the most fundamental building blocks ...