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

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

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

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

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

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

بنام خدا 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) منطق رتبه اول جملات پیچیده