برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods in Artificial Intelligence

دانلود کتاب روش‌های رسمی در هوش مصنوعی

مشخصات کتاب

Formal Methods in Artificial Intelligence

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش:  
نویسندگان: Ramsay A.M.  
سری: Cambridge Tracts in Theoretical Computer Science, Volume 6 
ISBN (شابک) : 0521352363, 9780521352369 
ناشر: CUP 
سال نشر: 1988 
تعداد صفحات: 290 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 44,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 3

در صورت تبدیل فایل کتاب Formal Methods in Artificial Intelligence به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی در هوش مصنوعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش‌های رسمی در هوش مصنوعی

هوش مصنوعی اخیراً در جستجوی زبان‌های بازنمایی دانش قدرتمند و در عین حال خوش رفتار به منطق رسمی روی آورده است. این کتاب پیشینه منطق کلاسیک، از جمله فرا قضایای اصلی، و وضعیت هنر در اثبات قضیه از جمله روش اتصال بیبل را پوشش می‌دهد. همچنین انطباق‌های پیشرفته‌ای از منطق کلاسیک که اکنون در هوش مصنوعی مورد استفاده قرار می‌گیرند - منطق‌های زمانی و مودال، نگهداری دلیل و منطق هدفمند نیز پوشش داده شده‌اند. این کتاب برای اولین بار در سال 1988 منتشر شد، این کتاب طیف وسیع تری از موضوعات را در مقایسه با کتاب های موجود در حال حاضر در این زمینه پوشش می دهد و مستقیماً متوجه کارگران هوش مصنوعی است.

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

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.