Distributed Truth Maintenance

In this paper 1 we define the concept of logical consistency of belief among a grou- *. p of computational agents that are able to reason nonmonotonically. We then provide an algorithm for truth maintenance that guarantees local consistency for each agent and global consistency for data shared by the agents. Furthermore, we show the algorithm to be complete, in the sense that if a consistent state exists, the algorithm will either find it or report failure. The algorithm has been implemented in the RAD distributed expert system shell.

Authors

• David Murray Bridgeland Michael N. Huhns

Keywords

No keywords are indexed for this paper.