Begründungsverwaltung: Grundlagen, Systeme Und Algorithmen [German]

By: H. Beckstein, Clemes

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.

• Format: Paperback
• Language: German
• ISBN: 3815423031
• ISBN13: 9783815423035
• Release Date: August 1996
• Publisher: Vieweg+teubner Verlag
• Length: 371 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.8" x 6.7" x 9.6"