Zusammenfassung
Gegenstand dieses Kapitels ist ein spezieller Typ von TMS — das Jtms (Justification-Based Truth-Maintenance System). Die wahrscheinlich erste Implementierung des Jtms stellt das am MIT entwickelte System Amord [dKDR+78, Doy78] dar. Später folgten zahlreiche alternative Implementierungen; etwa Duck [McD85], Duckito [Her84] und das Brtms [Hor91] (mit dem Brtms werden wir uns in Abschnitt 8.3 noch genauer beschäftigen).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 B. G. Teubner Verlagsgesellschaft Leipzig
About this chapter
Cite this chapter
Beckstein, C. (1996). Nicht-monotones Truth-Maintenance. In: Begründungsverwaltung. TEUBNER-TEXTE zur Informatik, vol 13. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-97617-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-97617-8_3
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-8154-2303-5
Online ISBN: 978-3-322-97617-8
eBook Packages: Springer Book Archive