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

11/02/2020
by   Thomas Schlögl, et al.
0

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.

READ FULL TEXT
07/22/2019

Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems

Causality is an important concept both for proving impossibility results...
05/30/2022

Gathering despite a linear number of weakly Byzantine agents

We study the gathering problem to make multiple agents initially scatter...
03/31/2017

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, ...
04/19/2018

Reducing asynchrony to synchronized rounds

Synchronous computation models simplify the design and the verification ...
11/24/2019

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

With the emergence of cross-organization attack-prone byzantine fault-to...
03/08/2020

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

Recently, we proposed a framework for verification of agents' abilities ...
05/09/2018

Communication-Efficient Byzantine Agreement without Erasures

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