Knowledge and common knowledge in a distributed environment

06/02/2000
by   Joseph Y. Halpern, et al.
0

Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed system can be viewed as the act of transforming the system's state of knowledge. This paper presents a general framework for formalizing and reasoning about knowledge in distributed systems. We argue that states of knowledge of groups of processors are useful concepts for the design and analysis of distributed protocols. In particular, distributed knowledge corresponds to knowledge that is "distributed" among the members of the group, while common knowledge corresponds to a fact being "publicly known". The relationship between common knowledge and a variety of desirable actions in a distributed system is illustrated. Furthermore, it is shown that, formally speaking, in practical systems common knowledge cannot be attained. A number of weaker variants of common knowledge that are attainable in many cases of interest are introduced and investigated.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/24/2016

Resolving Distributed Knowledge

Distributed knowledge is the sum of the knowledge in a group; what someo...
research
10/19/2017

Paxos Made EPR: Decidable Reasoning about Distributed Protocols

Distributed protocols such as Paxos play an important role in many compu...
research
07/27/2017

Common Knowledge in a Logic of Gossips

Gossip protocols aim at arriving, by means of point-to-point or group co...
research
04/20/2023

A genuinely untyped solution to the knower paradoxes

Kaplan and Montague have showed that certain intuitive axioms for a firs...
research
06/24/2019

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange

Several centralised RDF systems support datalog reasoning by precomputin...
research
09/18/2021

A Distributed Process Model of Cryptographic Protocols

Cryptographic Protocols (CP) are distributed algorithms intended for sec...
research
06/29/2020

Access-based Intuitionistic Knowledge

We introduce the concept of access-based intuitionistic knowledge which ...

Please sign up or login with your details

Forgot password? Click here to reset