人工智能試卷(B)

《人工智能試卷(B)》由會(huì)員分享，可在線閱讀，更多相關(guān)《人工智能試卷(B)（7頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、 人工智能試卷（ B） 試題部分 ： 一、選擇題（ 15 小題，共 15 分） 1、 97 年５月，著名的“人機(jī)大戰(zhàn)” ，最終計(jì)算機(jī)以 3.5 比 2.5 的總比分將世界國(guó)際象棋棋王 卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱為（ ） 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∨ 若 σ 是互補(bǔ)文字的（最一般）合一置換， 則

2、其歸結(jié)式 C= （ ） A) C1’σ∨ C2’σ B) C1’∨ C2’ C)C1’σ∧C2’σ D) C1’∧ C2’ 4、或圖通常稱為 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ī)器具有智

3、能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主 要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（ ）。 A) 專家系統(tǒng) B) 機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D) 模式識(shí)別 8、下列哪部分不是專家系統(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

4、)信任增長(zhǎng)度 D) 概率 11、 AI 的英文縮寫(xiě)是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（ ）時(shí)，則定理得證。 A) 永真式 B) 包孕式（ subsumed） C)空子句 13、在公式中 y xp(x,y)) ，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的 依賴于 y 值。令這種依賴關(guān)系明顯地由函數(shù)所

5、定義，它把每個(gè) y 值映射到存在的那個(gè) 種函數(shù)叫做（ ）  x 可能 x。這 A. 依賴函數(shù) B. Skolem 函數(shù) C. 決定函數(shù) D. 多元函數(shù) 14、子句 ~P Q 和 P 經(jīng)過(guò)消解以后，得到（ ） A. P B. Q C. ~P D. P Q 15、如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中， （ ）必然可以得到該最優(yōu)解。 A. 廣度優(yōu)先搜索 B. 深度優(yōu)先搜索 C. 有界深度優(yōu)先搜索 D. 啟發(fā)式搜索 二、填空題（共 

6、 30 分）： 1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q為  ，而在 ，其他變?cè)Q為 2、假言推理（ A  B）  A  ，假言三段論（ A  B） （B  C） 3、幾種常用的歸結(jié)策略： 歸結(jié)策略  、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元 4、在諸如走迷宮、 下棋、八數(shù)碼游戲等游戲中， 常用到的一種人工智能的核心技術(shù)稱為 技術(shù)，解這類(lèi)問(wèn)題時(shí)，常把

7、在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表，這種圖稱為 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 （A

8、1 ）、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ā)專家系統(tǒng)所要解決的基本問(wèn)題有三個(gè)，那就是知識(shí)的獲取、知識(shí)的表示和 ，知 識(shí)表示的方法主要有  ，  ，  和語(yǔ)義網(wǎng)絡(luò)等，在語(yǔ)義

9、網(wǎng)絡(luò)表示知識(shí)時(shí)，所使 用的推理方法有  和 三、簡(jiǎn)答與應(yīng)用題 1、 謂詞邏輯形式化下列描述 “不存在最大的整數(shù)” (4 分) 2.α－β剪枝的條件是什么？ （6分） 3、某問(wèn)題由下列公式描述： (1) 、試用歸結(jié)法證明 ( x)R(x) ； （8 分） 4. 專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開(kāi)發(fā)與一般的軟件系統(tǒng)開(kāi)發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？（ 7 分） 5.何謂“圖靈實(shí)驗(yàn)”？簡(jiǎn)單描述之（ 5 分） 6、設(shè)有

10、如下關(guān)系： （1）如果 x 是 y 的父親， y 又是 z 的父親，則 x 是 z 的祖父；（ 2）老李 是大李的父親； （ 3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系？ (10 分) 7. 給 1～9 九個(gè)數(shù)字排一個(gè)序列， 使得該序列的前 n(n=1,...,9) 個(gè)數(shù)字組成的整數(shù)能被 n 整除。 (1) 、討論哪些知識(shí)可以幫助該問(wèn)題的求解。 (2) 、用產(chǎn)生式系統(tǒng)描述該問(wèn)題 . (15 分) 答案部

11、分 一、選擇題 A D A DB CBADBBCBBA 二、填空題 1、轄域 約束變?cè)? 自由變?cè)? 2、 B A C 3、刪除策略 4、圖搜索 狀態(tài)空間圖（或狀態(tài)圖） 5、啟發(fā)函數(shù) 6、極大極小分析法 - 剪枝技術(shù) 7、隨機(jī)性 模糊性 不一致性 不確定性 8、純文字 永真 類(lèi)含 9、 ~CF（ A ） min{CF （ A1 ）， CF（ A2 ） }  max{CF （A1 ）， CF（ A2 ） } 10、或圖 與或圖 11、

12、最一般合一 12、知識(shí)的運(yùn)用 邏輯表示法（謂詞表示法） 框架 產(chǎn)生式 AKO ISA 三、簡(jiǎn)答及應(yīng)用題 1、定義謂詞 G(x) ： x 為整數(shù) D(x,y) ： x 大于 y 形式化為： ┐  x G ( x)  y G( y)  D (x, y) 或者  x G (x)  y G ( y)  D ( y, x) 2、回答 : α剪枝： 若任一極小值層節(jié)點(diǎn)的 β值小于或等于它任一先輩極大值節(jié)點(diǎn)的α值，即 α（先輩層） ≥β（后繼層），則可中止該極小值層

13、中這個(gè) MIN 節(jié)點(diǎn)以下的搜索 過(guò)程。這個(gè) MIN 節(jié)點(diǎn)最終的倒推值就確定為這個(gè) β值。 β剪枝：若任一極大值層節(jié)點(diǎn)的 α值大于或等于它任一先輩極小值層節(jié)點(diǎn)的 β值，即 α （后繼層） ≥β（先輩層），則可以中止該極大值層中這個(gè) MAX 節(jié)點(diǎn)以下的搜索過(guò)程。 這個(gè) MAX 節(jié)點(diǎn)的最終倒推值就確定為這個(gè) α值。 3、化子句集如下：

14、 4、答：（１） 專家系統(tǒng)與一般的軟件系統(tǒng)開(kāi)發(fā)無(wú)異， 其開(kāi)發(fā)過(guò)程同樣要遵循軟件工程的步驟 和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。 （２）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個(gè)步驟： １）系統(tǒng)總體分析與設(shè)計(jì)； ２）知識(shí)獲取； ３）知識(shí)表示與知識(shí)描述語(yǔ)言設(shè)計(jì)； ４）知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)； ５）推理機(jī)與解釋模塊設(shè)計(jì)； ６）總控與界面設(shè)計(jì) ７）編程與調(diào)試 ８）測(cè)試與評(píng)價(jià) ９）運(yùn)行與維護(hù) （

15、３）可以看出它有如下特點(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 G(x,z)------ x  是 y 的父親 ; 是 y 的祖父 ;

16、 用謂詞邏輯表示已知與求解 : (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/

17、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 的祖父，即老李是小李的祖父。

18、 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: IF len(N)=4 THEN {x} ∪ {5} r2: IF len(N) 為偶數(shù) and n=In(1, 3, 7, 9) THEN {x} r3: IF len(N) 為奇數(shù) and n=In(2, 4, 6, 8) THEN {x}  ∪ {n} ∪ {n} 其中 len(N) 為求序列的長(zhǎng)度， In(a, b, c, d) 為取 a、b、 c、 d 之一。 初始狀態(tài)： {} 結(jié)束條件：得到的序列  N 前  i 個(gè)數(shù)組成的整數(shù)能被  i 整除