论文标题
错误记忆的持久性：尽管时钟完美，但大脑还是大脑
The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks
论文作者
论文摘要
最近，引入了针对具有拜占庭错误异步药物和可能不可靠通信的多机构系统的详细认知推理框架。我们已经开发了一个模块化扩展框架，它允许编码并安全地结合在耐故障分布式系统的建模和分析中常用的其他系统假设，例如可靠的通信，及时遇到的通信，多型播种，同步和锁定的同步代理，甚至与协同动作。我们使用此扩展框架来分析同步和锁定同步代理的基本属性，例如代理的本地和全局故障检测能力。此外，我们表明，即使是锁定步骤同步系统中可用的完美同步时钟也不能用于避免“脑中的大脑”场景。
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.
