Uncertain Knowledge in Distributed Systems.

Abstract

We present a formal system to reason about implicit belief. Implicit belief captures the (possibly probabilistic) information available to agents in probabilistic distributed systems. Our system also deals with non-determinism where all the non-deterministic choices are made at the beginning of the computation. The naturalness of this approach is demonstrated by offering new analyses and solutions to some classical distributed computing problems, namely the coordinated attack and authenticated Byzantine agreement. Keywords: Safety properties; Knowledge; Distributed systems; Probabilistic system; Liveliness; Byzantine agreement; Coordinated.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1988
Accession Number
ADA189017

Entities

People

  • Lenore D. Zuck
  • Michael J. Fischer

Organizations

  • Yale University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Agreements
  • Communication Systems
  • Computational Complexity
  • Computations
  • Computer Science
  • Computers
  • Contracts
  • Distributed Computing
  • Information Exchange
  • Information Systems
  • Military Research
  • Numbers
  • Probability
  • Probability Distributions
  • Program Management
  • Random Variables
  • Real Numbers

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Artificial Intelligence
  • Cybersecurity.