A logical approach for distributed truth maintenance

  • Thilo C. Horstmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 727)


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 resource 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.

Key words

Distributed AI Logic Programming TMS Agent Model 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. Barahona, L. Moniz Pereira, and A. Porto, editors. EPIA 91: Proc. of the 5th Portuguese Conference on Artificial Intelligence. Springer, Berlin, Heidelberg, 1991.Google Scholar
  2. 2.
    D. M. Bridgeland and M. N. Huhns. Distributed truth maintenance. In Proc. of AAAI-90, pages 72–77, Boston, MA, 1990.Google Scholar
  3. 3.
    B. Charron-Bost, F. Mattern, and G. Tel. Synchronous and asynchronous commu-nication in distributed computations. Technical Report TR 91.55, Institut Blaise Pascal, University Paris, Paris, 1991. (revised version).Google Scholar
  4. 4.
    S. Costantini and G. A. Lanzarone. Metalevel representation of analogical infe-rence. In E. Ardizzone, S. Gaglio, and F. Sorbello, editors, Trends in Artificial Intelligence: Proc. of the 2nd Congress of the Italian Association for Artificial Intelligence, AI * IA, pages 460–464. Springer, Berlin, Heidelberg, 1991.Google Scholar
  5. 5.
    Edmund H. Durfee, Victor R. Lesser, and Daniel D. Corkill. Trends in cooperative distributed problem solving. In Transactions on Knowledge and Data Engineering, 1989.Google Scholar
  6. 6.
    J. R. Galliers. The positive role of conflict in cooperative multi-agent systems. In Y. Demazeau and J.-P. Müller, editors, Decentralized A.I.: Proc. of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Cambridge, England, pages 33–46. North-Holland, Amsterdam, 1990.Google Scholar
  7. 7.
    J. R. Galliers. Cooperative interaction as strategic belief revision. In S. M. Deen, editor, CKBS'90: Proc. of the International Working Conference on Cooperating Knowledge Based Systems, pages 148–163. Springer, Berlin, Heidelberg, 1991.Google Scholar
  8. 8.
    T. C. Horstmann. Distributed truth maintenance. Technical Report D-91-11, German Center for Artificial Intelligence (DFKI), Kaiserslautern, Germany, 1991.Google Scholar
  9. 9.
    John W. Lloyd. Foundations of Logic Programming. Symbolic computation: Artificial Intelligence. Springer, 2nd edition, 1987.Google Scholar
  10. 10.
    Dirk Mahling, Thilo Horstmann, Astrid Scheller-Houy, Andreas Lux, Donald Steiner, and Hans Haugeneder. Wissensbasierte unterstuetzung von gruppenarbeit oder: Die emanzipation der maschinellen agenten. In J. Friedrich and K. H. Roediger, editors, German Chapter of the ACM: Computergestuetzte Gruppenarbeit (CSCW), volume 34, pages 297–294. B. G. Teubner, Stuttgart, 1991. (in German).Google Scholar
  11. 11.
    Cindy L. Mason and Rowland R. Johnson. DATMS: A Framework for Distributed Assumption-Based Reasoning. In L. Gasser and M. N. Huhns, editors, Distributed Artificial Intelligence, Volume II, pages 293–318. Pitman/Morgan Kaufmann, London, 1989.Google Scholar
  12. 12.
    L. M. Pereira and A. Porto. Selective backtracking. In K. L. Clark and S.-A. Tärnlund, editors, Logic Programming, pages 107–114. Academic Press, London, 1982.Google Scholar
  13. 13.
    D. Russinoff. An algorithm for truth maintenance. Technical Report AI-062-85, MCC, 1985.Google Scholar
  14. 14.
    R. W. Southwick. The lemma generation problem. Technical report, Imperial College, London, 1990.Google Scholar
  15. 15.
    Donald Steiner, Dirk Mahling, and Hans Haugeneder. Human computer cooperative work. In M. Huhns, editor, Proc. of the 10th International Workshop on Distributed Artificial Intelligence, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Thilo C. Horstmann
    • 1
  1. 1.German National Research Center for Computer Science (GMD)Sankt AugustinGermany

Personalised recommendations