هوش مصنوعی

دوره‌های دانشگاهی
25 جلسه

سرفصل‌ها

در اين درس جنبه هایی از هوشمندی نظير حل مساله، توانایی ذخيره دانش و استنتاج و همچنين برنامه ريزی مورد بررسی قرار خواهد گرفت. از آنجاکه دسته گسترده ای از مسائل می توانند در قالب مساله جستجو بيان شوند، ابتدا در مورد استفاده از روشهای جستجو برای حل مسائل بحث خواهد شد. همچنين چگونگی استفاده از دانش خاص يک مساله (يا دسته ای از مسائل) جهت بهبود زمان جستجو بررسی می شود. ذخيره دانش و استنتاج نيز بخش ديگری از توانایی عاملهای هوشمند است که در اين درس به آن پرداخته خواهد شد. در اين خصوص به منطق گزاره ای، مرتبه اول و منطق احتمالاتی و چگونگی استنتاج در اين منطق ها می پردازيم. همچنين درباره مبحث برنامه ريزی که هدف آن يافتن برنامه ای از کنشها برای رسيدن به اهداف است، صحبت خواهد شد.
مدرس دوره
مهدیه سلیمانی
دکتر سلیمانی استادیار دانشکده کامپیوتر دانشگاه صنعتی شریف است.وی مدرک کارشناسی، کارشناسی ارشد و دکتری خود را در رشته مهندسی کامپیوتر از دانشگاه صنعتی شریف دریافت کرده و در موضوعات یادگیری ماشین، الگوشناسی، بازیابی و جستجوی اطلاعات، سیستم های هوشمند تحقیق و پژوهش داشته است.
فیلم های آموزشی
ساعت
29:28 ساعت
Combined Shape Created with Sketch. 25 جلسه
نمره‌ی شما: 0
جلسه اول - مقدمه، سرفصل مطالب و تاریخچه
"75:04
جلسه دوم - آشنایی با عامل های هوشمند و خواص محیط
"76:36
جلسه سوم - ادامه بحث عامل های هوشمند، شروع بحث حل مساله با جستجو (search)
"74:09
جلسه چهارم - روش های جستجوی ناآگاهانه (uninformed)
"76:23
جلسه پنجم - ادامه روش های جستجوی ناآگاهانه (uninformded) و معرفی اولیه A*
"70:26
جلسه ششم - الگوریتم *A، اثبات بهینگی و خواص تابع اکتشافی (heuristic function)
"67:22
جلسه هفتم - طراحی تابع اکتشافی و شروع بحث جستجوی محلی (local search)
"73:53
جلسه هشتم - روش‌های جستجوی محلی (local search)
"71:29
جلسه نهم - جستجو در محیط های نيمه مشاهده‌پذير (partially observable) و و غير قطعی (non-deterministic)
"77:57
جلسه دهم - جستجوی برخط (online search)
"20:01
جلسه یازدهم - - جستجوی در مقابل حریف (adversarial search)
"68:55
جلسه دوازدهم - ادامه بحث جستجوی در مقابل حریف، شروع بحث معرفی مسایل ارضا محدودیت (csp)
"73:17
جلسه سیزدهم - حل مسایل ارضای محدودیت (csp) (1)
"74:15
جلسه چهاردهم - حل مسایل ارضای محدودیت (csp) (2)
"71:49
جلسه پانزدهم - نکاتی در حل مسایل ارضای محدودیت (csp) و شروع بحث عامل‌های منطقی و منطق گزاره‌ای
"72:09
جلسه شانزدهم - استنتاج در منطق گزاره‌ای
"74:09
جلسه هفدهم - عامل منطقی و منطق مرتبه اول
"73:24
جلسه هجدهم - منطق مرتبه اول و استنتاج در منطق مرتبه اول
"58:30
جلسه نوزدهم - استنتاج در منطق مرتبه اول
"74:14
جلسه بیستم - برنامه ریزی
"74:29
جلسه بیست و یکم - گراف برنامه ریزی
"78:10
جلسه بیست ودوم - برنامه ریزSAT Plan و pop
"74:32
جلسه بیست و سوم - نمایش دانش احتمالی و استنتاج در دانش احتمالی
"76:49
جلسه بیست و چهارم -
"72:59
جلسه بیست و پنجم - تصمیم گیری در محیط های غیر قطعی(یادگیری تقویتی)
"67:30