Skip to main content
SpringerLink
Log in

A logical approach for distributed truth maintenance

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 727))

Included in the following conference series:

  • 724 Accesses

Abstract

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.

I would like to thank Project KIK of the DFKI and I3.CSCW of GMD for providing the environment conducive to this research. D. Steiner and A. Burt read numerous drafts and made valuable comments.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. D. M. Bridgeland and M. N. Huhns. Distributed truth maintenance. In Proc. of AAAI-90, pages 72–77, Boston, MA, 1990.

    Google Scholar 

  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. 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. 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. 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. 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. T. C. Horstmann. Distributed truth maintenance. Technical Report D-91-11, German Center for Artificial Intelligence (DFKI), Kaiserslautern, Germany, 1991.

    Google Scholar 

  9. John W. Lloyd. Foundations of Logic Programming. Symbolic computation: Artificial Intelligence. Springer, 2nd edition, 1987.

    Google Scholar 

  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. 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. 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. D. Russinoff. An algorithm for truth maintenance. Technical Report AI-062-85, MCC, 1985.

    Google Scholar 

  14. R. W. Southwick. The lemma generation problem. Technical report, Imperial College, London, 1990.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. German National Research Center for Computer Science (GMD), I3.CSCW, P.O. Box 1316, D-53731, Sankt Augustin, Germany

    Thilo C. Horstmann

Authors
  1. Thilo C. Horstmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miguel Filgueiras Luís Damas

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Horstmann, T.C. (1993). A logical approach for distributed truth maintenance. In: Filgueiras, M., Damas, L. (eds) Progress in Artificial Intelligence. EPIA 1993. Lecture Notes in Computer Science, vol 727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57287-2_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-57287-2_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57287-9

  • Online ISBN: 978-3-540-48036-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation