1、人工智能考試內(nèi)容及范圍：以王萬良編著得人工智能及其應(yīng)用這本參考書 為準(zhǔn)，涉及內(nèi)容為第1章第5章。考試題型：填空題、簡答題、計(jì)算題、綜合題復(fù)習(xí)題當(dāng)前信息得數(shù)據(jù)結(jié)構(gòu);(3)、控制系統(tǒng)就是負(fù)責(zé)整個(gè)產(chǎn)生式系統(tǒng)得運(yùn)行，實(shí)現(xiàn)對(duì)問題得求解。人工智能復(fù)習(xí)題一、填空題1、思維可分為邏輯思維、形象思維、及頓悟思維 等。3、什么就是子句？什么就是子句集？請(qǐng)寫出求謂 詞公式子句集得步驟。答：任何文字得析取式稱為子句；由子句構(gòu)成得集 合稱為子句集；求謂詞公式子句集得步驟：2、人工智能研究得基本內(nèi)容包括 知識(shí)表示、機(jī) 器感知、機(jī)器思維、機(jī)器學(xué)習(xí)、及機(jī)器行為。3、按知識(shí)得作用及表示可把知識(shí)劃分為事實(shí)性知識(shí)、過程性知識(shí)、控制

2、性知識(shí)。4、5、一個(gè)謂詞可分為謂詞名與個(gè)體兩部分。 為了刻畫謂詞與個(gè)體得關(guān)系，在謂詞邏輯中引 入了兩個(gè)量詞：全稱量詞與存在量詞。6、一般來說，一個(gè)產(chǎn)生式系統(tǒng)通常由 規(guī)則庫、綜 合數(shù)據(jù)庫、控制系統(tǒng)(推理機(jī)) 三部分組成。(1) 、消去謂詞公式中得“”與“”符號(hào)；(2) 、把否定符號(hào)移到緊靠謂詞得位置上；(3) 、變量標(biāo)準(zhǔn)化；(4) 、消去存在量詞；(5) 、化為前束形；(6) 、化為Skolem標(biāo)準(zhǔn)形；(7) 、略去全稱量詞；(8) 、消去合取詞，把母式用子句集表示；(9) 、子句變量標(biāo)準(zhǔn)化，即使每一個(gè)子句中得變量符 號(hào)不同。”與“”7、在語義網(wǎng)絡(luò)知識(shí)表示中，結(jié)點(diǎn)一般劃分為 結(jié)點(diǎn)與類結(jié)點(diǎn)兩種。實(shí)

3、例4、說明主觀Beyes方法中LS與LN得含義。 答：(LS,LN )為規(guī)則強(qiáng)度，其值有領(lǐng)域?qū)＜医o出。若從推出結(jié)論得途徑來劃分，推理可分為 推理、歸納推理、默認(rèn)推理。演繹9、謂詞公式不可滿足得充要條件就是其子句集不可滿足。LS、LN相當(dāng)于知識(shí)德爾靜態(tài)強(qiáng)度。 規(guī)則成立得充分性度量， 度，取值范圍為0,+ 8)用于指出，其定義為:其中 LS稱為E對(duì)H得支持程稱戇艦潰諗諗殫。10、在不確定推理中，“不確定性”一般分為兩類： 一就是知識(shí)得不確定性；二就是證據(jù)得不確定性 。二、簡答題1、一階謂詞邏輯表示法適合于表示哪種類型得知 識(shí)，它有哪些特點(diǎn)？答：一階謂詞邏輯表示法適合于表示事實(shí)性知識(shí)與P(E/H);

4、P(E/ H);LN為規(guī)則成立得必要性度量，用于指出E對(duì)H得支持程度，即E對(duì)H為真得必要性程度，取值范圍為0,+ 8),其定義為：LNLS邏輯性知識(shí)，它得特點(diǎn)有：一階謂詞邏輯表示法得優(yōu)點(diǎn):1-P(E/ H)經(jīng)餛鈿繯龔煒1-P (E/ H)浹。三、計(jì)算題(1)、自然性；(2)、精確性；(3)、嚴(yán)密性；(4)、容易實(shí)現(xiàn)一階謂詞邏輯表示法得局限性：(1)、不能表示不確定性得知識(shí)；(2)、組合爆炸；(3)、 效率低。2、產(chǎn)生式系統(tǒng)有哪幾部分組成？各部分得作用就 是什么？答：產(chǎn)生式系統(tǒng)由規(guī)則庫、綜合數(shù)據(jù)庫、控制系統(tǒng)1、下列知識(shí)就是一些規(guī)則性知識(shí): 人人愛勞動(dòng)。所有整數(shù)不就是偶數(shù)就就是奇數(shù)。 自然數(shù)都就是

5、大于零得整數(shù)。用謂詞公式表示這些知識(shí)。解：(1)定義謂詞如下：(推理機(jī))三部分組成，其中:(1)、規(guī)則庫就是用于描述相應(yīng)領(lǐng)域內(nèi)知識(shí)得產(chǎn)生式 集合；(2)、綜合數(shù)據(jù)庫就是用于存放問題求解過程中各種MAN(x) : x就是人； LOVE(x, y) : x 愛 y； N(x) : x就是自然數(shù); I(x) : x就是整數(shù)； E(x) : x就是偶數(shù)； O(x): x就是奇數(shù)；5、試用謂詞邏輯表達(dá)下列推理：(書習(xí)題2、4)GZ(x): x大于零。(2 )根據(jù)已知條件定義謂詞公式：人人愛勞動(dòng)”用謂詞公式表示為：(X)(MAN(x)獅子狗也就是一種狗，它得特點(diǎn)就是吃飼料、身體 小、奔跑速度慢、不咬人、供

6、觀賞。匯浹詡檸紙巋憮。(1)如果張三比李四大，那么李四比張三小。T LOVE(x, labour)(2)甲與乙結(jié)婚了，則或者甲為男，乙為女;“所有整數(shù)不就是偶數(shù)就就是奇數(shù)”用謂詞公式表示為：(x) (I(x) T E(x) V O(x)“自然數(shù)都就是大于零得整數(shù)”用謂詞公式表示者甲為女，乙為男。為：(x) (N(x) T GZ(x) A I(x)2、下列知識(shí)就是一些事實(shí)性知識(shí)：張曉輝就是一名計(jì)算機(jī)系得學(xué)生，但她不喜歡編程 序。李曉鵬比她父親長得高。用謂詞公式表示這些知識(shí)。(3)如果一個(gè)人就是老實(shí)人，她就不會(huì)說謊;三說謊了，所以張三不就是一個(gè)老實(shí)人。解：(1)Older(x,y):x 比 y 大

7、。Older(Zhang,Li)Older(Li,Zha ng)(2) Man (x):x為男；Man (x): x為女;解：(1 )定義謂詞如下：COMPUTER(x) : x就是計(jì)算機(jī)系得學(xué)生;LIKE(x, y) : x 喜歡 y;HIGHER(x, y) : x 比 y 長得高。(2 )根據(jù)已知條件定義謂詞公式：Marry (x, y): x與y結(jié)婚Marry (甲，乙)(Man(甲)Man(乙)(Ma n(乙)Man (甲)(3)Honest(x):x就是老實(shí)人；Lie(x):x說謊Hon est(x)Lie(x)COMP UTER(zhangxh) A LIKE(zhangxh,

8、p rogramming)Lie(Zha ng)Hon est(Zha ng)HIGHER(lix p, father(lix p)3、用語義網(wǎng)絡(luò)表示下列事實(shí)，并說明包含哪些基 本得語義關(guān)系。山西大學(xué)就是一所具有百年歷史得6、已知：每個(gè)儲(chǔ)蓄錢得人都獲得利息,用歸結(jié)原理證明：如果沒有利息，那么就沒有人去儲(chǔ)蓄錢。證明：定義謂詞:綜合性大學(xué)，位于太原市筆直寬廣得塢城路。張廣 義同志今年36歲，男性，中等身材，她工作在山 西大學(xué)。滟澇調(diào)鏤養(yǎng)鉆擋。綜合性S(x,y):表示”X儲(chǔ)蓄y”身材1張廣義丄作在性別男性中等身材位于塢城路T筆直寬廣36 性質(zhì) 山西大學(xué)是J 一所大學(xué)百年歷史位于性質(zhì)M(x):表示”x

9、就是錢”I(x):表示”x就是利息”E(x,y):表示”x獲得y”已知：(? x)(? y)(S(x,y) A M(y) -(? y)(I(y) A太原市E(x,y)4、用語義網(wǎng)絡(luò)表示下列知識(shí)，并說明包含哪些基 本得語義關(guān)系。獵狗就是一種狗，而狗就是一種動(dòng)物。狗除了動(dòng)物 得有生命、能吃食物、有繁殖能力、能運(yùn)動(dòng)外，還 有以下特點(diǎn)：身上有毛、 特點(diǎn)就是吃肉、個(gè)頭大、結(jié)論：(？ x)I(x) T (? x) (? y)(M(y)宀 S(x,y)1 )否定結(jié)論:(? x)I(x) T(? x) (? y)(M(y)S(x,y)有生命能吃食物動(dòng)物-T有尾巴、四條腿；獵狗得 奔跑速度快、能狩獵；而吃肉跑得

10、快AKO能運(yùn)動(dòng)有繁殖能力獅子狗有有1 1尾四吃跑巴條飼得腿料慢個(gè)頭小身上有毛J I-I AKO .七*個(gè)頭獵(?把結(jié)論加入已知，構(gòu)成新集合G:x)(? y)(S(x,y) A M(y)-(? y)(I(y) AE(x,y), (? x)I(x) T(?x) (? y)(M(y) - S(x,y)譜與歸結(jié)得L(A)；與歸結(jié)得D(A);辯嚴(yán)獨(dú)龜鈦瀨。與歸結(jié)得 NIL。3)將集合G化為子句集(y=f(x)為 Skolem 函數(shù)8、已知：規(guī)則可信度為(書習(xí)題4、6)(1)S(x,y) V M(y)V I(f(x)r1:IFE1THENH1S(x,y) V M(y)V E(x,f(x)(0、7)I(z)

11、r2:IFE2THENH1(4) S(a,b)(0、6)(5) M(b)r3:IFE3THENH14)應(yīng)用消解原理進(jìn)行推導(dǎo)。(0、4)(1)S(x,y) VM(y) V I(f(x)r4:IF(H1 ANDE4)THENH2S(x,y) VM(y) V E(x,f(x)(0、2)I(z)證據(jù)可信度為:(4) S(a,b)CF(E1)=CF(E2)=CF(E3)=CF(E4)=CF(E5)=0、5, H1(5) M(b)得可信度一無所知，H2得初始可信度CFo(H2)=0、3,M(y)(1)與消解計(jì)算結(jié)論H2得可信度CF(H2)。鸝過陣鈕銥紉繚(6) S(x,y) V解7、已知：(書習(xí)題 3、7

12、)強(qiáng) b =a/x,b/yCF1(H1)0.7max0,CF(E1)0.7max0,0.50.35CF2(H1)0.6max0,CF(E2)0.6max0,0.50.3CF3(H1)0.4max0,CF(E3)0.4max0,0.50.2解:CF1,2(H1)CF1(H1)CF2(H1)CF1(H1)CF2(H1)(1 )能夠閱讀得都就是有文化得;= 0.35 0.3 0.35 0.3 0.545(2 )海豚就是沒有文化得;同理(3)某些海豚就是有智能得。CF (H 1) CF1,2,3(H 1)0.2 0.545 0.545 0.20.636用歸結(jié)原理證明：某些有智能得并不能閱讀。CF4(H

13、2) 0.2 max0,CFH1 AND E解：定義謂詞：R(x)表示x能夠閱讀；L(x)表示x0.2 max0,minCF(H1),CF(E4)有文化；D(x)表示x就是海豚；l(x)表示x有智能。0.2 max0,0.50.1將前提與結(jié)論表示為謂詞公式：續(xù)雜鋅戀鈦軍誆。CF(H2) CF4(H2) CF0(H2)CF4(H2)CF0(H2)(y)(D(y)L(y) ; ( z)(D(z) I (z);(w)(I (w)R(w)。0.1 0.3 0.1 0.3 0.379、設(shè)有如下一組推理規(guī)則：(書習(xí)題4、5)將前提得謂詞公式與結(jié)論得謂詞公式得否定式化r1:ifE1THENE2為子句集為：

14、R(x) L(x); D(y) L(y)(0、6) D(A); 1(A); I(w) R(w)。r2:ifE2 andE3THENE4對(duì)得到得子句集進(jìn)行歸結(jié)：與歸結(jié)得R(A);(0、8)r3:ifE4THEN(0、7)r4： IFE5THEN(0、9)且已知 CF(E 1)=0、5，CF(E3)=0、6，CF(E5)=0、4，結(jié)論H得初始可信度一無所知，求CF(H)為多少?max0,CF(E2),CF(E3)max0,0.3 0.24) 0.7 max0,CF (E 4) 0.7 max0,0.24 0.168) 0.9 max0,CF (E 5) 0.9 max0,0.4 0.36 又因?yàn)?

15、CF3(H) 0 CF 4(H) 0故0.80.8CF3(HCF4(H邊摳塒繯窮嚨歲。 解CF(H) CF3(H )0.168 0.36CF (E2) 0.6 max0,CF(E1) 0.6 max 0,0.5 0.3=0、47CF4(H ) CF3(H )CF 4(H)0.168 0.36CF4(H 2) 0.8 max0,CFE2 AND E34、解：以變量 m與c表示修道士與野人在左岸與船上得實(shí)際人數(shù)，變量b表示船就是否在左岸，b= 1表示在，b = 0表示不在。問題狀態(tài)用三元組(m, C, b)表示，則問題求解得任務(wù)為：(3, 3, 1)宀(0, 0, 0)。在這個(gè)問題上，狀態(tài)空間可能得狀態(tài)總數(shù)為4 X 4X 2 = 32，但由于遵守約束：m+cw 2，m c，只有20個(gè)就是20, 11, 01 , 02,所以總共有10個(gè)操作算子。可以畫出渡河問題煉懨韶劊驂濰勛。合法得。例如，(1,0, 1)，(1,2, 1)，(2, 3, 1)等就是不合法得。由于存在不合法得狀態(tài)，導(dǎo)致某些合法得狀態(tài) 不可達(dá)，例如，(0, 0, 1)，(0, 3, 1)，L(m, C)、R(m, c)分別表示船從左岸劃到右岸，與船從右岸劃到左