Anzeige
Erschienen in:
2013 | OriginalPaper | Buchkapitel
11. Default-Logiken
verfasst von : Prof. Dr. Dr. Michael Schenke
Erschienen in: Logikkalküle in der Informatik
Verlag: Springer Fachmedien Wiesbaden
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Zusammenfassung
Während bei Truth Maintenance-Systemen die nichtmonotone Ableitung im Vordergrund steht und nichtmonotone Regeln dort eher als Mittel zum Zweck eingesetzt werden, stellen die unsicheren Regeln, Default-Regeln oder einfach Defaults genannt, in der Default-Logik das Rückgrat des Geschehens dar. Sie zeichnen sich dabei dadurch aus, dass sie Ausnahmen zulassen und daher nicht ganz allgemein sondern nur typischerweise gelten. Sie gelten, solange nicht das Gegenteil explizit bewiesen worden ist.
Es geht um ein (unter Umständen unendliches) Verfahren zur Ansammlung von Konsequenzen, immer abwechselnd vermöge klassischer Deduktion und vermöge Defaults. Die Suche wird auf ein Fixpunktproblem reduziert, und man kann vieles benutzen, was aus verschiedenen Fixpunkttheorien bekannt ist. Ein unter Umständen endliches Verfahren zur Bestimmung der Konsequenzen kann die Erstellung von Prozessbäumen liefern.