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

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

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

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

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

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

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

8、如下：4、答（和原則，即也要進行系統分析、系統設計等幾個階段的工作。（）但由于它是專家系統，而不是一般的軟件系統，所以，又有其獨特的地方，主要包括以下幾個步驟：）系統總體分析與設計； ）知識獲取； ）知識表示與知識描述語言設計； ）推理機與解釋模塊設計； ）總控與界面設計）編程與調試）測試與評價）運行與維護（）可以看出它有如下特點： ）知識表示與知識描述語言確定后，其他設計可同時進行；5、答：所謂“圖靈實驗判斷誰是人，誰是機器。如果主持人無法判斷誰是人，誰是機器，則這臺機器具備智能，即所謂的“智能機器”。6、解:現定義如下謂詞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 表示小李。先證存在祖孫關系 F(x,y)F(y,z)G(x,z)從(1)變換 F(L,D)變換 F(D,X)變換 G(u,v)結論的否定 F(D,z)G(L,z)置換L/x,D/y G(L,X)置換X/z 置換得證說明存在祖孫關系。為了求解用一個重言式 G(u,v)G(u,v) 用重言式代替結論的否定,重言式恒為真 F(D,z)G(L,z)置換L/x,D/y G(L,X)置換X/z G(L,X)置換得結果:LX 的祖父，即老李是小李的祖父。7、如下的知識可以幫助求解該問題：序列中，偶數在偶數位置，奇數在奇數位置；綜合數據庫：1 9 = x，其中x 1 9 規則集：r1: IF len(N)=4 THEN x5r2: IF len(N)為偶數and