Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems

  title={Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems},
  author={R. Kuznets and Laurent Prosperi and U. Schmid and Krisztina Fruzsa},
  • R. Kuznets, Laurent Prosperi, +1 author Krisztina Fruzsa
  • Published in TARK 2019
  • Computer Science
  • Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and reliable. We provide the first epistemic analysis of causality in the presence of byzantine agents, i.e., agents that can deviate from their protocol… CONTINUE READING
    1 Citations
    The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks
    • PDF


    Epistemic Reasoning with Byzantine-Faulty Agents
    • 3
    Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures
    • 252
    • PDF
    Programming simultaneous actions using common knowledge
    • 85
    • PDF
    Beyond Lamport's Happened-before
    • 21
    Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
    • 21
    • Highly Influential
    • PDF
    Knowledge and common knowledge in a distributed environment
    • 993
    • PDF
    Reasoning about knowledge
    • 4,282
    • PDF
    Time, clocks, and the ordering of events in a distributed system
    • 8,745
    • PDF
    Belief as Defeasible Knowledge
    • 75
    • PDF