1、人工智能試卷四一、選擇題(每題1分，共15分)1、AI的英文縮寫是A)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion D)Arttificaal Infformattion2、反演歸結（消消解）證明定定理時，若當當前歸結式是是（ ）時，則定定理得證。A)永真式B)包孕式（suubsumeed）C)空子句3、從已知事實實出發(fā)，通過過規(guī)則庫求得得結論的產生生式系統(tǒng)的推推理方式是A)正向推理B)反向推理理C)雙向推理理4、語義網絡表表達知識時，有有向弧AKOO 鏈、ISA 鏈是用來表

2、表達節(jié)點知識識的（ ）。A)無悖性 B)可擴充性性 C)繼承性5、(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.55比2.5的總比比分將世界國國際象棋棋王王卡斯帕羅夫夫擊敗，這臺臺計算機被稱稱為（ ）A）深藍 B）IBM C）深思 D）藍天10、下列不在在人工智能系系統(tǒng)的知識包包含的4個要素中A)

3、事實B)規(guī)則C)控制和元元知識D)關系11、謂詞邏輯輯下，子句, C1=LLC1, C2= LC2,若是互補文字字的（最一般般）合一置換換，則其歸結結式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C212、或圖通常常稱為A）框架網絡 B)語義圖 C)博亦圖 D)狀態(tài)圖13、不屬于人人工智能的學學派是A)符號主義 B)機會主義義 C)行為主義義 D)連接主義義。14、人工智能能的含義最早早由一位科學學家于19550年提出，并并且同時提出出一個機器智智能的測試模模型，請問這這個科學家是是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼15.要想讓機機器具有智能能，必須讓機機器具有知識

4、識。因此，在在人工智能中中有一個研究究領域，主要要研究計算機機如何自動獲獲取知識和技技能，實現(xiàn)自自我完善，這這門研究分支支學科叫（ ）。A)專家系統(tǒng) B)機器學習習 C)神經網絡絡 D)模式識別別二、填空題(每每空1.5分，共共30分)1、不確定性類類型按性質分分：，。2、在刪除策略略歸結的過程程中刪除以下下子句：含有有的子句;含有的的子句;子句集中被被別的子句的子句句。3、對證據的可可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)規(guī)定如下關系系：CF（A）=、CF（A1A2 ）=、CF（A1AA2 ）=4、圖：指由和組成的的網絡。按連連接同一節(jié)點點的各邊的邏邏輯關系又可可分為和。5、合一

5、算法：求非空有限限具有相同謂謂詞名的原子子公式集的6、產生式系統(tǒng)統(tǒng)的推理過程程中，從可觸觸發(fā)規(guī)則中選選擇一個規(guī)則則來執(zhí)行，被被執(zhí)行的規(guī)則則稱為。7、P(B|AA) 表示在在規(guī)則中中，證據A為真的作用用下結論B為真的。8、人工智能的的遠期目標是是，近期目標是。三、簡答及計算算題(每題5分，共25分)1、填寫下面的的三值邏輯表表。其中T，F(xiàn)，UU分別表示真真，假，不能能判定2、什么是產生生式？產生式式規(guī)則的語義義是什么？答：3、謂詞公式GG通過個步步驟所得的子子句集合S，稱為G的子句集。請請寫出這些步步驟。4、已知S=P(f(xx),y,gg(y),P(f(xx),z,gg(x)，求MGU解：5、

6、證明G是否否是F的邏輯結論論；四、應用題(共共30分)1、用語義網絡絡表示下列信信息：(1)胡途是思思源公司的經經理，他355歲，住在飛飛天胡同688號(2)清華大學學與北京大學學進行藍球比比賽，最后以以89：102的比分分結束。答：2、圖示博弈樹樹，其中末一一行的數字為為假設的估值值，請利用-剪枝技技術剪去不必必要的分枝。（在在節(jié)點及邊上上直接加注釋釋）3、設有如下關關系：（1）如果x是y的父親，y又是z的父親，則則x是z的祖父；（22）老李是大大李的父親；（3）大李是小小李的父親；問上述人員員中誰和誰是是祖孫關系？解：答案：一、1、 B 2、C3、A4、C5、C6、 D 7、A8、A9、A

7、10、D11、A122、D13、B14、C15、B二、1、隨機性性，模糊性，不不完全性，不不一致性2、純文字，永永真式，類含含3、-CF(AA)，minCCF(A1),CF(AA2)，maxCCF(A1),CF(AA2)4、節(jié)點，有向向邊，或圖，與與或圖5、最一般合一一（MGU）6、被觸發(fā)規(guī)則則7、AB，概概率8、制造智能機機器，實現(xiàn)機機器智能三、1、2、產生式規(guī)則則基本形式：PQ 或者 IFF P THEN QP 是產生式的的前提（前件件），用于指指出該產生式式是否可用的的條件Q 是一組結論論或操作（后后件），用于于指出當前提提 P 所指示示的條件滿足足時，應該得得出的結論或或應該執(zhí)行的的操

8、作產生式規(guī)則的語語義：如果前前提P被滿足，則則可推出結論論 Q 或執(zhí)行行 Q 所規(guī)定定的操作3、 1）消去去蘊含式和等等價式， 2）縮小否定詞詞的作用范圍圍，直到其作作用于原子公公式: 3）適當改名，使使量詞間不含含同名指導變變元和約束變變元。 4.）消去存在在量詞（形成成Skoleem標準型） 5）消去所有全全稱量詞 6) 化成合取取范式7).適當改改名，使子句句間無同名變變元 8).消去合合取詞，用用逗號代替，以以子句為元素素組成一個集集合S4、解：k=00;S0=SS;0=;S0不是是單元素集，求求得差異集DD0=y,z,其中中y是變元，z是項，且y不在z中出現(xiàn)。k=k+1=11有1=0

9、z/y=z/y=z/y，S1=S0z/y=P(ff(x),zz,g(z),P(ff(x),zz,g(x),S11不是單元素素集，求得差異集D11=z,x,k=k+1=2;2=1z/x=z/y,zz/x,S2=S1z/x=P(f(zz),z,gg(z)是單元素集集。根據求MGU算算法，MGUU=2=z/y,zz/x5、證:P(x)從F變換Q(a)QQ(x)從F變換P(y)Q(y)結論論的否定Q(x)歸結,xx/y歸結,置換a/xx得證。四、1、 2、3、解:現(xiàn)定義義如下謂詞F(x,y)- x是y的父親;G(x,z)- x是y的祖父;用謂詞邏輯表示示已知與求解解:(1) F(x,y)F(y,zz)

10、G(xx,z)(2) F(LL,D)(3) F(DD,X)(4) G(uu,v),uu=?,v=?其中,L表示老老李,D表示大李李,X表示小李李。先證存在祖孫關關系 F(x,y)F(y,z)G(x,zz)從從(1)變換 F(L,DD)從(22)變換 F(D,XX)從(33)變換 G(u,v)結論論的否定 F(D,z)G(L,zz)歸結,置換L/xx,D/y G(L,XX)歸結,置換X/zz 歸結,置換L/uu,X/v得證,說明存在在祖孫關系。為了求解用一個個重言式 G(u,v)G(u,vv) 用重言式代代替結論的否否定,重言式恒為為真 F(D,z)G(L,zz)歸結,置換L/xx,D/y G(

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

12、原子公式式C)二階謂詞D)全稱量詞詞6、MGU是A) 最一般合合一 B)最一般替換換 C) 最一般謂謂詞 D)基替換最一般合一7、下列不在人人工智能系統(tǒng)統(tǒng)的知識包含含的4個要素中A) 事實B) 規(guī)則C) 控制D) 關系8、當前歸結式式是（ ）時，則定定理得證。A) 永真式B 包孕式（suubsumeed）C) 空子句句9、或圖通常稱稱為A）框架網絡 B)語義圖 C)博亦圖 D)狀態(tài)圖10、不屬于人人工智能的學學派是A)符號主義 B) 機會主主義 C)行為主義義 D)連接主義義。11、所謂不確確定性推理就就是從( )的初始證證據出發(fā)，通通過運用( )的知識識，最終推出出具有一定程程度的不確定定性

13、但卻是合合理或者近乎乎合理的結論論的思維過程程。A)不確定性, 不確定性性 B)確定性性, 確定性C)確定性, 不確定性 D) 不確定性 確定性12.要想讓機機器具有智能能，必須讓機機器具有知識識。因此，在在人工智能中中有一個研究究領域，主要要研究計算機機如何自動獲獲取知識和技技能，實現(xiàn)自自我完善，這這門研究分支支學科叫（ ）。A)專家系統(tǒng) B)機器學習習 C)神經網絡絡 D)模式識別別13、下列哪部部分不是專家家系統(tǒng)的組成成部分（ ）A.）用戶 B）綜合數據據庫 C）推理機 D）知識庫14、產生式系系統(tǒng)的推理不不包括（ ）A）正向推理 B）逆向推理理 C）雙向推理理 D）簡單推理理15、C(

14、B|A) 表示示在規(guī)則A-B中，證證據A為真的作用用下結論B為真的A)可信度 B)信度 C)信任增長長度 D)概率二、填空題(每每題1分，共30分)1、人工智能的的含義最早由由一位科學家家于19500年提出，并并且同時提出出一個機器智智能的測試模模型，請問這這個科學家是是2、從已知事實實出發(fā)，通過過規(guī)則庫求得得結論的產生生式系統(tǒng)的推推理方式是。3、AI的英文文縮寫是。4、不確定性類類型按性質分分：，。5、在刪除策略略歸結的過程程中刪除以下下子句：含有有的子句;含有的子句;子句集中被被別的子句的子子句。6、對證據的可可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)規(guī)定如下關系系：CF（A）=

15、、CF（A1A2 ）=、CF（A1AA2 ）=。7、圖：指由組成的網網絡。按連接接同一節(jié)點的的各邊的邏輯輯關系又可分分為和。8、合一算法：求非空有限限具有相同謂謂詞名的原子子公式集的。9、1997年年月，著名名的“人機大戰(zhàn)”，最終名為為“”的計算機以以3.5比2.5的總比比分將世界國國際象棋棋王王卡斯帕羅夫夫擊敗。10、人工智能能的遠期目標標是，近近期目標是。三、簡答及計算算題(每題5分，共25分)1、解釋下列模模糊性知識：1) 張三，體體型，（胖，0.9）。2) (患者，癥癥狀，(頭疼，0.995) ) (患者，癥癥狀，(發(fā)燒，1.11) ) (患者，疾疾病，(感冒，1.22) )答：2、簡

16、單闡述產產生式系統(tǒng)的的組成：答：3、補齊產生式式系統(tǒng)與圖搜搜索的對比表表答： 4、已知W=P(f(xx,g(A,y),zz),P(ff(x,z),z)，求求MGU解：5、證明G是否否是F1、F2的邏輯結結論；證:四、應用題(共共30分)1、將命題：“某個學生讀讀過三國演義義”分別用謂詞詞公式和語義義網絡表示答： 2、圖示博弈樹樹，其中末一一行的數字為為假設的估值值，請利用-剪枝技技術剪去不必必要的分枝。（在在節(jié)點及邊上上直接加注釋釋）3、利用謂詞邏邏輯表示下列列知識（包括括已知和結論論），然后化化成子句集： （1）凡是清潔潔的東西就有有人喜歡；（2）人們都不不喜歡蒼蠅求證：蒼蠅是不不清潔的。證

17、：答案：一、1、D22、C3、C4、D5、A6、A7、D8、C9、D10、B11、A112、B13、A.14、D15、B二、1、圖林2、正向推理理3、Artiffical Inteelligeence4、隨機性，模模糊性，不完完全性，不一一致性5、純文字，永永真式，類含含6、-CF(AA)，minCCF(A1),CF(AA2)，maxCCF(A1),CF(AA2) )7、節(jié)點和有向向邊，或圖，與與或圖8、最一般合合一（MGUU）9、深藍110、制造智智能機器，實實現(xiàn)機器智能能三、1、答：11）表示：命命題“張三比較胖胖” 2）解解釋為：如果果患者有些頭頭疼并且發(fā)高高燒，則他患患了重感冒。2、答

18、：1）產產生式規(guī)則庫庫：描述相應應領域知識的的產生式規(guī)則則集2）數據庫：（事事實的集合）存存放問題求解解過程中當前前信息的數據據結構（初始始事實、外部部數據庫輸入入的事實、中中間結果事實實和最后結果果事實）3）推理機：（控控制系統(tǒng)）是是一個程序，控控制協(xié)調規(guī)則則庫與數據庫庫的運行，包包含推理方式式和控制策略略。3、答：4、解：k=00;S0=SS;0=;S0不是是單元素集，求求得差異集DD0=g(A,y),z,其其中z是變元，g(A,y)是是項，且z不在g(A,y)中出現(xiàn)現(xiàn)。k=k+1=1有1=0g(A,yy)/z=g(A,yy)/z=g(A,yy)/z，S1=S0g(A,yy)/z=P(ff

19、(x,g(A,y),g(A,y),S1是單元元素集。根據求MGU算算法，MGUU=1=g(A,yy)/z5、證:PP(x)Q(x)從F11變換P(y)R(y)從F11變換P(a)從F22變換S(a)從F22變換S(z)R(z)結論論的否定R(a)歸結a/yR(a)歸結a/z歸結得證.四、1、答：謂謂詞公式表示示：x(studeent(x)read(x,三國演演義)語義網絡表示如如圖：2、3、證：現(xiàn)定義義如下謂詞L(x,y)-某人x喜歡某物y；P(y)- 某某物y是清潔的東東西(1) yx(P(y)L(x,yy) = P(y)L(f(yy),y)(2) x(L(x,FFly) = L(x,FFl

20、y)(3) P(FFly) 結論的的反(4) L(ff(Fly), Flyy) (1)(33)歸結,置換Flyy/y(5) (2)(4)歸結結,f(FFly)/xx得證。人工智能試卷八八一、填空題（共共30分）1. 歸結法中中，可以通過過-的的方法得到問問題的解答。2.化成子句形形式為： 。3.從已知事實實出發(fā)，通過過規(guī)則庫求得得結論的產生生式系統(tǒng)的推推理方式是 4.AI是是 的英文縮寫寫 5. 人工智能能的基本技術術包括 、 、 、。6.目前所用的的知識表示形形式有 、 、 等。7.產生式系統(tǒng)統(tǒng)有三部分組組成 ， 和推理機機。其中推理理可分為 和和 。8.在謂詞公式式中，緊接于于量詞之后被被

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

22、（C1，C2）= 。15、在歸結原原理中，幾種種常見的歸結結策略并且具具有完備性的的是 ， ， 。16、在啟發(fā)式式搜索當中，通通常用 來來表示啟發(fā)性性信息。17、假言推理理（AB）A ，假假言三段論（AB）（BC） .填空題修改證明樹。正向推理 Artificcal Innteliggence搜索技術 推推理技術 知識表示和和知識庫技術術、歸納技術術、聯(lián)想技術術框架 語義網網絡 面向對象象綜合數據庫 知識庫 正向推理理 反向推理理轄域 約束變元 自由變元元深藍制造智能機器 實現(xiàn)機器器智能真空集PP或QQQ Q（a）R（y）刪除策略 支支持集策略 線性歸結結策略啟發(fā)函數 B AC 二、選擇題（1

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

24、(x,y)，存存在量詞是在在全稱量詞的的轄域內，我我們允許所存存在的x可能依賴于于y值。令這種種依賴關系明明顯地由函數數所定義，它它把每個y值映射到存存在的那個xx。這種函數數叫做（ ） A. 依賴函數 B. Skoleem函數 C. 決定函數 D. 多元函數數6.子句PQQ和P經過消解以以后，得到（ ） A. P B. Q C. PPQ7、8.A（AAB）A 稱為（ ），（AB）AB稱為（ ）結合律 B.分配律 CC.吸收律 DD.摩根律8、下列哪部分分不是專家系系統(tǒng)的組成部部分（ ）A.）用戶 B）綜合數據據庫 C）推理機 D）知識庫9、產生式系統(tǒng)統(tǒng)的推理不包包括（ ）A）正向推理 B）逆

25、向推理理 C）雙向推理理 D）簡單推理理10、C(B|A) 表示示在規(guī)則A-B中，證證據A為真的作用用下結論B為真的A)可信度 B)信度 C)信任增長長度 D)概率11、AI的英英文縮寫是A)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion DD)Artiificall Infoormatiion12、反演歸結結（消解）證證明定理時，若若當前歸結式式是（ ）時，則定定理得證。A)永真式B)包孕式（suubsumeed）C)空子句13、在公式中中yxp(x,y)，存存在量詞是在在全

26、稱量詞的的轄域內，我我們允許所存存在的x可能依賴于于y值。令這種種依賴關系明明顯地由函數數所定義，它它把每個y值映射到存存在的那個xx。這種函數數叫做（ ） A. 依賴函數 B. Skoleem函數 C. 決定函數 D. 多元函數數14、子句PPQ和P經過消解以以后，得到（ ） A. P B. Q C. PPQ15、如果問題題存在最優(yōu)解解，則下面幾幾種搜索算法法中，（ ）必然可以以得到該最優(yōu)優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜搜索D. 啟發(fā)式搜搜索三、簡答與應用用題深度優(yōu)先方法的的特點是什么么？6什么是置換？置置換是可交換換的嗎？6分 某問題題由下列公式式描述：(1)、試用歸歸結法證明

27、(x)R(xx)；8分 44. 下圖所所示博弈樹，按按從左到右的的順序進行-剪枝搜搜索，試標明明各生成節(jié)點點的到推值，何何處發(fā)生剪枝枝，及應選擇擇的走步。110分 5.100分 設有如如下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關系？(10分)6. 張某被盜盜，公安局派派了五個偵察察員去調查。研研究案情時，偵偵察員說：“趙與錢中至至少有一人作作案”；偵察員說：“錢與孫至少少有一人作案案”；偵察員說：“孫與李中至至少有一個作作案”；偵察員說“趙與孫至少少一個與案無無關”；偵察員說“錢與李中至至少有一人與

28、與此案無關”。如果這五五個偵察員的的話都是可信信的，試用消消解原理推理理求出誰是盜盜竊犯。（110分）選擇題123456789101112131415CDBBBBCADBBCBBA三、簡答與應用用題解答: （1）屬屬于圖搜索；（2）是一個通通用的搜索方方法；（3）如果深度度限制不合適適，有可能找找不到問題的的解；（4）不能保證證找到最優(yōu)解解。2. 回答: 通常用有有序對的集合合st1/vv1，t2/v22，tn/vnn來表示任任一置換，置置換集的元素素ti/vii的含義是表表達式中的變變量vi處處以項項ti來替換，用用s對表達式E作置換后的的例簡記為EEs。一般來說，置置換是不可交交換的，即兩

29、兩個置換合成成的結果與置置換使用的次次序有關。3.5. 、解:現(xiàn)現(xiàn)定義如下謂謂詞F(x,y)- x是y的父親;G(x,z)- x是y的祖父;用謂詞邏輯表示示已知與求解解:(1) F(x,y)F(y,zz)G(xx,z)(2) F(LL,D)(3) F(DD,X)(4) G(uu,v),uu=?,v=?其中,L表示老老李,D表示大李李,X表示小李李。先證存在祖孫關關系 F(x,y)F(y,z)G(x,zz)從從(1)變換 F(L,DD)從(22)變換 F(D,XX)從(33)變換 G(u,v)結論論的否定 F(D,z)G(L,zz)歸結,置換L/xx,D/y G(L,XX)歸結,置換X/zz 歸

30、結,置換L/uu,X/v得證,說明存在在祖孫關系。為了求解用一個個重言式 G(u,v)G(u,vv) 用重言式代代替結論的否否定,重言式恒為為真 F(D,z)G(L,zz)歸結,置換L/xx,D/y G(L,XX)歸結,置換X/zz G(L,XX)歸結,置換L/uu,X/v得結果:L是XX的祖父，即即老李是小李李的祖父。6. 解：設用用T(x)表示示x是作案者，則則偵察員員A的話可表示示：T(趙)T(錢)偵察員員B的話可表示示：T(錢)T(孫)偵察員員C的話可表示示：T(孫)T(李)偵察員員D的話可表示示：T(趙) T(孫)偵察員員E的話可表示示：T(錢) T(李)上面五個組組成子句集SS，求

31、誰是作作案者，把TT(x)ANNSWER(x)并入S1得到。即比比S1多出如下一一個子句：TT(x)ANNSWER(x)然后利用消解原原理對S1進行消解可可得答案：錢錢和孫是作案案者。人工智能試卷九九試題部分：一、選擇題（115小題，共共15分）1. 人工智能能產生于哪一一年（）。 A. 1957 B. 1962 C. 1956D. 197992.下列哪個不不是人工智能能的研究領域域（ ） A.機器證明 B.模式識別 C. 人工生命 D. 編譯原理理3.神經網絡研研究屬于下列列（ ）學派 A. 符號主義 B. 連接主義 C. 行為主義 D. 都不是4.已知初始問問題的描述，通通過一系列變變換把

32、此問題題最終變?yōu)橐灰粋€子問題集集合；這些子子問題的解可可以直接得到到，從而解決決了初始問題題。這是知識識表示法叫（ ） A. 狀態(tài)空間法法 B. 問題歸約法法 C. 謂詞邏輯法法 D. 語義網絡絡法5.在公式中yyxp(x,y)，存存在量詞是在在全稱量詞的的轄域內，我我們允許所存存在的x可能依賴于于y值。令這種種依賴關系明明顯地由函數數所定義，它它把每個y值映射到存存在的那個xx。這種函數數叫做（ ） A. 依賴函數 B. Skoleem函數 C. 決定函數 D. 多元函數數6.子句PQQ和P經過消解以以后，得到（ ） A. P B. Q C. PPQ7、8.A（AAB）A 稱為（ ），（AB

33、）AB稱為（ ）結合律 B.分配律 CC.吸收律 DD.摩根律9、10.如果果問題存在最最優(yōu)解，則下下面幾種搜索索算法中，（ ）必然可以得到該最優(yōu)解，（ ）可以認為是“智能程度相對比較高”的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜搜索啟發(fā)式搜索11.產生式系系統(tǒng)的推理不不包括（ ） A. 正向推理 B. 逆向推理 C. 雙向推理 D. 簡單推理理12.下列哪部部分不是專家家系統(tǒng)的組成成部分（ ） A. 用戶 B. 綜合數據庫庫 C. 推理機 D. 知識庫 13. 要想讓讓機器具有智智能，必須讓讓機器具有知知識。因此，在在人工智能中中有一個研究究領域，主要要研究計算機機如何自動獲獲取知識和技

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

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

36、，若得得到的歸結式式為 ，則結論論成立。13、若C1=PQ，C2=PQ，則C1和C2的歸結式式R（C1，C2）= 。14、若C1=P(x) Q(x)，C2=PP(a) R(y)，則則C1和C2的歸結式式R（C1，C2）= 。15、在歸結原原理中，幾種種常見的歸結結策略并且具具有完備性的的是 ， ， 。16、在啟發(fā)式式搜索當中，通通常用 來來表示啟發(fā)性性信息。17、假言推理理（AB）A ，假假言三段論（AB）（BC） .三、簡答與應用用題1、剪枝方法只只是極小極大大方法的一種種近似，剪枝枝可能會遺漏漏掉最佳走步步。這種說法法是否正確？(6分)2. 將下列謂謂詞公式化成成子句集。（6分）3、解釋下

37、列模模糊性知識：1) 張三，體體型，（胖，0.9）。2) (患者，癥癥狀，(頭疼，0.995) ) (患者，癥癥狀，(發(fā)燒，1.11) ) (患者，疾疾病，(感冒，1.22) )(66分)4.寫出圖中樹樹的結點兩個個訪問序列，要要求分別滿足足以下兩個搜搜索策略：(6分)5151423678910111213廣度優(yōu)先搜索5、產生式系統(tǒng)統(tǒng)由哪些部分分組成？6. 張某被盜盜，公安局派派了五個偵察察員去調查。研研究案情時，偵偵察員說：“趙與錢中中至少有一人人作案”；偵偵察員說：“錢與孫至至少有一人作作案”；偵察察員說：“孫孫與李中至少少有一個作案案”；偵察員員說“趙與與孫至少一個個與案無關”；偵察員說

38、說“錢與李中中至少有一人人與此案無關關”。如果這這五個偵察員員的話都是可可信的，試用用消解原理推推理求出誰是是盜竊犯。（115分）7. 下圖所示示博弈樹，按按從左到右的的順序進行-剪枝搜搜索，試標明明各生成節(jié)點點的到推值，何何處發(fā)生剪枝枝，及應選擇擇的走步。答案部分一、選擇題123456789101112131415CDBBBBCDADDABDC填空題修改證明樹。正向推理 Artificcal Innteliggence搜索技術 推推理技術 知知識表示和知知識庫技術框架 語義網網絡 面向向對象綜合數據庫 知識庫 正向推理 反向推理理轄域 約束變元 自由由變元深藍制造智能機器 實現(xiàn)機器器智能真空

39、集PP或QQQ Q（a）R（yy）刪除策略 支支持集策略 線性歸結結策略啟發(fā)函數 B AC 三、簡答與應用用題1不正確。 剪枝方法利利用已經搜索索的信息，剪剪掉哪些對于于搜索最佳走走步沒有意義義的分枝，其其找到的最佳佳走步與極小小極大方法找找到的結果是是一樣的。而而且搜索效率率有很大提高高。2、3、答：1）表表示：命題“張三比較胖胖” 2）解解釋為：如果果患者有些頭頭疼并且發(fā)高高燒，則他患患了重感冒。4、解：（）深深度優(yōu)先搜索索：（）廣度優(yōu)先先搜索：5解答: 組成成產生式系統(tǒng)統(tǒng)的三要素:（1）綜合數據據庫；（2）一組產生生式規(guī)則（或或者規(guī)則集）；（3）一個控制制系統(tǒng)（或者者控制策略）6、解：設

40、用TT(x)表示示x是作案者，則則偵察員員A的話可表示示：T(趙)T(錢)偵察員員B的話可表示示：T(錢)T(孫)偵察員員C的話可表示示：T(孫)T(李)偵察員員D的話可表示示：T(趙) T(孫)偵察員員E的話可表示示：T(錢) T(李)上面五個組組成子句集SS，求誰是作作案者，把TT(x)ANNSWER(x)并入S1得到。即比比S1多出如下一一個子句：TT(x)ANNSWER(x)然后利用消解原原理對S1進行消解可可得答案：錢錢和孫是作案案者。7.人工智能試卷十十一、選擇題（115小題，共共15分）1、97年月月，著名的“人機大戰(zhàn)”，最終計算算機以3.55比2.5的總比比分將世界國國際象棋棋

41、王王卡斯帕羅夫夫擊敗，這臺臺計算機被稱稱為（ ）A）深藍 B）IBM C）深思 D）藍天2、下列不在人人工智能系統(tǒng)統(tǒng)的知識包含含的4個要素中A)事實B)規(guī)則C)控制和元元知識D)關系3、謂詞邏輯下下，子句, C1=LC1, C2= LC2,若是互補文字字的（最一般般）合一置換換，則其歸結結式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C24、或圖通常稱稱為A）框架網絡 B)語義圖 C)博亦圖 D)狀態(tài)圖5、不屬于人工工智能的學派派是A)符號主義 B)機會主義義 C)行為主義義 D)連接主義義。6、人工智能的的含義最早由由一位科學家家于19500年提出，并并且同時提出出一個機器智智

42、能的測試模模型，請問這這個科學家是是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機器器具有智能，必必須讓機器具具有知識。因因此，在人工工智能中有一一個研究領域域，主要研究究計算機如何何自動獲取知知識和技能，實實現(xiàn)自我完善善，這門研究究分支學科叫叫（ ）。A)專家系統(tǒng) B)機器學習習 C)神經網絡絡 D)模式識別別8、下列哪部分分不是專家系系統(tǒng)的組成部部分（ ）A.）用戶 B）綜合數據據庫 C）推理機 D）知識庫9、產生式系統(tǒng)統(tǒng)的推理不包包括（ ）A）正向推理 B）逆向推理理 C）雙向推理理 D）簡單推理理10、C(B|A) 表示示在規(guī)則A-B中，證證據A為真的作用用下結論B為真的

43、A)可信度 B)信度 C)信任增長長度 D)概率11、AI的英英文縮寫是A)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion DD)Artiificall Infoormatiion12、反演歸結結（消解）證證明定理時，若若當前歸結式式是（ ）時，則定定理得證。A)永真式B)包孕式（suubsumeed）C)空子句13、在公式中中yxp(x,y)，存存在量詞是在在全稱量詞的的轄域內，我我們允許所存存在的x可能依賴于于y值。令這種種依賴關系明明顯地由函數數所定義，它它把每個y值映射

44、到存存在的那個xx。這種函數數叫做（ ） A. 依賴函數 B. Skoleem函數 C. 決定函數 D. 多元函數數14、子句PPQ和P經過消解以以后，得到（ ） A. P B. Q C. PPQ15、如果問題題存在最優(yōu)解解，則下面幾幾種搜索算法法中，（ ）必然可以以得到該最優(yōu)優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜搜索D. 啟發(fā)式搜搜索二、填空題（共共30分）：1.在謂詞公式式中，緊接于于量詞之后被被量詞作用的的謂詞公式稱稱為該量詞的的 ，而在一一個量詞的轄轄域中與該量量詞的指導變變元相同的變變元稱為 ，其其他變元稱為為 2、假言推理（AB）A ，假言三段論（AB）（BC） 3、幾種常用

45、的的歸結策略： 、支持集集策略、線形形歸結策略、輸輸入歸結策略略、單元歸結結策略4、在諸如走迷迷宮、下棋、八八數碼游戲等等游戲中，常常用到的一種種人工智能的的核心技術稱稱為 技技術，解這類類問題時，常常把在迷宮的的位置、棋的的布局、八數數碼所排成的的形勢用圖來來表，這種圖圖稱為 5.在啟發(fā)式搜搜索當中，通通常用 來表表示啟發(fā)性信信息。6.在二人博弈弈問題中，最最常用的一種種分析技術是是 ，這種方方法的思想是是先生成一棵棵博弈樹，然然后再計算其其倒推值。但但它的效率較較低，因此人人們在此基礎礎上，又提出出了 7、不確定性類類型按性質分分：，。8、在刪除策略略歸結的過程程中刪除以下下子句：含有有的

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

47、44分)2.剪枝枝的條件是什什么？（6分）3、某問題由下下列公式描述述：(1)、試用歸歸結法證明(x)R(xx)；（8分）4. 專家系統(tǒng)統(tǒng)的一般步驟驟有哪些？專專家系統(tǒng)的開開發(fā)與一般的的軟件系統(tǒng)開開發(fā)相比較，有有哪些共同點點和特點？（7分）5.何謂“圖靈靈實驗”？簡單描述述之（5分）6、設有如下關關系：（1）如果x是y的父親，y又是z的父親，則則x是z的祖父；（22）老李是大大李的父親；（3）大李是小小李的父親；問上述人員員中誰和誰是是祖孫關系？(10分)7. 給199九個數字排排一個序列，使使得該序列的的前n(n=1,.,9) 個個數字組成的的整數能被nn整除。(1)、討論論哪些知識可可以幫

48、助該問問題的求解。(2)、用產生式系統(tǒng)描述該問題. (15分)答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域 約束變變元 自由變元元 2、 B AC 3、刪除策略 4、圖搜索 狀態(tài)空間間圖（或狀態(tài)態(tài)圖） 5、啟發(fā)函數 6、極大極小分分析法 -剪枝技術 7、隨機性 模糊性 不一致性性 不確定性性 8、純文字 永真 類含 9、CF（AA） minCF（A1），CF（A2） maxCF（A1），CF（A2） 10、或圖 與或圖11、最一般合合一12、知識的運運用 邏輯表示示法（謂詞表表示法） 框架 產生式 AKO ISA 三、簡答及應用用題1、定義謂詞GG(x)：x為整數D(x,

49、y)：x大于y形式化為：或者2、回答: 剪枝：若任任一極小值層層節(jié)點的值小于或等等于它任一先先輩極大值節(jié)節(jié)點的值，即（先輩層）（后繼層層），則可中中止該極小值值層中這個MMIN節(jié)點以以下的搜索過過程。這個MMIN節(jié)點最最終的倒推值值就確定為這這個值。剪枝：若任任一極大值層層節(jié)點的值大于或等等于它任一先先輩極小值層層節(jié)點的值，即（后繼層）（先輩層層），則可以以中止該極大大值層中這個個MAX節(jié)點以以下的搜索過過程。這個MMAX節(jié)點的的最終倒推值值就確定為這這個值。3、化子句集如如下：4、答：（）專專家系統(tǒng)與一一般的軟件系系統(tǒng)開發(fā)無異異，其開發(fā)過過程同樣要遵遵循軟件工程程的步驟和原原則，即也要要進行

50、系統(tǒng)分分析、系統(tǒng)設設計等幾個階階段的工作。（）但由于它它是專家系統(tǒng)統(tǒng)，而不是一一般的軟件系系統(tǒng)，所以，又又有其獨特的的地方，主要要包括以下幾幾個步驟：系統(tǒng)總體分析與與設計；知識獲?。恢R表示與知識識描述語言設設計；知識庫設計、知知識庫管理系系統(tǒng)設計；推理機與解釋模模塊設計；總控與界面設計計編程與調試測試與評價運行與維護（）可以看出出它有如下特特點：知識獲取和知識識表示設計是是一切工作的的起點；知識表示與知識識描述語言確確定后，其他他設計可同時時進行；5、答：所謂“圖靈實驗”，是為了判判斷一臺機器器是否具備智智能的實驗。實實驗由三個封封閉的房間組組成，分別放放置主持人、參參與人和機器器。主持人向

51、向參與人和機機器提問，通通過提問的結結果來判斷誰誰是人，誰是是機器。如果果主持人無法法判斷誰是人人，誰是機器器，則這臺機機器具備智能能，即所謂的的“智能機器”。6、解:現(xiàn)定義義如下謂詞F(x,y)- x是y的父親;G(x,z)- x是y的祖父;用謂詞邏輯表示示已知與求解解:(1) F(x,y)F(y,zz)G(xx,z)(2) F(LL,D)(3) F(DD,X)(4) G(uu,v),uu=?,v=?其中,L表示老老李,D表示大李李,X表示小李李。先證存在祖孫關關系 F(x,y)F(y,z)G(x,zz)從從(1)變換 F(L,DD)從(22)變換 F(D,XX)從(33)變換 G(u,v)

52、結論論的否定 F(D,z)G(L,zz)歸結,置換L/xx,D/y G(L,XX)歸結,置換X/zz 歸結,置換L/uu,X/v得證,說明存在在祖孫關系。為了求解用一個個重言式 G(u,v)G(u,vv) 用重言式代代替結論的否否定,重言式恒為為真 F(D,z)G(L,zz)歸結,置換L/xx,D/y G(L,XX)歸結,置換X/zz G(L,XX)歸結,置換L/uu,X/v得結果:L是XX的祖父，即即老李是小李李的祖父。7、如下的知識識可以幫助求求解該問題：（1）序列中，偶偶數在偶數位位置，奇數在在奇數位置；（2）第五個數數為5。綜合數據庫庫：用一個1到9的序列表示示：N = x，其其中x為

53、1到9的數字之一一。規(guī)則集：r1: IIF lenn(N)=44 THENN x5r2: IF llen(N)為偶數andd n=Inn(1, 33, 7, 9) THHEN xxnr3: IF llen(N)為奇數andd n=Inn(2, 44, 6, 8) THHEN xxn其中l(wèi)en(N)為求序序列的長度，In(a, b, c, d)為取a、b、c、d之一。初始狀態(tài)：結束條件：得到的序列N前i個數組成的整數能被i整除人工智能試卷十十三什么是人工智能能？人工智能能與計算機程程序的區(qū)別？答：AI是研究究如何制造人人造的智能機機器或智能系系統(tǒng)來模擬人人類智能活動動的能力以延延伸人類智能能的科

54、學，它它與計算機程程序的區(qū)別是是：AI研究的是符符號表示的知知識而不是數數值數據為研研究對象AI采用啟發(fā)式式搜索方法而而不是普通的的算法控制結構與知識識是分離的允許出現(xiàn)不正確確的答案化下列邏輯表達達式為不含存存在量詞的前前束范式答：求下列謂詞公式式的子句集答：所以子句集為：若有梯形ABCCD，將其中中的若干定理理形式化即定定義一些謂詞詞公式，然后后利用歸結原原理證明內錯錯角CACABD證明：設梯形頂頂點依次為aa,b,c,d,定義謂謂詞:T(x,y,uu,v):表表示xy為上底,uvv為下底的梯梯形.P(x,y,uu,v):表表示xy|uvE(x,y,zz,u,v,w)表示xyz=uvw，問題

55、題的描述和相相應的子句集集為xyuvT(x,y,uu,v)PP(x,y,u,v).梯形形上下底平行行子句：T(x,y,uu,v)P(x,yy,u,v)xyuvPP(x,y,u,v)E(x,yy,v,u,v,y).平行行則內錯交相相等子句：T(a,b,cc,d).已知子句：T(a,b,c,dd)E(a,b,d,c,dd,b).要證明的的結論子句：E(aa,b,d,c,d,bb)子句集S為T(x,y,u,v)P(x,yy,u,v)P(x,y,u,v)E(x,yy,v,u,v,y)T(a,b,cc,d)E(a,b,d,c,dd,b)下面利用歸結原原理證明P(a,b,cc,d)（1）和（3）歸結，置置

56、換a/xx,b/y,c/u,dd/vE(a,b,dd,c,d,b)（2）和（5）歸結，置置換a/xx,b/y,c/u,dd/vNIL（4）和（6）歸結根據歸結原理得得證。求子句集的MGGU解：k=0;SS0=S;0=;SS0不是單元元素集，求得得差異集D00=a/z,其中z是變元，a是項，且z不在a中出現(xiàn)。k=k+1=11有1=0a/z=a/z=a/z，S1=S0a/z=P(a,xx,f(g(y),PP(a,h(a,u),f(u),S1不不是單元素集集，求得差異集D11=x,h(aa,u),k=k+1=2;2=1h(a,uu)/x=a/z,hh(a,u)/x,S2=S1h(a,uu)/x=P(

57、a,hh(a,u),f(g(y),PP(a,h(a,u),f(u)，S2不是單元素素集，求得差差異集D2=g(y),u,k=k+1=33=2g(y)/u=a/z,hh(a,u)/xg(y)/u=a/z,hh(a,g(y)/xx,g(y)/uS3=S2g(y)/u=P(a,hh(a,g(y),ff(g(y)是單單元素集。根據求MGU算算法，MGUU=3=a/z,hh(a,g(y)/xx,g(y)/u用代價優(yōu)先算法法求解下圖的的旅行推銷員員問題，請找找一條從北京京出發(fā)能遍歷歷各城市的最最佳路徑（旅旅行費最少），每每條弧上的數數字表示城市市間的旅行費費用。并用CCLOSEDD表記錄遍歷歷過的結點，O

58、PEN表記錄待遍歷的結點。畫出closed和open表的變化過程，然后根據closed表找出最佳路徑。解：OPEN表擴展節(jié)點父節(jié)點A（0）NULLB（31）AC（28）AD（43）BC（54）BE（38）DC（59）DC（27）EA（51）ECLOSE表擴展節(jié)點父節(jié)點A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B用框架表示下述述報導的沙塵塵暴災害事件件虛擬新華社33月16日電昨日，沙塵暴暴襲擊韓國漢漢城，機場與與高速公路被被迫關閉，造造成的損失不不詳。韓國官官方示，如果果需要直接損損失情況，可可待一周后的的官方公布的的字。此次沙沙塵暴起因中中日韓專家認認為是由于中

59、中國內蒙古區(qū)區(qū)過分墾牧破破壞植被所致致。提示：分析概括括用下劃線標標出的要點，經經過概念化形形成槽（Sllot）并擬擬出槽的名稱稱，選填側面面（facee）值。側面面包含“值（valuue）”，“默認值（deefaultt）”，“如果需要值值（if-nneededd）”，“如果附加值值（if-aadded）”幾個方面，用用不到的側面面值可刪除。FRAME： Slot1：Value：Defaultt：If-needded：If-addeed：Slot2：Value：Defaultt：If-needded：If-addeed：Slot3：Value：Defaultt：If-needded：If-a

60、ddeed：解：FRAME：沙沙塵暴Slot1：時時間Value：33 月15 日Defaultt：If-needded：If-addeed：Slot2：地地點Value：韓韓國漢城Defaultt：If-needded：If-addeed：Slot3：損損失Value：不不詳Defaultt：If-needded：一周后官方方公布數字If-addeed：Slot4：起起因Defaultt：中國內蒙蒙古區(qū)人工智能試卷十十八一、選擇題：（13小題，共13分）1.人工智能的的含義最早由由一位科學家家于19500年提出，并并且同時提出出一個機器智智能的測試模模型，請問這這個科學家是是（C）。 A.