پاورپوینت الگوریتم resolution

لینک دانلود و خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل :  .ppt ( قابل ویرایش و آماده پرینت )

تعداد اسلاید : 41 اسلاید

 قسمتی از متن .ppt : 

1

هوش مصنوعی

فصل نهم- ادامه

عامل های منطقی- منطق گزاره‌ای

2

هوش مصنوعی Artificial Intelligence

فهرست

عاملهای مبتنی بر دانش

منطق

منطق گزاره ای

الگوهای استدلال در منطق گزاره ای

الگوریتم resolution

زنجیر پیشرو و عقبگرد

3

عاملهای منطقی

قوانین استنتاج در منطق گزاره ای

قوانین استنتاج: الگوهایی استاندارد که زنجیره ای از نتایج را برای رسیدن به هدف ایجاد میکند

قانون حذف استلزام یا modus ponens

قانون حذف عطف

قانون معرفی عطف

قانون معرفی فصل

قانون حذف دو منفی

قانون اثبات واحد یا resolution واحد

قانون اثبات یا resolution

4

عاملهای منطقی

1- قانون حذف استلزام یا Modus Ponens

عبارت زیر یعنی از α=>β و α می‌توان β را استنتاج کرد.

مثلاً میتوان از

(WumpusAhead ^ WumpusAlive)

و

(WumpusAhead ^ WumpusAlive) => Shoot

Shoot را استنتاج کرد