Nichtmonotones Schließen II — Default-Logiken

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.