nicht monotone Logik (Informatik)

nicht monotone Logik, insbesondere für Anwendungen in der Informatik und in der künstlichen Intelligenz wichtige Erweiterung der üblichen (klassischen) Logik, in der aufgrund neuer Ausgangsinformationen eine »Rücknahme« von zuvor erlaubten Schlussfolgerungen möglich ist. Von besonderer Bedeutung ist die Formalisierung des Schließens »bis zum Beweis des Gegenteils« in