Skip to main content
SpringerLink
Log in

Assumption-based Truth Maintenance

  • Conference paper
Begründungsverwaltung

Part of the book series: Informatik-Fachberichte ((TTZI,volume 162))

  • 40 Accesses

Abstract

Truth Maintenance Systems (TMS) have been in use for quite a while. They forced the view of dividing the overall problem solver into a component solely concerned with the domain rules and a component solely concerned with recording the state of the search. These systems seemed to be exclusively devoted to keeping a consistent database. Assumption-based Truth Maintenance (ATMS) extended this view and introduced the capability to handle multiple contexts simultaneously. This paper shortly reviews the motivations for TMS. Then the ATMS terminology is introduced and the Basic ATMS is described. Finally, some extensions to the Basic ATMS are given.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. Clocksin,W. Mellish,C. Programming in Prolog Springer Berlin Heidelberg New York, 1981

    MATH  Google Scholar 

  2. de Kleer, J., Doyle, J., Sussman, G. AMORD: Explicit Control of Reasoning

    Google Scholar 

  3. Proc. Symposium on Artificial Intelligence and Programming Languages, SIGPLAN Notices, Vol. 12, No. 8 and SIGART Newsletter, No. 64 August 1977, 116–125

    Google Scholar 

  4. de Kleer,J. An Assumption-based TMS Artificial Intelligence 28 (1986) 127–162

    Google Scholar 

  5. de Kleer,J. Extending the ATMS Artificial Intelligence 28 (1986) 163–196

    Google Scholar 

  6. de Kleer,J. Problem Solving with the ATMS Artificial Intelligence 28 (1986) 197–224

    Google Scholar 

  7. Doyle, J. A Truth Maintenance System Artificial Intelligence 12 (1979) 231–272

    MathSciNet  Google Scholar 

  8. McAllester, D. An Outlook on Truth Maintenance Artificial Intelligence Laboratory AIM-551 Cambridge, M.I.T., 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ZT ZTI INF 3, Siemens, Otto-Hahn-Ring 6, 8 Munich 83, Germany

    Oskar Dressler

Authors
  1. Oskar Dressler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informationswissenschaften, Universität Konstanz, Postfach 5560, D-7750, Konstanz, Germany

    Herbert Stoyan

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dressler, O. (1988). Assumption-based Truth Maintenance. In: Stoyan, H. (eds) Begründungsverwaltung. Informatik-Fachberichte, vol 162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73385-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-73385-7_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18853-7

  • Online ISBN: 978-3-642-73385-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation