1、.人工智能試卷四一、選擇題(每題1分，共15分)1、AI的英文縮寫是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)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ò)表達知識時，有向弧AKO 鏈、ISA 鏈是用來表達節(jié)點知識的（ ）。A)無悖性 B)可擴充性 C)繼承性5、(

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

3、般）合一置換，則其歸結(jié)式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C212、或圖通常稱為A）框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖13、不屬于人工智能的學(xué)派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼15.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。A)專家系統(tǒng) B)機器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識

4、別二、填空題(每空1.5分，共30分)1、不確定性類型按性質(zhì)分：隨機性，模糊性，不完全性，不一致性。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（A）=、CF（A1A2 ）=、CF（A1A2 ）=4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P(B|A) 表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的

5、遠期目標是，近期目標是。三、簡答及計算題(每題5分，共25分)1、填寫下面的三值邏輯表。其中T，F(xiàn)，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)，求MGU解：5、證明G是否是F的邏輯結(jié)論；四、應(yīng)用題(共30分)1、用語義網(wǎng)絡(luò)表示下列信息：(1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(2)清華大學(xué)與北京大學(xué)進行藍球比賽，最后以89：102的比分結(jié)束。答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用-剪枝技術(shù)剪去

6、不必要的分枝。（在節(jié)點及邊上直接加注釋）3、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？解：答案：一、1、 B 2、C3、A4、C5、C6、 D 7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2)4、節(jié)點，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、AB，概率8、制造智能機器，實現(xiàn)機器智能三、1、2、產(chǎn)生式規(guī)則

7、基本形式：PQ 或者 IF P THEN QP 是產(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）縮小否定詞的作用范圍，直到其作用于原子公式: 3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。 4.）消去存在量詞（形成Skolem標準型） 5）消去所有全稱量詞 6) 化成合取范式7).適當(dāng)改名，使子句間無同名變元 8).消去合取詞，用逗號代替，以子句為元素組成一個集合S4、解：

8、k=0;S0=S;0=;S0不是單元素集，求得差異集D0=y,z,其中y是變元，z是項，且y不在z中出現(xiàn)。k=k+1=1有1=0z/y=z/y=z/y，S1=S0z/y=P(f(x),z,g(z),P(f(x),z,g(x),S1不是單元素集，求得差異集D1=z,x,k=k+1=2;2=1z/x=z/y,z/x,S2=S1z/x=P(f(z),z,g(z)是單元素集。根據(jù)求MGU算法，MGU=2=z/y,z/x5、證:P(x)從F變換Q(a)Q(x)從F變換P(y)Q(y)結(jié)論的否定Q(x)歸結(jié),x/y歸結(jié),置換a/x得證。四、1、 2、3、解:現(xiàn)定義如下謂詞F(x,y)- x是y的父親;G(

9、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(u,v)G(u,v) 用重言式代替結(jié)論的否定,重言式恒為真 F(D,z)G(L,z)歸結(jié)

10、,置換L/x,D/y G(L,X)歸結(jié),置換X/z G(L,X)歸結(jié),置換L/u,X/v得結(jié)果:L是X的祖父，即老李是小李的祖父。人工智能試卷五一、選擇題(每題1分，共15分)1、人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、語義網(wǎng)絡(luò)表達知識時，有向弧AKO 鏈、ISA 鏈是用來表達節(jié)點知識的（ ）。A) 無悖性 B) 可擴充性 C) 繼承性3、(A-B)A = B是A)附加律B)拒收律C)假言推理D)US4、命題是可以判斷真假的A)祈使句B)疑問句C)感嘆句D)陳述句5、僅個體變元被量化的謂詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱

11、量詞6、MGU是A) 最一般合一 B)最一般替換 C) 最一般謂詞 D)基替換最一般合一7、下列不在人工智能系統(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) 機會主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從( )的初始證據(jù)出發(fā)，通過運用( )的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。A)不確定性, 不確定性 B)確定性, 確

12、定性C)確定性, 不確定性 D) 不確定性 確定性12.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。A)專家系統(tǒng) B)機器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識別13、下列哪部分不是專家系統(tǒng)的組成部分（ ）A.）用戶 B）綜合數(shù)據(jù)庫 C）推理機 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、人工

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

14、為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。三、簡答及計算題(每題5分，共25分)1、解釋下列模糊性知識：1) 張三，體型，（胖，0.9）。2) (患者，癥狀，(頭疼，0.95) ) (患者，癥狀，(發(fā)燒，1.1) ) (患者，疾病，(感冒，1.2) )答：2、簡單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補齊產(chǎn)生式系統(tǒng)與圖搜索的對比表答： 4、已知W=P(f(x,g(A,y),z),P(f(x,z),z)，求MGU解：5、證明G是否是F1、F2的邏輯結(jié)論；證:四、應(yīng)用題(共30分)1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義

15、網(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、隨機性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2)

16、)7、節(jié)點和有向邊，或圖，與或圖8、最一般合一（MGU）9、深藍10、制造智能機器，實現(xiàn)機器智能三、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）推理機：（控制系統(tǒng)）是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式和控制策略。3、答：4、解：k=0;S0=S;0=;S0不是單元素集，求得差異集D0=g(A,y),z,其中z是變元，g(A,y)是項，且z不在g(

17、A,y)中出現(xiàn)。k=k+1=1有1=0g(A,y)/z=g(A,y)/z=g(A,y)/z，S1=S0g(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/yR(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

18、,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得證。人工智能試卷八一、填空題（共30分）1. 歸結(jié)法中，可以通過-的方法得到問題的解答。2.化成子句形式為： 。3.從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4.AI是是 的英文縮寫 5. 人工智能的基本技術(shù)包括 、 、 、。6.目前所用的知識表示形式有 、 、 等。7.產(chǎn)生式系統(tǒng)有三部分組成 ， 和推理機。其中推理可分為 和 。8.在謂詞公式中，

19、緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ，其他變元稱為 9、1997年月，著名的“人機大戰(zhàn)”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。11、謂詞邏輯中，重言式（tautlogy）的值是 。12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為 ，則結(jié)論成立。13、若C1=PQ，C2=PQ，則C1和C2的歸結(jié)式R（C1，C2）= 。14、若C1=P(x) Q(x)，C2=P(a) R(y)，則C1和C2的歸結(jié)式R（C1，C2）= 。15、在歸結(jié)原理中，幾種常見的歸

20、結(jié)策略并且具有完備性的是 ， ， 。16、在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。17、假言推理（AB）A ，假言三段論（AB）（BC） .填空題1、 修改證明樹2、 。3、 正向推理 4、 Artifical Inteligence5、 搜索技術(shù) 推理技術(shù) 知識表示和知識庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)6、 框架 語義網(wǎng)絡(luò) 面向?qū)ο?、 綜合數(shù)據(jù)庫 知識庫 正向推理 反向推理8、 轄域 約束變元 自由變元9、 深藍10、 制造智能機器 實現(xiàn)機器智能11、 真12、 空集13、 PP或QQ 14、 Q（a）R（y）15、 刪除策略 支持集策略 線性歸結(jié)策略16、 啟發(fā)函數(shù)17、 B AC 二、選

21、擇題（15小題，共15分1.人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、下列哪個不是人工智能的研究領(lǐng)域（ ） A.機器證明 B.模式識別 C. 人工生命 D. 編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列（ ）學(xué)派 A. 符號主義 B. 連接主義 C. 行為主義 D. 都不是4.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（ ） A. 狀態(tài)空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法5.在公式中y$xp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我們允許

22、所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù)6.子句PQ和P經(jīng)過消解以后，得到（ ） A. P B. Q C. PD. PQ7、8.A（AB）A 稱為（ ），（AB）AB稱為（ ）A. 結(jié)合律 B.分配律 C.吸收律 D.摩根律8、下列哪部分不是專家系統(tǒng)的組成部分（ ）A.）用戶 B）綜合數(shù)據(jù)庫 C）推理機 D）知識庫9、產(chǎn)生式系統(tǒng)的推理不包括（ ）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理10、C(B|A) 表示在規(guī)則A-B中，證據(jù)A為真的作用

23、下結(jié)論B為真的A)可信度 B)信度 C)信任增長度 D)概率11、AI的英文縮寫是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。A)永真式B)包孕式（subsumed）C)空子句13、在公式中y$xp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B.

24、 Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù)14、子句PQ和P經(jīng)過消解以后，得到（ ） A. P B. Q C. PE. PQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（ ）必然可以得到該最優(yōu)解。A. 廣度優(yōu)先搜索B. 深度優(yōu)先搜索C. 有界深度優(yōu)先搜索D. 啟發(fā)式搜索三、簡答與應(yīng)用題i. 深度優(yōu)先方法的特點是什么？6ii. 什么是置換？置換是可交換的嗎？6分 某問題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；8分 4. 下圖所示博弈樹，按從左到右的順序進行-剪枝搜索，試標明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分 5.10分 設(shè)有如下關(guān)系：（1）如果x是

25、y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分)6. 張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員說：“趙與錢中至少有一人作案”；偵察員說：“錢與孫至少有一人作案”；偵察員說：“孫與李中至少有一個作案”；偵察員說“趙與孫至少一個與案無關(guān)”；偵察員說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（10分）選擇題123456789101112131415CDBBBBCADBBCBBA三、簡答與應(yīng)用題1. 解答: （1）屬于圖搜索；（2）是一個通用的搜索方

26、法；（3）如果深度限制不合適，有可能找不到問題的解；（4）不能保證找到最優(yōu)解。2. 回答: 通常用有序?qū)Φ募蟬t1/v1，t2/v2，tn/vn來表示任一置換，置換集的元素ti/vi的含義是表達式中的變量vi處處以項ti來替換，用s對表達式E作置換后的例簡記為Es。一般來說，置換是不可交換的，即兩個置換合成的結(jié)果與置換使用的次序有關(guān)。3.5. 、解:現(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表示大

27、李,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的祖父，即老李是小李的祖父。6. 解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)

28、T(錢)偵察員B的話可表示：T(錢)T(孫)偵察員C的話可表示：T(孫)T(李)偵察員D的話可表示：T(趙) T(孫)偵察員E的話可表示：T(錢) T(李)上面五個組成子句集S，求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x)然后利用消解原理對S1進行消解可得答案：錢和孫是作案者。人工智能試卷九試題部分：一、選擇題（15小題，共15分）1. 人工智能產(chǎn)生于哪一年（）。 A. 1957 B. 1962 C. 1956D. 19792.下列哪個不是人工智能的研究領(lǐng)域（ ） A.機器證明 B.模式識別 C. 人工生命 D. 編譯原理3.神經(jīng)

29、網(wǎng)絡(luò)研究屬于下列（ ）學(xué)派 A. 符號主義 B. 連接主義 C. 行為主義 D. 都不是4.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（ ） A. 狀態(tài)空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法5.在公式中y$xp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù)6.子句PQ和P經(jīng)過消解以后，得到（ ） A.

30、P B. Q C. PF. PQ7、8.A（AB）A 稱為（ ），（AB）AB稱為（ ）B. 結(jié)合律 B.分配律 C.吸收律 D.摩根律9、10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，（ ）必然可以得到該最優(yōu)解，（ ）可以認為是“智能程度相對比較高”的算法。D. 廣度優(yōu)先搜索E. 深度優(yōu)先搜索F. 有界深度優(yōu)先搜索G. 啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括（ ） A. 正向推理 B. 逆向推理 C. 雙向推理 D. 簡單推理12.下列哪部分不是專家系統(tǒng)的組成部分（ ） A. 用戶 B. 綜合數(shù)據(jù)庫 C. 推理機 D. 知識庫 13. 要想讓機器具有智能，必須讓機器具有知識。因此，在人工智

31、能中有一個研究領(lǐng)域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。 A. 專家系統(tǒng) B. 機器學(xué)習(xí) C. 神經(jīng)網(wǎng)絡(luò) D. 模式識別14、人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科 15、語義網(wǎng)絡(luò)表達知識時，有向弧AKO 鏈、ISA 鏈是用來表達節(jié)點知識的（ ）。A) 無悖性 B) 可擴充性 C) 繼承性二、填空題（共30分）：1. 歸結(jié)法中，可以通過-的方法得到問題的解答。2.化成子句形式為： 。3.從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4.AI是是 的英文縮寫 5. 人工智能的基本技術(shù)包括

32、 、 、 、歸納技術(shù)、聯(lián)想技術(shù)。6.目前所用的知識表示形式有 、 、 等。7.產(chǎn)生式系統(tǒng)有三部分組成 ， 和推理機。其中推理可分為 和 。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ，其他變元稱為 9、1997年月，著名的“人機大戰(zhàn)”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。11、謂詞邏輯中，重言式（tautlogy）的值是 。12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為 ，則結(jié)論成立。13、若C1=PQ，C2=PQ，則C1和C2的歸結(jié)式

33、R（C1，C2）= 。14、若C1=P(x) Q(x)，C2=P(a) R(y)，則C1和C2的歸結(jié)式R（C1，C2）= 。15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是 ， ， 。16、在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。17、假言推理（AB）A ，假言三段論（AB）（BC） .三、簡答與應(yīng)用題1、剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？(6分)2. 將下列謂詞公式化成子句集。（6分）3、解釋下列模糊性知識：1) 張三，體型，（胖，0.9）。2) (患者，癥狀，(頭疼，0.95) ) (患者，癥狀，(發(fā)燒，1.1) ) (患者，疾病，

34、(感冒，1.2) )(6分)4.寫出圖中樹的結(jié)點兩個訪問序列，要求分別滿足以下兩個搜索策略：(6分)51423678910111213(1) 深度優(yōu)先搜索(2) 廣度優(yōu)先搜索5、產(chǎn)生式系統(tǒng)由哪些部分組成？6. 張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員說：“趙與錢中至少有一人作案”；偵察員說：“錢與孫至少有一人作案”；偵察員說：“孫與李中至少有一個作案”；偵察員說“趙與孫至少一個與案無關(guān)”；偵察員說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分）7. 下圖所示博弈樹，按從左到右的順序進行-剪枝搜索，試標明各生成節(jié)點的到推

35、值，何處發(fā)生剪枝，及應(yīng)選擇的走步。答案部分一、選擇題123456789101112131415CDBBBBCDADDABDC二、 填空題1. 修改證明樹2. 。3. 正向推理 4. Artifical Inteligence5. 搜索技術(shù) 推理技術(shù) 知識表示和知識庫技術(shù)6. 框架 語義網(wǎng)絡(luò) 面向?qū)ο?. 綜合數(shù)據(jù)庫 知識庫 正向推理 反向推理8. 轄域 約束變元 自由變元9. 深藍10. 制造智能機器 實現(xiàn)機器智能11. 真12. 空集13. PP或QQ 14. Q（a）R（y）15. 刪除策略 支持集策略 線性歸結(jié)策略16. 啟發(fā)函數(shù)17. B AC 三、簡答與應(yīng)用題1不正確。 剪枝方法利用

36、已經(jīng)搜索的信息，剪掉哪些對于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。2、3、答：1）表示：命題“張三比較胖” 2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。4、解：（）深度優(yōu)先搜索：（）廣度優(yōu)先搜索：5解答: 組成產(chǎn)生式系統(tǒng)的三要素:（1）綜合數(shù)據(jù)庫；（2）一組產(chǎn)生式規(guī)則（或者規(guī)則集）；（3）一個控制系統(tǒng)（或者控制策略）6、解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)T(錢)偵察員B的話可表示：T(錢)T(孫)偵察員C的話可表示：T(孫)T(李)偵察員D的話可表示：T(趙) T(孫)偵察員E的話可表示：T

37、(錢) T(李)上面五個組成子句集S，求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x)然后利用消解原理對S1進行消解可得答案：錢和孫是作案者。7.人工智能試卷十一、選擇題（15小題，共15分）1、97年月，著名的“人機大戰(zhàn)”，最終計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為（ ）A）深藍 B）IBM C）深思 D）藍天2、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實B)規(guī)則C)控制和元知識D)關(guān)系3、謂詞邏輯下，子句, C1=LC1, C2= LC2, 若是互補文字的（最一般）合一置換，則其歸

38、結(jié)式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C24、或圖通常稱為A）框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。A)專家系統(tǒng) B)機器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識別8、下列哪部分不是專家系統(tǒng)

39、的組成部分（ ）A.）用戶 B）綜合數(shù)據(jù)庫 C）推理機 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)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。A)永真式B)包孕式（subsumed）C)空

40、子句13、在公式中y$xp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù)14、子句PQ和P經(jīng)過消解以后，得到（ ） A. P B. Q C. PG. PQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（ ）必然可以得到該最優(yōu)解。H. 廣度優(yōu)先搜索I. 深度優(yōu)先搜索J. 有界深度優(yōu)先搜索D. 啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域

41、中與該量詞的指導(dǎo)變元相同的變元稱為 ，其他變元稱為 2、假言推理（AB）A ，假言三段論（AB）（BC） 3、幾種常用的歸結(jié)策略： 、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為 技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為 5.在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。6.在二人博弈問題中，最常用的一種分析技術(shù)是 ，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了 7、不確定性類型按性質(zhì)分：，。8、在刪除策略歸結(jié)的

42、過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（A）=、CF（A1A2 ）=、CF（A1A2 ）=。10、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和 ，知識表示的方法主要有 ， ， 和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所使用的推理方法有 和 三、簡答與應(yīng)用題1、 謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4分)2.剪枝的條件是什么？（6分）3

43、、某問題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；（8分）4. 專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？（7分）5.何謂“圖靈實驗”？簡單描述之（5分）6、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分)7. 給19九個數(shù)字排一個序列，使得該序列的前n(n=1,.,9) 個數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識可以幫助該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問題. (15分)答案部分一、選擇題ADADBCBADBBCB

44、BA二、填空題1、轄域 約束變元 自由變元 2、 B AC 3、刪除策略 4、圖搜索 狀態(tài)空間圖（或狀態(tài)圖） 5、啟發(fā)函數(shù) 6、極大極小分析法 a-b剪枝技術(shù) 7、隨機性 模糊性 不一致性 不確定性 8、純文字 永真 類含 9、CF（A） minCF（A1），CF（A2） maxCF（A1），CF（A2） 10、或圖 與或圖11、最一般合一12、知識的運用 邏輯表示法（謂詞表示法） 框架 產(chǎn)生式 AKO ISA 三、簡答及應(yīng)用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y形式化為：或者2、回答: 剪枝：若任一極小值層節(jié)點的值小于或等于它任一先輩極大值節(jié)點的值，即（先輩層）（后繼層），則

45、可中止該極小值層中這個MIN節(jié)點以下的搜索過程。這個MIN節(jié)點最終的倒推值就確定為這個值。剪枝：若任一極大值層節(jié)點的值大于或等于它任一先輩極小值層節(jié)點的值，即（后繼層）（先輩層），則可以中止該極大值層中這個MAX節(jié)點以下的搜索過程。這個MAX節(jié)點的最終倒推值就確定為這個值。3、化子句集如下：4、答：（）專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。（）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：） 系統(tǒng)總體分析與設(shè)計；） 知識獲??；） 知識表示與知識描述語言設(shè)計；） 知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；） 推理機與解釋模塊設(shè)計；） 總控與界面設(shè)計） 編程與調(diào)試） 測試與評價） 運行與維護（）可以看出它有如下特點：） 知識獲取和知識表示設(shè)計是一切工作的起點；知識表示與知識描述語言確定后，其他設(shè)計可同時進行；5、答：所謂“圖靈實驗”，是為了判斷一臺機器是否具備智能的實驗。實驗由三個封閉的房間組成，分別放置主持人、參與人和機器。主持人向參與人和機器提