دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
دانلود کتاب انواع و اقسام در هوش مصنوعی: کارگاه آموزشی ، ارینگرفلد ، FRG ، 24 تا 26 آوریل ، 1989
مشخصات کتاب
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
ویرایش: 1 نویسندگان: K. H. Bläsius, U. Hedtstück, C. -R. Rollinger (auth.), Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger (eds.) سری: Lecture Notes in Computer Science 418 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540523375, 9783540523376 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 618 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب انواع و اقسام در هوش مصنوعی: کارگاه آموزشی ، ارینگرفلد ، FRG ، 24 تا 26 آوریل ، 1989: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع و اقسام در هوش مصنوعی: کارگاه آموزشی ، ارینگرفلد ، FRG ، 24 تا 26 آوریل ، 1989 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع و اقسام در هوش مصنوعی: کارگاه آموزشی ، ارینگرفلد ، FRG ، 24 تا 26 آوریل ، 1989
هدف این کتاب بازتاب تحقیقات اساسی انجام شده در هوش مصنوعی در مورد انواع و اقسام آن است. مشارکت های اصلی از نمایش دانش و اثبات قضیه و انگیزه های مهم از "حوزه های کاربردی"، یعنی سیستم های زبان طبیعی (درک)، زبان شناسی محاسباتی و برنامه ریزی منطقی ناشی می شود. این کارگاه پژوهشگرانی از منطق، علوم کامپیوتر نظری، اثبات قضیه، بازنمایی دانش، زبان‌شناسی، برنامه‌نویسی منطقی و استدلال کیفی را گرد هم آورد.
توضیحاتی درمورد کتاب به خارجی
The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.
فهرست مطالب
Introduction....Pages 1-6
Order sorted predicate logic....Pages 7-17
Many-sorted inferences in automated theorem proving....Pages 18-48
Tableau calculus for order sorted logic....Pages 49-60
A calculus for order-sorted predicate logic with sort literals....Pages 61-72
Types, modules and databases in the logic programming language PROTOS-L....Pages 73-110
Representation and reasoning with attributive descriptions....Pages 111-139
Knowledge representation in LILOG....Pages 140-164
Structure and control of the L-LILOG Inference system....Pages 165-182
A general characterization of term description languages....Pages 183-189
Sorts in qualitative reasoning....Pages 190-207
Eventualities in a natural language understanding system....Pages 208-239
What KL-ONE lookalikes need to cope with natural language....Pages 240-285
Functor-argument structures for the meaning of natural language sentences and their formal interpretation....Pages 286-304
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Darius the Great
دانلود کتاب Basic Audio - VOL 1
دانلود کتاب Parallel Scientific Computing: First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
