(人工智能)人工智能導(dǎo)論試卷庫

（人工智能）人工智能導(dǎo)論試卷庫

人工智能試卷（B）試題部分：壹、選擇題（15小題，共15分）1、97年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計(jì)算機(jī)被稱為（）A）深藍(lán)B）IBMC）深思D）藍(lán)天2、下列不于人工智能系統(tǒng)的知識包含的4個(gè)要素中A)事實(shí)B)規(guī)則C)控制和元知識D)關(guān)系3、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字的（最壹般）合壹置換，則其歸結(jié)式C=（）A)C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’4、或圖通常稱為A）框架網(wǎng)絡(luò)B)語義圖C)博亦圖D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號主義B)機(jī)會(huì)主義C)行為主義D)連接主義。6、人工智能的含義最早由壹位科學(xué)家于1950年提出，且且同時(shí)提出壹個(gè)機(jī)器智能的測試模型，請問這個(gè)科學(xué)家是A)明斯基B).扎德C)圖林D)馮.諾依曼7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，于人工智能中有壹個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識和技能，實(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）簡單推理10、C(B|A)表示于規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度B)信度C)信任增長度D)概率11、AI的英文縮寫是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式B)包孕式（subsumed）C)空子句13、于公式中yxp(x,y))，存于量詞是于全稱量詞的轄域內(nèi)，我們允許所存于的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存于的那個(gè)x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PQ和P經(jīng)過消解以后，得到（）A.PB.QC.~PPQ15、如果問題存于最優(yōu)解，則下面幾種搜索算法中，（）必然能夠得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.于謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而于壹個(gè)量詞的轄域中和該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為2、假言推理（AB）A，假言三段論（AB）（BC）3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、于諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的壹種人工智能的核心技術(shù)稱為技術(shù)，解這類問題時(shí)，常把于迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為5.于啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。6.于二人博弈問題中，最常用的壹種分析技術(shù)是，這種方法的思想是先生成壹棵博弈樹，然后再計(jì)算其倒推值。但它的效率較低，因此人們于此基礎(chǔ)上，又提出了7、不確定性類型按性質(zhì)分：，，，。8、于刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。10、圖：指由組成的網(wǎng)絡(luò)。按連接同壹節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。11、合壹算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個(gè)，那就是知識的獲取、知識的表示和，知識表示的方法主要有，，和語義網(wǎng)絡(luò)等，于語義網(wǎng)絡(luò)表示知識時(shí)，所使用的推理方法有和三、簡答和應(yīng)用題謂詞邏輯形式化下列描述“不存于最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？（6分）3、某問題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；（8分）4.專家系統(tǒng)的壹般步驟有哪些？專家系統(tǒng)的開發(fā)和壹般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？（7分）5.何謂“圖靈實(shí)驗(yàn)”？簡單描述之（5分）6、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分)7.給1～9九個(gè)數(shù)字排壹個(gè)序列，使得該序列的前n(n=1,...,9)個(gè)數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識能夠幫助該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案部分壹、選擇題,,,,,,,,,,,,,,A,D,A,D,B,C,B,A,D,B,B,C,B,B,A二、填空題1、轄域約束變元自由變元2、BAC3、刪除策略4、圖搜索狀態(tài)空間圖（或狀態(tài)圖）5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術(shù)7、隨機(jī)性模糊性不壹致性不確定性8、純文字永真類含9、~CF（A）min{CF（A1），CF（A2）}max{CF（A1），CF（A2）}10、或圖和或圖11、最壹般合壹12、知識的運(yùn)用邏輯表示法（謂詞表示法）框架產(chǎn)生式AKOISA三、簡答及應(yīng)用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y形式化為：或者2、回答:α剪枝：若任壹極小值層節(jié)點(diǎn)的β值小于或等于它任壹先輩極大值節(jié)點(diǎn)的α值，即α（先輩層）≥β（后繼層），則可中止該極小值層中這個(gè)MIN節(jié)點(diǎn)以下的搜索過程。這個(gè)MIN節(jié)點(diǎn)最終的倒推值就確定為這個(gè)β值。β剪枝：若任壹極大值層節(jié)點(diǎn)的α值大于或等于它任壹先輩極小值層節(jié)點(diǎn)的β值，即α（后繼層）≥β（先輩層），則能夠中止該極大值層中這個(gè)MAX節(jié)點(diǎn)以下的搜索過程。這個(gè)MAX節(jié)點(diǎn)的最終倒推值就確定為這個(gè)α值。3、化子句集如下：4、答：（１）專家系統(tǒng)和壹般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。（２）但由于它是專家系統(tǒng)，而不是壹般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個(gè)步驟：系統(tǒng)總體分析和設(shè)計(jì)；知識獲?。恢R表示和知識描述語言設(shè)計(jì)；知識庫設(shè)計(jì)、知識庫管理系統(tǒng)設(shè)計(jì)；推理機(jī)和解釋模塊設(shè)計(jì)；總控和界面設(shè)計(jì)編程和調(diào)試測試和評價(jià)運(yùn)行和維護(hù)（３）能夠見出它有如下特點(diǎn)：知識獲取和知識表示設(shè)計(jì)是壹切工作的起點(diǎn)；知識表示和知識描述語言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行；5、答：所謂“圖靈實(shí)驗(yàn)”，是為了判斷壹臺機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成，分別放置主持人、參和人和機(jī)器。主持人向參和人和機(jī)器提問，通過提問的結(jié)果來判斷誰是人，誰是機(jī)器。如果主持人無法判斷誰是人，誰是機(jī)器，則這臺機(jī)器具備智能，即所謂的“智能機(jī)器”。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表示小李。先證存于祖孫關(guān)系①～F(x,y)∨～F(y,z)∨G(x,z)．．．從(1)變換②F(L,D)．．．從(2)變換③F(D,X)．．．從(3)變換④～G(u,v)．．．結(jié)論的否定⑤～F(D,z)∨G(L,z)．．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X)．．．③⑤歸結(jié),置換｛X/z｝⑦□．．．④⑥歸結(jié),置換｛L/u,X/v｝得證,說明存于祖孫關(guān)系。為了求解用壹個(gè)重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結(jié)論的否定,重言式恒為真⑤～F(D,z)∨G(L,z)．．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X)．．．③⑤歸結(jié),置換｛X/z｝⑦G(L,X)．．．④⑥歸結(jié),置換｛L/u,X/v｝得結(jié)果:L是X的祖父，即老李是小李的祖父。7、如下的知識能夠幫助求解該問題：（1）序列中，偶數(shù)于偶數(shù)位置，奇數(shù)于奇數(shù)位置；（2）第五個(gè)數(shù)為5。綜合數(shù)據(jù)庫：用壹個(gè)1到9的序列表示：N={x}，