附錄A 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試人工智能真題

1、附錄A計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試人工智能真題 1999年計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題 課程人工智能原理 一、選擇題（共4分） 人工智能作為一門學(xué)科， N的誕生地 是（）。第1、在（）年誕生于（）。ISP語言是（）年提出的，MYCI(A)18 7 0(B)18 7 6(C)1880(D)1886(E)1890(F)18 95 (G)19 35(H)19 4 0(I)19 4 6(J)1950(K)1956(L)1960(M)3空格候選答案:(N)19 8 019 7第2、04空格候選答案:(1)Dover(2 )LasVega(3 )RiceUniversity(4)NewYork(5 )

2、Houston (6 )Chicago(7)Boston(8) London(9 )Dartmouth(10)Seartie(11) HarvardUniversity (12) OxfordUniversity(13)Universityof Camoridge(14)Birmingham(15)JohnsHoPkinsUniversity(16)Pennsylvania(17)RAND(18)IBMge(2 1 )Philadelphia(22)Denver (23)Montreal (24) Berkeley(25)CarnegieMelonUniversity (26) Michiga

3、n(27)MITs(28)KansasCity (29) Providence (30) StanfordUniversity二、填空題（共10分）)(20)(linandMarshalnklllSJFC91anoraosee1 .近年來，對人類智能的理解上形成了兩種不同的觀點(diǎn)，一種觀點(diǎn)稱做（）主義，另 種觀即（）的觀點(diǎn)，稱做（）主義。常用的知識表示方法有邏輯表示法、（）、（）、（）、（）點(diǎn)，2.等。下圖為Simon提出的學(xué)習(xí)模型，請?zhí)畛淇瞻卓?。?分）將下式化為不含量詞的子句3.三、 Xy z u P ( x , y , z,u )五、（10分）已知：規(guī)則可信度A-XCF(X，A) =0.8

4、B-XCF(X，B) =0.6C-XCF(X，C) =0.4XAD-Y CF(Y，XAD) =0.3證據(jù)可信度CF（A） =CF（B）=CF(C)=CF(D)=0.5。X、Y 的初始可信度 CF0(X)=O.l；CF0(Y)=O.2o要求用MYCIN的方法計(jì)算：l .結(jié)論X的可信度CF(X)；結(jié)論Y的可信度CF(Y)。2OOO年計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題課程人工智能原理一、選擇與填空(共1O分，每空O.5分).命題邏輯下，可以歸結(jié)(消解resolution)的子句Cl和。2,在某解釋 下C1和C2為真。則其歸結(jié)式(消解式、resolvent)C在該解釋下()。A.必真B.必假C.真假不能

5、斷言.表達(dá)式G是不可滿足的，當(dāng)且僅當(dāng)對所有的解釋()。A.G為真B.G為假C.G為非永真(invalid)MYCIN系統(tǒng)中規(guī)定，證據(jù)A的可信度CF(A )的取值為()。A.CF(A)O B.OWCF(A)W1 C.1WCF(A)W1主觀Bayes推理中，規(guī)定似然比(Likelihood)LS和LN應(yīng)()。 A.NO B.WO C.O5 .在誕生初期，人工智能被定義為這樣一個(gè)計(jì)算機(jī)科學(xué)的分支：它是研究()。人工智能 程序與通常意義下的程序比較它具有以下四個(gè)特點(diǎn)：()，()，()，()。用反演(refutation )歸結(jié)證明定理，證明過程是這樣結(jié)束的。若()，貝U 定理得證；若()，則證明失敗。

6、在語義網(wǎng)絡(luò)中，為了進(jìn)行節(jié)點(diǎn)(結(jié)點(diǎn)，node )間節(jié)點(diǎn)屬性的繼承推理，規(guī)定了兩個(gè) 約定俗成的鏈(弧，arc)，命名為()和()，用來標(biāo)明類與子類、類與個(gè)體之間的關(guān)系。8 .產(chǎn)生式規(guī)則與蘊(yùn)涵規(guī)則的區(qū)別在于：產(chǎn)生式規(guī)則()，而蘊(yùn)涵規(guī)則()。MYCIN推理中，對證據(jù)的可信度CF(A)、CF(A1 )和CF(A2 )之間， 規(guī)定如下關(guān)系：CF (A)=()，CF(A1AA2) = ()，CF(A1VA2) = ()。主觀Bayes推理中，規(guī)則E-H的不確定性是以似然比LS和LN描述的。LS 表示了規(guī)則成立的()性；LN表示了規(guī)則成立的()性。二、化下列邏輯表達(dá)式為不含存在量詞的前束形(prenexfor

7、m)(5分)( X) ( Y) ( Z)P(Z)A Q(X, Z)-R(X, Y, f(a)四、對結(jié)論做假設(shè)H，有證據(jù)E1和E2，規(guī)則R1和R2。(1O分) R1：E1fH，LS = 2O，LN=1； R2：E2-H，LS = 3OO，LN=1。已知H的先驗(yàn)概率P(H)=O.O3。若證據(jù)E1和E2依次出現(xiàn)，按主觀Bayes推 理，求H在此條件下的概率P (HmE1，E2)。(注意：每步應(yīng)列出計(jì)算式，計(jì)算結(jié)果可取近似值。)2001年計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題課程W人工智能原理一、選擇與填空（共10分，每空0.5分）（1）標(biāo)準(zhǔn)邏輯（謂詞邏輯）中，重言式（tautlogy ）是（）。A.永真B

8、.永假C.非永真（invalid）（2）反演（refutation ）歸結(jié)（消解,resolution ）證明定理時(shí)，若當(dāng)前歸結(jié)式（消解式,resolvent ）是（），貝0 定理得證。A.永真式B.包孕式（subsumed） C.空子句（3）MYCIN系統(tǒng)中規(guī)定，若證據(jù)A的可信度CF（A）=0，則意味著（）。A.證據(jù)不可信B.對證據(jù)一無所知C.證據(jù)可信（4）主觀Bayes推理中，規(guī)則E-H，其LS = LN=1，這意味著（）。A.E對H沒有影響B(tài).E支持H C.E支持H（5）開發(fā)專家系統(tǒng)所要解決的基本問題有3個(gè)，那就是知識的獲取、知識的表示和（）； 知識表示的方法主要有（），（），（），（）

9、。（6）反演歸結(jié)的支持集策略規(guī)定：參加歸結(jié)的子句應(yīng)這樣選取：（），而其歸結(jié)式應(yīng)并入（）內(nèi)。（7）謂詞邏輯下，子句C1=L1VCZ1，C2=-L2VCZ2，若CT是互補(bǔ)句節(jié)的（）的合一子，則其歸結(jié)式（消解式，resolvent）C=（）。（8）以反演歸結(jié)證明子句集S不可滿足的過程中，當(dāng)前歸結(jié)式是（）或（），則可 刪除。（9）語義網(wǎng)絡(luò)是（）表示的節(jié)點(diǎn)1，有向弧，節(jié)點(diǎn)2三元式聯(lián)結(jié)而成的。其節(jié)點(diǎn)表 示（），其弧表示（）。（10）PROSPECTOR系統(tǒng)中的規(guī)則，由專家指定其LS、LN的值，由似然比定 義知：LS、LN與0（零）比較應(yīng)LS、LN皆（）0，并且，若指定LS1，則LN應(yīng)指定（）；反之亦然。二

10、、計(jì)算證據(jù)對結(jié)論的不確定性的影響（7分）已知規(guī)則R1、R2的可信度：R1，AfX，CF（X，A）=0.8R2，B X，CF（X，B）=0.6證據(jù)可信度CF（A）=CF（B）=0.5，X的初始CF0（X）=0. 1，現(xiàn)逐次引用R1、R2，要求用MYCIN的方法計(jì)算結(jié)論X的可信度CF（X）。三、用標(biāo)準(zhǔn)邏輯（經(jīng)典邏輯，謂詞邏輯）的子句集表示下述刑偵知識，并用反演歸結(jié)的線性 策略證明結(jié)論。（9分）現(xiàn)定義如下謂詞（其項(xiàng)變量X，Y，Z，皆為全稱變量）。Thief（X）某人X是賊；Likes（X，Y）某人X喜歡某物Y；Maysteal（X，Y）某人X可能會偷竊某物Y。（1）用子句集表示下屬刑偵知識：iJoh

11、n是賊。iiPaul 喜歡酒（wine）。iiPaul （也）喜歡奶酪（cheese）iv如果Paul喜歡某物則J ohn也喜歡某物。v如果某人是賊，而且他喜歡某物，則他就可能會偷竊該物。（2）求證結(jié)論：J ohn可能會偷竊什么？即求證目標(biāo)：Maysteal（John,Z）,Z=?（提示：建議將求證目標(biāo)作為頂子句，按線性策略進(jìn)行反演消解，注明每次消解式的置換及其父子句的編號。）附錄B計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題參考解答1999年綜合考試人工智能真題參考解答一、（K），（9），（L），（30）二、1.（符號主義），（仿生學(xué)），（聯(lián)結(jié)主義）2.（框架表示法），（語義網(wǎng)絡(luò)表示法），（面向?qū)ο蟊硎?/p>

12、法），（產(chǎn)生式表示法）3.五、解：考慮X、Y具有初始可信度，所以使用更新法計(jì)算結(jié)論可信度。X的可信度更新值計(jì)算由于證據(jù)初始值 CF(A)=CF(B)=CF(C)=CF(D)=0.5 1，所以，使用公式(4.2.10)。由規(guī)則rl：CF(X/A)=CF0(X)+CF(A)XCF(X，A)CF0(X)XCF(A)XCF(X，A)=0.1+0.5X0.80.1X0.5X0.8=0.46由規(guī)則r2：CF(X/A，B)=CF(X/A)+CF(B)XCF(X，B)CF(X/A)XCF(B)XCF(X，B)=0.46+0.5X0.60.46X0.5X0.6=0.622由規(guī)則r3：CF(X/A，B，C)=CF

13、(X/A，B)+CF(C)XCF(X，C)CF(X/A，B)XCF(C)XCF(X，C)=0.622+0.5X0.40.622X0.5X0.4=0.698CF(X/A，B，C )即是X的可信度之更新值。Y的可信度更新值計(jì)算由規(guī)則r4：首先求出CF(XAD)=minCF(X)，CF(D)= min0.698，0.5= 0.5由于規(guī)則XAD-Y的前提XAD之可信度CF(XAD)=O.公式(4.2.10),得到CF(Y/XAD)=CFO(Y)+CF(XAD)XCF(YXCF(XAD)XCF(Y,XAD)=0.2+0.5X0.30.2X0.5X0.3=0.2+0.150.2X0.15 =0.32故結(jié)論

14、Y之可信度的更新值為CF(Y) =0.32。答：X的更新后的可信度為CF(X)=0.6 9 8,Y的更新后的可信度為CF(Y)= 0.32。2000年綜合考試人工智能真題參考解答一、選擇與填空1. (A) 2. (B) 3.(C) 4. (A)(使計(jì)算機(jī)來完成能表現(xiàn)出人類智能的任務(wù)的學(xué)科)(以符號表示的知識而不是數(shù)值數(shù)據(jù)為研究對象)(采用的是啟發(fā)式推理方法，而不是常規(guī)的算法)3控制結(jié)構(gòu)與領(lǐng)域知識是分離的)(允許出現(xiàn)不正確的解答)(歸結(jié)出空子句NIL),(歸結(jié)不出空子句NIL)(AKO), (ISA)(可以用于不精確推理，本身沒有真值)，(只能用于精確推理，(CF (A)=CF(A), (CF(

15、A1AA2)=mi (A2), (CF(A1VA2)=maxCF(A1),CF(A2)(充分性)，(必要性)二、解：(x)(y)( z)P(z)AQ(x,z)fR(x,(x ) ( y) (z)P(z)A Q(x, z ) V R (x ) ( y ) ( z)P(z)V Q(x, z ) V R (y) P ( g ( y ) V Q ( b , g ( y ) V R ( b , y ,四、解：由題意得如圖所示的推理網(wǎng)絡(luò)。由于日的先驗(yàn)概率P(H)=0. 式(4.3.12),對H的概率進(jìn)行更新：P(H/E1)=LS1XP(H)(LS1 1)XP(H)+12 0X0.0319X0.03+1=0

16、.3825V1,所以，仍要使用/XAD)CF0(Y)本身有真值)nCF(A1),CFy,f(a)(x , y , f ( a ) x , y , f ( a ) f ( a )0 3,依據(jù)規(guī)則R1和公將0.3 8 2再作為H的先驗(yàn)概率，應(yīng)用規(guī)則R2： P(H/E1,E2) = LS2XP(H/E1)(LS2-1)XP(H/E1)+1300X0.382(300-1)X0.382 + 1=0.99462001年綜合考試人工智能真題參考解答一、選擇與填空1. (A) 2. (C) 3. (B) 4. (A)(知識推理)，(謂詞邏輯法)，(產(chǎn)生式表示法)，(語義網(wǎng)絡(luò)表示法)，(框架表示法)(至少應(yīng)有一

17、個(gè)子句是由目標(biāo)公式的否定所得到的子句或是它們的后裔)，(子句集)(L1，L2)，(C=(C1o - L1o )U(C2o - L2o )(單文字)，(重言式)(有向圖)，(概念、事物、事件、情況等)，(節(jié)點(diǎn)間的語義聯(lián)系)(3)，(1)二、解：由于證據(jù)初始值CF(A)=CF(B)=0.50，CF(X，9 8 3附錄B計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題參考解答A)=0.80，故應(yīng)用公式的上半部分：由規(guī)則R1：CF(X/A)=CF0(X)+CF(A)XCF(X，A)-CF0(X)XCF(A) XCF(X，A)=0.1+0.5X0.8-0.1X0.5X0.8=0.46由于 CF(X/A)=0.460，C

18、F(X，B)=0.6 0，所以對規(guī)則R2同樣 應(yīng)用公式(4.2.10 )的上半部分：CF(X/A，B)=CF(X/A)+CF(B)XCF(X，B)-CF(X/A)X CF(B)XCF(X，B)=0.46+0.5X0.6-0.46X0.5X0.6=0.622答：用MYCIN方法求得的結(jié)論X的可信度為0.6 2 2。三、解：第一步：定義謂詞，將已知條件用謂詞公式表示出來，并化成子句集。定義謂詞：thief(x):表示x是賊；likes(x，y)：表示某人x喜歡某物y；maysteal(x，y)：表示某人x可能會偷某物y。將已知事實(shí)表示成謂詞公式，并化成子句集：iJohn是賊。thief(John)S1=thief(John)Ii Paul 喜歡酒(wine)。lii Paul (也)喜歡奶酪(cheese)。likes(Paul，wine)Alikes(Paul，cheese)S2=likes(Paul，wine)，likes(Paul，cheese)iv如果Paul喜歡某物則John也喜歡某物。( y ) ( 1 ikes (Pau 1 , y )1 ikes (J o h n , y )S3= likes(Paul