Begründungsverwaltung: Grundlagen, Systeme Und Algorithmen

Es ist nun beinahe f?nfzehn Jahre her, da Jon Doyle mit seiner Master's Thesis den Grundstein f?r 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 ausgedr?ckt hat. In neueren Publikationen l? t sich zwar ein klarer Trend hin zu Beschreibungen von Truth-Maintenance-Systemen erkennen, die formale Aussagen ?ber die Systeme erm?glichen; jedoch gibt es bis heute keinen formalen Apparat, mit dem alle diese Systeme einheitlich im Hinblick auf eine sp?tere Implementierung beschreibbar w?ren. Die vorliegende Arbeit versucht, dieses Defizit f?r 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 ?berarbeiteter Form im Winter- semester 92/93 an der Universit?t Erlangen-N?rnberg sowie im Wintersemester 95/96 an der Universit?t Jena gehalten habe. Mein erster Dank gilt deshalb je- nen, die in vorderster Linie geholfen haben, diese Vorlesung zu einem Erfolg zu machen - meinen Studenten.

Author: Clemes H. Beckstein

Publisher: Vieweg?? Verlag

Publication Date: Aug 01, 1996

Number of Pages: 371 pages

Binding: Paperback or Softback

ISBN-10: 3815423031

ISBN-13: 9783815423035