人工智能試卷(B)

1、人工智能試卷（B） 試題部分：一、選擇題（15 小題，共 15 分）197 年月，著名的“人機(jī)大戰(zhàn)3.5 比2.5 卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（ ）A）深藍(lán)B）IBMC）深思D）藍(lán)2、下列不在人工智能系統(tǒng)的知識包含的4 個要素中A)事實(shí)B)規(guī)則C)控制和元知識 D)關(guān)系則其歸結(jié)式C=（）A) C1C2B)C1C2C)C1C24、或圖通常稱為A）框架網(wǎng)絡(luò)B)語義圖則其歸結(jié)式C=（）A) C1C2B)C1C2C)C1C24、或圖通常稱為A）框架網(wǎng)絡(luò)B)語義圖C)博亦圖D)C1 C2D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號主義B)機(jī)會主義C)行為主義D)連接主義。6、人工智能的含義最早由一

2、位科學(xué)家于1950 年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是A)明斯基B).扎德C)圖林D)馮諾依曼7要研究計算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ 。A)專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫C）推理機(jī)D）知識9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡單推理10C(B|A) 表示在規(guī)則A-B 中，證據(jù)A 為真的作用下結(jié)論B 為真A)可信度B)信度C)信任增長度D)概率11、AI 的英文縮寫是A)Automatic IntelligenceB)Artif

3、ical IntelligenceC)Automatice InformationD)Artifical Information12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。永真式B)包孕式（subsumed）C)空子句13、在公式中 y xp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x 可能依賴于y 值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y 值映射到存在的那個x。這種函數(shù)叫做（ ）依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)14、子PQ 和P 經(jīng)過消解以后，得到（）PQPPQ1、如果問題存在最優(yōu)解，則下面幾種搜索算法中（ ）必然可以得到該最優(yōu)解。廣

4、度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索二、填空題（共30分：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為2、假言推理B）A，假言三段論B） （BC）3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單歸結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為 圖來表，這種圖稱為在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。在二人博弈問題中，最常用的一種分析技術(shù)是，這種方法的思想是先生成棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了7

5、、不確定性類型按性質(zhì)分：，。8、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含的子句子句集中被別的子句的子句。9、對證據(jù)的可信度C（、C（A1C（A2）之間，規(guī)定如下關(guān)系： CF（A）=、CF（A1A2 ）=CF（A1A2 ）=。10圖指由組成的網(wǎng)絡(luò)按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系可分為和。、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和 ，知識表示的方法主要有 ， ， 和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所使用的推理方法有 和三、簡答與應(yīng)用題1、 謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4 分) 2. 剪枝的

6、條件是什么？（6 分）3、某問題由下列公式描述：(1)、試用歸結(jié)法證明( x)R(x)；（8 分） 分）何謂“圖靈實(shí)驗(yàn)”？簡單描述之 分）61）如果x 是y 的父親，y 又是z 的父親，則x 是z （）老李3）(10分)給19九個數(shù)字排一個序列n(n=1,.,9) 個數(shù)字組成的整數(shù)能被n 整除。(2). (15 分)ADAADADBCBADBBCBBA二、填空題約束變元自由變元1、轄域約束變元自由變元AC2 、 BAC3、刪除策略狀態(tài)空間圖（或狀態(tài)圖）4、圖搜索狀態(tài)空間圖（或狀態(tài)圖）5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術(shù)7、隨機(jī)性 模糊性 不一致性 不確定性8、純文字 永真類含9C（A） m

7、inC（A1C（A）maxC（A1，C（A）10、或圖 與或圖11、最一般合一12、知識的運(yùn)用 邏輯表示法（謂詞表示法） 框架 產(chǎn)生式 AKOISA三、簡答及應(yīng)用題1、定義謂詞G(x)：x D(x,y)：x y形式化為： y) D(x, y) 或者xG(x) yG( y) D( y, x) 2: 值，即（先輩層（后繼層，則可中止該極小值層中這個MIN 節(jié)點(diǎn)以下的搜索過程。這個MIN 節(jié)點(diǎn)最終的倒推值就確定為這個 值。 剪枝：若任一極大值層節(jié)點(diǎn)的 值大于或等于它任一先輩極小值層節(jié)點(diǎn)的 值，即（后繼層（先輩層，則可以中止該極大值層中這個MAX MAX 節(jié)點(diǎn)的最終倒推值就確定為這個 值。3、化子句集

8、如下：4、答（和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。（）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個步驟：）系統(tǒng)總體分析與設(shè)計； ）知識獲?。?）知識表示與知識描述語言設(shè)計； ）推理機(jī)與解釋模塊設(shè)計； ）總控與界面設(shè)計）編程與調(diào)試）測試與評價）運(yùn)行與維護(hù)（）可以看出它有如下特點(diǎn)： ）知識表示與知識描述語言確定后，其他設(shè)計可同時進(jìn)行；5、答：所謂“圖靈實(shí)驗(yàn)判斷誰是人，誰是機(jī)器。如果主持人無法判斷誰是人，誰是機(jī)器，則這臺機(jī)器具備智能，即所謂的“智能機(jī)器”。6、解:現(xiàn)定義如下謂詞F(x,y)- x y 的父親G(x,z)x y 的祖父;用謂詞邏輯

9、表示已知與求解:(1)F(x,y)F(y,z)G(x,z)F(L,D)F(D,X)(4) G(u,v),u=?,v=?其中,L 表示老李,D 表示大李,X 表示小李。先證存在祖孫關(guān)系 F(x,y)F(y,z)G(x,z)從(1)變換 F(L,D)變換 F(D,X)變換 G(u,v)結(jié)論的否定 F(D,z)G(L,z)置換L/x,D/y G(L,X)置換X/z 置換得證說明存在祖孫關(guān)系。為了求解用一個重言式 G(u,v)G(u,v) 用重言式代替結(jié)論的否定,重言式恒為真 F(D,z)G(L,z)置換L/x,D/y G(L,X)置換X/z G(L,X)置換得結(jié)果:LX 的祖父，即老李是小李的祖父。7、如下的知識可以幫助求解該問題：序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；綜合數(shù)據(jù)庫：1 9 = x，其中x 1 9 規(guī)則集：r1: IF len(N)=4 THEN x5r2: IF len(N)為偶數(shù)and