دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven (auth.), Thomas Christaller (eds.) سری: Informatik-Fachberichte 202 ISBN (شابک) : 9783540508847, 9783642837395 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1989 تعداد صفحات: 410 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 33 مگابایت
کلمات کلیدی مربوط به کتاب هوش مصنوعی: پنجمین مدرسه بهار، KIFS-87، Günne، 28 مارس - 5 آوریل 1987 مجموعه مقالات: هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Künstliche Intelligenz: 5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی: پنجمین مدرسه بهار، KIFS-87، Günne، 28 مارس - 5 آوریل 1987 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد شامل گزارش های ویرایش شده دروس تدریس شده در مدرسه بهار 1987 KI است. مدرسه بهار هوش مصنوعی 1987، KIFS-87، پنجمین مجموعه از مدارس بهاری هوش مصنوعی است که از سال 1982 توسط کمیته فنی 1.2 Gesellschaft für Informatik (GI) سازماندهی شده است. وظیفه KIFS ارائه دورههای مقدماتی در حوزههای زیرمجموعه هوش مصنوعی و دورههای پیشرفتهتر عمیقتر در حوزههای تخصصی فعلی است. این مجموعه با حوزه های برنامه نویسی منطقی، کسب دانش و سیستم های مربی هوشمند و سیستم های اعتقادی سروکار دارد. هدف کتاب تکمیل مجلدات KIFS موجود با رویکرد آموزشی به موضوعات این حوزه ها است.
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Front Matter....Pages N2-vii
Methodik des Programmierens in Prolog....Pages 1-28
Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung....Pages 29-41
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs....Pages 42-64
Many-Sorted Resolution....Pages 65-102
Wissensrepräsentation....Pages 103-156
Neuere KI-Formalismen zur Repräsentation von Wissen Eine Fallstudie....Pages 157-187
Nichtmonotone Logiken Ein einführender Überblick....Pages 188-217
Formalizing Local Constraint Propagation Methods....Pages 218-260
Knowledge Engineering mit einer Expertensystem-Shell....Pages 261-294
Techniken des Wissenserwerbs....Pages 295-335
Tutors, Instructions and Helps....Pages 336-385
Belief Systems: Ascribing Belief....Pages 386-403
Back Matter....Pages 405-405