دانلود کتاب Formal Methods in Artificial Intelligence
49,000 تومان
روشهای رسمی در هوش مصنوعی
| موضوع اصلی | سایبرنتیک: هوش مصنوعی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 288 |
| حجم فایل | 10 مگابایت |
| کد کتاب | 9780521352369,0521352363 |
| نویسنده | Allan M. Ramsay |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1988 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای رسمی در هوش مصنوعی
هوش مصنوعی اخیراً در جستجوی زبانهای بازنمایی دانش قدرتمند و در عین حال خوش رفتار به منطق رسمی روی آورده است. این کتاب پیشینه منطق کلاسیک، از جمله فرا قضایای اصلی، و وضعیت هنر در اثبات قضیه از جمله روش اتصال بیبل را پوشش میدهد. همچنین اقتباسهای پیشرفتهای از منطق کلاسیک که اکنون در هوش مصنوعی مورد استفاده قرار میگیرند – منطقهای زمانی و مودال، حفظ دلیل و منطق هدفمند نیز پوشش داده شدهاند. این کتاب طیف وسیع تری از موضوعات را نسبت به کتاب های موجود در این زمینه در بر می گیرد و مستقیماً به کارگران در هوش مصنوعی می پردازد.
Formal Methods in Artificial Intelligence
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 maintainance and intensional logic. 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.