This paper appears in: Systems, Man and Cybernetics, IEEE Transactions on
Publication Date: Nov/Dec 1991
Volume: 21,
Issue: 6
On page(s): 1437-1445
ISSN: 0018-9472
References Cited: 26
CODEN: ISYMAW
INSPEC Accession Number: 4200694
DOI: 10.1109/21.135687
Posted online: 2002-08-06 17:43:12.0
Abstract
The concept of logical consistency of belief among a group of
computational agents that are able to reason nonmonotonically is
defined. An algorithm for truth maintenance is then provided that
guarantees local consistency for each agent and global consistency for
data shared by the agents. The algorithm is shown to be complete, in the
sense that if a consistent state exists, the algorithm will either find
it or report failure. The implications and limitations of this algorithm
for cooperating agents are discussed, and several extensions are
described. The algorithm has been implemented in the RAD distributed
expert system shell
Index Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
