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