版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
1、多年的企業(yè)咨詢顧問徑紐經(jīng)過實戰(zhàn)驗證可以落地執(zhí)行的卓越管理方案,值得您下裁擁有(人工智能)人工智能習題20XX年XX月知識表示方法部分參考答案28設有如下語句,請用相應的謂詞公式分別把他們表示出來: (1)有的人*歡梅花,有的人喜歡菊花有的人既寒歡梅花又喜歡菊花。解:定義謂詞P(x) : X是人L(x,y) : X 寒歡 y其中,y的個體域是梅花.菊花。將知識用謂詞表示為:(x)(P(x)-L(x 梅花)vL(x,菊花)vL(x 梅花)aL仇菊花)(4)不是每個計算機系的學生均喜歡于計算機上編程序。解:定義謂詞S(x) : X是計算機系學生L(x,pragramming) : x 寒歡編程序U(
2、x,computer) : x使用計算機將知識用謂詞表示為:-i(x)(S(x)iL(x, pragramming)AU(x,co mpu ter)(5)凡是騫歡編程序的人均喜歡計算機。解:定義謂詞P(x) : X是人L(x,y) : X 寒歡 y將知識用謂詞表示為:(x)(P (x)aL(x, pragramming)f L(x,co mpu ter)228請對下列命題分別寫出它們的語義網(wǎng)絡:每個學生均有壹臺計算機。ISAfen 高老師從3月到7月給計算機系學生講計算機網(wǎng)絡課。講課事件計算機系學生CaurseI計算機網(wǎng)絡紅隊和藍隊進行足球比賽,最后以3 : 2的比分結束。3:2229譴把下列
3、命題用壹個語義網(wǎng)絡表示出來:AKO樹和草均有葉和根;Have是一種G)水草是草,且生長于水中;植物(4)BW是樹.且會結果;植物梨樹是果樹中的種,它會結梨。2.25假設有以下壹段天氣預報:“北京地區(qū)今天白天晴,偏北風3級,最高氣溫12。,最低氣溫-2。.降水概率15%/請用框架表示這團忠Framev 預報 >地域:北京時段:今天白天天氣:睛風向:偏北風力:3級氣溫:最高:12度最低:2度降水概率:15%2.26按師生框架氣"教師框架S "學生框架"的形式寫出壹個框架系統(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學生框架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標準型,且P(x,y)八Q(xy)已經(jīng)是合取范式, 所以可直接消去全稱量詞.合取詞,得P(x,y)Qx,y)再進行變元換名得子句集:S二P(xy)Q(uM對謂詞公式(x)(y)(P(x,y)TQ(x,y),先消去連嗣 J”得:(x)(y)(P(x,y)vQ(x,y)此公式已為Skolem標理 再消去全稱量詞得子句集:SWP (x,yWQ(x,y) 對
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標理 最后消去全稱量詞得子句集:S=P(Kf(x) V Q(xJ(x) V R(xJ(x) 對謂詞(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標理 最后消去全稱量詞得子句集:S 二P (x,y)vQ(x,yWR(x,f(x,y)M14對下列各題分別證明G是否為FbF2Fn的邏輯結論: 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)再對S進行歸結:P(a,b)a/x所以,G是F的邏輯結論先將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、擴充的子句集為:S=P(x), (Q(a)vQ(b) T(x)vgx)再對S進行歸結:a/ba/x所以,G是F的邏輯結論3.15設已知:如果X是y的父親,y是Z的父親,則X是Z的祖父;(2)每個人均有壹個父親。使用歸結演繹B正明:對于某人U 壹定存于壹個人V,V是U的祖父。解:先定義謂詞F(xy) :x是y的父親GF(x,z):x是z的祖父P(x) : X SS個人再用iS詞把問題描述出來: 已知 F1 : (x)(y)(z)(F(xy)八F(y,z)-GF(x,z)F2 : (y)(P(x)-F(x,y)求證結論 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)對上述擴充的子句集,其歸結過程如下:x/v.z/ux/s,y/y/s,z/ry/u由于導出了空子句故結論得證。3.18設有子句集:P(x)vQ(ab),P(aWQ(ab),Q(af(a),P(x)vQ(x,b)分別用各種歸結策略求出其歸結式。解:支持集策略不可用,原因是沒有指明哪個子句是由目標公式的否定化簡來的。刪除策略不可用原因是子句集中沒有沒有靈言式和具有包孕關系的子句。a/x單文字子句策略的歸結過程如下:-I Q(a, f(a)用線性輸入策略(同時滿足祖先過濾策略)的歸結過程如下:a/
11、xa/xNIL6遼設有如下推理規(guī)則ri:IFEiTHEN(100,0.1)Hir2:IFE2THEN(50A5)H2r3:IFE3THEN(5Q05)H3且已知P(Hi)=OOZP(H滬02P(H滬0.4,請計算當破 Ei E疋3存于或不存于時P(H|Ei)或P(Hi|Ei)的值各是多少(i=123) ?解:當El、E2. E3肯定存于時,根據(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)當El、E厶E3肯定存于時,根據(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設有如下壹纟雎理規(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飆驅/MM蚪解y樂呂郢甜里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(務卩H)O崖”耳電呂吐(務卩H)d 葩碗些Mi丐壷1!K瓊宗壬底割eaS來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ū)爭至葩蔣陰中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)田=斗細 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)吉訓舉/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斗細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訓堞srszT工 2 3ii p(h2_s10)吉訓舉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)斗細 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可見,出原來的概率是0.01,經(jīng)過上述推理后得到的后驗概率是0.06395 ,它相當于先驗 概率的6倍多。521設有如下倆個模糊關系:請寫出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
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024試用期接觸勞動合同范本
- 供應合同-省級國家機關、事業(yè)單位和社會團體計算機(或打印機)協(xié)議供貨合同
- 廣東省七年級上學期語文期中考試試卷5套【附答案】
- 2024年車輛物流運輸合同協(xié)議書
- 機械租賃合同模板集
- 展覽活動中的房產(chǎn)贈與合同
- 貨物倉儲出租協(xié)議
- 2024年詳細版租房協(xié)議書
- 手機銷售合同常見問題解答
- 2024版酒店經(jīng)營合作協(xié)議模板
- 干果加工項目建議書范文
- 人教版初中語文教材分析(課堂PPT)
- 護理核心制度督查表20179
- 紅色古色綠色文化教育活動策劃方案
- 《Monsters 怪獸》中英對照歌詞
- 《正交分解法》導學案
- 建筑材料知識點匯總
- 平面構成作品欣賞
- 英語管道專業(yè)術語
- 社會工作畢業(yè)論文(優(yōu)秀范文8篇)
- 五篇500字左右的短劇劇本
評論
0/150
提交評論