پاورپوینت عامل هاي منطقي- منطق گزاره‌اي (pptx) 43 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 43 اسلاید
قسمتی از متن PowerPoint (.pptx) :
بنام خدا
2
هوش مصنوعي
فصل نهم- ادامه
عامل هاي منطقي- منطق گزاره‌اي
3
هوش مصنوعي Artificial Intelligence
فهرست
عاملهاي مبتني بر دانش
منطق
منطق گزاره اي
الگوهاي استدلال در منطق گزاره اي
الگوريتم resolution
زنجير پيشرو و عقبگرد
4
عاملهاي منطقي
قوانين استنتاج در منطق گزاره اي
قوانين استنتاج: الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد ميکند
قانون حذف استلزام يا modus ponens
قانون حذف عطف
قانون معرفي عطف
قانون معرفي فصل
قانون حذف دو منفي
قانون اثبات واحد يا resolution واحد
قانون اثبات يا resolution
5
عاملهاي منطقي
1- قانون حذف استلزام يا Modus Ponens
عبارت زير يعني از α=>β و α ميتوان β را استنتاج کرد.
مثلاً ميتوان از
(WumpusAhead ^ WumpusAlive)
و
(WumpusAhead ^ WumpusAlive) => Shoot
Shoot را استنتاج کرد
6
عاملهاي منطقي
هر عطف را ميتوان از ترکيب عطفي استنتاج کرد
مثال: WumpusAlive را ميتوان از جمله زير استنتاج کرد
(WumpusAhead ^ WumpusAlive)
2- قانون حذف عطف
7
عاملهاي منطقي
گزاره‌هاي درست مي‌توانند با هم عطف شوند.
مثال: از WumpusAlive و WumpusAhead ميتوان
(WumpusAhead ^ WumpusAlive)
را استنتاج كرد.
3- قانون معرفي عطف
8
عاملهاي منطقي
هر گزارة درست را ميتوان با هر گزاره‌اي ترکيب فصلي كرد.
4- قانون معرفي فصل
9
عاملهاي منطقي
اگر نقيض نقيض يك گزاره، درست باشد آن گزاره درست است.
5- قانون حذف دو منفي
