Knowledge in Distributed Systems
- Yoram MosesAffiliated withDepartment of Electrical Engineering, Technion – Israel Institute of Technology Email author
KeywordsCommon knowledge Coordinated Attack Distributed computing Knowledge Knowledge gain Message chain Potential causality
1984; Halpern, Moses
1986; Chandy, Misra
Years and Authors of Summarized Original Work
What is the role of knowledge in distributed computing?
Actions taken by a process in a distributed system can only be based on its local information or local knowledge. Indeed, in reasoning about distributed protocols, people often talk informally about what processes know about the state of the system and about the progress of the computation. Can the informal reasoning about knowledge in distributed and multi-agent systems be given a rigorous mathematical formulation, and what uses can this have?
In  Halpern and Moses initiated a theory of knowledge in distributed systems. They suggested that states of knowledge ascribed to groups of processes, especially common knowledge, have an important role to play. Knowledge-based analysis of distributed protocols has generalized well-known results and enables the discovery of new ones. These include new efficient solutions to basi ...
Reference Work Entry Metrics
- Knowledge in Distributed Systems
- Reference Work Title
- Encyclopedia of Algorithms
- pp 1051-1055
- Print ISBN
- Online ISBN
- Springer New York
- Copyright Holder
- Springer Science+Business Media New York
- Additional Links
- Common knowledge
- Coordinated Attack
- Distributed computing
- Knowledge gain
- Message chain
- Potential causality
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.