北航人工智能試卷(B)

。。4人工智能試卷試題局部：一、選擇題〔1515〕197年５月，著名的“人機(jī)大戰(zhàn)3.5比2.5王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱(chēng)為〔〕A〕深藍(lán) B〕IBM C〕深思 D〕藍(lán)天2、以下不在人工智能系統(tǒng)的學(xué)問(wèn)包含的4個(gè)要素中A)事實(shí) B)規(guī)章 C)掌握和元學(xué)問(wèn)D)關(guān)系3、謂詞規(guī)律下，子句,C1=L∨C1‘,換，則其歸結(jié)式C=〔〕C2=?L∨C2‘,假設(shè)σ是互補(bǔ)文字的〔最一般〕合一置A)C1’σ∨C2’σ B)C1’∨C2’4、或圖通常稱(chēng)為C)C1’σ∧C2’σD)C1’∧C2’A〕框架網(wǎng)絡(luò) B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號(hào)主義 B)時(shí)機(jī)主義 C)行為主義 D)連接主義。61950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機(jī)器具有智能，必需讓機(jī)器具有學(xué)問(wèn)。因此，在人工智能中有一個(gè)爭(zhēng)論領(lǐng)域，主要爭(zhēng)論計(jì)算機(jī)如何自動(dòng)獵取學(xué)問(wèn)和技能，實(shí)現(xiàn)自我完善，這門(mén)爭(zhēng)論分支學(xué)科叫〔。A)專(zhuān)家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別8、以下哪局部不是專(zhuān)家系統(tǒng)的組成局部〔 〕A.〕用戶(hù) B〕綜合數(shù)據(jù)庫(kù) C〕推理機(jī) D〕學(xué)問(wèn)庫(kù)9、產(chǎn)生式系統(tǒng)的推理不包括〔〕A〕正向推理B〕逆向推理C〕雙向推理D〕簡(jiǎn)潔推理10、C(B|A)表示在規(guī)章A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率11、AIA)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演歸結(jié)〔消解〕證明定理時(shí)，假設(shè)當(dāng)前歸結(jié)式是〔〕時(shí)，則定理得證。永真式 B)包孕式〔subsumed〕 C)空子句13、在公式中yxp(x,y))，存在量詞是在全稱(chēng)量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依靠于yy值映射到存在的那個(gè)x。這種函數(shù)叫做〔〕依靠函數(shù)Skolem打算函數(shù)多元函數(shù)14、子句~PQP〔〕PQ~PPQ1、假設(shè)問(wèn)題存在最優(yōu)解，則下面幾種搜尋算法中〔〕必定可以得到該最優(yōu)解。廣度優(yōu)先搜尋深度優(yōu)先搜尋有界深度優(yōu)先搜尋啟發(fā)式搜尋二、填空題〔共30分：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱(chēng)為該量詞的 ，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)粯拥淖冊(cè)Q(chēng)為 ，其他變?cè)Q(chēng)為2、假言推理〔AB〕A ，假言三段論〔AB〕〔BC〕3、幾種常用的歸結(jié)策略： 、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼玩耍等玩耍中，常用到的一種人工智能的核心技術(shù)稱(chēng)為技術(shù)，解這類(lèi)問(wèn)題時(shí)，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表，這種圖稱(chēng)為在啟發(fā)式搜尋當(dāng)中，通常用 來(lái)表示啟發(fā)性信息。在二人博弈問(wèn)題中，最常用的一種分析技術(shù)是 ，這種方法的思想是先生成一棵博弈樹(shù)，然后再計(jì)算其倒推值。但它的效率較低，因此人們?cè)诖烁咨?，又提出?、不確定性類(lèi)型按性質(zhì)分： ， ，， 。8、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有 的子句;含有的子句;子句集中被別的子句 的子句。9、對(duì)證據(jù)的可信度CF、C〔A1、C〔A〕之間，規(guī)定如下關(guān)系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。10圖指由 組成的網(wǎng)絡(luò)按連接同一節(jié)點(diǎn)的各邊的規(guī)律關(guān)系又可分為 和 。11、合一算法：求非空有限具有一樣謂詞名的原子公式集的 。12、開(kāi)發(fā)專(zhuān)家系統(tǒng)所要解決的根本問(wèn)題有三個(gè)，那就是學(xué)問(wèn)的獵取、學(xué)問(wèn)的表示和，學(xué)問(wèn)表示的方法主要有，，和語(yǔ)義網(wǎng)絡(luò)等，在語(yǔ)義網(wǎng)絡(luò)表示學(xué)問(wèn)時(shí)，所使用的推理方法有和三、簡(jiǎn)答與應(yīng)用題1“不存在最大的整數(shù)”(42.α－β剪枝的條件是什么？〔6〕3、某問(wèn)題由以下公式描述：(1x)R(x)；〔8〕專(zhuān)家系統(tǒng)的一般步驟有哪些？專(zhuān)家系統(tǒng)的開(kāi)發(fā)與一般的軟件系統(tǒng)開(kāi)發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？〔7〕何謂“圖靈試驗(yàn)”？簡(jiǎn)潔描述之〔5分〕61〕假設(shè)x是yy又是z的父親，則x是z〔〕老李3〕(10分)1～9n(n=1,...,9)個(gè)數(shù)字組成的整數(shù)能被n整除。、爭(zhēng)論哪些學(xué)問(wèn)可以幫助該問(wèn)題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問(wèn)題.(15ADADADADBCBADBBCBBA二、填空題1、轄域 約束變?cè)?自由變?cè)?、B AC3、刪除策略4、圖搜尋 狀態(tài)空間圖〔或狀態(tài)圖〕5、啟發(fā)函數(shù)6、極大微小分析法 -剪枝技術(shù)7、隨機(jī)性模糊性不全都性不確定性8、純文字永真 類(lèi)含9~C〔〕min{C〔ACA〕}max{CA，C〔A〕}10、或圖與或圖11、最一般合一12、學(xué)問(wèn)的運(yùn)用規(guī)律表示法〔謂詞表示法〕框架產(chǎn)生式AKOISA三、簡(jiǎn)答及應(yīng)用題1、定義謂詞G(x)：xD(x,y)：x大于y形式化為：┐xG(x)yG(y)D(x,y)或者xG(x)yGy)Dyx)2、答復(fù):αβ值小于或等于它任一先輩極大值節(jié)點(diǎn)的α值，即〔先輩層〔后繼層，則可中止該微小值層中這個(gè)MIN節(jié)點(diǎn)以下的搜尋過(guò)程。這個(gè)MINβ值。β剪枝：假設(shè)任一極大值層節(jié)點(diǎn)的α值大于或等于它任一先輩微小值層節(jié)點(diǎn)的β值，即α〔后繼層〔先輩層，則可以中止該極大值層中這個(gè)MAXMAXα值。3、化子句集如下：4、答〔１和原則，即也要進(jìn)展系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作?！玻病车捎谒菍?zhuān)家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個(gè)步驟：１〕系統(tǒng)總體分析與設(shè)計(jì)；２〕學(xué)問(wèn)獵??；３〕學(xué)問(wèn)表示與學(xué)問(wèn)描述語(yǔ)言設(shè)計(jì)；４〕學(xué)問(wèn)庫(kù)設(shè)計(jì)、學(xué)問(wèn)庫(kù)治理系統(tǒng)設(shè)計(jì)；５〕推理機(jī)與解釋模塊設(shè)計(jì)；６〕總控與界面設(shè)計(jì)７〕編程與調(diào)試８〕測(cè)試與評(píng)價(jià)９〕運(yùn)行與維護(hù)〔３〕可以看出它有如下特點(diǎn)：１〕學(xué)問(wèn)獵取和學(xué)問(wèn)表示設(shè)計(jì)是一切工作的起點(diǎn)；學(xué)問(wèn)表示與學(xué)問(wèn)描述語(yǔ)言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)展；5、答：所謂“圖靈試驗(yàn)間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問(wèn)，通過(guò)提問(wèn)的結(jié)果來(lái)推斷誰(shuí)是人，誰(shuí)是機(jī)器。假設(shè)主持人無(wú)法推斷誰(shuí)是人，誰(shuí)是機(jī)器，則這臺(tái)機(jī)器具備智能，即6、解:現(xiàn)定義如下謂詞F(x,y) x是y的父親;G(x,z) x是y用謂詞規(guī)律表示與求解:(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) ．．從(2)變換③F(D,X) ．．從(3)變換④～G(u,v) ．．結(jié)論的否認(rèn)⑤～F(D,z)∨G(L,z)．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X) ．．③⑤歸結(jié),置換｛X/z｝⑦□ ．．④⑥歸結(jié),置換｛L/u,X/v｝得證,說(shuō)明存在祖孫關(guān)系。為了求解用一個(gè)重言式④④～G(u,v)∨G(u,v)．．用重言式代替結(jié)論的否認(rèn),重言式恒為真⑤～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é)果:LX7、如下的學(xué)問(wèn)可以幫助求解該問(wèn)題：序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；5。綜合數(shù)據(jù)庫(kù)：19N={x}，其中x19規(guī)章集：r1:IFlen(N)=4THEN{x}∪{5}r2:IFlen(N)為偶數(shù)andn=In(1,3