هوش مصنوعی (منطق مرتبه اول)

صفحه 1:
هاش مصنوعي فطیادهم من مرتبطا لول 

صفحه 2:
. Pt Artificial Intelligence ‏هؤئل مطنوعئ‎ فهرست #مروري بر منطق گزاره اي #منطق رتبه اول #انواع منطق #ظاهر منطق رتبه اول #سورهای عمومی و وجودی 

صفحه 3:
منطق رتبه اول نطق گزاره ۱ — مروري بر متطق گزاره اي **ماهیت اعلاني: دانش و استنتام متماینند و استنتام کاملاً مستقل از دانش است >قدرت بيان كافي براي اداره كردن اطلاعات جزئي ‎wx‏ تواند عبارات پیچیده تر را بصورت ساده تولید نماید. >معناي جملات در ‎‘ol‏ مستقل از متن است م خلاف زبانهاي طبيعي كه. معناي جملات وابسته به متن است 

صفحه 4:
منطق رتبه اول ایب مروري بر منطق گزاره اي > محدودیت در قدرت بیان: < به عنوان مثال نمي توانیم بگوییم "چاله ها باعث هواي مطلوب در خانه هاي مجاور مي شوند“؛ مكر اينكه اين جمله را براي هر خانه شامل. جاله تكرار كنيم. >راهي بباي بيان تشريح ارتباط ميان اشيا وجود ندارد. >راهي براي بیان کیفیت در مورد اشیا وجود ندارد. 

صفحه 5:
منطق رتبه اول منطق رتبه اول #منطق مرتبه اول تمام خصوصیات منطق گزاره اي را داراست. #منمق رتبه اول توسط اشیا و رابطه ها ساخته میشود #اجزاء منطق مرتبه اول: * اشیاء ( 66۴5 [00): افراد. خانه. اعداد. رنگهاء بازيهاي فوتبال. آتش و ... ‎(predicates) le 5 & (relations) le abyl)*‏ + رابطه هاي يكاني یا خواص: مثل قرمز, گرد. اول رابطه هاي چندتايي: مثل برادر بودن. بزركتر بودن. * توابع (013510135ا؟): يدر بودن. بهترین دوست. يكي بیشتر از و .. از مالکیت و... 

صفحه 6:
منطق رتبه اول حقیقت شناسي اعتقادات‌عاملراجع به) (حقایق درست/نادرست/ نامشخص درست/نادرست/ نامشخص درست/نادرست/ انواع منطق (آنجد در جهان‌هسب خقایق, انقاژانظه ها حقابق: اشيا: رابطه هار زمان زبان متطق گزاره ای 

صفحه 7:
منطق رتبه اول ظاهر منطق مرتبه اول نمادهاي ثابت؛ اشیا را نشان میدهد. مثال: علي. 2 رضاء ... # نمادهاي رابطه (گزاره): برادر بودن (0۳۵/:06۲), بزرکتر بودن از (>) #نمادهاي تابع: تابع پاي چپ(۱6۲0169), تابع جذر 50۳۲ #متفیرها: , 2 , ۷ , ۷ #روابط منطقي: © با ره رت رت تساوي: = ۷, 3 low? 

صفحه 8:
جملات اتمیک # تعریف ترم: »هر ثابت يك ترم اسحد »هر متغير يك ترم اسح #عبارت (0 ,... ,1)51 در صورتي يك ترم است که ] تابع و ‎ti‏ ها ترم باشند. 

صفحه 9:
منطق رتبه اول جملات اتمیک - مثال * پدر ریچارد با مادر جان ازدواج کرده است Married(Father(Richard),Mother(John))< ‏برادر ریچارد است.‎ alas ‎Brother(John, Richard) <‏ > طول ياي هِب ريجارد بزركتر از طول ياي هِب جان است. ‎length(leftleg(Richard)),) << ‎(length(leftleg(John)) 

صفحه 10:
منطق رتبه اول جملات بیمیده با ترکیب جملات اتمیک و روابط منطقي میتوان جملات بیمیده تری ساخت 7 52ج 51 ,52 5 51 ,۲52 51 ,۸52 51 ,5 #مثال: ‎—Brother(LeftLeg(Richard),John)‏ ‏(لمقطع نظا ,رصطهز)عءعطغمع8 * زمطمز, لم قطعنه)معطغمم8 (مطمل)ومكا " (لمقطعنه)ومكا ‎oKing(Richard) = King(john)‏ 

صفحه 11:
منطق رتبه اول أ#مثااءء مدلء متشكاء اذ اشداء. ندائط ه تداك 

صفحه 12:
منطق رتبه اول سورها * کمک میکنند تا به جاي شمارش اشیا از طریق نام آنها: خواص كلي آشیا را بیان کرد »> سور عصامي؛ ۷ “بازاي هر ...” »سور وجودي؛ 2 “ وجود دارد...” 

صفحه 13:
منطق رتبه اول سور عمجمي <متغیرها> <جمله > ۷ ۷۷ که ‎Pol ys‏ 3 ی کم بابتم نطقيلستب_یان‌میکند که ۴ برليهر شي دپسدلست #مثال: ۳۵۲6۵۳۷۵ > 900 ۱۷۷ ()۳ :۷ در دامنه (,.....,6) - معادل است با (,6)ظ ۸.۸ (,6) #مثال : (6۳۵1۳0_ ۱25 : ۷۷ در دامنه دانشجويان كلاس 

صفحه 14:
منطق رتبه اول سور وجودي <متغیرها> <جمله > 3 8 ‏آن۴ ٍ کم بابتم نطقي‌لستب_یان‌میکند که‎ ys aS Ax PO ‏مطدقزب رليی کشی دبستلاست‎ a x: Crown(x) * OnHead(x , John) ‏تهمثال:‎ (26 :2 در دامنه (,0,.....0) ظ معادل است با (,6)ظ 0,(۷۰..۷)ط 

صفحه 15:
منطق رتبه اول خصوصیات سورها ‎Vy WX Catal phy VX Vy?‏ ‎Ay 3x Cound phy Sx Sy?‏ ‎Vy 3x Cops pho ax vy?‏ ‎ax Vy Loves(x,y)<‏ *مداقل یک نفر وجود دارد که همه چیز در جهان را دوست دارد. vy Sx Loves(x,y)< ‏*بازای هر چیز در دنیاء مداقل یک نفر آن را دوست دارد.‎ 

صفحه 16:
منطق رتبه اول خصوصیات سورها له “هر كسي بستني را دوست دارد” به معناي اين است كه “هيج كس وجود ندارد که بستنی را دوست نداشته باشد* >(مموعععع! , “ادوع انا “ا همارز (منوعمععع! , “)دوع اناد )“اد همي ‎73x-P jean‏ وا ینعم 2۰ ‎33x P jew vx aP#‏ 0 )<< ۲« ‎ 3ax-P jen 7x PH‏ 0- "3-2 (0 “طاح ۳ 02 ۰۵ sy ‏ممرز‎ aX PH 

صفحه 17:
منطق رتبه اول تساوي # با استفاده از < دو ترم به یک شيء اشاره میکنند »براي تعيين درستي جمله تساوي بايد ديد كه آيا ارجاع ها به دو ترم. اشياي يكساني اند يا خير #مثال: ريجارد حداقل دو برادر دارد x,y Brother(x,Richard) * Brother(y,Richard) * a(x=y) 

صفحه 18:
منطق رتبه اول دامنه خویضاوندی #مادر هر فرد والد موّنث آن فرد است ‎Mother(c) = m «+ Female(m) * Parent(m,c)*‏ ,۷۲۴۵۲ © شوهر هر فرد. همسر مذکر آن فرد است ‎vw,h Husband(h,w) = Male(h) * Spouse(h,w)*<‏ #مذکر و ‎ai yao) cuige‏ هاي متمايزي هستند ‎vx, Male(x) —Female(x)<‏ #۲ والد و فرزند. رابطه هاي معکوس هستند ‎Yp,c Parent(p,c) = Child(c,p)*‏ ‎ye‏ بزرگ یا مادربزرگ والدین والدین هر فرد است ‎Grandparent(g,c) « Sp Parent(g,p) *<‏ رو ‎Parent(p,c)‏ 

صفحه 19:
منطق رتبه اول اعداد و ‎neat‏ ها ‎SVs: Set(s) = (s = {} ) Y (Ax,s2: Set(s2) *‏ ‎{x|s2})‏ ‎%Vs1,52: (S1 = 52) @ (S1 © 5252 ¢5]1)‏ ‎Oi ofl x 0)‏ 6( 0 رت من تیم ها % xo(s@: xO (od 0 58) 0 (x 0500x058) = xe: fle} xix Os Os= {xls} ‎x od x 2©(‏ ) م هد ن أ یر