人工智能試卷

人工智能試卷（B）試題部分：一、選擇題（15小題，共15分）1、97年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱(chēng)為（）A）深藍(lán) B）IBM C）深思 D）藍(lán)天2、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí) B)規(guī)則 C)控制和元知識(shí) 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、或圖通常稱(chēng)為A）框架網(wǎng)絡(luò) B)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（）。A)專(zhuān)家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別8、下列哪部分不是專(zhuān)家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(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、AI的英文縮寫(xiě)是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句13、在公式中(y(xp(x,y))，存在量詞是在全稱(chēng)量詞的轄域內(nèi)，我們?cè)试S所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~P(Q和P經(jīng)過(guò)消解以后，得到（）A.PB.QC.~PP(Q15、如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱(chēng)為該量詞的，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q(chēng)為，其他變?cè)Q(chēng)為2、假言推理（A(B）(A(，假言三段論（A(B）(（B(C）(3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱(chēng)為技術(shù)，解這類(lèi)問(wèn)題時(shí)，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表，這種圖稱(chēng)為5.在啟發(fā)式搜索當(dāng)中，通常用來(lái)表示啟發(fā)性信息。6.在二人博弈問(wèn)題中，最常用的一種分析技術(shù)是，這種方法的思想是先生成一棵博弈樹(shù)，然后再計(jì)算其倒推值。但它的效率較低，因此人們?cè)诖嘶A(chǔ)上，又提出了7、不確定性類(lèi)型按性質(zhì)分：，，，。8、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對(duì)證據(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、開(kāi)發(fā)專(zhuān)家系統(tǒng)所要解決的基本問(wèn)題有三個(gè)，那就是知識(shí)的獲取、知識(shí)的表示和，知識(shí)表示的方法主要有，，和語(yǔ)義網(wǎng)絡(luò)等，在語(yǔ)義網(wǎng)絡(luò)表示知識(shí)時(shí)，所使用的推理方法有和三、簡(jiǎn)答與應(yīng)用題謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？

（6分）3、某問(wèn)題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；（8分）4.專(zhuān)家系統(tǒng)的一般步驟有哪些？專(zhuān)家系統(tǒng)的開(kāi)發(fā)與一般的軟件系統(tǒng)開(kāi)發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？（7分）5.何謂“圖靈實(shí)驗(yàn)”？簡(jiǎn)單描述之（5分）知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)；推理機(jī)與解釋模塊設(shè)計(jì)；總控與界面設(shè)計(jì)編程與調(diào)試測(cè)試與評(píng)價(jià)運(yùn)行與維護(hù)（３）可以看出它有如下特點(diǎn)：知識(shí)獲取和知識(shí)表示設(shè)計(jì)是一切工作的起點(diǎn)；知識(shí)表示與知識(shí)描述語(yǔ)言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行；5、答：所謂“圖靈實(shí)驗(yàn)”，是為了判斷一臺(tái)機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問(wèn)，通過(guò)提問(wèn)的結(jié)果來(lái)判斷誰(shuí)是人，誰(shuí)是機(jī)器。如果主持人無(wú)法判斷誰(shuí)是人，誰(shuí)是機(jī)器，則這臺(tái)機(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｝得證,說(shuō)明存在祖孫關(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、如下的知識(shí)可以幫助求解該問(wèn)題：

（1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；

（2）第五個(gè)數(shù)為5。

綜合數(shù)據(jù)庫(kù)：

用一個(gè)1到9的序列表示：N={x}，其中x為1到9的數(shù)字之一。

規(guī)則集：

r1:IFlen(N)=4THEN{x}∪{5}

r2:IFlen(