Distributed truth maintenance

Authors:
David Murray Bridgeland;Michelel N. Huhns
Affiliations:
Microelectronics and Computer Technology Corporation, Artificial Intelligence Laboratory, Austin, TX;Microelectronics and Computer Technology Corporation, Artificial Intelligence Laboratory, Austin, TX
Venue:
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Year:
1990

Citing 6
Cited 1

An assumption-based TMS

Artificial Intelligence
A model for belief revision

Artificial Intelligence
Multiagent compromise via negotiation

Distributed Artificial Intelligence (Vol. 2)
DATMS: a framework for distributed assumption based reasoning

Distributed Artificial Intelligence (Vol. 2)
Distributed Artificial Intelligence

Distributed Artificial Intelligence
Negotiation and task sharing among autonomous agents in cooperative domains

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

SIREDOJ: a legal assistance application about contracts in the building industry

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we define the concept of logical consistency of belief among a group 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.