عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642733859
شابک
9783642733857
شماره کتابشناسی ملی
شماره
b565314
عنوان و نام پديدآور
عنوان اصلي
Begründungsverwaltung :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings
نام نخستين پديدآور
edited by Herbert Stoyan.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
(vii, 153 pages)
فروست
عنوان فروست
Subreihe Künstliche Intelligenz, 162.
یادداشتهای مربوط به مندرجات
متن يادداشت
Inhaltsübersicht: M. Reinfrank: Reason Maintenance Systems --; M. Reinfrank, H. Freitag: An Integrated Non-Monotonic and Reason Maintenance System --; O. Dressler: Assumption-Based Truth Maintenance --; M. Werner: RMSAI --; Ein Reason Maintenance System für approximative Inferenzen --; F. di Primio: CMS (Consistency Maintenance System) --; Ein Interpreter für konsistenzerhaltende Prozeduren.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer science.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Herbert Stoyan.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Herbert Stoyan
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
