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