Zusammenfassung
Während bei Truth Maintenance-Systemen die nichtmonotone Ableitung im Vordergrund steht und nichtmonotone Regeln hier — eher unscheinbar — als ein Mittel zum Zweck eingesetzt werden, rücken diese unsicheren Regeln (defeasible rules) in der Default-Logik in den Mittelpunkt des Geschehens. Sie bekommen einen eigenen Namen, Default-Regel oder einfach Default, und ein ganz spezielles Aussehen. Es handelt sich dabei um
-
Regeln mit Ausnahmen, oder
-
Regeln, die im Allgemeinen, meistens oder typischerweise gelten, oder
-
Regeln, die gelten, solange nicht das Gegenteil explizit bewiesen worden ist.
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.
Referenzen
Beachten Sie hier die Parallelen zum Qualifikationsproblem (vgl. Abschnitte 3.1.1 und 10.4.2).
Rights and permissions
Copyright information
© 2003 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Beierle, C., Kern-Isberner, G. (2003). Default-Logiken. In: Methoden wissensbasierter Systeme. Computational Intelligence. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-05681-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-663-05681-2_8
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-15723-4
Online ISBN: 978-3-663-05681-2
eBook Packages: Springer Book Archive