Begrndungsverwaltung Grundlagen, Systeme und Algorithmen [Paperback]

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.Springer Book Archives