مرجع دانلود پاورپوینت های درسی

حجم فایل : 180.1 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 21
بنام خدا 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، ... ، ترم) يا ثابت يا متغير . 10 منطق رتبه اول جملات اتميک - مثال پدر ريچارد با مادر جان ازدواج کرده است
Married(Father(Richard),Mother(John))
جان برادر ريچارد است.
Brother(John, Richard)
طول پاي چپ ريچارد بزرگتر از طول پاي چپ جان است.
> (length(leftleg(Richard)), length(leftleg(John)))
11 منطق رتبه اول جملات پيچيده با ترکيب جملات اتميک و روابط منطقي ميتوان جملات پيچيده تري ساخت
S, S1  S2, S1  S2, S1  S2, S1  S2

مثال: Brother(...