‫هوش مصنوعی ‪44-417‬‬
‫نيمسال دوم ‪94-91‬‬
‫تمرين سری سوم‬
‫مدرس‪ :‬سليمانی‬
‫موعد تحويل پاسخ مسائل نوشتاری‪ 2 :‬خرداد ‪91‬‬
‫هَعذ ارسال الکتزًٍيکی کذ بزًاهِّا جوعِ پٌجن خزداد (ساعت ‪ )42‬است‪.‬‬
‫سوال ‪:1‬‬
‫ادعاّای سيز را در صَرت درستی ثابت کٌيذ ٍ در صَرت ًادرست بَدى هثال ًقض بياٍريذ‪:‬‬
‫‪ )a‬اگز‬
‫‪ α β‬آًگاُ‬
‫‪ α‬يا‬
‫‪( β‬يا ّزدٍ)‬
‫‪ )b‬اگز‬
‫‪ α β‬آًگاُ‬
‫‪ α‬يا‬
‫‪( β‬يا ّزدٍ)‬
‫‪ّ )c‬ز ‪ clause‬هیتَاًذ بِ فزم‬
‫ًَضتِ ضَد کِ ‪ّ Q ٍ P‬ا ًوادّای گشارُای سادُ ّستٌذ‪.‬‬
‫‪ )d‬بزای ّز جفت ‪ clause‬گشارُای يا اصالً ‪ٍ resolvent‬جَد ًذارد يا ّوِی ‪ّ resolvent‬ايطاى اس ًظز هٌطقی بزابزًذ‪.‬‬
‫سوال ‪:2‬‬
‫هتي سيز را در ًظز بگيزيذ‪:‬‬
‫"ّز چيشی کِ کسی هی خَرد ٍ ًوی هيزد‪ ،‬غذا است‪ .‬جَاد ّز غذايی را دٍست دارد‪ .‬هزغ يک غذا است‪ .‬بْزٍس ساًذٍيچ‬
‫هی خَرد ٍ سًذُ است‪ّ .‬ز چِ بْزٍس بخَرد پزٍيش آى را دٍست دارد‪".‬‬
‫‪ )a‬جوالت ايي هتي را بِ صَرت ‪ FOL‬در آٍريذ‪.‬‬
‫‪ )b‬با ‪ backward chaining‬ثابت کٌيذ "جَاد ساًذٍيچ دٍست دارد"‪.‬‬
‫‪ )c‬با ‪ resolution‬بِ ايي سَال پاسخ دّيذ کِ "چِ کسی ساًذٍيچ دٍست دارد؟"‬
‫سوال ‪:3‬‬
‫هتي سيز را در ًظز بگيزيذ‪:‬‬
‫"دضوي دضوي ّز کسی دٍست اٍست‪ .‬اگز ‪ x‬با ‪ y‬دضوي باضذ‪ّ y ،‬ن با ‪ x‬دضوي است‪ّ .‬ز کس حذاقل ‪ 4‬دضوي دارد‪".‬‬
‫‪ )a‬جوالت ايي هتي را بِ صَرت ‪ FOL‬در آٍريذ‪.‬‬
‫‪ )b‬بِ کوک استٌتاج در هٌطق هزتبِ اٍل ًطاى دّيذ ّز کسی حذاقل يک دٍست (بِ جش خَدش) دارد‪.‬‬
‫سوال ‪)Half list( 4‬‬
‫بزًاهِای بِ سباى پزٍلَگ بٌَيسيذ کِ با گزفتي يک ليست‪ ،‬آًزا بِ دٍ ًين تقسين کٌذ‪ .‬بِ ايي تزتيب‪ Half(X, A, B) ،‬در صَرتی‬
‫درست است کِ چسباًذى ‪ B‬بِ اًتْای ‪ A‬بزابز با ‪ X‬ضَد‪ .‬بِ طَر هثال )]‪ Half([1 2 3 4 5 6],[1 2 3],[4 5 6‬درست است‪.‬‬
‫طَل ليست سٍج فزض ضَد‪.‬‬
‫سوال ‪)Path( 5‬‬
‫بزًاهِای بِ سباى پزٍلَگ بٌَيسيذ کِ بتَاًذ اس طزيق )‪ path(G,A,B,P‬بزای گزاف ‪ ٍ G‬رئَس ‪ّ ،B ٍ A‬وِی هسيزّای‬
‫بذٍى دٍر هوکي را در ‪ P‬بزگزداًذ‪.‬‬
‫گزاف بِ صَرت )]‪ g([Vertex1, ...],[e(Vertex1,Vertex3), ...‬هطخص هیضَد‪.‬‬
‫سوال ‪)Wumpus( 6‬‬
‫دًيای ‪ Wumpus‬با ابعاد‬
‫(با هقذار ًاهطخص ) را درًظز بگيزيذ کِ در آى فقط ٍجَد ‪ Pit‬بزای ها هْن باضذ (اس ٍجَد‬
‫‪ Agent ٍ Glitter ،Wumpus‬صزفًظز هیضَد)‪ .‬هسالِ تطخيص اهي بَدى خاًِّای باسی با تَجِ بِ داًص هَجَد دربارُ خاصيت‬
‫‪ Breezy‬خاًِّای هختلف است‪ .‬بزًاهِای بِ سباى پزٍلَگ بٌَيسيذ کِ‬
‫‪ )a‬قَاًيي دًيای هزبَطِ را ضاهل ضَد‪.‬‬
‫‪ )b‬داًص دربارُی ‪ Breezy‬بَدى يا ًبَدى يک خاًِ بتَاًذ (احتواالً اس طزيق ‪ )assertion‬بِ پايگاُ داًص ٍارد ضَد‪.‬‬
‫‪ )c‬بتَاى در هَرد ايٌکِ يک خاًِ هطخص اهي است (ضاهل گَدال ًيست)‪ ،‬سَال کزد؟‬
‫‪ )d‬بتَاى در هَرد ايٌکِ يک خاًِ هطخص اهي ًيست (اهکاى ٍجَد گَدال در آى باضذ)‪ ،‬سَال کزد؟‬
‫‪ )e‬بتَاى در هَرد ايٌکِ يک خاًِ هطخص کطٌذُ است (قطعاً ضاهل گَدال باضذ)‪ ،‬سَال کزد؟‬
‫هَفق باضيذ‬