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

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

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

هوش مصنوعي Artificial Intelligence

فهرست

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

منطق

منطق گزاره اي

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

الگوريتم resolution

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

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

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

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

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

قانون حذف عطف

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

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

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

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

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

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

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

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

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

(WumpusAhead ^ WumpusAlive)

و

(WumpusAhead ^ WumpusAlive) => Shoot

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