Defaults in deduktiven Datenbanken

Kapitel 5Semantik von DefaultsIn diesem Kapitel werden nun verschiedene konkrete Vorschläge für die Semantik vonDefaults angegeben.Es wird dabei jeweils untersucht, welche der Eigenschaften aus dem letzten Kapitelfür beliebige Default-Spezifikationen garantiert werden können.Außerdem ist auch die Ausdrucksfähigkeit der Semantiken interessant, d.h. die Frage,welche Vervollständigungen durch geeignete Default-Spezifikationen beschrieben werdenkönnen. Zwischen diesen beiden Zielen gibt es natürlich einen Konflikt: Je mehr Vervollständigungenbeschrieben werden können, desto weniger Eigenschaften können garantiertwerden.Natürlich werden die verschiedenen Semantiken auch verglichen, insbesondere gibtes Resultate der Form, daß eine Semantik grundsätzlich eine stärkere Vervollständigungliefert als eine andere.Schließlich ist es möglich, Default-Semantiken durch Eigenschaften zu charakterisieren.Damit wird die eingangs gestellte Frage, welche Vervollständigung einer Default-Spezifikation zugeordnet werden sollte, zumindest relativ zu einer Menge von Eigenschaftenbeantwortet.5.1 Minimale ModelleDie Idee der minimalen Modelle ist, daß ein Modell um so besser ist, je mehr Defaults eserfüllt. Aus den durch die Axiome eingeschränkten Modellen wählt man dann die bestenaus.Tatsächlich kann man minimale Modelle aber auch unabhängig von Defaults betrachten,man braucht nur eine (strikte) partielle Ordnung auf den Herbrand-Interpretationen,d.h. eine transitive und irreflexive zweistellige Relation.Ist etwa I 1 ≺ I 2 , so hält man die durch I 1 beschriebene Situation für plausibler als I 2 .Beispielsweise könnten sich I 1 und I 2 dadurch unterscheiden, daß der Vogel tweety in I 1fliegen kann, aber nicht in I 2 . Da Vögel normalerweise fliegen können, würde man I 1 vorziehen,wenn die Axiome beide Situationen zulassen. Ist dagegen explizit die Information89