Skip to main content Skip to main navigation


Distributed Truth Maintenance

Thilo C. Horstmann
DFKI, DFKI Documents (D), Vol. 91-11, 1991.


Distributed AI systems are intended to fill the gap between classical AI and distributed computer science. Such networks of different problem solvers are required for naturally distributed problems, and for tasks which exhaust the recource of an individual node. To guarantee a certain degree of consistency in a distributed AI system, it is necessary to inspect the beliefs of both single nodes and the whole net. This task is performed by Distributed Truth Maintenance Systems. Based on classical TMS theories, distributed truth maintenance extends the conventional case to incorporate reason maintenance in DAI scenarios.