人工智能人工智能習(xí)題

1、多年的企業(yè)咨詢顧問(wèn)徑紐經(jīng)過(guò)實(shí)戰(zhàn)驗(yàn)證可以落地執(zhí)行的卓越管理方案，值得您下裁擁有（人工智能）人工智能習(xí)題20XX年XX月知識(shí)表示方法部分參考答案28設(shè)有如下語(yǔ)句，請(qǐng)用相應(yīng)的謂詞公式分別把他們表示出來(lái): (1)有的人*歡梅花,有的人喜歡菊花有的人既寒歡梅花又喜歡菊花。解：定義謂詞P(x) : X是人L(x,y) : X 寒歡 y其中，y的個(gè)體域是梅花.菊花。將知識(shí)用謂詞表示為：(x)(P(x)-L(x 梅花)vL(x,菊花)vL(x 梅花)aL仇菊花)(4)不是每個(gè)計(jì)算機(jī)系的學(xué)生均喜歡于計(jì)算機(jī)上編程序。解：定義謂詞S(x) : X是計(jì)算機(jī)系學(xué)生L(x,pragramming) : x 寒歡編程序U(

2、x,computer) : x使用計(jì)算機(jī)將知識(shí)用謂詞表示為：-i(x)(S(x)iL(x, pragramming)AU(x,co mpu ter)(5)凡是騫歡編程序的人均喜歡計(jì)算機(jī)。解：定義謂詞P(x) : X是人L(x,y) : X 寒歡 y將知識(shí)用謂詞表示為：(x)(P (x)aL(x, pragramming)f L(x,co mpu ter)228請(qǐng)對(duì)下列命題分別寫(xiě)出它們的語(yǔ)義網(wǎng)絡(luò)：每個(gè)學(xué)生均有壹臺(tái)計(jì)算機(jī)。ISAfen 高老師從3月到7月給計(jì)算機(jī)系學(xué)生講計(jì)算機(jī)網(wǎng)絡(luò)課。講課事件計(jì)算機(jī)系學(xué)生CaurseI計(jì)算機(jī)網(wǎng)絡(luò)紅隊(duì)和藍(lán)隊(duì)進(jìn)行足球比賽,最后以3 : 2的比分結(jié)束。3:2229譴把下列

3、命題用壹個(gè)語(yǔ)義網(wǎng)絡(luò)表示出來(lái)：AKO樹(shù)和草均有葉和根；Have是一種G)水草是草,且生長(zhǎng)于水中；植物(4)BW是樹(shù).且會(huì)結(jié)果；植物梨樹(shù)是果樹(shù)中的種,它會(huì)結(jié)梨。2.25假設(shè)有以下壹段天氣預(yù)報(bào)：“北京地區(qū)今天白天晴,偏北風(fēng)3級(jí)，最高氣溫12。,最低氣溫-2。.降水概率15%/請(qǐng)用框架表示這團(tuán)忠Framev 預(yù)報(bào) >地域：北京時(shí)段：今天白天天氣：睛風(fēng)向：偏北風(fēng)力：3級(jí)氣溫：最高：12度最低：2度降水概率：15%2.26按師生框架氣"教師框架S "學(xué)生框架"的形式寫(xiě)出壹個(gè)框架系統(tǒng)的描述。解：師生框架Frame<Teachers-Students>Name

4、: Unit ( Last-name , Firstname )Sex : Area ( male , female)Default: maleAge : Unit ( Years )Telep hone : HomeUnit ( Number)MobileUnit ( Number)教師框架Frame<Teachers>AKO<Teachers-Students>Major : Unit ( Major-Name )Lectures : Unit ( Course-Name )Field : Unit ( Field-Name )Project: Area ( Nat

5、ional , Provincial, Other)Default: ProvincialPaper: Area ( SCI, El, Core , General)Default: Core學(xué)生框架Frame<Stude nts>AKO<Teachers-Students>Major : Unit ( Major-Name )Classes : Unit ( Classes-Name )Degree : Area ( doctor, mastocbachelor)Default: bachelor第3章確定性推理部分參考答案Mil把下列謂詞公式化成子句集:(x)(y)

6、(P(x,y)心 y) (x)(y)(P(x,y)-Q(xy) (x)(y)(P(x,y)v(Q(x,y)-R(x,y)(4)(x)(y)(z)(P(x,y)-Q(x,y)vR(x,z)解:由于(x)(y)(P(xy)八Q(xy)已經(jīng)是Skolem標(biāo)準(zhǔn)型，且P(x,y)八Q(xy)已經(jīng)是合取范式, 所以可直接消去全稱量詞.合取詞,得P(x,y)Qx,y)再進(jìn)行變?cè)獡Q名得子句集：S二P(xy)Q(uM對(duì)謂詞公式(x)(y)(P(x,y)TQ(x,y),先消去連嗣 J”得:(x)(y)(P(x,y)vQ(x,y)此公式已為Skolem標(biāo)理 再消去全稱量詞得子句集：SWP (x,yWQ(x,y) 對(duì)

7、謂詞公式(x)(y)(P(x,yW(Q(x,y)-R(x,y),先消去連接詞 J”得:(x)(y)(P(x,yW(Q(x,y)vR(x,y)此公式已為前就式。再消去存于量詞，即用Skolem函數(shù)f(x)替換y得:(x)(P(x,f(x)"Q(x,f(x)vR(x,f(x)此公式已為Skolem標(biāo)理 最后消去全稱量詞得子句集：S=P(Kf(x) V Q(xJ(x) V R(xJ(x) 對(duì)謂詞(x)(y)(P(x,y)-Q(xy)vR(x,z),先;肖去連接詞 J”得:(x)(y)(z)(-P(x,y)vQ(x,y)vR(KZ)再消去存于量詞，即用Skolem函數(shù)f(x)替換y得:(x)

8、(y)(P(x,y)vQ(x,y)vR(x,f(x,y)此公式已為Skolem標(biāo)理 最后消去全稱量詞得子句集：S 二P (x,y)vQ(x,yWR(x,f(x,y)M14對(duì)下列各題分別證明G是否為FbF2Fn的邏輯結(jié)論: F:(x)(y)(P(x,y)G：(y)(x)(P(x,y)G：(x)(P(x)aQ(x)解：先將F和-G化成子句集:S 二P(ab)廠 P(x,b)再對(duì)S進(jìn)行歸結(jié):P(a,b)a/x所以，G是F的邏輯結(jié)論先將F和G化成子句集由 F 得：S尸P(x) , (Q(aWQ(b)由于G 為：(x)(P(x)aQ(x),即(x)(-P(x)vQ(x),可得:S尸P(x)vQ(x)因此

9、擴(kuò)充的子句集為：S=P(x), (Q(a)vQ(b) T(x)vgx)再對(duì)S進(jìn)行歸結(jié):a/ba/x所以，G是F的邏輯結(jié)論3.15設(shè)已知:如果X是y的父親，y是Z的父親，則X是Z的祖父；(2)每個(gè)人均有壹個(gè)父親。使用歸結(jié)演繹B正明：對(duì)于某人U 壹定存于壹個(gè)人V，V是U的祖父。解：先定義謂詞F(xy) :x是y的父親GF(x,z):x是z的祖父P(x) : X SS個(gè)人再用iS詞把問(wèn)題描述出來(lái): 已知 F1 : (x)(y)(z)(F(xy)八F(y,z)-GF(x,z)F2 : (y)(P(x)-F(x,y)求證結(jié)論 G : (u)(v)(P(u)f GF(v,u)然后再將Fl, F2和G化成子

10、句集: F(x,y)vrF(y,z)vGF(x,z)-P(r)vF(s.r)(3)P(u)GF(v,u)對(duì)上述擴(kuò)充的子句集,其歸結(jié)過(guò)程如下:x/v.z/ux/s,y/y/s,z/ry/u由于導(dǎo)出了空子句故結(jié)論得證。3.18設(shè)有子句集：P(x)vQ(ab),P(aWQ(ab),Q(af(a),P(x)vQ(x,b)分別用各種歸結(jié)策略求出其歸結(jié)式。解：支持集策略不可用,原因是沒(méi)有指明哪個(gè)子句是由目標(biāo)公式的否定化簡(jiǎn)來(lái)的。刪除策略不可用原因是子句集中沒(méi)有沒(méi)有靈言式和具有包孕關(guān)系的子句。a/x單文字子句策略的歸結(jié)過(guò)程如下:-I Q(a, f(a)用線性輸入策略（同時(shí)滿足祖先過(guò)濾策略）的歸結(jié)過(guò)程如下:a/

11、xa/xNIL6遼設(shè)有如下推理規(guī)則ri：IFEiTHEN(100,0.1)Hir2：IFE2THEN(50A5)H2r3：IFE3THEN(5Q05)H3且已知P(Hi)=OOZP(H滬02P(H滬0.4，請(qǐng)計(jì)算當(dāng)破 Ei E疋3存于或不存于時(shí)P(H|Ei)或P(Hi|Ei)的值各是多少(i=123) ?解：當(dāng)El、E2. E3肯定存于時(shí)，根據(jù)ru r2. rs有P(Hi|Ei)=(LSixP(Hi)/(LSiJ)xP(Hi)+l)=(100x0.02)/(100-1)x0.02+1) =0.671P(出|E 滬(LSmP(出)/(LS2J)xP(出)+1)=50x0.2)/(50-l)x0.

12、2+l)=0.9921P(H3|E 滬(LS3xP(H3)/(LS3J)xP(H3)+1)=5x0.4)/(5-l)x0.4+l)=0.769(2)當(dāng)El、E厶E3肯定存于時(shí)，根據(jù)ri. r2. rs有P(HihEi)=(LNixP(Hi)/(LNi-l)xP(Hi)+l)=(01x0.02)/(0.1-l)x0.02+l)=0.002P(H2 卜 E2)=(LN2xP(H2)/(LN2l)xP(hb)+l)=(05x0.2)/(0.5-l)x0.2+l) =0.111P(H3hE3)=(LN3xP(H3)/(LN3-l)xP(H3)+l)=(0.05x0-4)/(0.05-l)x0.4+l)

13、 =0.0326.8設(shè)有如下壹纟雎理規(guī)則:ri：IFEiTHENE2(0.6)r2：IFE2ANDE3THENE4(07)r3：IFE4THENH(08)r4：IFE5THENH(09)且已知 CF(Ei)=05,CF(E3)=06CF(E5)=07。求 CF(H)=?S：先由1求CF(E2)CF(E2)=0-6xmax0.CF(Ei) =06xmax005=03(2)再由 H 求 CF(E4)CF(E4)=07xmax(XminCF(EdCF(E3) =0.7xmax0,min03A6=0.21(3)再由 w 求 CFiH)=0.8xmax0,0.21)=0.168CFi(H)=0.8xma

14、x0.CF(E4)(屯 d(迓屯d)x(s)d=)、(TH)dl(T4_TH)d)+(TH)dH(TSH)d(TS_TH)O 槪U朋呃 e(TS_TH)d旺迪 (4)dw802s_4)d s0899oh(t:+t600x(i,z)、(1:600xz)h(l:+(TH)dxcHS)、(TH)dxTS)HS_TH)ds=H)d蚤匍膽園“占sf iZH(ES£TSFH)d saAea 8s9m0H(ms 一占)d890"(遲占)db802s 一屯 d-口希旺ffl%T0 0HFH)dl:600H(TH)d90H(£)dH2)d"2)d 呆皿皿f (loogNH

15、lTHZIm丘(l:00000z)N3Hl:nEthccoooqoodnqhigziisTH(l:oooooz)N3Hl:nD39(h)£:>x(h)£:>+(h)£:>+(h)t:dh(h)：dm90H(z.0dxeuJX60H(占MyoMeEXGOHOHKZD(HnzD倏p田w (寸)II00T0x(IT00T0/(£9Ti7e*0)x(IT00T0/£08ST0)=0H)Ox(0H)O/(SpH)O)x(rH)O/rSpH)O)=(S*'SpH)O飆驅(qū)/MM蚪解y樂(lè)呂郢甜里Tl00r0=(T60*0-T)/I60

16、*0=(rH)d-T)/0H)d=rH)O窣1/蔣M諛紳翔碗辛曲中琳辛($TS|TH)d 吐(0TS|TH)O 董44(£)£91X0 二(“S 卩 HQD/WS 卩 H)d=WS 卩 H)O(90-890)x(90-D/(l：60Ch8l6060)+l600 二(勺)d-«勺)d)x(勺QD/WhOd-(勺|TH)d)+(TH)d“S|TH)d（務(wù)卩H）O崖”耳電呂吐（務(wù)卩H）d 葩碗些Mi丐壷1!K瓊宗壬底割eaS來(lái)M/M胚馬（SlH）d宙卻（勺）d<890二（巒勺）d i田81606*0=(T+I60 0x(1-001)/(160*0x001)=rt+

17、UhOdx(百)/(TH)dx 乙 SF=(勺卩 H)d（勺卩H）d 超碗些&0:1勺壬區(qū)爭(zhēng)至葩蔣陰中Of辛Cs|TH）o董4V甲£08ST*0=(rSpH)d-I)/rSpH)d=rSpH)O(90-i780)x(9 0-I)/(T60 0-?899I*0)+T60*0=乙 6片9£l：0MJ0x 労 68T0+l600 二ho53942p(Hl_ys2)HO(Hl_sls2)、(l+o(H10sfeho.35040(4)田=斗細(xì) 0(h2 一 S3)p(h2 一 e3)h(ls3xp(h2)、(ls3,1)xp(h2) + 1)h(200x001)、(2001)

18、x001+1)ho.09569s p(e3_s3)ho36ap(e3)狒a P(H_S)A頭送雪堞SB® p(h2 一 S3)吉訓(xùn)舉/I弼 0(h2_s3)p(h2 一 s3)hp(h2 丁 e3) + (p(工2)p(h2 丁 e3)、p(e3)xp(e3_s3)p(h2 丁 e3)hln3xp(h2)、(ln=)xp(h2)+1)Hooolxool、(oool,l)xool+1)Ho.oooolp(h2_s3)hp(h2 丁 e3) + (p(h2)p(h2_e3)、p(e3)xp(e3_s3)H000001+(001i00001)、06)x036ho.006000(h2_s3)

19、hp(h2_s3)、(1,p(h2_s3)ho.00604(5)田4斗細(xì)0(h2一工1)i p(h2-h1)p(h2 一 h1)h(ls4xp(h2)、(ls41)xp(h2)+1)h(50x001)、(501)x001+1)ho.33557s p(h1_s1s2)h035040vp(h1) 1 p(H_s)A5eBg訓(xùn)堞srszT工 2 3ii p(h2_s10)吉訓(xùn)舉0(工 2_S10)p(h2 一 sls2)HP(H2)+(p(H2_Hl)p(H2)、(：bp(Hl)x(p(Hl_sls)p(Hl)H001+(033557l001)、(li091)x(035040i091)ho.1029

20、10(工 2一s19)hp(h丄ys2)、(；bp(H20s2)h010291、(1,010291)h011472(6)斗細(xì) 0(h2一S1.S29)吉 p(h2_s19、s3)s X- Susiso(h2)hp(h2)、(1,p(h2)ho01、(1601)ho010100(工 2 一 s19、s3)h(o(h2_s1s2)、o(h2)x(o(h2_s3)、o(h2)xo(h2)h(011472、001010)x(000604)、001010)x001010ho.06832p(h2_s10s3)ho(h1_s10、s3)、(1+o(h10s20)h006832、(1+006832)h0063

21、95可見(jiàn),出原來(lái)的概率是0.01,經(jīng)過(guò)上述推理后得到的后驗(yàn)概率是0.06395 ,它相當(dāng)于先驗(yàn) 概率的6倍多。521設(shè)有如下倆個(gè)模糊關(guān)系：請(qǐng)寫(xiě)出R1和R2的合成R1OR2.解:R(1J)=(03a0.2)v(07a0.6)v(0.2a0-9)=0.2v0.6v0.2=0-6R(1,2)=(03a0.8)v(07a0.4)v(0.2a01)=03v0.4v0.1=0.4R(2J)=(1a0-2)v(0a0.6)v(0.4a0.9)=0.2v0v0.4=0.4R(Z2)=(1a0.8)v(0a0.4)v(0.4a01)=0.8v0v01=0.8R(3J)=(0a0-2)v(0.5a0.6)v(1a0.9)=0.2v0.6v0-9=0.9R(3.2)=(0a0.8)v(0.5a0.4)v(1a01)=0v0.4v0.1=0.4因此有5