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

دسته بندی : پاورپوینت
نوع فایل : پاورپوینت هوش مصنوعی (عامل های منطقی – منطق گزاره ای).ppt( قابل ويرايش و آماده ارائه )
تعداد اسلاید 41 اسلاید
قسمتی از متن .ppt :

فهرست

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

منطق

منطق گزاره اي

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

الگوريتم resolution

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

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

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

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

2قانون حذف عطف

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

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

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

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

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

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

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

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

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

(WumpusAhead ^ WumpusAlive)

(WumpusAhead ^ WumpusAlive) => Shoot

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

مقايسه زنجير پيشرو و زنجير عقبگرد

•زنجير پيشرو(FC)، اصطلاحا data-driven است.

•بصورت اتوماتيک و يک فرايند کاملاً ناآگاهانه است.

•ممکن است خيلي از استنتاج هاي اضافي که در راستاي رسيدن به هدف نيست را انجام دهد.

•زنجير عقب گرد (BC)، اصطلاحاً goal-driven است.

•مناسب براي حل مسائل

•پيچيدگي BC خيلي کمتر از پيچيدگي خطي است (در ارتباط با سايز پايگاه دانش)