Accession Number : ADA189017
Title : Uncertain Knowledge in Distributed Systems.
Descriptive Note : Technical rept.,
Corporate Author : YALE UNIV NEW HAVEN CONN DEPT OF CHEMISTRY
Personal Author(s) : Fischer, Michael J ; Zuck, Lenore D
PDF Url : ADA189017
Report Date : Jan 1988
Pagination or Media Count : 17
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.
Descriptors : *PROBABILITY, *PROBABILITY DISTRIBUTION FUNCTIONS, DISTRIBUTION, SAFETY, COMPUTATIONS, GAME THEORY
Subject Categories : Statistics and Probability
Distribution Statement : APPROVED FOR PUBLIC RELEASE