مشخصات کتاب

Begründungsverwaltung: Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings

ویرایش: 1 
نویسندگان: Michael Reinfrank (auth.),  Herbert Stoyan (eds.)  
سری: Informatik-Fachberichte 162 
ISBN (شابک) : 9783540188537, 9783642733857 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1988 
تعداد صفحات: 160 
زبان: English-German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

کلمات کلیدی مربوط به کتاب Reason Management: Contributions to a Workshop on Reason Maintenance برلین، 9 اکتبر 1986 مجموعه مقالات: هوش مصنوعی (شامل رباتیک)

در صورت تبدیل فایل کتاب Begründungsverwaltung: Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Reason Management: Contributions to a Workshop on Reason Maintenance برلین، 9 اکتبر 1986 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Reason Management: Contributions to a Workshop on Reason Maintenance برلین، 9 اکتبر 1986 مجموعه مقالات

این کتاب شامل شرح‌های مکتوب سخنرانی‌هایی است که در کارگاه آموزشی در مورد تعمیر و نگهداری دلیل در 9 اکتبر 1986 ارائه شده است. منظور از اصطلاح مدیریت دلیل به عنوان ترجمه حفظ دلیل، بیان همزمانی جنبه های ذخیره و حفظ دلایل و حفظ اعتبار گزاره ها بر اساس دلایل معتبر است. Reason Maintenance ادامه و تعمیم Truth Maintenance است. سیستم های نگهداری حقیقت، سیستم های برنامه ای هستند که خاطرات عباراتی را که عمدتاً فقط در سطح بیانیه-منطقی رسمی می شوند، پیاده سازی می کنند. شما مجموعه ای از اظهارات و ارزیابی آنها را مدیریت می کنید. مفروضات و پیامدهای ساده ناشی از آنها به گونه ای حفظ می شوند که مجموعه ای ثابت از اظهارات را می توان در هر مقطع زمانی خاص تشخیص داد. تکنیک مورد استفاده برای دستیابی به این هدف، نمایش روابط بین عبارات و حفظ مقدمات، مفاهیم و قواعد استنتاجی است که برای استخراج یک گزاره خاص استفاده شده است. بنابراین هدف این سیستم ها حفظ ثبات از طریق مدیریت توجیه است. کار حاضر نشان دهنده وضعیت دانش آلمان در این زمینه از هوش مصنوعی است که بر رویکرد دکلیر تأکید دارد. بنابراین، این جلد خواننده را با نتایج مهم تحقیقاتی فعلی آشنا می کند.

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Front Matter....Pages N2-vii
Reason Maintenance Systems....Pages 1-26
An Integrated Non-Monotonic Deduction and Reason Maintenance System....Pages 27-62
Assumption-based Truth Maintenance....Pages 63-85
RMSAI Ein Reason Maintenance System für approximative Inferenzen....Pages 86-110
CMS (Consistency Maintenance System): Ein Interpreter für konsistenzerhaltende Prozeduren....Pages 111-153
Back Matter....Pages 155-155

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Advanced Calculus

دانلود کتاب Kadın Doğum

دانلود کتاب Transforming Performance Anxiety Treatment: Using Cognitive Hypnotherapy and EMDR

دانلود کتاب The Story of the Persian War from Herodotus, Illustrated Edition

دانلود کتاب Электротехнический справочник. Использование электрической энергии. Т.4