پاورپوینت فصل هشتم هوش مصنوعي

پاورپوینت فصل هشتم هوش مصنوعي (pptx) 20 اسلاید

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

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

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

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

بنام خدا 1 2 هوش مصنوعي فصل هشتم منطق رتبه اول 3 هوش مصنوعي Artificial Intelligence فهرست مروری بر منطق گزاره ای منطق رتبه اول انواع منطق نحو و معنای منطق رتبه اول مهندسی دانش 4 منطق رتبه اول مروری بر منطق گزاره ای ويژگيها ماهيت اعلانی دانش و استنتاج متمايزند و استنتاج کاملاً مستقل از دامنه است قدرت بيان کافی برای اداره کردن اطلاعات جزئي با استفاده از ترکيب فصلی و نقيض قابليت ترکيب معنای جمله، تابعي از معنای بخشهای آن معنا، مستقل از متن است بر خلاف زبانهای طبيعي که، معنای جملات وابسته به متن است معايب فاقد قدرت بياني برای تشريح دقيق محيطی با اشياي مختلف بر خلاف زبانهای طبيعی 5 منطق رتبه اول منطق رتبه اول اساس منطق گزاره ای را پذيرفته و بر اساس آن يک منطق بيانی ميسازيم از ايده های نمايشي زبان طبيعي استفاده کرده، از عيوب آن اجتناب ميکنيم زبانهای طبيعی از جهان طبقه بندی زير را دارند اشياء: افراد، خانه، اعداد، رنگها، بازيهای فوتبال، آتش و ... رابطه ها: رابطه های يکاني يا خواص مثل قرمز، گرد، اول و ... رابطه های چندتايي مثل برادر بودن، بزرگتر بودن، بخشی از، مالکيت و ... توابع: پدر بودن، بهترين دوست، يکي بيشتر از و ... منطق رتبه اول توسط اشيا و رابطه ها ساخته ميشود اشياء: افراد، خانه، اعداد، رنگها، بازيهای فوتبال، آتش و ... رابطه ها: رابطه های يکاني يا خواص مثل قرمز، گرد، اول و ... رابطه های چندتايي مثل برادر بودن، بزرگتر بودن، بخشی از، مالکيت و ... توابع: پدر بودن، بهترين دوست، يکي بيشتر از و ... 6 منطق رتبه اول انواع منطق 7 منطق رتبه اول نحو و معنای منطق رتبه اول نمادهای ثابت؛ اشيا را نشان ميدهد. مثال: علی، 2، رضا، ... نمادهای محمول؛ رابطه ها را نشان ميدهد. مثال:برادر بودن، بزرگتر بودن از نمادهای تابع؛ توابع را نشان ميدهند. مثال: تابع پای چپ(LeftLeg) متغيرها: x , y , a ,b روابط منطقی: , , , ,  تساوی: = سورها: ,  8 منطق رتبه اول جملات اتميک هر ترم يک عبارت منطقی است که به شيئ اشاره ميکند نمادهای ثابت ترم هستند هميشه استفاده از نماد متمايز برای نامگذاری شیء آسان نيست پای چپ پای پادشاه John LeftLeg(John) جملات اتميک: ترکيب ترمهای اشياء و محولهای روابط مثال: Married(Father(Richard),Mother(John)) پدر ريچارد با مادر جان ازدواج کرده است جملات اتميک= محمول(nترم1، ترم2، ... ، ترم) يا ترم1=ترم2 . ترم= تابع(nترم1، ترم2، ... ، ترم) يا ثابت يا متغير . 9 منطق رتبه اول جملات پيچيده با ترکيب جملات اتميک و روابط منطقی ميتوان جملات پيچيده تری ساخت S, S1  S2, S1  S2, S1  S2, S1  S2 مثال: Brother(LeftLeg(Richard),John) Brother(Richard,John)  Brother(John,Richard) King(Richard)  King(John) King(Richard)  King(John)