دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 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 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب شامل شرحهای مکتوب سخنرانیهایی است که در کارگاه آموزشی در مورد تعمیر و نگهداری دلیل در 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