Begründungsverwaltung: Grundlagen, Systeme und Algorithmen: XTEUBNER-TEXTE zur Informatik, cartea 18

1 Einleitung.- 2 Generisches Truth-Maintenance.- 3 Nicht-monotones Truth-Maintenance.- 4 Logisches Truth-Maintenance.- 5 Annahmen-basiertes Truth-Maintenance — Grundlagen.- 6 Annahmen-basiertes Truth-Maintenance — Erweiterungen.- 7 Annahmen-basiertes Truth-Maintenance — Consumer.- 8 Verteiltes Truth-Maintenance.- 9 Zusammenfassung.- Verzeichnis der Algorithmen.

Inhalt Viele Problemlösungssysteme verwenden eine Wissensbasis, in der Wissen über die Welt deklarativ repräsentiert ist. Ein Teil des zur Problemlösung notwendigen Wissens wird dort explizit gespeichert. Der andere Teil liegt lediglich implizit vor und wird vom Problemlöser erst während der Problemlösung über Schlußfolgerungsprozesse expliziert und in der Wissensbasis aufgehoben. Diese Vorgehensweise wird jedoch zum Problem, sobald sich die repräsentierte Welt ändert, da dann die Wissensbasis entsprechend revidiert werden muß und insbesondere die abgeleiteten Sachverhalte auf ihre Gültigkeit hin zu überprüfen sind. Ist doch deren Status davon abhängig, ob das zu ihrer Ableitung verwendete Wissen auch nach der Weltänderung noch gültig ist. Die Revision der Wissensbasis wird wesentlich vereinfacht, ja sogar (teil-)automatisierbar, wenn man in ihr zusätzlich festhält, wie die abgeleiteten Sachverhalte vom expliziten Wissen abhängen. Da die Verwaltung von Begründungen zur Repräsentation dieser Abhängigkeiten jedoch eine komplexe Aufgabe ist, überträgt man sie besser einem spezialisierten und damit effizienten, wiederverwendbaren Begründungsverwaltungssystem. Die Architektur und die formalen Grundlagen solcher Systeme sind Gegenstand des vorliegenden Buches. Es kann damit einerseits als Übersichtswerk zum Thema Begründungsverwaltung und andererseits als Referenz für die Implementierung anwendungs-spezifischer Begründungsverwaltungssysteme angesehen werden.