پاورپوینت فصل دهم منطق مرتبه اول

پاورپوینت فصل دهم منطق مرتبه اول (pptx) 21 اسلاید

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

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

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

قسمتی از متن PowerPoint (.pptx) :

بنام خدا 2 هوش مصنوعي فصل دهم منطق مرتبه اول 3 هوش مصنوعي Artificial Intelligence فهرست مروري بر منطق گزاره اي منطق رتبه اول انواع منطق ظاهر منطق رتبه اول سورهای عمومی و وجودی 4 منطق رتبه اول مروري بر منطق گزاره اي محاسن: ماهيت اعلاني: دانش و استنتاج متمايزند و استنتاج کاملاً مستقل از دانش است قدرت بيان کافي براي اداره کردن اطلاعات جزئي مي تواند عبارات پيچيده تر را بصورت ساده توليد نمايد. معناي جملات در آن، مستقل از متن است بر خلاف زبانهاي طبيعي که، معناي جملات وابسته به متن است 5 منطق رتبه اول مروري بر منطق گزاره اي معايب محدوديت در قدرت بيان: به عنوان مثال نمي توانيم بگوييم ”چاله ها باعث هواي مطلوب در خانه هاي مجاور مي شوند“؛ مگر اينکه اين جمله را براي هر خانه شامل چاله تکرار کنيم. راهي براي بيان تشريح ارتباط ميان اشيا وجود ندارد. راهي براي بيان کيفيت در مورد اشيا وجود ندارد. 6 منطق رتبه اول منطق رتبه اول منطق مرتبه اول تمام خصوصيات منطق گزاره اي را داراست. منطق رتبه اول توسط اشيا و رابطه ها ساخته ميشود اجزاء منطق مرتبه اول: اشياء (objects): افراد، خانه، اعداد، رنگها، بازيهاي فوتبال، آتش و ... رابطه ها (relations) يا گزاره ها (predicates) : رابطه هاي يکاني يا خواص: مثل قرمز، گرد، اول و ... رابطه هاي چندتايي: مثل برادر بودن، بزرگتر بودن، بخشي از، مالکيت و ... توابع (functions): پدر بودن، بهترين دوست، يکي بيشتر از و ... 7 منطق رتبه اول انواع منطق 8 منطق رتبه اول ظاهر منطق مرتبه اول نمادهاي ثابت؛ اشيا را نشان ميدهد. مثال: علي، 2، رضا، ... نمادهاي رابطه (گزاره): برادر بودن (brother)، بزرگتر بودن از (>) نمادهاي تابع: تابع پاي چپ(LeftLeg)، تابع جذر sqrt متغيرها: x , y , a ,b روابط منطقي: , , , ,  تساوي: = سورها: ,  9 منطق رتبه اول جملات اتميک تعريف ترم: هر ثابت يک ترم است. هر متغير يک ترم است. عبارت f(t1, …, tn) در صورتي يک ترم است که f تابع و ti ها ترم باشند. تعريف جملات اتميک: ترکيب ترمها و نمادهاي رابطه (گزاره) جملات اتميک= گزاره(nترم1، ترم2، ... ، ترم). ترم= تابع(nترم1، ترم2، ... ، ترم) يا ثابت يا متغير .