پاورپوینت هوش مصنوعی-منطق رتبه اول

بخشی از پاورپوینت

اسلاید 1 :

هوش مصنوعي
فصل هشتم
منطق رتبه اول

اسلاید 2 :

هوش مصنوعي Artificial Intelligence
فهرست
مروری بر منطق گزاره ای
منطق رتبه اول
انواع منطق
نحو و معنای منطق رتبه اول
مهندسی دانش

اسلاید 3 :

منطق رتبه اول(مروری بر منطق گزاره ای)
ويژگيها
ماهيت اعلانی
دانش و استنتاج متمايزند و استنتاج کاملاً مستقل از دامنه است
قدرت بيان کافی برای اداره کردن اطلاعات جزئي
با استفاده از ترکيب فصلی و نقيض
قابليت ترکيب
معنای جمله، تابعي از معنای بخشهای آن
معنا، مستقل از متن است
بر خلاف زبانهای طبيعي که، معنای جملات وابسته به متن است
معايب
فاقد قدرت بياني برای تشريح دقيق محيطی با اشياي مختلف
بر خلاف زبانهای طبيعی

اسلاید 4 :

منطق رتبه اول
اساس منطق گزاره ای را پذيرفته و بر اساس آن يک منطق بيانی ميسازيم
از ايده های نمايشي زبان طبيعي استفاده کرده، از عيوب آن اجتناب ميکنيم
زبانهای طبيعی از جهان طبقه بندی زير را دارند
اشياء: افراد، خانه، اعداد، رنگها، بازيهای فوتبال، آتش و .
رابطه ها:
رابطه های يکاني يا خواص مثل قرمز، گرد، اول و .
رابطه های چندتايي مثل برادر بودن، بزرگتر بودن، بخشی از، مالکيت و .

توابع: پدر بودن، بهترين دوست، يکي بيشتر از و .
منطق رتبه اول توسط اشيا و رابطه ها ساخته ميشود
اشياء: افراد، خانه، اعداد، رنگها، بازيهای فوتبال، آتش و .
رابطه ها:
رابطه های يکاني يا خواص مثل قرمز، گرد، اول و .
رابطه های چندتايي مثل برادر بودن، بزرگتر بودن، بخشی از، مالکيت و .
توابع: پدر بودن، بهترين دوست، يکي بيشتر از و .

اسلاید 5 :

انواع منطق

اسلاید 6 :

نحو و معنای منطق رتبه اول
نمادهای ثابت؛ اشيا را نشان ميدهد. مثال: علی، 2، رضا، .
نمادهای محمول؛ رابطه ها را نشان ميدهد. مثال:برادر بودن، بزرگتر بودن از
نمادهای تابع؛ توابع را نشان ميدهند. 

اسلاید 7 :

منطق رتبه اول(جملات اتمیک)
هر ترم يک عبارت منطقی است که به شيئ اشاره ميکند
نمادهای ثابت ترم هستند
هميشه استفاده از نماد متمايز برای نامگذاری شیء آسان نيست
پای چپ پای پادشاه John LeftLeg(John)
جملات اتميک: ترکيب ترمهای اشياء و محولهای روابط
مثال: Married(Father(Richard),Mother(John))
پدر ريچارد با مادر جان ازدواج کرده است
جملات اتميک= محمول(nترم1، ترم2، . ، ترم) يا ترم1=ترم2 .
ترم= تابع(nترم1، ترم2، . ، ترم) يا ثابت يا متغير .

اسلاید 8 :

با ترکيب جملات اتميک و روابط منطقی ميتوان جملات پيچيده تری ساخت

منطق رتبه اول(جملات پیچیده)

اسلاید 9 :

منطق رتبه اول(مثال)
مدلی با پنج شیء، دو رابطه دودويي، سه رابطه يکانی و يک تا يکانی به نام پای چپ

اسلاید 10 :

سورها
کمک ميکنند تا به جای شمارش اشيا از طريق نام آنها، خواص کلکسيون اشيا را بيان کرد
سور عمومی؛  “برای همه”
سور وجودی؛  “ وجود دارد حداقل.”

اسلاید 11 :

<متغيرها> <جمله>
x P که در آن P يک عبارت منطقي است، بيان ميکند که P برای هر شیء x درست است
مثال: x King(x)  Person(x)
سورها(سور عمومی)

اسلاید 12 :

 <متغيرها> <جمله>
 x P که در آن P يک عبارت منطقي است، بيان ميکند که P حداقل برای يک شیء x درست است
مثال:  x Crown(x)  OnHead(x , John)
سورها(سور وجودی)

اسلاید 14 :

“هر کسی بستنی را دوست دارد” به معنای اين است که “هيچ کس وجود ندارد که بستنی را دوست نداشته باشد”
خصوصیات سورها(ادامه)

اسلاید 15 :

منطق رتبه اول(تساوی)
با استفاده از = دو ترم به يک شیء اشاره ميکنند
برای تعيين درستی جمله تساوی بايد ديد که آيا ارجاع ها به دو ترم، اشيای يکسانی اند يا خير
مثال: ريچارد حداقل دو برادر دارد

اسلاید 16 :

منطق رتبه اول(ادعاها و تقاضا ها)
جملات از طريق TELL به پايگاه دانش اضافه ميشوند
اين جملات را ادعا گويند
با استفاده از ASK تقاضاهايي را از پليگاه دانش انجام ميدهيم
اين پرسشها، تقاضا يا هدف نام دارد
ليست جانشيني يا انقياد
ليستي از جانشينيها در صورت وجود بيش از يک پاسخ

اسلاید 17 :

منطق رتبه اول(دامنه خویشاوندی)
مادر هر فرد والد مؤنث آن فرد است
شوهر هر فرد، همسر مذکر آن فرد است
مذکر و مؤنث بودن طبقه های متمايزی هستند
والد و فرزند، رابطه های معکوس هستند
پدر بزرگ يا مادربزرگ والدينِ والدين هر فرد است
 

اسلاید 18 :

منطق رتبه اول(اعداد و مجموعه ها)

اسلاید 19 :

مهندسی دانش
فرايند کلی ساخت پايگاه دانش که شامل مراحل ذيل ميباشد:
مشخص کردن کار
مونتاژ دانش مربوطه
تصميم گيری در مورد واژه نامه محمولها، توابع و وراثت
کدگزاری دانش کلی در مورد دامنه
کد گزاری توصيف نمونه مسئله خاص
اِعمال تقاضاها به رويه استنتاج و دريافت پاسخ
اشکال زدايي پايگاه دانش