Advertisement

Truth Maintenance-Systeme

  • Christoph BeierleEmail author
  • Gabriele Kern-Isberner
Chapter
Part of the Computational Intelligence book series (CI)

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?

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019

Authors and Affiliations

  1. 1.Fakultät für Mathematik und InformatikFernUniversität HagenHagenDeutschland
  2. 2.Fakultät für InformatikTechnische Universität DortmundDortmundDeutschland

Personalised recommendations