Auszug
Schon der Name “Nichtmonotone Logik(en)” mag Unbehagen einflößeßn. Man ist froh, endlich die formalen Hürden klassischer Logik genommen zu haben, hat ihre Formalismen verinnerlicht und weiä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.
Rights and permissions
Copyright information
© 2006 Friedr. Vieweg & Sohn Verlagsgesellschaft ∣ GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
(2006). Truth Maintenance-Systeme. In: Methoden wissensbasierter Systeme. Vieweg. https://doi.org/10.1007/978-3-8348-9116-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9116-7_7
Publisher Name: Vieweg
Print ISBN: 978-3-8348-0010-7
Online ISBN: 978-3-8348-9116-7
eBook Packages: Computer Science and Engineering (German Language)