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

صفحه 1:
. 1 هوش مصناعى فطلادهط !]لا دلمط] اسنتاجادرااضطارتبطالول 

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

صفحه 3:
استنتاج در منطق رتبه اول يكسان سازى ‎(Unification)‏ 4#/[//:الاء تابعيكسازس ازيلسحقه دو عبابتوا به عنولنوروديدبيافتميكند لين تابع مقدر متغيرهايلينهو عبابتوا به كونه ليتغيير مي‌دهد که دو عبابتیکسان شوند #خروجي اين تابع. يك ليست جايكزيني است. #مثال: Unify(knows(maryam, x), knows(y, zahra)) ‎{y/maryam, x/zahra}‏ = © :فرومي ‎ 

صفحه 4:
استنتاج در منطق رتبه اول يكسان سازى ‎(Unification)‏ ‏©50/654. تابع جايكزينيلسحقه يكعبابتو يكنيسحهايكزينيرا به علولوورودي دبيافتميكند ليزت ابع متغيرهايعبابتوا با لستفادم از ليسهايكرينيمقردهيمي ‎as‏ ‏# خروجي این تابع. یک عبارت است که تغییر یافته عبارت ورودي است. #مثال: فرض کنیم ۷/2۵۲۵ ,6۷/۳۱۵۲۷۵۳۲ < 9 است. ‎Subst(knows(maryam, x), ©)‏ (994: knows(maryam, zahra) Subst(knows(y, zahra), ©) ‎knows(maryam, zahra)‏ :خروجي 

صفحه 5:
استنتاج در منطق رتبه اول یکسان ‎(Unification) gjbs‏ # Unify(knows(maryam, x), knows(y, mother(y)) (994: © = {y/maryam, x/mother(maryam)} # Unify(knows(maryam, x), knows(x, zahra)) (494: © = false # Unify(knows(maryam, x), knows(y, z) ‎{y/maryam, x/z}, or {y/maryam, z/x}‏ = © :فروجي 

صفحه 6:
استنتاج در منطق رتبه اول بت خم هن اظ قوانين استنتاج در منطق مرتبه اول تمام قوانين استنتاج در منطق كزاره اي قانون حذف سور عمومي قانون حذف سور وجودي قانون معرفي سور وجودي 

صفحه 7:
استنتاج در منطق رتبه اول 1-قوانین استنتاج در منطق گزاره اک © Modus Ponens or Implication-Elimination: © And-Elimination: = 01 \az.\....\00 1 oe oH ۵۱۸۵۵۸۵۰۰۸ ۵ ۱ 6 لع ‎Or-Introduction‏ و بيه لان جه لاه 5 © Double-Negation Elimination: © Unit Resolution: @V 4. 34 & Resolution: nap, Oa sa by 

صفحه 8:
استنتاج در منطق رتبه اول 2- قانون حذف سور عمامي ‎Vo:a@ ۳ se ۳‏ در سور عمومي. هميشه مي توان یک متغیر را با مسبت ‏ثابت جایگزین کرد. ‎Subsi(a.{v/ g})‏ ‏'#مثلاً از (۱60۳6۵۴0 , «)ععانا ۷۷ با جايگزيني ‏(60/ مي توان جمله زیر را استنتام کرد: ‎Likes(Ben , IceCream) 

صفحه 9:
استنتاج در منطق رتبه اول : ‏عبارتند از‎ ۷< : King(x) a Greedy(x) => Evil(x) cle msi. Jo King (John) \ Greedy( John) => Evil( John) King (Richard) A Greedy(Richard) => Evil(Richard) King (Father(John)) Greedy(Father(John)) => Evil(Father(John)) 

صفحه 10:
استنتاج در منطق رتبه اول 3- قانون هذف سور وجودي 3۷ ‎Suss1(a ,{v/k})‏ سور وجودي حداقل براي یک شي. درست استد »نامي فرضي براي اين شيء در نظر مي كيريم. كه قبلا در پایگاه دانش وجود نداشته باشد (۴) ‎G2 3X Likes(x , IceCream) jl lte®‏ توان جمله ‎gliiiwl |) Likes(M1 , IceCream)‏ کرد؛ اگر 1 قبلاً در يايكاه دانش وجود نداشته باشد. ‎ 

صفحه 11:
استنتاج در منطق رتبه اول 4- قانون معرفي. سور 3949 از درست بودن یک عبارت براي یک ثابته مي توان یک سور وجودي استنتاج کرد. ‎go Likes(Jerry , IceCream) jl ite®‏ توان جمله زير را استنتاج كرد ax :Likes(x , lceCream) a Av Sust(a-{g/v}) 

صفحه 12:
استنتاج در منطق رتبه اول استنتاج در منطق مرتبه اول - مثال مثال : پایگاه دانش - قانون می گوبد که این یک جنایت است که یک آمریکایی به مت های دشمن ‏ اسلحه بفروشد . كشور نونو يكك دشمن 1. اشد تعدادی مرشکك می باشد و تمام شمن بفروشد . كشور نونو اي ن آمريكا مى باشد و داراى نعدادى موشكك مى باشد و اين موشكك ها توسط كلنل وست كه يكك آمريكابى است به اين كشور فروخته شده است . ثابت كنيد كه کلنل وست یک جنایت کار می باشد . 

صفحه 13:
استنتاج در منطق رتبه اول تبدیل جملات به فرم منطق مرتبه اول برای یک آمریکایی این جنایت است که به ملل دشمن اسلحه بفروشد : (م‌لمشسنتت چ (2)عقاعمقظ ۸ (2.ج) عااعک ۸ (ن) «مرمع ۸۲ (ج) مت ‎Vx.y.2‏ ‏كشور نونو داراى تعدادى موشكك مى باشد ... . 3xOwns (Nono , x) 0 Missle (x) Missle (M,),Owns (Nono,M,) : ‏توجه کنید‎ ... تمام این موشکک ها توسط کلنل وست فروخته شده اند . VxMissle (x) A Owns (Nono,x) => Sells (West .x. Nono) 

صفحه 14:
استنتاج در منطق رتبه اول تدددا , هملات به فام منطق, ماتنه ۱۵۱؛ تمام موشکک ها اسلحه هستتد. . ‎Weapon(x)‏ ج ‎Vx Missiletx)‏ دشمن امریکا را یا 1105431 می شناسیم (اءانادولظ ک موس رو کشور نونو... ‎Nation(Nono)‏ Enemy(Nono, America)... AS p\ gts SS ‏نونو‎ وست يكك امریکایی است ‎American(West)‏ 

صفحه 15:
استنتاج در منطق رتبه اول سه روش: تبدیل جملات به فرم ۲۱۵۲6 و زنیره رو به جلو (فصل 12 کتاب جلوه گر) #تبدیل جملات به فرم ۳۱۵۲0 و زنجیره رو به عقب ‎chad)‏ 12 کتاب جلوه گر) #تبدیل جملات به فرم 01۷۴ و استفاده ‎resolution e950! j!‏ 

صفحه 16:
استنتاج در منطق رتبه اول تبدیل به فرم 0۱۲ و استفاده از الگوریتم 560۱۲0۱ # ی 

صفحه 17:
= Americanis) v= Weaponty) v= Seilsiys) v= Hostile) v Criminals) = Criminal es) Americar(es)_ v3 Weapons) v> Sels(Wes.y) v= Hostile) ‏زورما‎ > Sell(Wes,y.z) + Hostile) Misileg)_v-SellsWesty2) v7 Hoste) American(i¥est) = Miszile(s) _v Weaponty) Missile Mi) = Missile(s) v > OvnsiNow.x) ‏با‎ Sells(Westx, Noro) ‏زالاء ساد‎ ١ Owns(Nome, M1) v7 Hostile(Nono) 7 Ovns(Nomo,Ml) ١ > HosiiletNonoy ‎v -Hestilefs)‏ زج للع امعد ‎ ‎ ‏ماما ۱ اراد ‎ ‎ ‎7 Hostile(Nono) ‎ ‎ ‎Enemy (NonosAmerica) ‎