Advertisement

Generisches Truth-Maintenance

  • Clemens Beckstein
Chapter
  • 18 Downloads
Part of the TEUBNER-TEXTE zur Informatik book series (volume 13)

Zusammenfassung

Bevor wir uns dem Studium konkreter Truth-Maintenance-Systeme zuwenden, wollen wir uns in diesem Kapitel einen Begriffsapparat bauen, mit dem alle bekannten monotonen Truth-Maintenance-Systeme einheitlich beschreibbar sind. Dieser Begriffsapparat soll eine Spezifikation der Schnittstelle zwischen Problemlöser und TMS sowie des Kenntnisstands des TMS ermöglichen und Eckpfeiler für die Implementierung konkreter monotoner Truth-Maintenance-Systeme setzen. Deshalb reden wir im Zusammenhang mit diesem Begriffsapparat auch von generischem Truth-Maintenance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1996

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Friedrich-Schiller-Universität JenaJenaDeutschland

Personalised recommendations