تبلیغات
هوش مصنوعی - استدلال خودکار
 
هوش مصنوعی
 
 
دوشنبه 13 شهریور 1391 :: نویسنده : sh mirzaei

 

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

در حال حاضر توسعه‌یافته‌ترین زیرشاخه این علم اثبات قضیه خودکار و بررسی برهان خودکار هستند. نرم‌افزارهای اثبات قضیه خودکار قادرند برخی مسائل و قضایای ریاضی را اثبات نمایند و حتی در مواردی موفق به کشف اثبات‌های کوتاهتر برای برخی از قضایای ریاضی شده‌اند.

 

برای گذراندن دوره های تخصصی برنامه نویسی و شبکه به شرکت بین المللی اموزش علوم و فناوری اطلاعات سروش سپاهان ( سیتکو) مراجعه نمایید



نوع مطلب :
برچسب ها :




درباره وبلاگ



مدیر وبلاگ : sh mirzaei
نویسندگان
جستجو

آمار وبلاگ
کل بازدید :
بازدید امروز :
بازدید دیروز :
بازدید این ماه :
بازدید ماه قبل :
تعداد نویسندگان :
تعداد کل پست ها :
آخرین بازدید :
آخرین بروز رسانی :