Zusammenfassung
Schon der Name “Nichtmonotone Logik(en)” mag Unbehagen einflößen. Man ist froh, endlich die formalen Hürden klassischer Logik genommen zu haben, hat ihre Formalismen verinnerlicht und weiß vielleicht sogar ihre Klarheit und verlässliche Stärke zu schätzen – wozu sich also nun mit einem Thema beschäftigen, das wie eine abstruse und höchst artifizielle Spielart der “normalen” Logik klingt?
Um die Denk- und Schlussweisen der Aussagen- und Prädikatenlogik nachzuvollziehen, ist es notwendig, Gedankengänge zu disziplinieren und sie formalen Gesetzmäßigkeiten anzupassen.
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
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Beierle, C., Kern-Isberner, G. (2014). Truth Maintenance-Systeme. In: Methoden wissensbasierter Systeme. Computational Intelligence. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-8348-2300-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-8348-2300-7_7
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-8348-1896-6
Online ISBN: 978-3-8348-2300-7
eBook Packages: Computer Science and Engineering (German Language)