دانلود کتاب Formal Methods in Artificial Intelligence (به فارسی: روش‌های رسمی در هوش مصنوعی) نوشته شده توسط «Allan M. Ramsay»
اطلاعات کتاب روش‌های رسمی در هوش مصنوعی
موضوع اصلی: سایبرنتیک: هوش مصنوعی
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: Allan M. Ramsay
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1988
تعداد صفحه: 288
حجم کتاب: 10 مگابایت
کد کتاب: 9780521352369 , 0-521-352363
توضیحات کتاب روش‌های رسمی در هوش مصنوعی
هوش مصنوعی اخیراً در جستجوی زبان‌های بازنمایی دانش قدرتمند و در عین حال خوش رفتار به منطق رسمی روی آورده است. این کتاب پیشینه منطق کلاسیک، از جمله فرا قضایای اصلی، و وضعیت هنر در اثبات قضیه از جمله روش اتصال بیبل را پوشش می‌دهد. همچنین اقتباس‌های پیشرفته‌ای از منطق کلاسیک که اکنون در هوش مصنوعی مورد استفاده قرار می‌گیرند – منطق‌های زمانی و مودال، حفظ دلیل و منطق هدفمند نیز پوشش داده شده‌اند. این کتاب طیف وسیع تری از موضوعات را نسبت به کتاب های موجود در این زمینه در بر می گیرد و مستقیماً به کارگران در هوش مصنوعی می پردازد.
دانلود کتاب «روش‌های رسمی در هوش مصنوعی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.