人工智能經(jīng)典考試試題與答案

1、一、選擇題 (每題 1分，共 15 分)1、 AI 的英文縮寫是A)Automatic IntelligenceB)Artifical IntelligenceC)Automatice InformationD)Artifical Information2、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A) 永真式B) 包孕式（ subsumed）C)空子句3、從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A) 正向推理B) 反向推理C)雙向推理4、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO 鏈、 ISA 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點知識的（）。A) 無悖性B) 可擴(kuò)充性C)繼承性5、(

2、A B)A => B 是A) 附加律B) 拒收律C)假言推理D )US6、命題是可以判斷真假的A) 祈使句B) 疑問句C)感嘆句D) 陳述句7、僅個體變元被量化的謂詞稱為A) 一階謂詞 B )原子公式 C) 二階謂詞 D )全稱量詞8、 MGU 是A) 最一般合一B) 最一般替換C)最一般謂詞D) 基替換9、 1997 年月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5 比 2.5 的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（）A ）深藍(lán)B） IBMC）深思D ）藍(lán)天10、下列不在人工智能系統(tǒng)的知識包含的4 個要素中A) 事實B) 規(guī)則C)控制與元知識D )關(guān)系11、謂詞邏輯下

3、， 子句 , C1=L C1 , C2= ? L C2,若 是互補(bǔ)文字的 （最一般） 合一置換， 則其歸結(jié)式 C=（）A) C1 C2B) C1 C2 C)C1 C2 D) C1 C212、或圖通常稱為A ）框架網(wǎng)絡(luò)B) 語義圖C)博亦圖D) 狀態(tài)圖13、不屬于人工智能的學(xué)派是A) 符號主義B) 機(jī)會主義C)行為主義D) 連接主義。14、人工智能的含義最早由一位科學(xué)家于1950 年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是A) 明斯基B). 扎德C)圖林D) 馮 .諾依曼15.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知

4、識與技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A) 專家系統(tǒng)B) 機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D) 模式識別二、填空題 ( 每空 1.5 分，共 30分 )1、不確定性類型按性質(zhì)分：，。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句 ;含有的子句 ; 子句集中被別的子句的子句。3、對證據(jù)的可信度CF（ A ）、 CF（A1 ）、CF（ A2 ）之間，規(guī)定如下關(guān)系：CF（A ）=、CF（A1A2 ） =、CF（A1 A2 ） =4 、圖：指由與組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為與。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個

5、規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為7、P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論。B為 真的。8、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡答及計算題( 每題5分，共 25 分)1、填寫下面的三值邏輯表。其中 T ， F，U 分別表示真，假，不能判定2、什么是產(chǎn)生式？產(chǎn)生式規(guī)則的語義是什么？3、謂詞公式G 通過個步驟所得的子句集合S，稱為G 的子句集。請寫出這些步驟。4、已知S=P(f(x),y,g(y),P(f(x),z,g(x)，求MGU5、證明G是否是F 的邏輯結(jié)論；F :x(P(x)Q(a)Q(x)G :x(P( x)Q( x)四、應(yīng)用題 ( 共 30 分)1、用語義網(wǎng)絡(luò)表示下列信息：(

6、1) 胡途是思源公司的經(jīng)理，他35 歲，住在飛天胡同 68 號(2) 清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89： 102 的比分結(jié)束。答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用 -剪枝技術(shù)剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、設(shè)有如下關(guān)系： （1）如果 x 是 y 的父親， y 又是 z 的父親，則 x 是 z 的祖父；（ 2）老李是大李的父親； （ 3）大李是小李的父親；問上述人員中誰與誰是祖孫關(guān)系？答案：一、1、 B2、C3、A4、 C5、 C6、 D7、 A8、 A9、A10、 D11、A12、 D13、B14、C15、 B二、 1、隨機(jī)性，模糊性，不完全性，不

7、一致性2、純文字，永真式，類含3、 -CF(A) ，minCF(A1),CF(A2)， maxCF(A1),CF(A2)4、節(jié)點，有向邊，或圖，與或圖5、最一般合一（MGU ）6、被觸發(fā)規(guī)則7、 A B ，概率8、制造智能機(jī)器，實現(xiàn)機(jī)器智能三、 1、2、產(chǎn)生式規(guī)則基本形式：P Q或者IFPTHENQP 是產(chǎn)生式的前提（前件），用于指出該產(chǎn)生式是否可用的條件Q 是一組結(jié)論或操作（后件），用于指出當(dāng)前提P 所指示的條件滿足時，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語義：如果前提P 被滿足，則可推出結(jié)論Q 或執(zhí)行Q 所規(guī)定的操作3、1）消去蘊含式與等價式，<->2）縮小否定詞的作用范

8、圍，直到其作用于原子公式:3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變元與約束變元。4.）消去存在量詞（形成Skolem 標(biāo)準(zhǔn)型）5）消去所有全稱量詞6)7).8).4、解：化成合取范式適當(dāng)改名，使子句間無同名變元消去合取詞，用逗號代替，以子句為元素組成一個集合k=0;S0=S; 0= ;S0 不是單元素集，求得差異集D0=y,z,S其中y 是變元，z 是項，且y 不在z 中出現(xiàn)。k=k+1=1有 1= 0· z/y = · z/y =z/y ，S1=S0· z/y =P(f(x),z,g( z),P(f(x),z,g(x),S1不是單元素集，求得差異集D1= z,x ,

9、k=k+1=2; 2= 1· z/x = z/y,z/x,S2=S1· z/x = P(f( z),z,g(z) 是單元素集。根據(jù)求 MGU算法， MGU= 2=z/y,z/x5、證 : P(x) Q(a) Q(x)從F 變換從F 變換 P(y) Q(y)結(jié)論的否定 Q(x)歸結(jié),x/y歸結(jié), 置換 a/x得證。四、2、3、解 :現(xiàn)定義如下謂詞F(x,y)- x G(x,z)- x是 y 的父親是 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 表示

10、老李 ,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(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 的祖父，即老李是小

11、李的祖父。三、簡答及計算題(每題 5 分，共 25 分)1、解釋下列模糊性知識：1) 張三，體型，（胖， 0.9）。2) (患者，癥狀， (頭疼， 0.95) ) (患者，癥狀， (發(fā)燒， 1.1) ) (患者，疾病， (感冒， 1.2) ) 答：2、簡單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對比表答：4、已知 W=P(f(x,g(A,y),z),P(f(x,z),z)，求 MGU解：5、證明 G是否是 F1、 F2 的邏輯結(jié)論；：x(P( x)(Q(x) R(x)F1：x(P( x)S(x)F 2G：x( S( x)R( x)四、應(yīng)用題 ( 共 30 分)1、將命題：“某個學(xué)

12、生讀過三國演義”分別用謂詞公式與語義網(wǎng)絡(luò)表示2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用 -剪枝技術(shù)剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、利用謂詞邏輯表示下列知識（包括已知與結(jié)論），然后化成子句集：（ 1）凡是清潔的東西就有人喜歡；（ 2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。一、 1、D2、 C3、 C4、D5、 A6、 A7、 D8、 C9、D10、 B11、A12、 B13、A.14、D15、 B二、 1、圖林2、正向推理3、Artifical Intelligence4、隨機(jī)性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、 -CF(A) ，minCF(A1)

13、,CF(A2)， maxCF(A1),CF(A2) )7、節(jié)點與有向邊，或圖，與或圖8、最一般合一（MGU ）9、深藍(lán)10、制造智能機(jī)器，實現(xiàn)機(jī)器智能三、 1、答： 1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答： 1）產(chǎn)生式規(guī)則庫：描述相應(yīng)領(lǐng)域知識的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫：（事實的集合）存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實與最后結(jié)果事實）3）推理機(jī)：（控制系統(tǒng)）是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式與控制策略。3、答：4、解： k=0;S0=S; 0= ;S0 不是單元素集，求得差異集

14、D0=g(A,y),z, 其中 z 是變元， g(A,y) 是項，且 z 不在 g(A,y) 中出現(xiàn)。 k=k+1=1有 1= 0· g(A,y)/z =· g(A,y)/z = g(A,y)/z，S1=S0· g(A,y)/z =P(f(x,g(A,y),g(A,y) ),S1是單元素集。根據(jù)求 MGU算法， MGU= 1=g(A,y)/z5、證 : P(x) Q(x)從F1 變換 P(y) R(y)從F1 變換 P(a)從F2 變換 S(a)從F2 變換 S(z) R(z) 結(jié)論的否定 R(a)歸結(jié)a/y R(a)歸結(jié)a/z 歸結(jié)得證 .四、 1、答：謂詞公式

15、表示：x(student(x) read(x,三國演義 )語義網(wǎng)絡(luò)表示如圖：2、3、證：現(xiàn)定義如下謂詞L(x,y)-某人 x 喜歡某物 y；P(y)-某物 y 是清潔的東西(1)yx(P(y) L(x,y) => P(y)L(f(y),y)(2)x( L(x,Fly) => L(x,Fly)(3)P(Fly)結(jié)論的反(4)L(f(Fly), Fly) (1)(3) 歸結(jié) , 置換 Fly/y(5) (2)(4)歸結(jié) ,f(Fly)/x得證。試題部分 ：一、選擇題（ 15小題，共15 分）1、 97 年月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比 2.5 的總比分將世界國際象棋棋王卡

16、斯帕羅夫擊敗，這臺計算機(jī)被稱為（）A ）深藍(lán)B） IBMC）深思D ）藍(lán)天2、下列不在人工智能系統(tǒng)的知識包含的4 個要素中A) 事實B) 規(guī)則C)控制與元知識D )關(guān)系3、謂詞邏輯下，子句 , C1=L C1 , C2= ? LC2,若 是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A) C1 C2B) C1 C2 C)C1 C2D) C1 C24、或圖通常稱為A ）框架網(wǎng)絡(luò)B) 語義圖C)博亦圖D) 狀態(tài)圖5、不屬于人工智能的學(xué)派是A) 符號主義B) 機(jī)會主義C)行為主義D) 連接主義。6、人工智能的含義最早由一位科學(xué)家于1950 年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)

17、家是A) 明斯基B). 扎德C)圖林D) 馮 .諾依曼7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識與技能，實現(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)Auto

18、matic IntelligenceB)Artifical IntelligenceC)Automatice InformationD)Artifical Information12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A) 永真式B) 包孕式（ subsumed）C)空子句13、在公式中y xp(x,y) ，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的關(guān)系明顯地由函數(shù)所定義，它把每個y 值映射到存在的那個x。這種函數(shù)叫做（x 可能依賴于）y 值。令這種依賴A. 依賴函數(shù)B. Skolem 函數(shù)C. 決定函數(shù)D. 多元函數(shù)14、子句 P Q 與 P 經(jīng)過消解以后，得

19、到（）A. PB. QC. PD. P Q15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。A. 廣度優(yōu)先搜索B. 深度優(yōu)先搜索C. 有界深度優(yōu)先搜索D. 啟發(fā)式搜索二、填空題（共 30 分）：1.在謂詞公式中， 緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為2、假言推理（ AB） A，假言三段論（ AB） （B C）3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為技術(shù)，解這類問題時，常把在迷宮的

20、位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為5.在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。6.在二人博弈問題中，最常用的一種分析技術(shù)是，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(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é)點的各邊的邏輯關(guān)系又可分為與。11、

21、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示與，知識表示的方法主要有，與語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所使用的推理方法有與三、簡答與應(yīng)用題1、 謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4 分)2.剪枝的條件是什么？3、某問題由下列公式描述：(1) 、試用歸結(jié)法證明 ( x)R(x) ；4. 專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點與特點？（7 分）5.何謂“圖靈實驗”？簡單描述之（5 分）6、設(shè)有如下關(guān)系： （1）如果 x 是 y 的父親， y 又是 z 的父親，則x

22、是 z 的祖父；（ 2）老李是大李的父親； （ 3）大李是小李的父親；問上述人員中誰與誰是祖孫關(guān)系？7. 給 1 9 九個數(shù)字排一個序列，使得該序列的前(1) 、討論哪些知識可以幫助該問題的求解。(2) 、用產(chǎn)生式系統(tǒng)描述該問題. (15 分 )(10 分)n(n=1,.,9)個數(shù)字組成的整數(shù)能被n 整除。答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變元自由變元2、BAC3、刪除策略4、圖搜索狀態(tài)空間圖（或狀態(tài)圖）5、啟發(fā)函數(shù)6、極大極小分析法- 剪枝技術(shù)7、隨機(jī)性模糊性不一致性不確定性8、純文字永真類含9、 CF（ A ）minCF （ A1 ）， CF（ A2 ）

23、 10、或圖與或圖11、最一般合一12、知識的運用邏輯表示法（謂詞表示法）maxCF （A1 ）， CF（ A2 ） 框架產(chǎn)生式AKOISA三、簡答及應(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é)點的值小于或等于它任一先輩極大值節(jié)點的值，即 （先輩層）（后繼層），則可中止該極小值層中這個MIN節(jié)點以下的搜索過程。這個MIN節(jié)點最終的倒推值就確定為這個 值。剪枝：若任一極大值層節(jié)點的值大于或等于它任一先輩極小值層節(jié)點的值，即 （后繼層）

24、 （先輩層），則可以中止該極大值層中這個MAX 節(jié)點以下的搜索過程。這個 MAX節(jié)點的最終倒推值就確定為這個值。3、化子句集如下：4、答：（）專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟與原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。（）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：）系統(tǒng)總體分析與設(shè)計；）知識獲??；）知識表示與知識描述語言設(shè)計；）知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；）推理機(jī)與解釋模塊設(shè)計；）總控與界面設(shè)計）編程與調(diào)試）測試與評價）運行與維護(hù)（）可以看出它有如下特點：）知識獲取與知識表示設(shè)計是一切工作的起點；知

25、識表示與知識描述語言確定后，其他設(shè)計可同時進(jìn)行；5、答：所謂“圖靈實驗” ，是為了判斷一臺機(jī)器是否具備智能的實驗。實驗由三個封閉的房間組成，分別放置主持人、參與人與機(jī)器。主持人向參與人與機(jī)器提問，通過提問的結(jié)果來判斷誰是人，誰是機(jī)器。如果主持人無法判斷誰是人，誰是機(jī)器，則這臺機(jī)器具備智能，即所謂的“智能機(jī)器”。6、解 :現(xiàn)定義如下謂詞F(x,y)- x G(x,z)- x是 y 的父親是 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 表

26、示小李。先證存在祖孫關(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(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、如下的知識可以幫

27、助求解該問題：（ 1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；（ 2）第五個數(shù)為 5。綜合數(shù)據(jù)庫：用一個 1 到 9 的序列表示：N = x ，其中 x 為 1 到 9 的數(shù)字之一。規(guī)則集：r1: IF len(N)=4 THEN x 5r2: IF len(N) 為偶數(shù) and n=In(1, 3, 7, 9) THEN x nr3: IF len(N) 為奇數(shù) and n=In(2, 4, 6, 8) THEN x n其中 len(N) 為求序列的長度，In(a, b, c, d) 為取 a、b、 c、 d 之一。初始狀態(tài)： 結(jié)束條件：得到的序列N 前 i 個數(shù)組成的整數(shù)能被i 整除一、選

28、擇題 (每題 1 分，共 15 分 )1、人工智能是一門A) 數(shù)學(xué)與生理學(xué)B) 心理學(xué)與生理學(xué)C)語言學(xué)D) 綜合性的交叉學(xué)科與邊緣學(xué)科2、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO 鏈、 ISA 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點知識的（）。A) 無悖性B) 可擴(kuò)充性C) 繼承性3、 (A->B) A => B 是A) 附加律B) 拒收律C)假言推理D )US4、命題是可以判斷真假的A) 祈使句B) 疑問句C)感嘆句D) 陳述句5、僅個體變元被量化的謂詞稱為A) 一階謂詞B) 原子公式C)二階謂詞D) 全稱量詞6、 MGU 是A) 最一般合一B) 最一般替換C)最一般謂詞D) 基替換最一般合一7、下列不在人

29、工智能系統(tǒng)的知識包含的4 個要素中A) 事實B) 規(guī)則C) 控制D)關(guān)系8、當(dāng)前歸結(jié)式是（）時，則定理得證。A) 永真式B 包孕式（ subsumed）C)空子句9、或圖通常稱為A ）框架網(wǎng)絡(luò)B) 語義圖C)博亦圖D) 狀態(tài)圖10、不屬于人工智能的學(xué)派是A) 符號主義B) 機(jī)會主義C)行為主義D) 連接主義。11、所謂不確定性推理就是從 ( )的初始證據(jù)出發(fā)，通過運用( ) 的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。A) 不確定性 , 不確定性B) 確定性 ,確定性C)確定性 , 不確定性D) 不確定性確定性12.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此

30、，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識與技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A) 專家系統(tǒng)B) 機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D) 模式識別13、下列哪部分不是專家系統(tǒng)的組成部分（）A. ）用戶B）綜合數(shù)據(jù)庫C）推理機(jī)D）知識庫14、產(chǎn)生式系統(tǒng)的推理不包括（）A ）正向推理B）逆向推理C）雙向推理D ）簡單推理15、 C(B|A) 表示在規(guī)則 A->B 中，證據(jù) A 為真的作用下結(jié)論B 為真的A) 可信度B) 信度C)信任增長度D) 概率二、填空題 ( 每題 1 分，共 30 分 )1、人工智能的含義最早由一位科學(xué)家于1950 年提出，并且同時提出一個機(jī)器智能的測試模

31、型，請問這個科學(xué)家是2、從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是。3、 AI 的英文縮寫是。4、不確定性類型按性質(zhì)分：，。5、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句 ;子句集中被別的子句的子句。6、對證據(jù)的可信度CF（A ） =CF（A1 A2 ） =7、圖：指由CF（ A ）、 CF（A1 ）、CF（ A2 ）之間，規(guī)定如下關(guān)系：、CF （A1 A2）=、。組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為與。8、合一算法：求非空有限具有相同謂詞名的原子公式集的9、 1997 年月，著名的“人機(jī)大戰(zhàn)”，最終名為“?！钡挠嬎銠C(jī)以3.5 比2.5 的總比分將

32、世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡答及計算題(每題 5 分，共25 分)1、解釋下列模糊性知識：1) 張三，體型，（胖， 0.9）。2) (患者，癥狀， (頭疼， 0.95) ) (患者，癥狀， (發(fā)燒， 1.1) ) (患者，疾病， (感冒， 1.2) )答：2、簡單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對比表答：4、已知 W=P(f(x,g(A,y),z),P(f(x,z),z)，求 MGU解：5、證明 G是否是 F1、 F2 的邏輯結(jié)論；：x(P( x)(Q(x) R(x)F1：x(P( x)S(x)F 2G： x( S( x)

33、R( x)證 :四、應(yīng)用題 ( 共 30 分)1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式與語義網(wǎng)絡(luò)表示答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用 -剪枝技術(shù)剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、利用謂詞邏輯表示下列知識（包括已知與結(jié)論），然后化成子句集：（ 1）凡是清潔的東西就有人喜歡；（ 2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：一、 1、D2、 C3、 C4、D5、 A6、 A7、 D8、 C9、D10、 B11、A12、 B13、A.14、D15、 B二、 1、圖林2、正向推理3、Artifical Intelligence4、隨機(jī)性，模糊性，不

34、完全性，不一致性5、純文字，永真式，類含6、 -CF(A) ，minCF(A1),CF(A2)， maxCF(A1),CF(A2) )7、節(jié)點與有向邊，或圖，與或圖8、最一般合一（MGU ）9、深藍(lán)10、制造智能機(jī)器，實現(xiàn)機(jī)器智能三、 1、答： 1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答： 1）產(chǎn)生式規(guī)則庫：描述相應(yīng)領(lǐng)域知識的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫：（事實的集合）存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實與最后結(jié)果事實）3）推理機(jī)：（控制系統(tǒng)）是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式與控制策略

35、。3、答：4、解： k=0;S0=S; 0= ;S0 不是單元素集，求得差異集D0=g(A,y),z,其中 z 是變元， g(A,y) 是項，且z 不在 g(A,y) 中出現(xiàn)。 k=k+1=1有 1= 0· g(A,y)/z =· g(A,y)/z = g(A,y)/z，S1=S0· g(A,y)/z =P(f(x,g(A,y),g(A,y) ),S1 是單元素集。根據(jù)求 MGU算法， MGU= 1=g(A,y)/z5、證 : P(x) Q(x)從 F1 變換 P(y) R(y)從 F1 變換 P(a)從 F2 變換 S(a)從 F2 變換 S(z) R(z)結(jié)論

36、的否定 R(a)歸結(jié) a/y R(a)歸結(jié) a/z 歸結(jié)得證 .四、 1、答：謂詞公式表示：x(student(x) read(x,三國演義 )語義網(wǎng)絡(luò)表示如圖：2、3、證：現(xiàn)定義如下謂詞L(x,y)-某人 x 喜歡某物 y；P(y)-某物 y 是清潔的東西(1)yx(P(y) L(x,y) => P(y) L(f(y),y)(2)x( L(x,Fly) => L(x,Fly)(3)P(Fly)結(jié)論的反(4)L(f(Fly), Fly) (1)(3) 歸結(jié) , 置換 Fly/y(5) (2)(4)歸結(jié) ,f(Fly)/x得證。一、 單選題：1：人類智能的特性表現(xiàn)在4 個方面。A：聰

37、明、靈活、學(xué)習(xí)、運用。B：能感知客觀世界的信息、能對通過思維對獲得的知識進(jìn)行加工處理、能通過學(xué)習(xí)積累知識增長才干與適應(yīng)環(huán)境變化、能對外界的刺激作出反應(yīng)傳遞信息。C：感覺、適應(yīng)、學(xué)習(xí)、創(chuàng)新。D：能捕捉外界環(huán)境信息、能夠利用利用外界的有利因素、能夠傳遞外界信息、能夠綜合外界信息進(jìn)行創(chuàng)新思維。2：人工智能的目的是讓機(jī)器能夠A：具有智能，以實現(xiàn)某些腦力勞動的機(jī)械化。B：與人一樣工作C：完全代替人的大腦D：模擬、延伸與擴(kuò)展人的智能3：下列關(guān)于人工智能的敘述不正確的有：。A：人工智能技術(shù)它與其他科學(xué)技術(shù)相結(jié)合極大地提高了應(yīng)用技術(shù)的智能化水平。B：人工智能是科學(xué)技術(shù)發(fā)展的趨勢。C：因為人工智能的系統(tǒng)研究是從

38、上世紀(jì)五十年代才開始的，非常新，所以十分重要。D：人工智能有力地促進(jìn)了社會的發(fā)展。4：人工智能研究的一項基本內(nèi)容是機(jī)器感知。以下列舉中的不屬于機(jī)器感知的領(lǐng)域。A：使機(jī)器具有視覺、聽覺、觸覺、味覺、嗅覺等感知能力。B：讓機(jī)器具有理解文字的能力。C：使機(jī)器具有能夠獲取新知識、學(xué)習(xí)新技巧的能力。D：使機(jī)器具有聽懂人類語言的能力5：自然語言理解是人工智能的重要應(yīng)用領(lǐng)域，下面列舉中的不是它要實現(xiàn)的目標(biāo)。A：理解別人講的話。B：對自然語言表示的信息進(jìn)行分析概括或編輯。C：欣賞音樂。D：機(jī)器翻譯。6：為了解決如何模擬人類的感性思維，例如視覺理解、直覺思維、悟性等，研究者找到一個重要的信息處理的機(jī)制是：。A：

39、專家系統(tǒng)B：人工神經(jīng)網(wǎng)絡(luò)C：模式識別D：智能代理7：如果把知識按照作用來分類，下述不在分類的范圍內(nèi)。A：用控制策略表示的知識，即控制性知識。B：可以通過文字、語言、圖形、聲音等形式編碼記錄與傳播的知識，即顯性知識。C：用提供有關(guān)狀態(tài)變化、問題求解過程的操作、演算與行動的知識，即過程性知識。D：用提供概念與事實使人們知道是什么的知識，即陳述性。8：下述不是知識的特征。A：復(fù)雜性與明確性B：進(jìn)化與相對性C：客觀性與依附性D：可重用性與共享性9：下述不是人工智能中常用的知識格式化表示方法。A：框架表示法B：狀態(tài)空間表示法C：語義網(wǎng)絡(luò)表示法D：形象描寫表示法10：關(guān)于“與 / 或”圖表示法的敘述中，正

40、確的是：。A：“與 / 或”圖就是用“AND”與“ OR”連續(xù)各個部分的圖形，用來描述各部分的因果關(guān)系。B：“與 / 或”圖就是用“AND”與“ OR”連續(xù)各個部分的圖形，用來描述各部分之間的不確定關(guān)系。C：“與 / 或”圖就是用“與”節(jié)點與“或”節(jié)點組合起來的樹形圖，用來描述某類問題的層次關(guān)系。D：“與 / 或”圖就是用“與”節(jié)點與“或”節(jié)點組合起來的樹形圖，用來描述某類問題的求解過程。11：構(gòu)成狀態(tài)空間的4 個要素是：。A：開始狀態(tài)、目標(biāo)狀態(tài)、規(guī)則與操作B：初始狀態(tài)、中間狀態(tài)、目標(biāo)狀態(tài)與操作C：空間、狀態(tài)、規(guī)則與操作D：開始狀態(tài)、中間狀態(tài)、結(jié)束狀態(tài)與其他狀態(tài)12：關(guān)于“與 / 或”圖表示知識的敘述，錯誤的有。A：用“與 / 或”圖表示知識方便使用程序設(shè)計語言表達(dá)，也便于計算機(jī)