Skip to content

Begründungsverwaltung: Grundlagen, Systeme Und Algorithmen

Spend $50 to get a free movie!

ISBN-10: 3815423031

ISBN-13: 9783815423035

Edition: 1996

Authors: Clemes H. Beckstein

List price: $69.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…    
Customers also bought

Book details

List price: $69.99
Copyright year: 1996
Publisher: Springer Verlag
Binding: Paperback
Language: German