1、.：.；人工智能試卷四一、選擇題(每題1分，共15分)1、AI的英文縮寫是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information2、反演歸結(jié)消解證明定理時，假設(shè)當(dāng)前歸結(jié)式是 時，那么定理得證。A)永真式B)包孕式subsumedC)空子句3、從知現(xiàn)實出發(fā)，經(jīng)過規(guī)那么庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理B)反向推理C)雙向推理4、語義網(wǎng)絡(luò)表達知識時，有向弧AKO 鏈、ISA 鏈?zhǔn)怯脕肀磉_節(jié)點知識的 。A)無悖性 B)可擴展性 C)承繼性5、(AB)

2、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深藍 BIBM C沉思 D藍天10、以下不在人工智能系統(tǒng)的知識包含的4個要素中A)現(xiàn)實B)規(guī)那么C)控制和元知識D)關(guān)系11、謂詞邏輯下，子句, C1=LC1, C2= LC2,假設(shè)是互補文字的最普通合一置換，那么其歸

3、結(jié)式C= A) C1C2B)C1C2C)C1C2D)C1 C212、或圖通常稱為A框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)形狀圖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)方式識別二、填空題(每空1.5分，共

4、30分)1、不確定性類型按性質(zhì)分：，。2、在刪除戰(zhàn)略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據(jù)的可信度CFA、CFA1、CFA2之間，規(guī)定如下關(guān)系：CFA=、CFA1A2 =、CFA1A2 =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分，共25分)1、填寫下面的三

5、值邏輯表。其中T，F(xiàn)，U分別表示真，假，不能斷定2、什么是產(chǎn)生式？產(chǎn)生式規(guī)那么的語義是什么？答：3、謂詞公式G經(jīng)過個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。4、知S=P(f(x),y,g(y),P(f(x),z,g(x)，求MGU解：5、證明G能否是F的邏輯結(jié)論；四、運用題(共30分)1、用語義網(wǎng)絡(luò)表示以下信息：(1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(2)清華大學(xué)與北京大學(xué)進展藍球競賽，最后以89：102的比分終了。答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用-剪枝技術(shù)剪去不用要的分枝。在節(jié)點及邊上直接加注釋3、設(shè)有如下關(guān)系：1假設(shè)x是y的父親，y又

6、是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、最普通合一MGU6、被觸發(fā)規(guī)那么7、AB，概率8、制造智能機器，實現(xiàn)機器智能三、1、2、產(chǎn)生式規(guī)那么根本方式：PQ 或者 IF P THEN QP 是產(chǎn)生式的前提前件，用于指出該產(chǎn)生式能否可用

7、的條件Q 是一組結(jié)論或操作后件，用于指出當(dāng)前提 P 所指示的條件滿足時，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)那么的語義：假設(shè)前提P被滿足，那么可推出結(jié)論 Q 或執(zhí)行 Q 所規(guī)定的操作3、 1消去蘊含式和等價式， 2減少否認(rèn)詞的作用范圍，直到其作用于原子公式: 3適當(dāng)改名，使量詞間不含同名指點變元和約束變元。 4.消去存在量詞構(gòu)成Skolem規(guī)范型 5消去一切全稱量詞 6) 化成合取范式7).適當(dāng)改名，使子句間無同名變元 8).消去合取詞，用逗號替代，以子句為元素組成一個集合S4、解：k=0;S0=S;0=;S0不是單元素集，求得差別集D0=y,z,其中y是變元，z是項，且y不在z中出現(xiàn)。k=

8、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é)論的否認(rèn)Q(x)歸結(jié),x/y歸結(jié),置換a/x得證。四、1、 2、3、解:現(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,

9、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é)論的否認(rèn) 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é)論的否認(rèn),重言式恒為真 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的祖父，即

10、老李是小李的祖父。人工智能試卷五一、選擇題(每題1分，共15分)1、人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心思學(xué)和生理學(xué) C)言語學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、語義網(wǎng)絡(luò)表達知識時，有向弧AKO 鏈、ISA 鏈?zhǔn)怯脕肀磉_節(jié)點知識的 。A) 無悖性 B) 可擴展性 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、以下不在人工智能系統(tǒng)的知

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

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、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學(xué)家是2、從知現(xiàn)實出發(fā)，經(jīng)過規(guī)那么庫求得結(jié)論的產(chǎn)生式系統(tǒng)的

13、推理方式是。3、AI的英文縮寫是。4、不確定性類型按性質(zhì)分：，。5、在刪除戰(zhàn)略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。6、對證據(jù)的可信度CFA、CFA1、CFA2之間，規(guī)定如下關(guān)系：CFA=、CFA1A2 =、CFA1A2 =。7、圖：指由組成的網(wǎng)絡(luò)。按銜接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。8、合一算法：求非空有限具有一樣謂詞名的原子公式集的。9、1997年月，著名的“人機大戰(zhàn)，最終名為“的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目的是，近期目的是。三、簡答及計算題(每題5分，共25分)1、解釋以下模糊性知識：1

14、) 張三，體型，胖，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é)論；證:四、運用題(共30分)1、將命題：“某個學(xué)生讀過三國演義分別用謂詞公式和語義網(wǎng)絡(luò)表示答： 2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用-剪枝技術(shù)剪去不用要的分枝。在節(jié)點及邊上直接加注釋3、利用謂詞邏輯表示以下知識包括知和結(jié)論，然后化成子句集： 1凡是清

15、潔的東西就有人喜歡；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) )7、節(jié)點和有向邊，或圖，與或圖8、最普通合一MGU9、深藍10、制造智能機器，實現(xiàn)機器智能三、1、答：1表示：命題“張三比較胖 2解釋為：假設(shè)患者有些頭疼并且發(fā)高燒，那么他患了重感冒。2、答：1產(chǎn)生式

16、規(guī)那么庫：描畫相應(yīng)領(lǐng)域知識的產(chǎn)生式規(guī)那么集2數(shù)據(jù)庫：現(xiàn)實的集合存放問題求解過程中當(dāng)前信息的數(shù)據(jù)構(gòu)造初始現(xiàn)實、外部數(shù)據(jù)庫輸入的現(xiàn)實、中間結(jié)果現(xiàn)實和最后結(jié)果現(xiàn)實3推理機：控制系統(tǒng)是一個程序，控制協(xié)調(diào)規(guī)那么庫與數(shù)據(jù)庫的運轉(zhuǎn)，包含推理方式和控制戰(zhàn)略。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=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)/z

17、5、證:P(x)Q(x)從F1變換P(y)R(y)從F1變換P(a)從F2變換S(a)從F2變換S(z)R(z)結(jié)論的否認(rèn)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,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

18、)/x得證。人工智能試卷八一、填空題共30分1. 歸結(jié)法中，可以經(jīng)過-的方法得到問題的解答。2.化成子句方式為： 。3.從知現(xiàn)實出發(fā)，經(jīng)過規(guī)那么庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4.AI是是 的英文縮寫 5. 人工智能的根本技術(shù)包括 、 、 、。6.目前所用的知識表示方式有 、 、 等。7.產(chǎn)生式系統(tǒng)有三部分組成 ， 和推理機。其中推理可分為 和 。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指點變元一樣的變元稱為 ，其他變元稱為 9、1997年月，著名的“人機大戰(zhàn)，最終名為“的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊

19、敗。10、人工智能的遠期目的是，近期目的是。11、謂詞邏輯中，重言式tautlogy的值是 。12、利用歸結(jié)原理證明定理時，假設(shè)得到的歸結(jié)式為 ，那么結(jié)論成立。13、假設(shè)C1=PQ，C2=PQ，那么C1和C2的歸結(jié)式RC1，C2= 。14、假設(shè)C1=P(x) Q(x)，C2=P(a) R(y)，那么C1和C2的歸結(jié)式RC1，C2= 。15、在歸結(jié)原理中，幾種常見的歸結(jié)戰(zhàn)略并且具有完備性的是 ， ， 。16、在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。17、假言推理ABA ，假言三段論ABBC .填空題修正證明樹。正向推理 Artifical Inteligence搜索技術(shù) 推理技術(shù) 知識表示和

20、知識庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)框架 語義網(wǎng)絡(luò) 面向?qū)ο缶C合數(shù)據(jù)庫 知識庫 正向推理 反向推理轄域 約束變元 自在變元深藍制造智能機器 實現(xiàn)機器智能真空集PP或QQ QaRy刪除戰(zhàn)略 支持集戰(zhàn)略 線性歸結(jié)戰(zhàn)略啟發(fā)函數(shù) B AC 二、選擇題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.知初始問題的描畫，經(jīng)過一系列變換把此問題最終變?yōu)橐粋€子問題

21、集合；這些子問題的解可以直接得到，從而處理了初始問題。這是知識表示法叫 A. 形狀空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法5.在公式中yxp(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. P B. Q C. PPQ7、8.AABA 稱為 ，ABAB稱為 結(jié)合律 B.分配律 C.吸收律 D.摩根律8、以下哪部分不是專家系統(tǒng)的組成部分 A.用戶 B綜合數(shù)據(jù)庫 C

22、推理機 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é)消解證明定理時，假設(shè)當(dāng)前歸結(jié)式是 時，那么定理得證。A)永真式B)包孕式subsumedC)空子句13、在公式中yxp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我

23、們允許所存在的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. PPQ15、假設(shè)問題存在最優(yōu)解，那么下面幾種搜索算法中， 必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D. 啟發(fā)式搜索三、簡答與運用題深度優(yōu)先方法的特點是什么？6什么是置換？置換是可交換的嗎？6分 某問題由以下公式描畫：(1)、試用歸結(jié)法證明(x)R(x)；8分 4. 以下圖所示博弈樹，按從左到右的順序進展-剪枝搜索，試標(biāo)明各生成節(jié)點

24、的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分 5.10分 設(shè)有如下關(guān)系：1假設(shè)x是y的父親，y又是z的父親，那么x是z的祖父；2老李是大李的父親；3大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分)6. 張某被盜，公安局派了五個偵查員去調(diào)查。研討案情時，偵查員說：“趙與錢中至少有一人作案；偵查員說：“錢與孫至少有一人作案；偵查員說：“孫與李中至少有一個作案；偵查員說“趙與孫至少一個與案無關(guān)；偵查員說“錢與李中至少有一人與此案無關(guān)。假設(shè)這五個偵查員的話都是可信的，試用消解原理推理求出誰是盜竊犯。10分選擇題123456789101112131415CDBBBBCADBBCBBA三、簡答

25、與運用題解答: 1屬于圖搜索；2是一個通用的搜索方法；3假設(shè)深度限制不適宜，有能夠找不到問題的解；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),

26、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é)論的否認(rèn) 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é)論的否認(rèn),重言式恒為真 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

27、是作案者，那么偵查員A的話可表示：T(趙)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. 人工

28、生命 D. 編譯原理3.神經(jīng)網(wǎng)絡(luò)研討屬于以下 學(xué)派 A. 符號主義 B. 銜接主義 C. 行為主義 D. 都不是4.知初始問題的描畫，經(jīng)過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而處理了初始問題。這是知識表示法叫 A. 形狀空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法5.在公式中yxp(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.

29、 P B. Q C. PPQ7、8.AABA 稱為 ，ABAB稱為 結(jié)合律 B.分配律 C.吸收律 D.摩根律9、10.假設(shè)問題存在最優(yōu)解，那么下面幾種搜索算法中， 必然可以得到該最優(yōu)解， 可以以為是“智能程度相對比較高的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括 A. 正向推理 B. 逆向推理 C. 雙向推理 D. 簡單推理12.以下哪部分不是專家系統(tǒng)的組成部分 A. 用戶 B. 綜合數(shù)據(jù)庫 C. 推理機 D. 知識庫 13. 要想讓機器具有智能，必需讓機器具有知識。因此，在人工智能中有一個研討領(lǐng)域，主要研討計算機如何自動獲取知識和技藝，實現(xiàn)自我完善

30、，這門研討分支學(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 鏈?zhǔn)怯脕肀磉_節(jié)點知識的 。A) 無悖性 B) 可擴展性 C) 承繼性二、填空題共30分：1. 歸結(jié)法中，可以經(jīng)過-的方法得到問題的解答。2.化成子句方式為： 。3.從知現(xiàn)實出發(fā)，經(jīng)過規(guī)那么庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4.AI是是 的英文縮寫 5. 人工智能的根本技術(shù)包括 、 、 、歸納技術(shù)、聯(lián)想技術(shù)。6.目前所用的知識表示方式有 、 、 等。7.產(chǎn)生

31、式系統(tǒng)有三部分組成 ， 和推理機。其中推理可分為 和 。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指點變元一樣的變元稱為 ，其他變元稱為 9、1997年月，著名的“人機大戰(zhàn)，最終名為“的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目的是，近期目的是。11、謂詞邏輯中，重言式tautlogy的值是 。12、利用歸結(jié)原理證明定理時，假設(shè)得到的歸結(jié)式為 ，那么結(jié)論成立。13、假設(shè)C1=PQ，C2=PQ，那么C1和C2的歸結(jié)式RC1，C2= 。14、假設(shè)C1=P(x) Q(x)，C2=P(a) R(y)，那

32、么C1和C2的歸結(jié)式RC1，C2= 。15、在歸結(jié)原理中，幾種常見的歸結(jié)戰(zhàn)略并且具有完備性的是 ， ， 。16、在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。17、假言推理ABA ，假言三段論ABBC .三、簡答與運用題1、剪枝方法只是極小極大方法的一種近似，剪枝能夠會脫漏掉最正確走步。這種說法能否正確？(6分)2. 將以下謂詞公式化成子句集。6分3、解釋以下模糊性知識：1) 張三，體型，胖，0.9。2) (患者，病癥，(頭疼，0.95) ) (患者，病癥，(發(fā)燒，1.1) ) (患者，疾病，(感冒，1.2) )(6分)4.寫出圖中樹的結(jié)點兩個訪問序列，要求分別滿足以下兩個搜索戰(zhàn)略：(6分)51

33、423678910111213深度優(yōu)先搜索廣度優(yōu)先搜索5、產(chǎn)生式系統(tǒng)由哪些部分組成？6. 張某被盜，公安局派了五個偵查員去調(diào)查。研討案情時，偵查員說：“趙與錢中至少有一人作案；偵查員說：“錢與孫至少有一人作案；偵查員說：“孫與李中至少有一個作案；偵查員說“趙與孫至少一個與案無關(guān)；偵查員說“錢與李中至少有一人與此案無關(guān)。假設(shè)這五個偵查員的話都是可信的，試用消解原理推理求出誰是盜竊犯。15分7. 以下圖所示博弈樹，按從左到右的順序進展-剪枝搜索，試標(biāo)明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。答案部分一、選擇題123456789101112131415CDBBBBCDADDABDC填空題修

34、正證明樹。正向推理 Artifical Inteligence搜索技術(shù) 推理技術(shù) 知識表示和知識庫技術(shù)框架 語義網(wǎng)絡(luò) 面向?qū)ο缶C合數(shù)據(jù)庫 知識庫 正向推理 反向推理轄域 約束變元 自在變元深藍制造智能機器 實現(xiàn)機器智能真空集PP或QQ QaRy刪除戰(zhàn)略 支持集戰(zhàn)略 線性歸結(jié)戰(zhàn)略啟發(fā)函數(shù) B AC 三、簡答與運用題1不正確。 剪枝方法利用曾經(jīng)搜索的信息，剪掉哪些對于搜索最正確走步?jīng)]有意義的分枝，其找到的最正確走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。2、3、答：1表示：命題“張三比較胖 2解釋為：假設(shè)患者有些頭疼并且發(fā)高燒，那么他患了重感冒。4、解：深度優(yōu)先搜索：廣度優(yōu)先搜索

35、：5解答: 組成產(chǎn)生式系統(tǒng)的三要素:1綜合數(shù)據(jù)庫；2一組產(chǎn)生式規(guī)那么或者規(guī)那么集；3一個控制系統(tǒng)或者控制戰(zhàn)略6、解：設(shè)用T(x)表示x是作案者，那么偵查員A的話可表示：T(趙)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進展消解可得答案：錢和孫是作案者。7.人工智能試卷十一、選擇題15小題，共15分1、97年月，著名的“人機大戰(zhàn)，最終

36、計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為 A深藍 BIBM C沉思 D藍天2、以下不在人工智能系統(tǒng)的知識包含的4個要素中A)現(xiàn)實B)規(guī)那么C)控制和元知識D)關(guān)系3、謂詞邏輯下，子句, C1=LC1, C2= LC2,假設(shè)是互補文字的最普通合一置換，那么其歸結(jié)式C= A) C1C2B)C1C2C)C1C2D)C1 C24、或圖通常稱為A框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)形狀圖5、不屬于人工智能的學(xué)派是A)符號主義 B)時機主義 C)行為主義 D)銜接主義。6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個

37、科學(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)的組成部分 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 Intelligen

38、ce B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演歸結(jié)消解證明定理時，假設(shè)當(dāng)前歸結(jié)式是 時，那么定理得證。A)永真式B)包孕式subsumedC)空子句13、在公式中yxp(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. PPQ15、假設(shè)問題存在最優(yōu)

39、解，那么下面幾種搜索算法中， 必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D. 啟發(fā)式搜索二、填空題共30分：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指點變元一樣的變元稱為 ，其他變元稱為 2、假言推理ABA ，假言三段論ABBC 3、幾種常用的歸結(jié)戰(zhàn)略： 、支持集戰(zhàn)略、線形歸結(jié)戰(zhàn)略、輸入歸結(jié)戰(zhàn)略、單元歸結(jié)戰(zhàn)略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的中心技術(shù)稱為 技術(shù)，解這類問題時，常把在迷宮的位置、棋的規(guī)劃、八數(shù)碼所排成的情勢用圖來表，這種圖稱為 5.在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信

40、息。6.在二人博弈問題中，最常用的一種分析技術(shù)是 ，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此根底上，又提出了 7、不確定性類型按性質(zhì)分：，。8、在刪除戰(zhàn)略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據(jù)的可信度CFA、CFA1、CFA2之間，規(guī)定如下關(guān)系：CFA=、CFA1A2 =、CFA1A2 =。10、圖：指由組成的網(wǎng)絡(luò)。按銜接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。11、合一算法：求非空有限具有一樣謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要處理的根本問題有三個，那就是知識的獲取、知識的表示和 ，知識表示的方法主

41、要有 ， ， 和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所運用的推理方法有 和 三、簡答與運用題謂詞邏輯方式化以下描畫“不存在最大的整數(shù)(4分)2.剪枝的條件是什么？6分3、某問題由以下公式描畫：(1)、試用歸結(jié)法證明(x)R(x)；8分4. 專家系統(tǒng)的普通步驟有哪些？專家系統(tǒng)的開發(fā)與普通的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？7分5.何謂“圖靈實驗？簡單描畫之5分6、設(shè)有如下關(guān)系：1假設(shè)x是y的父親，y又是z的父親，那么x是z的祖父；2老李是大李的父親；3大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分)7. 給19九個數(shù)字排一個序列，使得該序列的前n(n=1,.,9) 個數(shù)字組成的整數(shù)

42、能被n整除。(1)、討論哪些知識可以協(xié)助 該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描畫該問題. (15分)答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域 約束變元 自在變元 2、 B AC 3、刪除戰(zhàn)略 4、圖搜索 形狀空間圖或形狀圖 5、啟發(fā)函數(shù) 6、極大極小分析法 -剪枝技術(shù) 7、隨機性 模糊性 不一致性 不確定性 8、純文字 永真 類含 9、CFA minCFA1，CFA2 maxCFA1，CFA2 10、或圖 與或圖11、最普通合一12、知識的運用 邏輯表示法謂詞表示法 框架 產(chǎn)生式 AKO ISA 三、簡答及運用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y方式

43、化為：或者2、回答: 剪枝：假設(shè)任一極小值層節(jié)點的值小于或等于它任一先輩極大值節(jié)點的值，即先輩層后繼層，那么可中止該極小值層中這個MIN節(jié)點以下的搜索過程。這個MIN節(jié)點最終的倒推值就確定為這個值。剪枝：假設(shè)任一極大值層節(jié)點的值大于或等于它任一先輩極小值層節(jié)點的值，即后繼層先輩層，那么可以中止該極大值層中這個MAX節(jié)點以下的搜索過程。這個MAX節(jié)點的最終倒推值就確定為這個值。3、化子句集如下：4、答：專家系統(tǒng)與普通的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵照軟件工程的步驟和原那么，即也要進展系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的任務(wù)。但由于它是專家系統(tǒng)，而不是普通的軟件系統(tǒng)，所以，又有其獨特的地方，主要包

44、括以下幾個步驟：系統(tǒng)總體分析與設(shè)計；知識獲取；知識表示與知識描畫言語設(shè)計；知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；推理機與解釋模塊設(shè)計；總控與界面設(shè)計編程與調(diào)試測試與評價運轉(zhuǎn)與維護可以看出它有如下特點：知識獲取和知識表示設(shè)計是一切任務(wù)的起點；知識表示與知識描畫言語確定后，其他設(shè)計可同時進展；5、答：所謂“圖靈實驗，是為了判別一臺機器能否具備智能的實驗。實驗由三個封鎖的房間組成，分別放置主持人、參與人和機器。主持人向參與人和機器提問，經(jīng)過提問的結(jié)果來判別誰是人，誰是機器。假設(shè)主持人無法判別誰是人，誰是機器，那么這臺機器具備智能，即所謂的“智能機器。6、解:現(xiàn)定義如下謂詞F(x,y)- x是y的父親;G(

45、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é)論的否認(rèn) 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é)論的否認(rèn),重言式恒為真 F(D,z)G(L,z)歸結(jié),

46、置換L/x,D/y G(L,X)歸結(jié),置換X/z G(L,X)歸結(jié),置換L/u,X/v得結(jié)果:L是X的祖父，即老李是小李的祖父。7、如下的知識可以協(xié)助 求解該問題：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 x5r2: IF len(N)為偶數(shù)and n=In(1, 3, 7, 9) THEN xnr3: IF len(N)為奇數(shù)and n=In(2, 4, 6, 8) THEN xn其中l(wèi)en(N)為求序列的長度，In(a, b, c, d)為取a、b、

47、c、d之一。初始形狀：終了條件：得到的序列N前i個數(shù)組成的整數(shù)能被i整除人工智能試卷十三什么是人工智能？人工智能與計算機程序的區(qū)別？答：AI是研討如何制造人造的智能機器或智能系統(tǒng)來模擬人類智能活動的才干以延伸人類智能的科學(xué)，它與計算機程序的區(qū)別是：AI研討的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研討對象AI采用啟發(fā)式搜索方法而不是普通的算法控制構(gòu)造與知識是分別的允許出現(xiàn)不正確的答案化以下邏輯表達式為不含存在量詞的前束范式答：求以下謂詞公式的子句集答：所以子句集為：假設(shè)有梯形ABCD，將其中的假設(shè)干定理方式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯角CABD證明：設(shè)梯形頂點依次為a,b,c,d,定

48、義謂詞:T(x,y,u,v):表示xy為上底,uv為下底的梯形.P(x,y,u,v):表示xy|uvE(x,y,z,u,v,w)表示xyz=uvw，問題的描畫和相應(yīng)的子句集為xyuvT(x,y,u,v)P(x,y,u,v).梯形上下底平行子句：T(x,y,u,v)P(x,y,u,v)xyuvP(x,y,u,v)E(x,y,v,u,v,y).平行那么內(nèi)錯交相等子句：T(a,b,c,d).知子句：T(a,b,c,d)E(a,b,d,c,d,b).要證明的結(jié)論子句：E(a,b,d,c,d,b)子句集S為T(x,y,u,v)P(x,y,u,v)P(x,y,u,v)E(x,y,v,u,v,y)T(a,b

49、,c,d)E(a,b,d,c,d,b)下面利用歸結(jié)原理證明P(a,b,c,d)1和3歸結(jié)，置換a/x,b/y,c/u,d/vE(a,b,d,c,d,b)2和5歸結(jié)，置換a/x,b/y,c/u,d/vNIL4和6歸結(jié)根據(jù)歸結(jié)原理得證。求子句集的MGU解：k=0;S0=S;0=;S0不是單元素集，求得差別集D0=a/z,其中z是變元，a是項，且z不在a中出現(xiàn)。k=k+1=1有1=0a/z=a/z=a/z，S1=S0a/z=P(a,x,f(g(y),P(a,h(a,u),f(u),S1不是單元素集，求得差別集D1=x,h(a,u),k=k+1=2;2=1h(a,u)/x=a/z,h(a,u)/x,S

50、2=S1h(a,u)/x=P(a,h(a,u),f(g(y),P(a,h(a,u),f(u)，S2不是單元素集，求得差別集D2=g(y),u,k=k+1=33=2g(y)/u=a/z,h(a,u)/xg(y)/u=a/z,h(a,g(y)/x,g(y)/uS3=S2g(y)/u=P(a,h(a,g(y),f(g(y)是單元素集。根據(jù)求MGU算法，MGU=3=a/z,h(a,g(y)/x,g(y)/u用代價優(yōu)先算法求解以下圖的游覽推銷員問題，請找一條從北京出發(fā)能遍歷各城市的最正確途徑游覽費最少，每條弧上的數(shù)字表示城市間的游覽費用。并用CLOSED表記錄遍歷過的結(jié)點，OPEN表記錄待遍歷的結(jié)點。畫

51、出closed和open表的變化過程，然后根據(jù)closed表找出最正確途徑。解：OPEN表擴展節(jié)點父節(jié)點A0NULLB31AC28AD43BC54BE38DC59DC27EA51ECLOSE表擴展節(jié)點父節(jié)點A0NULLC28AE29CD38EB43DA31B用框架表示下述報導(dǎo)的沙塵暴災(zāi)禍?zhǔn)录摂M3月16日電昨日，沙塵暴襲擊韓國漢城，機場與高速公路被迫封鎖，呵斥的損失不詳。韓國官方示，假設(shè)需求直接損失情況，可待一周后的官方公布的字。此次沙塵暴原因中日韓專家以為是由于中國內(nèi)蒙古區(qū)過分墾牧破壞植被所致。提示：分析概括用下劃線標(biāo)出的要點，經(jīng)過概念化構(gòu)成槽Slot并擬出槽的稱號，選填側(cè)面face值。側(cè)面

52、包含“值value，“默許值default，“假設(shè)需求值if-needed，“假設(shè)附加值if-added幾個方面，用不到的側(cè)面值可刪除。FRAME： Slot1：Value：Default：If-needed：If-added：Slot2：Value：Default：If-needed：If-added：Slot3：Value：Default：If-needed：If-added：解：FRAME：沙塵暴Slot1：時間Value：3 月15 日Default：If-needed：If-added：Slot2：地點Value：韓國漢城Default：If-needed：If-added：Slot

53、3：損失Value：不詳Default：If-needed：一周后官方公布數(shù)字If-added：Slot4：原因Default：中國內(nèi)蒙古區(qū)人工智能試卷十八一、選擇題：13小題，共13分1.人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學(xué)家是C。 A. 明斯基 B. 扎德 C. 圖靈 D. 馮.諾依曼2.以下哪個不是人工智能的研討領(lǐng)域D A.機器證明 B.方式識別 C. 人工生命 D. 編譯原理3.神經(jīng)網(wǎng)絡(luò)研討屬于以下B學(xué)派 A. 符號主義 B. 銜接主義 C. 行為主義 D. 都不是4.知初始問題的描畫，經(jīng)過一系列變換把此問題最終變?yōu)橐粋€子問題

54、集合；這些子問題的解可以直接得到，從而處理了初始問題。這是知識表示法叫B A. 形狀空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法5.在公式中yxp(x,y)，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x能夠依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做B A. 依賴函數(shù) B. Skolem函數(shù) C. 決議函數(shù) D. 多元函數(shù)6.子句PQ和P經(jīng)過消解以后，得到B A. P B. Q C. PPQ7,8.AABA 稱為C，ABAB稱為D結(jié)合律 B.分配律 C.吸收律 D.摩根律9,10.假設(shè)問題存在最優(yōu)解，那么下面幾種搜索算法中，A必

55、然可以得到該最優(yōu)解，D可以以為在這幾種算法中是“智能程度相對比較高的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括D A. 正向推理 B. 逆向推理 C. 雙向推理 D. 簡單推理12.以下哪部分不是專家系統(tǒng)的組成部分A A. 用戶 B. 綜合數(shù)據(jù)庫 C. 推理機 D. 知識庫 13. 要想讓機器具有智能，必需讓機器具有知識。因此，在人工智能中有一個研討領(lǐng)域，主要研討計算機如何自動獲取知識和技藝，實現(xiàn)自我完善，這門研討分支學(xué)科叫B。 A. 專家系統(tǒng) B. 機器學(xué)習(xí) C. 神經(jīng)網(wǎng)絡(luò) D. 方式識別！二、填空題：12小題，共30分人工智能三大學(xué)派是符號主義、結(jié)

56、合主義、行為主義?；勺泳浞绞綖椋?。3.從知現(xiàn)實出發(fā)，經(jīng)過規(guī)那么庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 正向推理 4.AI的英文縮寫是 Artifical Inteligence 5.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域 ，而在一個量詞的轄域中與該量詞的指點變元一樣的變元稱為 約束變元 ，其他變元稱為 自在變元 6、假言推理ABA B ，假言三段論ABBC AC 7、幾種常用的歸結(jié)戰(zhàn)略： 刪除戰(zhàn)略 、支持集戰(zhàn)略、線形歸結(jié)戰(zhàn)略、輸入歸結(jié)戰(zhàn)略、單元歸結(jié)戰(zhàn)略8、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的中心技術(shù)稱為 圖搜索 技術(shù)，解這類問題時，常把在迷宮的

57、位置、棋的規(guī)劃、八數(shù)碼所排成的情勢用圖來表，這種圖稱為 形狀空間圖或形狀圖 9.在啟發(fā)式搜索當(dāng)中，通常用 啟發(fā)函數(shù) 來表示啟發(fā)性信息。10.在二人博弈問題中，最常用的一種分析技術(shù)是 極大極小分析法 ，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此根底上，又提出了 -剪枝技術(shù) 11.某產(chǎn)生式系統(tǒng)中的一條規(guī)那么：AxBx，那么前件是 Ax ，后件是 Bx 12.在框架和語義網(wǎng)絡(luò)兩種知識表示方法中， 框架 適宜于表示構(gòu)造性強的知識，而 語義網(wǎng)絡(luò) 那么適宜表示一些復(fù)雜的關(guān)系和聯(lián)絡(luò)的知識。 面向?qū)ο?不僅僅是一種知識表示方法，也是一種流行的軟件設(shè)計和開發(fā)技術(shù)。三、簡答

58、題：3小題，共27分1. 把以下謂詞公式分別化成相應(yīng)的子句集：x(yP(x,y)y(Q(x,y)R(x,y)9分解：x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y).改名=x(yP(x,y)z(Q(x,z)R(x,z)=x(yP(x,y)z(Q(x,z)R(x,z).y=f(x),z=g(x)消去存在量詞y,z=x(P(x,f(x)(Q(x,g(x)R(x,g(x)=x(P(x,f(x)(Q(x,g(x)(

59、P(x,f(x)R(x,g(x)從而謂詞公式的子句集是P(x,f(x)(Q(x,g(x)，P(x,f(x)R(x,g(x)2. 專家系統(tǒng)的普通步驟有哪些？專家系統(tǒng)的開發(fā)與普通的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？5分答：專家系統(tǒng)與普通的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵照軟件工程的步驟和原那么，即也要進展系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的任務(wù)。但由于它是專家系統(tǒng)，而不是普通的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：系統(tǒng)總體分析與設(shè)計；知識獲??；知識表示與知識描畫言語設(shè)計；知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；推理機與解釋模塊設(shè)計；總控與界面設(shè)計編程與調(diào)試測試與評價運轉(zhuǎn)與維護可以看出

60、它有如下特點：知識獲取和知識表示設(shè)計是一切任務(wù)的起點；知識表示與知識描畫言語確定后，其他設(shè)計可同時進展；2、八數(shù)碼游戲，初始棋局和目的棋局如圖，定義啟發(fā)函數(shù)hx表示某形狀下與目的數(shù)碼不同的位置個數(shù)，用全局擇優(yōu)法畫出搜索的過程。8分初始形狀：，目的形狀：解：4、試實現(xiàn)一個“大學(xué)教師的框架，大學(xué)教師類屬于教師，包括以下屬性：學(xué)歷學(xué)士、碩士、博士、專業(yè)計算機、電子、自動化、職稱助教、講師、副教授、教授5分解：框架名：類屬：學(xué)歷：(學(xué)士、碩士、博士)專業(yè)：計算機、電子、自動化、.職稱：助教、講師、副教授、教授四、運用題：2小題，共30分1. 張某被盜，公安局派了五個偵查員去調(diào)查。研討案情時，偵查員說：