Advertisement
Published in:
2013 | OriginalPaper | Chapter
11. Default-Logiken
Author : Prof. Dr. Dr. Michael Schenke
Published in: Logikkalküle in der Informatik
Publisher: Springer Fachmedien Wiesbaden
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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.