Distributed Computing
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Belief as defeasible knowledge
Artificial Intelligence
Reasoning about knowledge: a survey
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Distributed Computing
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Knowledge has proven to be a useful and fundamentalformalism for reasoning about distributed systems. The applicationof this formalism, however, entails a loss of volitionon the part of processes about which something isknown. This loss of volition is often not appropriate inloosely coupled distributed systems. In this paper, we generalizethe formal characterization of knowledge into oneof belief. Belief has the advantage of allowing processes tomaintain volition. We examine some of the similarities andsurprising differences between knowledge and belief. Wealso present some examples of distributed applications thatare more conveniently characterized with belief rather thanknowledge.