Begründungsverwaltung: Grundlagen, Systeme Und Algorithmen

ISBN-13: 9783815423035 / Niemiecki / Miękka / 1996 / 371 str.

Clemes H. Beckstein; Clemes H. Beckstein

Opis

Es ist nun beinahe funfzehn Jahre her, dass Jon Doyle mit seiner Master's Thesis den Grundstein fur eine ganze Reihe unterschiedlicher Systeme legte, die alle als Truth-Maintenance-Systeme bezeichnet werden. Die Mehrzahl dieser Systeme wurde allerdings nur prozedural, ohne eine begleitende formale Untersuchung ihrer Eigenschaften vorgestellt - "at a time we weren't so formal and logical," wie es Johan de Kleer einmal ausgedruckt hat. In neueren Publikationen lasst sich zwar ein klarer Trend hin zu Beschreibungen von Truth-Maintenance-Systemen erkennen, die formale Aussagen uber die Systeme ermoglichen; jedoch gibt es bis heute keinen formalen Apparat, mit dem alle diese Systeme einheitlich im Hinblick auf eine spatere Implementierung beschreibbar waren. Die vorliegende Arbeit versucht, dieses Defizit fur eine Teilklasse der Truth Maintenance-Systeme zu beseitigen: die sogenannten monotonen Truth-Mainte nance-Systeme. Ausgangspunkt war eine Spezial-Vorlesung, die ich erstmals im Wintersemester 91/92 und dann erneut in stark uberarbeiteter Form im Winter semester 92/93 an der Universitat Erlangen-Nurnberg sowie im Wintersemester 95/96 an der Universitat Jena gehalten habe. Mein erster Dank gilt deshalb je nen, die in vorderster Linie geholfen haben, diese Vorlesung zu einem Erfolg zu machen - meinen Studente

Spis treści

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.

Blurb

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.