Marcus Aurelius [Book]

wird bald alle Probleme vorerst beheben

Reason Maintenance[1][2] ist ein Wissensrepräsentationsansatz für den effizienten Umgang mit abgeleiteten Informationen, die explizit gespeichert sind. Bei der Begründungserhaltung wird zwischen Basisfakten, die bekämpft werden können, und abgeleiteten Fakten unterschieden. Als solches unterscheidet es sich von der Glaubensrevision, die in ihrer Grundform davon ausgeht, dass alle Fakten gleich wichtig sind. Reason Maintenance wurde ursprünglich als Technik zur Implementierung von Problemlösern entwickelt.[2] Es umfasst eine Vielzahl von Techniken, die eine gemeinsame Architektur aufweisen:[3] Zwei Komponenten – ein Reasoner und ein Reason Maintenance System – kommunizieren über eine Schnittstelle miteinander. Der Reasoner verwendet das Reason-Maintenance-System, um seine Schlussfolgerungen und Rechtfertigungen ("Gründe" für) der Schlussfolgerungen aufzuzeichnen. Der Reasoner teilt dem Reason-Maintenance-System auch mit, welche aktuell gültigen Basisfakten (Annahmen) sind. Das Grundverwaltungssystem verwendet die Informationen, um den Wahrheitswert der gespeicherten abgeleiteten Tatsachen zu berechnen und die Konsistenz wiederherzustellen, wenn eine Inkonsistenz abgeleitet wird.

Ein Wahrheitserhaltungssystem oder TMS ist eine Wissensdarstellungsmethode zum Darstellen sowohl von Überzeugungen als auch ihrer Abhängigkeiten und eines Algorithmus, der als "Wahrheitserhaltungsalgorithmus" bezeichnet wird, der die Abhängigkeiten manipuliert und aufrechterhält. Der Name Truth Maintenance ist auf die Fähigkeit dieser Systeme zurückzuführen, Konsistenz wiederherzustellen.