1、人工智能導論試卷庫10試題部分：一、選擇題（15小題，共15分）1、97年5月，聞名的“人機大戰”，最終運算機以3.5比2.5的總比分將世界國際象棋棋王 卡斯帕羅夫擊敗，這臺運算機被稱為（）A）深藍B） IBMC）深思D）藍天 2、下列不在人工智能系統的知識包含的4個要素中A）事實B）規則C）操縱和元知識D）關系 3、謂詞邏輯下，子句,C1=LVCrC2=LVC2：若。是互補文字的（最一樣）合一置換,則其歸結式C=（）A） C1qVC2 oB）CVC2，C）ClaAC2 q D）Cr AC2,4、或圖通常稱為A）框架網絡B）語義圖C）博亦圖D）狀態圖5、不屬于人工智能的學派是A）符號主義B）機

2、會主義C）行為主義D）連接主義。6、人工智能的含義最早由一位科學家于1950年提出，同時同時提出一個機器智能的測試模型，請問那個科學家是A）明斯基B）.扎德C）圖林D）馮.諾依曼7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，要 緊研究運算機如何自動獵取知識和技能，實現自我完善，這門研究分支學科叫（）0A）專家系統B）機器學習C）神經網絡D）模式識別8、下列哪部分不是專家系統的組成部分（）A.）用戶 B）綜合數據庫C）推理機 D）知識庫9、產生式系統的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理10、C（BIA）表示在規則A->B中，

3、證據A為確實作用下結論B為確實A）可信度B）信度C）信任增長度D）概率IK AI的英文縮寫是A)Automatic IntelligenceC)Automatice InformationB)Artifical IntelligenceD)Artifical Information12、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A）永真式B）包孕式（subsumed）C）空子句13、在公式中/y*p（x»>）,存在量詞是在全稱量詞的轄域內，我們承諾所存在的x可能依靠 于y值。令這種依靠關系明顯地由函數所定義，它把每個y值映射到存在的那個x。這種函 數叫做（）

4、A.依靠函數B. Skolem 函數C.決定函數D.多元函數14、子句PvQ和P通過消解以后，得到（）A. PB. QC. PD. PvQ15、假如問題存在最優解，則下面幾種搜索算法中，()必定能夠得到該最優解。A.廣度優先搜索B.深度優先搜索C.有界深度優先搜索D.啟發式搜索二、填空題(共30分)：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在 一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為2、假言推理(AB) aA=>,假言三段論(A-B) a (BfC) =3、幾種常用的歸結策略：、支持集策略、線形歸結策略、輸入歸結策略、單元 歸結策略4、在

5、諸如走迷宮、下棋、八數碼游戲等游戲中，常用到的一種人工智能的核心技術稱為 技術，解這類問題時，常把在迷宮的位置、棋的布局、八數碼所排成的形勢用 圖來表，這種圖稱為5.在啟發式搜索當中，通常用 來表示啟發性信息。6.在二人博弈問題中，最常用的一種分析技術是,這種方法的思想是先生成一 棵博弈樹，然后再運算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了7、不確定性類型按性質分：，.8、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有的子句;子句集中被別的子句 的子句。9、對證據的可信度CF (A)、CF (Al)、CF (A2)之間，規定如下關系：CF (-A) =、CF (A1AA2

6、 ) =、CF (A1VA2 ) =。10、圖：指由組成的網絡。按連接同一節點的各邊的邏輯關系又可分為 和 o11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發專家系統所要解決的差不多問題有三個，那確實是知識的獵取、知識的表示和， 知識表示的方法要緊有，和語義網絡等，在語義網絡表示知識時，所 使用的推理方法有 和三、簡答與應用題1、謂詞邏輯形式化下列描述“不存在最大的整數”(4分)2。一。剪枝的條件是什么？(6分)3、某問題由下列公式描述: P(a)歡知Ry；-®,4班y)(3) (Vx)P(«)(4)(V幻吟QQ, 3勾一皿硼"斑呦QQ,M

7、87;fQ(b/,f®)、試用歸結法證明(3x)R(x)；(8分)4 .專家系統的一樣步驟有哪些？專家系統的開發與一樣的軟件系統開發相比較，有哪些共 同點和特點？ (7分)5 .何謂“圖靈實驗”？簡單描述之(5分)6、設有如下關系：(1)假如x是y的父親，y又是z的父親，則x是z的祖父；(2)老李 是大李的父親：(3)大李是小李的父親；問上述人員中誰和誰是祖孫關系？(10分)7.給19九個數字排一個序列，使得該序列的前n(n=l，,9)個數字組成的整數能被n整除。(1)、討論哪些知識能夠關心該問題的求解。(2)、用產生式系統描述該問題.(15分)答案部分一、選擇題ADADBCBADB

8、BCBBA二、填空題1、轄域 約束變元 自由變元2、 B AC3、刪除策略4、圖搜索 狀態空間圖(或狀態圖)5、啟發函數6、極大極小分析法 a-B剪枝技術7、隨機性模糊性不一致性不確定性8、純文字永真類含9、CF (A) minCF (Al), CF (A2) ) maxCF (Al), CF (A2) )10、Ml與或圖、最一樣合一12、知識的運用邏輯表示法(謂詞表示法)框架產生式AKO ISA三、簡答及應用題1、定義謂詞G(x)： X為整數D(x,y)： x 大于 y形式化為：7小(G(x) A Vy(G(y) -> D(x, y)或者 Vx(G(x)力(G(y) a £&

9、gt;(>1, x)2、回答:a剪枝：若任一極小值層節點的。值小于或等于它任一先輩極大值節點的 a值，即a （先輩層）p （后繼層），則可中止該極小值層中那個MIN h.點以下的搜索 過程。那個MIN節點最終的倒推值就確定為那個p值。剪枝：若任一極大值層節點的a值大于或等于它任一先輩極小值層節點的。值，即a （后繼層）p （先輩層），則能夠中止該極大值層中那個MAX打點以下的搜索過程。那個MAX fi點的最終倒推值就確定為那個a值。3、化子句集如下：出a)(2)(Yx)(Vy)-R：y)Q<b,乳=> (Vx)(Vy)PVQ(b,X,g(X,y)=> F(y)"

10、;Q 羽 ©y) (3)(Vk)P(«)=>(4) (Vx)P(x) A Q(b, c, x)R(h(x)=> (VHP(；x)AQ(b, c,=>Q(b, c,吩VR(h信=> FG)VQ8,c,x)VR(m3)(5XVx)(Vy)Q(；b,鼠 y)TQ(b,區儂)=> Z勾(wy)Q3 M y)VQ(b,羽的) => Q(b, H,y)VQe,z,胞) 目標求反：M歪)網沖=> (W見網幻=> -R(x)變量換名后，得子句集：困a), P® l)VQ(b,幻,蟆 1, yl),P 位 w2), Pw3)VQM C

11、,墓 3)VWMw3), Q(b,卻,y4) V Q(b,溺，®4)，困幻)4、答：（1 ）專家系統與一樣的軟件系統開發無異，其開發過程同樣要遵循軟件工程的步驟 和原則，即也要進行系統分析、系統設計等幾個時期的工作。（2 ）但由于它是專家系統，而不是一樣的軟件系統，因此，又有其專門的地點，要緊包括 以下幾個步驟：1 ）系統總體分析與設計；2 ）知識獵取：3 ）知識表示與知識描述語言設計：4 )知識庫設計、知識庫治理系統設計；5 )推理機與說明模塊設計：6)總控與界而設計7)編程與調試8)測試與評判9)運行與愛護(3 )能夠看出它有如下特點：1 )知識獵取和知識表示設計是一切工作的起點

12、； 知識表示與知識描述語言確定后，其他設計可同時進行;5、答：所謂“圖靈實驗”，是為了判定一分機器是否具備智能的實驗。實驗由三個封閉的房 間組成，分別放置主持人、參與人和機器。主持人向參與人和機器提問，通過提問的結果來 判定誰是人，誰是機器。假如主持人無法判定誰是人，誰是機器，則這臺機器具備智能，即 所謂的“智能機器”。6、解:現定義如下謂詞F(x,y)-一一 x是y的父親； G(x,z)x是y的祖父； 用謂詞邏輯表示已知與求解:(1) F(x,y)AF(y,z)-*G(x,z) F(L.D) F(D.X) (4) G(u,v),u=?,v=?其中.L表示老李.D表示大李,X表示小李。先證存在

13、祖孫關系 F(x,y)VF(y,z)VG(x,z).從(1)變換F(L.D).從(2)變換F(D,X).從(3)變換G(u.v).結論的否定F(D,z)VG(L,z) . ©©歸結，置換L/x.D/yG(L,X).歸結，置換X/Z)口歸結，置換L/u.X/v得證，說明存在祖孫關系.為了求解用一個重言式G(u,v)VG(u,v).用重言式代替結論的否定,重言式恒為真F(D,z)VG(L,z) . ©©歸結，置換L/x,D/yG(L,X).歸結，置換X/zG(L,X).歸結，置換L/u.X/v得結果:L是X的祖父，即老李是小李的祖父。7、如下的知識能夠關心求解該問題：(1)序列中，偶數在偶數位置，奇數在奇數位置:(2)第五個數為5。綜合數據庫：用一個1到9的序列表