Der Mechanismus, aus typischen oder vermuteten Informationen widerlegbare Schlussfolgerungen zu ziehen, sofern keine gegenteiligen Belege vorliegen; Schlussfolgerungen gelten standardmäßig, bis sie widersprochen werden.

Prinzip

Default-Regeln drücken Normalität mit einer Anwendbarkeitsbedingung und einer Konsequenz aus; Konflikte werden durch Spezifität, Rangordnung oder Konsistenzprüfungen gelöst, sodass Ausnahmen die Anwendung des Defaults blockieren.

Demonstration

Gegeben die Default-Regel „Normalerweise fliegen Vögel“, schließt ein Agent, dass ein Vogel v fliegt, wenn nur bekannt ist, dass v ein Vogel ist; wird später bekannt, dass v ein Pinguin ist, wird der Default blockiert und die Schlussfolgerung zurückgenommen.

Fehlanwendung

Defaults anwenden, obwohl explizite Informationen über Ausnahmen vorliegen, oder inkompatible Defaults unkontrolliert verknüpfen ohne Konfliktlösungsmechanismus, was zu unzulässigen oder irrelevanten Schlussfolgerungen führt.

Konsequenz

Ermöglicht kompakte Wissensrepräsentationen und plausibles Schließen bei unvollständiger Information, sodass Systeme in Routinesituationen ohne vollständige Ausnahmelisten sinnvoll handeln.

Umkehrung

Striktes logisches Schließen ohne Default-Regeln: Es werden nur Schlussfolgerungen akzeptiert, die sich deduktiv aus den Prämissen ergeben; Annahmen auf Basis von Typicalität sind ausgeschlossen.

Abgrenzung

Umfasst formale Rahmenwerke, die Defaults kodieren (z. B. Reiter-Style Default-Logik, defeasible Regelwerke, priorisierte Defaults); ist nicht gleichzusetzen mit statistischer Generalisierung oder Wahrscheinlichkeitszuweisungen, kann aber damit kombiniert werden.

Semantische Spannung

Spannung zwischen Default-Schlüssen (kategorial, aber widerrufbar) und probabilistischen Verallgemeinerungen (graduelle Wahrscheinlichkeiten); zudem Spannung zu regelbasierten normativen Systemen, in denen Ausnahmen explizite Verpflichtungen und keine widerlegbaren Fakten sind.

Synthese

Default-Schlussfolgerung ist die Anwendung typicalitätsbeladener Regeln zur Herleitung plausibler Schlüsse bei fehlenden Gegenbelegen, gesteuert durch Prioritäten und Blockierungsbedingungen zur Behandlung von Ausnahmen.