Begründungsverwaltung

1. Front Matter

   Pages 1-10

   PDF

2. Einleitung

   • Clemens Beckstein

   Pages 11-29

   PDF

3. Generisches Truth-Maintenance

   • Clemens Beckstein

   Pages 31-78

   PDF

4. Nicht-monotones Truth-Maintenance

   • Clemens Beckstein

   Pages 79-113

   PDF

5. Logisches Truth-Maintenance

   • Clemens Beckstein

   Pages 115-168

   PDF

6. Annahmen-basiertes Truth-Maintenance — Grundlagen

   • Clemens Beckstein

   Pages 169-228

   PDF

7. Annahmen-basiertes Truth-Maintenance — Erweiterungen

   • Clemens Beckstein

   Pages 229-258

   PDF

8. Annahmen-basiertes Truth-Maintenance — Consumer

   • Clemens Beckstein

   Pages 259-293

   PDF

9. Verteiltes Truth-Maintenance

   • Clemens Beckstein

   Pages 295-328

   PDF

10. Zusammenfassung

    • Clemens Beckstein

    Pages 329-334

    PDF

11. Back Matter

    Pages 335-371

    PDF

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.

• Algorithmen
• Arbeit
• Einheit
• Systeme

• Friedrich-Schiller-Universität Jena, Jena, Deutschland

  Clemens Beckstein

Policies and ethics