A Distributed Logical Framework Based on Partially Ordered Knowledge Sharing & Its Application to Networked CP Systems

This research is motivated by the observation that especially in challenging environments, that exhibit many forms of unreliability and failures, the physical world imposes severe limitations on how distributed algorithms can operate. Inspired by earlier work on delay- and disruption-tolerant networking, we have developed a distributed computing model based on partially ordered knowledge sharing that makes very few assumptions about the underlying network, its topology, and its characteristics. A distinguishing feature of our model is the use of a partial order to exploit the abstract semantics of knowledge allowing it to be updated in a distributed fashion while being cached in the network