人工智能試卷(B)

人工智能試卷(B)人工智能試卷(B)人工智能試卷(B)xxx公司人工智能試卷(B)文件編號：文件日期：修訂次數(shù)：第1.0次更改批準審核制定方案設計，管理制度人工智能試卷（B）試題部分：一、選擇題（15小題，共15分）1、97年５月，著名的“人機大戰(zhàn)”，最終計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為（）A）深藍 B）IBM C）深思 D）藍天2、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實 B)規(guī)則 C)控制和元知識 D)關系3、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補文字的（最一般）合一置換，則其歸結式C=（）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’4、或圖通常稱為A）框架網絡 B)語義圖 C)博亦圖 D)狀態(tài)圖5、不屬于人工智能的學派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。6、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。A)專家系統(tǒng) B)機器學習 C)神經網絡 D)模式識別8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據庫 C）推理機 D）知識庫9、產生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理10、C(B|A)表示在規(guī)則A->B中，證據A為真的作用下結論B為真的A)可信度 B)信度 C)信任增長度 D)概率11、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句13、在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PQ和P經過消解以后，得到（）A.PB.QC.~PPQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為2、假言推理（AB）A，假言三段論（AB）（BC）3、幾種常用的歸結策略：、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術稱為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為5.在啟發(fā)式搜索當中，通常用來表示啟發(fā)性信息。6.在二人博弈問題中，最常用的一種分析技術是，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了7、不確定性類型按性質分：，，，。8、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。10、圖：指由組成的網絡。按連接同一節(jié)點的各邊的邏輯關系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和，知識表示的方法主要有，，和語義網絡等，在語義網絡表示知識時，所使用的推理方法有和三、簡答與應用題謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？

（6分）3、某問題由下列公式描述：(1)、試用歸結法證明(x)R(x)；（8分）4.專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點（7分）5.何謂“圖靈實驗”簡單描述之（5分）6、設有如下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關系(10分)7.給1～9九個數(shù)字排一個序列，使得該序列的前n(n=1,...,9)個數(shù)字組成的整數(shù)能被n整除。

(1)、討論哪些知識可以幫助該問題的求解。

(2)、用產生式系統(tǒng)描述該問題.(15分)答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變元自由變元2、BAC3、刪除策略4、圖搜索狀態(tài)空間圖（或狀態(tài)圖）5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術7、隨機性模糊性不一致性不確定性8、純文字永真類含9、~CF（A）min{CF（A1），CF（A2）}max{CF（A1），CF（A2）}10、或圖與或圖11、最一般合一12、知識的運用邏輯表示法（謂詞表示法）框架產生式AKOISA三、簡答及應用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y形式化為：或者2、回答:α剪枝：若任一極小值層節(jié)點的β值小于或等于它任一先輩極大值節(jié)點的α值，即α（先輩層）≥β（后繼層），則可中止該極小值層中這個MIN節(jié)點以下的搜索過程。這個MIN節(jié)點最終的倒推值就確定為這個β值。β剪枝：若任一極大值層節(jié)點的α值大于或等于它任一先輩極小值層節(jié)點的β值，即α（后繼層）≥β（先輩層），則可以中止該極大值層中這個MAX節(jié)點以下的搜索過程。這個MAX節(jié)點的最終倒推值就確定為這個α值。3、化子句集如下：4、答：（１）專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進行系統(tǒng)分析、系統(tǒng)設計等幾個階段的工作。（２）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：系統(tǒng)總體分析與設計；知識獲??；知識表示與知識描述語言設計；知識庫設計、知識庫管理系統(tǒng)設計；推理機與解釋模塊設計；總控與界面設計編程與調試測試與評價運行與維護（３）可以看出它有如下特點：知識獲取和知識表示設計是一切工作的起點；知識表示與知識描述語言確定后，其他設計可同時進行；5、答：所謂“圖靈實驗”，是為了判斷一臺機器是否具備智能的實驗。實驗由三個封閉的房間組成，分別放置主持人、參與人和機器。主持人向參與人和機器提問，通過提問的結果來判斷誰是人，誰是機器。如果主持人無法判斷誰是人，誰是機器，則這臺機器具備智能，即所謂的“智能機器”。6、解:現(xiàn)定義如下謂詞F(x,y)------x是y的父親;G(x,z)------x是y的祖父;用謂詞邏輯表示已知與求解:(1) F(x,y)∧F(y,z)→G(x,z)(2)F(L,D)(3)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) ．．．從(2)變換③F(D,X) ．．．從(3)變換④～G(u,v) ．．．結論的否定⑤～F(D,z)∨G(L,z) ．．．①②歸結,置換｛L/x,D/y｝⑥G(L,X) ．．．③⑤歸結,置換｛X/z｝⑦□ ．．．④⑥歸結,置換｛L/u,X/v｝得證,說明存在祖孫關系。為了求解用一個重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結論的否定,重言式恒為真⑤～F(D,z)∨G(L,z) ．．．①②歸結,置換｛L/x,D/y｝⑥G(L,X) ．．．③⑤歸結,置換｛X/z｝⑦G(L,X) ．．．④⑥歸結,置換｛L/u,X/v｝得結果:L是X的祖父，即老李是小李的祖父。7、如下的知識可以幫助求解該問題：（1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；（2）第五個數(shù)為5。綜合數(shù)據庫：用一個1到9的序列表示：N={x}，其中