اسلایدهای درس هوش مصنوعی

اسلایدهای درس هوش مصنوعی

توضیحات:

اسلایدهای درس هوش مصنوعی، شامل 7 فایل پاورپوینت و 263 اسلاید.

اسلایدها در مقطع کارشناسی کامپیوتر تدریس شده است. این مجموعه شامل 7 فایل پاورپوینت به شرح زیر است:

فایل 1- مقدمه: شامل تعریف های ارائه شده برای هوش مصنوعی می باشد. (9 اسلاید)

فایل2- عاملهای هوشمند (Intelligent Agents) 26 اسلاید شامل مباحث زیر می باشد:
- عاملها و محیطها
- عقلانیت
- محیط کار (PEAS)
- انواع محیط
- ساختار عاملها

فایل3- جستجوهای ناآگاهانه (Blind Search) که حاوی 57 اسلاید با موارد زیر است:
- عاملهای حل مسئله
- تعریف مسئله
- مسائل نمونه
- جستجوی راه حل
- الگوریتم های جستجوی ناآگاهانه
+ جستجوی اول سطح (Breadth-first search)
+ جستجوی هزینه یکنواخت (Uniform-cost search)
+ جستجوی اول عمق (Depth-first search)
+ جستجوی عمق محدود (Depth-limited search)
+ جستجوی عمقی تکرار شونده (Iterative deepening search)
+ جستجوی دو طرفه (Bidirectional Search)
- حالتهای تکراری
- جستجو با اطلاعات ناقص

فایل4- جستجوهای آگاهانه (Informed Search) که 44 اسلاید با مباحث زیر است:
- جستجوی اول بهترین Best-first search
+ جستجوی اول بهترین حریصانه Greedy best-first search
+ A* search
- جستجوی با حافضه محدود شده Memory Bounded Search
+ جستجوی *Iterative Deepening A
+ جستجوی *Simplified Memory bounded A
- توابع هیوریستیک
- الگوریتمهای جستجوی محلی و مسائل بهینه سازی
+ Hill-climbing search
+ Simulated annealing search
+ Local beam search
+ Genetic algorithms

فایل5- مسائل ارضای محدودیت که شامل 31 اسلاید با سرفصل زیر است:
- مسائل ارضای محدودیت
- جستجوی پس گرد در CSPs
- جستجوی محلی در CSPs

فایل6- جستجوی تخاصمی که حاوی 30 اسلاید با مطالب زیر است:
- تصمیمهای بهینه در بازیها
- هرس آلفا-بتا (α-β)
- تصمیمهای بلادرنگ ناقص

فایل7- عامل های منطقی که دارای 66 اسلاید با مطالب زیر است:
- عاملهای مبتنی بر دانش
- دنیای ومپوز
- منطق
- منطق گزاره ای (Propositional (Boolean) logic)
- الگوهای استدلال در منطق گزاره ای
+ forward chaining
+ backward chaining
+ Resolution
- استنتاج گزاره ای موثر در منطق گزاره ای
+ الگوریتم های موثر در استنتاج گزاره ای مبتنی بر وارسی مدل (روش مبتنی بر جستجوی پس گرد کامل)
+ الگوریتم DPLL (Davis, Putnam, Logemann, Loveland)
( روش مبتنی بر جستجوی تپه نوردی ناکامل- الگوریتم WalkSAT )