Advertisement

Truth Maintenance-Systeme

Chapter
  • 941 Downloads

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?

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft ∣ GWV Fachverlage GmbH, Wiesbaden 2006

Personalised recommendations