مشاهده ویدیو قفل است
برای مشاهده مشاهده ویدیو، ابتدا این دوره را خریداری کنید.
الگوریتمهای استنتاجی، ارضاپذیری و دنیای ومپس
توضیحات
در جلسه یازدهم هوش مصنوعی استاد انصاری با عنوان «الگوریتمهای استنتاجی، ارضاپذیری و دنیای ومپس»، ادامه فصل هفتم درس هوش مصنوعی (عاملهای منطقی) تدریس میشود. سه مطلب مهم در این جلسه مورد بحث و بررسی قرار میگیرند: 1) الگوریتمهای استنتاجی 2) مسئله ارضاپذیری 3) دنیای ومپس (Wumpus). ابتدا الگوریتم رزولوشن شرح داده میشود. سپس 2 تست مهم هوش مصنوعی در خصوص این مطلب از کنکور کارشناسی ارشد مهندسی کامپیوتر یا فناوری اطلاعات مطرح شده و پاسخ تشریحی آنها ارائه میگردد. آنگاه کلازهای هورن و عبارات معین شرح داده میشود. سپس زنجیرهسازی جلورو و عقبرو با مثالهای متعدد تشریح شده و با جزئیات کامل مورد بحث قرار میگیرد. سپس استنتاج از طریق ارضاپذیری مطرح شده و الگوریتم DPLL ارائه میشود. پس از آن جستجوهای محلی و شبهکد آن ارائه میشود. آنگاه به سختی مسائل ارضاپذیری پرداخته شده و بعد از آن نوبت به دنیای ومپس در منطق گزارهای و شرح آن میرسد. اصول اولیه جهان، ادراک و اکشنها و نتایج آن از جمله مسائل مطرح شده در این خصوص خواهد بود.
برای مشاهده کامل این قسمت، دوره را تهیه کنید
پس از خرید، به همه قسمتهای این دوره دسترسی خواهید داشت.