لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : .ppt ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 41 اسلاید
قسمتی از متن .ppt :
هوش مصنوعی (عامل های منطقی- منطق گزاره‌ای)
هوش مصنوعی Artificial Intelligence
فهرست
عاملهای مبتنی بر دانش
منطق
منطق گزاره ای
الگوهای استدلال در منطق گزاره ای
الگوریتم resolution
زنجیر پیشرو و عقبگرد
عاملهای منطقی
قوانین استنتاج در منطق گزاره ای
قوانین استنتاج: الگوهایی استاندارد که زنجیره ای از نتایج را برای رسیدن به هدف ایجاد میکند
قانون حذف استلزام یا modus ponens
قانون حذف عطف
قانون معرفی عطف
قانون معرفی فصل
قانون حذف دو منفی
قانون اثبات واحد یا resolution واحد
قانون اثبات یا resolution
1- قانون حذف استلزام یا Modus Ponens
عبارت زیر یعنی از α=>β و α میتوان β را استنتاج کرد.
مثلاً میتوان از
(WumpusAhead ^ WumpusAlive)
و
(WumpusAhead ^ WumpusAlive) => Shoot
Shoot را استنتاج کرد
2- قانون حذف عطف
هر عطف را میتوان از ترکیب عطفی استنتاج کرد
مثال: WumpusAlive را میتوان از جمله زیر استنتاج کرد
(WumpusAhead ^ WumpusAlive)
