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?
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Beierle, C., Kern-Isberner, G. (2000). Nichtmonotones Schließen I — Truth Maintenance-Systeme. In: Methoden wissensbasierter Systeme. Computational Intelligence. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-92926-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-92926-6_7
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05723-7
Online ISBN: 978-3-322-92926-6
eBook Packages: Springer Book Archive