Methoden wissensbasierter Systeme pp 230-264 | Cite as
Nichtmonotones Schließen II — Default-Logiken
Chapter
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.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 2000