-、人工智能復習題及答案

1.人工智能的研究途徑有心理模擬、生理模擬一與行為模擬。

2.任意列舉人工智能的四個應用性領域智能操縱、智能管理一、智能決策一、智能仿真一

3.人工智能的基本技術包含表示、運算一、搜索_歸納技術、聯想技術。

4.謂詞邏輯是一種表達能力很強的形式語言，其真值的特點與命題邏輯的區別是(10)。

5.謂詞邏輯中，重言式(tautlogy)的值是(11)。

6.設P是謂詞公式，關于P的任何論域，存在P為確實情況，則稱P為(⑵。

7.在著名的醫療專家系統MYCIN中規定，若證據A的可信度CF(A)=0,則意味著13,CF(A)

=-1,則意味著(14),CF(A)=1,則意味著(15)。

8.謂詞公式G是不可滿足的，當且僅當對所有的解釋(16)。

9.謂詞公式與其子句集的關系是(17)。

10.利用歸結原理證明定理時，若得到的歸結式為(18),則結論成立。

11.若Cl=rPVQ,C2=PV-|Q.則Cl與C2的歸結式R(Cl,C2)=(19)。

12.若Cl=P(x)VQ(x),C2=-|P(a)VR(y),則Cl與C2的歸結式R(Cl,C2)=(20)?

13.有謂詞公式G,置換6,則6?e=(21),8?e=(22),

14.有子句集$={P(x),P(y)},其MGU=(23)。

15.在歸結原理中，幾種常見的歸結策略同時具有完備性的是(24),(25),(26),

16.狀態圖啟發式搜索算法的特點是(27)。

17.廣度優先搜索算法中，OPEN表的數據結構實際是一個(28),深度優先搜索算法中，OPEN

表的數據結構實際是一個(29)。

18.產生式系統有三部分構成(30),(31)與推理機。其中推理可分為(32)與(33)。

19.專家系統的結構包含人機界面、(34),(35),(36),(37)與解釋模塊。

20.在MYCIN推理中，對證據的可信度CF(A)、CF(Al),CF(A2)之間，規定如下關系：CF(~A)

=(38),CF(A1AA2)=(39),CF(A1VA2)=(40)o

21.開發專家系統所要解決的基本問題有三個，那就是知識的獲取、知識的表示與(41),知識表

示的方法要緊有(42),(43),(44)與語義網絡等,在語義網絡表示知識時，所

使用的推理方法有(45)與(46)。

22.MYCIN系統中使用不確定推理，規則A-B由專家指定其可信度CF(B,A),若A真支持B真，

則指定CF(B,A)(與零比較)應(47)；若A真不支持B真，則指定CF(B,A)應(48)。

23.機器學習的含義是(49)?

24.自然語言懂得不僅包含計算機能正確懂得人們用自然語言輸入的信息，能正確回答輸入信息

中的有關問題，而且還包含(50)、(51)、(52).

25.設U={a,b,c,d},A={a,b}.B={a,b,c)>m(A)=0.6,m(U)=0.4,U的其它子集的基本概率分

配函數m值均為0,則Bel(A)=(53),Bel(B)=(54)?

26.證據理論中集合A的信任區間為[1,1],則其語意解釋為(55)。

27.人工智能三大學派是0

28.(Vx)(Vy)(0n(x,y)-Abw&x(y))化成子句形式為：.

29.從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是。

30.AI的英文縮寫是。

31.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱之該量詞的,而在一

個量詞的轄域中與該量詞的指導變元相同的變元稱之,其他變元稱

之。

32.假言推理(A-B)AA=>,假言三段論(A-B)A(BfC)n_.

33.幾種常用的歸結策略：、支持集策略、線形歸結策略、輸入歸結策略、單元歸

結策略。

34.在諸如走迷宮、下棋、八數碼游戲等游戲中，常用到的一種人工智能的核心技術稱之

技術，解這類問題時，常把在迷宮的位置、棋的布局、八數碼所排成的形勢用圖來表，這種

圖稱之。

35.在啟發式搜索當中，通常用來表示啟發性信息.

36.在二人博弈問題中，最常用的一種分析技術是,這種方法的思想是先生成一棵

博弈樹，然后再計算其倒推值。但它的效率較低,因此人們在此基礎上，又提出了。

37.37.某產生式系統中的一條規則：A(x)-B(x),則前件是,后件是。

38.38.在框架與語義網絡兩種知識表示方法中，適合于表示結構性強的知識，而

則適合表示一些復雜的關系與聯系的知識。不僅僅是一種知識表示方法，也是一

種流行的軟件設計與開發技術。

39.不確定性類型按性質分：,,,。

40.在刪除策略歸結的過程中刪除下列子句：含有的子句;含有—的子句；子句集中被別

的子句—的子句。

41.對證據的可信度CF(A)、CF(Al)、CF(A2)之間，規定如下關系：CF(~A)=、CF

(A1AA2)=、CF(A1VA2)=

42.合一算法：求非空有限具有相同謂詞名的原子公式集的

43.產生式系統的推理過程中，從可觸發規則中選擇一個規則來執行，被執行的規則稱

之。

44.P(B|A)表示在規則中，證據A為確實作用下結論B為確

實。

45.人工智能的遠期口標是,近期口標是。

46.常用的二種盲目搜索方法是__與_________；引入啟發式知識來指導OPEN表中節點

的排序可劃分為二種方式與。

47.產生式系統的推理能夠分為___與___兩種基本方式。

48.知識表示的性能應從下列二個方面評價：與；后者又分二個方面

_____與。

49.人工智能的表現形式至少有、、、與幾種。

50.目前所用的知識表示形式有__、__、__、__等。

51.框架系統的特性繼承功能可通過組合應用槽的三個側面來靈活實現，它們是、

____與_________.

52.產生式系統是由、與——三部分構成的。

53._就是所考察推斷的事物或者對象的集合，記為―。它的子集構成.

54.證據理論是經典概率論的一種擴充形式，構成這一理論的函數有、與

55.關于模糊不確定性，通常使用或者來刻劃。

56.歸結法中，能夠通過------的方法得到問題的解答。

57.（Vx）（VyXOn（x，y）-Abwe（x，y））化成子句形式為：。

58.58.從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是。

59.謂詞邏輯中，重言式（tautlogy）的值是.

60.利用歸結原理證明定理時，若得到的歸結式為，則結論成立。

61.在啟發式搜索當中，通常用來表示啟發性信息。

二、選擇題

選擇題：（13小題，共13分）

1.人工智能的含義最早由一位科學家于1950年提出，同時同時提出一個機器智能的測試模型，請

問這個科學家是（）。

A.明斯基

B.扎德

C.圖靈

D.馮.諾依曼

2.下列哪個不是人工智能的研究領域（）

A.機器證明

B.模式識別

C.人工生命

D.編譯原理

3.神經網絡研究屬于下列（）學派

A.符號主義

B.連接主義

C.行為主義

D.都不是

4.已知初始問題的描述，通過一系列變換把此問題最終變為一個子問題集合；這些子問題的解能

夠直接得到，從而解決了初始問題。這是知識表示法叫（）

A.狀態空間法

B.問題歸約法

C.謂詞邏輯法

D.語義網絡法

5.在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域內，我們同意所存在的x可能依靠于y

值。令這種依靠關系明顯地由函數所定義，它把每個y值映射到存在的那個X。這種函數叫做（）

A.依靠函數

B.Skolem函數

C.決定函數

I）.多元函數

6.子句~PvQ與P通過消解以后，得到（）

A.P

B.Q

C.~P

D.PvQ

7,8.AA（AVB）OA稱之（）,~（AAB）u>~Av~B稱之（）

A.結合律B.分配律C.汲取律D.摩根律

9,10.假如問題存在最優解，則下面幾種搜索算法中，（）必定能夠得到該最優解，（）能夠認

為是“智能程度相對比較高”的算法。

A.廣度優先搜索

B.深度優先搜索

C.有界深度優先搜索

D.啟發式搜索

11.產生式系統的推理不包含（）

A.正向推理

B.逆向推理

C.雙向推理

【）.簡單推理

12.下列哪部分不是專家系統的構成部分（）

A.用戶

B.綜合數據庫

C.推理機

D.知識庫

13.要想讓機器具有智能，務必讓機器具有知識。因此，在人工智能中有一個研究領域，要緊研

究計算機如何自動獲取知識與技能，實現自我完善，這門研究分支學科叫（）。

A.專家系統

B.機器學習

C.神經網絡

D.模式識別！

14、AI的英文縮寫是

A）AutomaticIntelligenceB）ArtificalIntelligence

C）AutomaticeInformationD）ArtificalInformation

15、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。

A）永真式B）包孕式（subsumed）C）空子句

16、從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是

A）正向推理B）反向推理C）雙向推理

17、語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的（）。

A）無悖性B）可擴充性C）繼承性

18、（A->B）AA=>B是

A）附加律B）拒收律C）假言推理D）US

19、命題是能夠推斷真假的

A）祈使句B）疑問句C）感嘆句D）陳述句

20、僅個體變元被量化的謂詞稱之

A）一階謂詞B）原子公式C）二階謂詞D）全稱量詞

21、MGU是

A）最通常合一B）最通常替換C）最通常謂詞D）基替換

22、1997年5月，著名的“人機大戰”，最終計算機以3.5比2.5的總比分將世界國際象棋棋王

卡斯帕羅夫擊敗，這臺計算機被稱之（）

A）深藍B）IBMC）深思D）藍天

23、下列不在人工智能系統的知識包含的4個要素中

A）事實B）規則C）操縱與元知識D）關系

24、謂詞邏輯下，子句，C1=LVC1\C2=-LVC2若。是互補文字的（最通常）合一置換，

則其歸結式C=（）

A）CPoVC2'。B）C1'7c2'C）C1'。AC2'。D）C1'AC2'

25、或者圖通常稱之

A）框架網絡B）語義圖C）博亦圖［））狀態圖

26、不屬于人工智能的學派是

A）符號主義B）機會主義C）行為主義D）連接主義。

27、人工智能是一門

A）數學與生理學B）心理學與生理學C）語言學

D）綜合性的交叉學科與邊緣學科

28、下列不在人工智能系統的知識包含的4個要素中

A）事實B）規則0操縱D）關系

29、當前歸結式是（）時，則定理得證。

A）永真式B包孕式（subsumed）C）空子句

30、或者圖通常稱之

A）框架網絡B）語義圖C）博亦圖D）狀態圖

31、所謂不確定性推理就是從（）的初始證據出發，通過運用（）的知識，最終推出具有一定程

度的不確定性但卻是合理或者者近乎合理的結論的思維過程。

A）不確定性，不確定性B）確定性，確定性

C）確定性，不確定性D）不確定性確定性

32、C（B|A）表示在規則A->B中，證據A為確實作用下結論B為確實

A)可信度B)信度C)信任增長度D)概率

33.謂詞邏輯下，子句，C1=LVC1\C2=-LVC2若。是互補文字的(最通常)合一置換,

則其歸結式C=()

A)Cl'oVC2'。B)C1'VC2'C)C1'。八C2'oD)C1'AC2"

二、簡答題

1.將下列自然語言轉化為謂詞表示形式：

(1)所有的人都是要呼吸的。

(2)每個學生都要參加考試。

(3)任何整數或者是正的或者是負的。

2.何謂“圖靈實驗”？簡單描述之

3.寫出圖中樹的結點兩個訪問序列，要求分別滿足下列兩個搜索策略：

(1)深度優先搜索；(2)廣度優先搜索

4.試實現一個“大學教師”的框架，大學教師類屬于教師，包含下列屬性：學歷(學士、碩士、

博士)、專業(計算機、電子、自動化、……)、職稱(助教、講師、副教授、教授)

5.用謂詞邏輯形式化下列描述“不存在最大的整數”

6.用語義網絡表示“蘋果”知識。

7.什么是產生式？產生式規則的語義是什么？

8.謂詞公式G通過8個步驟所得的子句集合S,稱之G的子句集。請寫出這些步驟。9.(1)已

知S={P(f(x),y,g(y)),P(f(x),z,g(x))},求MGU

(2)已知酢{知f(x,g(A,y)),z),P(f(x,z),z)},求MGU

10.(1)證明G是否是F的邏輯結論；

F:Vx(P(x)AQ(a)VQ(x))

G:3X(P(X)A2(X))

(2)證明G是否是Fl、F2的邏輯結論；

Fl：VMP(x)T(Q(x)AR(x))

F2：3x(P(x)AS(x))

G：3x(S(x)A/?(%))

11.1、用語義網絡表示下列信息：

(D胡途是思源公司的經理，他35歲，住在飛天胡同68號

(2)清華大學與北京大學進行藍球比賽，最后以89：102的比分結束。

(3)將命題：“某個學生讀過三國演義”分別用謂詞公式與語義網絡表示

(4)把語句“每個學生都喜歡老師上的一門課。”表示為語義網絡。

(5)請把下列命題表示的事有用一個語義網絡表示出來。

1)樹與草都是植物：

2)樹與草都是有根有葉的；

3)水草是草，且長在水中；

4)果樹是樹，且會結果；

5)櫻桃樹是一種果樹，它結櫻桃。

(6)用語義網絡表示下列事實

姚明是一位年近半百的男教師，中等身材，他在本學年第二學期給計算機專業學生講授“人工智

能”課程。該課程是一門選修課，比較難。

13.圖示博弈樹，其中末一行的數字為假設的估值，請利用a-p剪枝技術剪去不必要的分枝。(在

節點及邊上直接加注釋)

14.設有如下關系：(1)假如x是y的父親，y又是z的父親，則x是z的祖父；

(2)老李是大李的父親；(3)大李是小李的父親；問上述人員中誰與誰是祖孫關系？

15解釋下列模糊性知識：

1)張三，體型，(胖，0.9))。

2)(患者，癥狀，(頭疼，0.95))A(患者，癥狀，(發燒，1.1))一(患者，疾病，(感冒，1.2))

16.簡單闡述產生式系統的構成。

17.試用線性消解策略證明：子句集S={PVQ,「PVR,-QVR,「R)是可消解的。

18廣度優先搜索與深度優先搜索各有什么特點？

19.語義網絡能夠表達事物之間的什么關系？

20.假設已知下列事實：

(1)超市(Supermarket)賣(Sail)的商品(Goods)便宜(Cheap)。

(2)王(Wang)買(Buy)需要的(Want)便宜商品。

(3)自行車(Bicycle)是商品且超市賣自行車。

(4)王需要自行車。

(5)趙(Zhao)跟隨王買同樣的商品。

請應用歸結反演證明方法回答下列問題：

(1)王買自行車嗎？

(2)趙頭什么商品？

21.已知一個使用可信度方法的推理網絡如圖所示，其證據的可信度均標示在圖中。推理規則的可

信度分別為：AAB-H,0.7CVD-H,0.9E-H,0.3

試按照可信度方法的求解步驟計算每個證據節點對假設H推理的可信度，并據此推算全部證據(復

合證據)關于H推理的可信度。

22.求子句R(x,y)V7(B,y)VW(x,f(y))與R(x,C)VQ(y,0的歸結式。

23.何謂估價函數？啟發式圖搜索的A算法與A*算法最顯著的區別是什么？

24.什么是置換？置換是可交換的嗎？

25.給1-9九個數字排一個序列，使得該序列的前n(n=l,...,9)個數字構成的整數能被n整除。

(1)、討論什么知識能夠幫助該問題的求解。(2)、用產生式系統描述該問題.

26..a-P剪枝的條件是什么？

27將下列自然語言轉化為謂詞表示形式：

(1)所有的人都是要呼吸的。

(2)每個學生都要參加考試。

(3)任何整數或者是正的或者是負的。

28、人工智能要緊有哪兒種研究途徑與技術方法，簡單說明之。

三、1、(1)將下列謂詞公式化成子句集

士Vy(Vz(P(z)A~Q(x,z))fR(x,y,/(a)))

(2)把下列謂詞公式分別化成相應的子句集：x(yP(x,y)f?y(Q(x,y)-*R(x,y)))

2.若謂詞公式E=P(x,f(y),z),置換si={f(x,y)/z,z/w},s2={a/x,b/y,w/z),求E(si?s2),

E(s2?si)?

3.用加權圖的啟發式搜索算法(不能用Dijkstra算法)求解下列問題：下圖是一個交通圖，設A

是出發地，E是目的地，邊上的數字表示兩城市之間的交通費。求從A到E最小費用的旅行路線，

畫出搜索樹，畫出Closed表與Open表的變化過程。

4.用標準邏輯(經典邏輯，謂詞邏輯)的子句集表示下述刑偵知識，并用反演歸解的線性策略證

明結論

現定義如下謂詞(其項變量X,Y,Z,皆為全稱量詞)。

Thief(X)----某人X是賊：

Likes(X,Y)-----某人X喜歡某物Y；

May-steal(X,Y)-----某人X可能會偷竊某物Y。

5.用子句集表達下述刑偵知識：

I.John是賊。

II.Paul喜歡酒(wine)

III.Paul(也)喜歡奶酪(cheese)

IV.假如Paul喜歡某物則John也喜歡某物。

V.假如某人是賊，而且他喜歡某物，則他就可能會偷竊該物。

6.求證結論:John可能會偷竊了什么?即求證目標:may-steal(John,Z),Z=?(要求將求證目標

作為頂子句，按線性策略進行歸結推理，注明每次求歸結式所進行的置換及其父子句的編號)

7.(1)已知一組規則與證據(事實)：

RI：Al^Bl.CF(Bl,Al)=0.8

R2：A2-B1,CF(Bl,A2)=0.5

R3：B1AA3->B2,CF(B2,B1AA3)=0.8

初始證據Al,A2,A3,同時CF(A1)=CF(A2)=CF(A3)=1,同時初始時對Bl,B2一無所知。根

據Shortliffe的確定性理論(可信度方法)，求證據Bl,B2的可信度在執行規則RI,R2,R3后

的更新值CF(B1),CF(B2).

(2)己知有如下不確定推理規則：

rl：C11VC12DHl0.7；

r2：HlPH0.5；

r3：C21AC22i>H-0.6；

r4：(C31AC32)VC33PH0.8；

CF(Cll)=0.8,CF(C12)=0.9,CF(C21)=0.3,CF(C22)=0.6,

CF(C31)=0.9,CF(C32)=0.5,CF(C33)=0.7；

請應用MYCIN的確定性方法求出CF(H)。

8.設有A,B,C三人中有人從不說真話，也有人從不說假話，某人向這三人分別提出同一個問題：

誰是說謊者？A答：“B與C都是說謊者”；B答：“A與C都是說謊者”；C答：“A與B中至

少有一個是說謊者"。求誰是老實人，誰是說謊者？(15分)

9.1)設已知：

(1)能閱讀者是識字的；(2)海豚不識字；(3)有些海豚是聰明的；

求證:有些聰明者并不能閱讀.

2)利用謂詞邏輯表示下列知識(包含已知與結論)，然后化成子句集：

(1)凡是清潔的東西就有人喜歡；(2)人們都不喜歡蒼蠅

求證：蒼蠅是不清潔的。

10.八數碼游戲，初始棋局與目標棋局如圖，定義啟發函數h(x)表示某狀態下與目標數碼不一

致的位置個數，用全局擇優法畫出搜索的過程。

?65

初始狀態：I111,目標狀態：I7161sl

11.張某被盜，公安局派了五個偵察員去調查?研究案情時，偵察員A說：“趙與錢中至少有一

人作案”；偵察員D說：“錢與孫至少有一人作案”；偵察員C說：“孫與李中至少有一個作案”；

偵察員D說“趙與孫至少一個與案無關”；偵察員E說“錢與李中至少有一人與此案無關"。假

如這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。

12.某企業欲招聘一個JAVA程序員，定義如下產生式規則(要求)：

rl:IF有工作經驗or(本科以上學歷and有有關知識背景then錄用(0.9)

r2:IF工作兩年以上and作過有關工作then有工作經驗(0.8)

r3:IF學過數據結構and學過JAVAand學過數據庫and學過軟件工程then有有關知識背景

(0.9)

r4:學過數據結構(有關課程的成績)

r5:學過JAVA(有關課程的成績/100)

r6:學過數據庫(有關課程的成績〃00)

r7:學過軟件工程(有關課程的成績/100)

r8:做過有關工作：

JAVA程序員：1,項目經理：1,數據庫開發工程師：0.9,數據庫管理員：0.7,網絡管理員：

0.6,客服人員：0.4

設有一本科畢業生甲，其有關課程的成績為數據結構=85,JAVA=80,數據庫=40,軟件工程=90

另有一社會招聘人員乙，參加工作三年，曾做過數據庫管理員與數據庫開發人員

根據確定性理論，問該公司應該招聘誰？假如你是該本科生，為了能在招聘中勝出，你應該加強

哪門課程，并使該門課程的成績至少達到多少？

13.某問題由下列公式描述:

(l)~P(a)

(2)(Vx)(Vy)[~P(yHQ(b,%儂湯

(3)(Vx)[P(@)]

(4)(Vx)[P(x)AQ(b,c,x)fR(Kx))]

(5)(Vx)(Vy)[Q(b,葛y)fQ(b,x,晰)]

試用歸結法證明(Tx)R(x)；

14.下圖所示博弈樹，按從左到右的順序進行a-B剪枝搜索，試標明各生成節點的到推值，何

處發生剪枝，及應選擇的走步。10分

15.剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？

1.什么是人工智能？人工智能與計算機程序的區別？

答：AI是研究如何制造人造的智能機器或者智能系統來模擬人類智能活動的能力以延伸人

類智能的科學，它與計算機程序的區別是：

，AI研究的是符號表示的知識而不是數值數據為研究對象

令AI使用啟發式搜索方法而不是普通的算法

。操縱結構與知識是分離的

令同意出現不正確的答案

2.化下列邏輯表達式為不含存在量詞的前束范式

0x)(vij[(vz)p(x,z)f7?(x,y,/(?))]

答：

0x)(vypz(Nx,z)TR(x,yj(a)))]

(3%XVK)[3Z(~P(X,Z)vR(X,yj(a)?]

axvraz[~P(X,Z)vR(X,y,7(a))]

vraz[~p(o,z)vMo,yj(a))]

vy[~p(b,/(y))v/?(fe,y,/(a))]

3.求下列謂詞公式的子句集

VxVy((P(x,y)v(Q(x,y)-?R(x,y)))

答：

VxVy(~(P(x,y)v(Q(x,j)vR(x,y)))

VxVy((~P(x,y)A~(Q(x,y))vR(x,y)))

X/xVy((?P(x,y)vR(x,y))A(?Q(x,y)vR(x,y)))

因此子句集為：

(九,

{~P(x,y)vR(x,y),?Q(x,y)vRy)}

4.若有梯形ABCD,將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結原理證明內

錯角NA3O=NCD5

證明：設梯形頂點依次為a,b,c,d,定義謂詞：

T(x,y,u,v):表示xy為上底,uv為下底的梯形.

P(x,y,u,v):表示xy||uv

E(x,y,z,u,v,w)表示Nxyz=Nuvw,問題的描述與相應的子句集為

xyuv[T(x,y,u,v)-*P(x,y,u,v)]...梯形上下底平行

子句:-T(x,y,u,v)VP(x,y,u,v)

xyuv[P(x,y,u,v)-*E(x,y,v,u,v,y)]...平行則內錯交相等

子句：

T(a,b,c,d)...已知

子句:T(a,b,c,d)

E(a,b,d,c,d,b)...要證明的結論

子句：?E(a,b,d,c,d,b)

子句集S為

?T(x,y,u,v)VP(x,y,u,v)

~P(x,y,u,v)VE(x,y,v,u,v,y)

T(a,b,c,d)

?E(a,b,d,c,d,b)

下面利用歸結原理證明

P(a,b,c,d)(1)與(3)歸結，置換{a/x,b/y,c/u,d/v}

E(a,b,d,c,d,b)(2)與(5)歸結，置換{a/x,b/y,c/u,d/v}

NIL(4)與(6)歸結

根據歸結原理得證。

5.求子句集S={p(x,a,f(g(y)),P(z,h(z,u),f(u))}的MGU

解：k二0;S0二S;S0二￡；S0不是單元素集，求得差異集DO二{a/z},其中z是變元，a是項,

且z不在a中出現。k=k+l=l

有61=50?{a/z}=￡?{a/z)={a/z},

S1二SO?{a/z}={P(a,x,f(g(y)),P(a,h(a,u),f(u))),SI不是單元素集，

求得差異集Dl={x,h(a,u)},k=k+l=2;62=51?{h(a,u)/x)={a/z,h(a,u)/x},

S2=S1?{h(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+l=3

63=82?(g(y)/u)={a/z,h(a,u)/x}?{g(y)/u}={a/z,h(a,g(y))/x,g(y)/u)

S3=S2?{g(y)/u}={P(a,h(a,g(y)),f(g(y)))}是單元素集。

根據求MGU算法,MGU=<53={a/z,h(a,g(y))/x,g(y)/u)

6.用代價優先算法求解下圖的旅行推銷員問題，請找一條從北京出發能遍歷各城市的最佳路徑

(旅行費最少)，每條弧上的數字表示城市間的旅行費用。并用CLOSED表記錄遍歷過的結點，

OPEN表記錄待遍歷的結點。畫出closed與open表的變化過程，然后根據closed表找出最

佳路徑。

解：OPEN表

擴展節點父節點

A(0)NULL

B(31)A

C(28)A

D(43)B

C(54)B

E(38)D

C(59)D

C(27)E

A(51)E

CLOSE表

擴展節點父節點

A(0)NULL

C(28)A

E(29)C

D(38)E

B(43)D

A(31)B

7.用框架表示下述報導的沙塵暴災害事件

［虛擬新華社3月16日電］連旦，沙塵暴襲擊韓國漢城,機場與高速

公路被迫關閉，造成的缺失不詳。韓國官方示，假如需要直接缺失情

況，可待一周后的官方公布的字。此次沙塵暴起因中日韓專家認為是

由于中國內蒙古區過分墾牧破壞植被所致。________________________

提示：分析概括用下劃線標出的要點，通過概念化形成槽(Slot)并擬出槽的名稱，選填側

面(face)值。側面包含“值(value)",“默認值(default)”,“假如需要值(if-needed)”,

“假如附加值(if-added)”幾個方面，用不到的側面值可刪除。

FRAME：

Slotl:Slot2：Slot3：

Value：Value：Value：

Default：Default：Default：

If-needed：If-needed：If-needed：

If-added：If-added：If-added：

解:

FRAME：沙塵暴

Sloth時間Slot2：地點Slot3：缺失Slot4：起因

Value：3月15日Value：韓國漢城Value：不詳Default：中國內蒙

Default：Default：Default：古區

If-needed：If-needed：If-needed：一周后官

If-added：If-added：方公布數字

If-added：

1.(5分)什么是“知識工程”？它對人工智能的進展有何重要作用？

2.(10分)請用相應的謂詞公式表示下述語句：

(1)有的人喜歡足球，有的人喜歡排球，有的人既喜歡足球又喜歡排球。

(2)不是每一個人都喜歡游泳。

(3)假如沒有利息，那么就沒有人愿意去存錢。

(4)關于所有的x與y,假如x是y的父親，y是z的父親，那么x是z的祖父。

(5)關于所有的x與y,假如x是y的孩子，那么y是x的父母。

(6)登高望遠。

(7)響鼓不用重錘。

(8)假如b>a>0與c>d>0,則有(b*(a+c)/d)〉b。

3.(5分)試建立一個“學生”框架網絡，其中至少有“學生基本情況”、“學生課程學習情況”與

“學生獎懲情況”三個框架描述。

4.(10分)請把下述事有用一個語義網絡表示出來：

(1)李明是東方大學計算機系的一名學生。

（2）他住在計算機系的學生宿舍里。

（3）計算機系的每間學生宿舍都有一臺聯網的計算機。

（4）李明喜歡在宿舍的計算機上瀏覽。

5.（10分）已知下述事實：

（1）小李只喜歡較容易的課程。

（2）工程類課程是較難的。

（3）PR系的所有課程都是較容易的。

（4）PR150是PR系的一門課程。

應用歸結演繹推理回答問題：小李喜歡什么課程？

6.（10分）己知：

規則1：任何人的兄弟不是女性

規則2：任何人的姐妹必是女性

事實：Mary是Bill的姐妹

用歸結推理方法證明Mary不是Tom的兄弟。

7.（15分）考慮下面的句子：

?每個程序都存在Bug

?含有Bug的程序無法工作

?P是一個程序

（1）一階謂詞邏輯表示上述句子。

（2）使用歸結原理證明P不能工作。

8.（10分）任何通過了歷史考試并中了彩票的人都是快樂的。任何肯學習或者幸運的人能夠通過

所有考試，小張不學習，但很幸運，任何人只要是幸運的就能中彩票。

求證：小張是快樂的。

9.（10分）己知：海關職員檢查每一個入境的不重要人物，某些販毒者入境，同時僅受到販毒者

的檢查，沒有一個販毒者是重要人物。

證明：海關職員中有販毒者。

10.（15分）有一堆硬幣，開始時有9枚。A、B兩人輪番從中取硬幣，每次取時，能夠取1枚或者

者2枚或者者3枚，揀起最后一枚硬幣者為輸方。試用博弈樹證明：后開始取硬幣者總能獲勝，

或者者先開始取硬幣者總是會輸。

1.（5分）一階謂詞邏輯表示法適合于表示哪種類型的知識？它有什么要緊特點？

2.（10分）請用語義網絡分別表示下述語句：

（1）與會者有男、有女，有的年老、有的年輕。

（2）李明是圖靈電腦公司的經理，他住在江濱路102號，今年38歲。

（3）大門前的這棵樹從春天到秋天都開花。

（4）計算機系的每個學生都學習“人工智能原理”，它是計算機專業的一門主干課程。

3.（10分）已知前提：每個儲蓄錢的人都獲得利息。

求證結論：假如沒有利息，那么就沒有人去儲蓄錢。

4.（10分）已知前提：

(1)某些病人喜歡所有的醫生。

(2)沒有一個病人喜歡任何一個騙子。

求證結論：任何一個醫生都不是騙子。

5.(10分)下述公式集F是否可合一，若可合一，則求出F的最通常合一.

(1)F={P(a,b),P(x,y)}

(2)F={P(f(x),b),P(y,z)}

(3)F={P(f(x),y),P(y,f(b))}

(4)F={P(f(y),y,x),P(x,f(a),f(b))}

6.(10分)已知有些人喜歡所有的花，沒有任何人喜歡任意的雜草，證明花不是雜草。

7.(10分)已知下述事實：

(1)小楊、小劉與小林是高山俱樂部成員。

(2)高山俱樂部的每個成員是滑雪者或者登山者，或者者既滑雪又登山。

(3)沒有一個登山者喜歡下雨。

(4)所有滑雪者都喜歡下雪。

(5)凡是小楊喜歡的，小劉就不喜歡。

(6)凡是小楊不喜歡的，小劉就喜歡。

(7)小楊喜歡下雨與下雪。

試證明：俱樂部是否有是登山者而不是滑雪者的成員？假如有，他是誰？

8.(10分)把下列謂詞公式分別化為相應的子句集：

(1)(Vx)(Vy)(P(x,y)AQ(x,y))

(2)(Vx)(Vy)(P(x,y)-Q(x,y))

(3)(Vx)(3y)(P(x,y)V(Q(x,y)-R(x,y)))

(4)(Vx)(Vy)(三z)(P(x,y)fQ(x,y)VR(x,z))

(5)(3x)(3y)(Vz)(3u)(Vv)(3w)(P(x,y,z,u,v,w)AQ(x,y,z,u,v,w)V~R(x,z,w)))

9.(10分)(1)用子句集表示下述知識：

①John是賊；

②Paul喜歡酒(wine)；

③Paul也喜歡奶酪(cheese)；

④假如Paul喜歡某物，則John也喜歡；

⑤假如某人是賊，而且喜歡某物，則他就可能會偷竊該物。

(2)求解結論：John可能會偷竊什么？

10.(15分)五子棋棋盤是一個行、列皆有5個方格的5X5方格棋盤，A、B兩人輪番投子，每次投

一子于一個空的方格中，誰先布成五子成一線(行、歹U、對角線均可)，誰就獲勝。請定義估價函

數，并站在A的立場上，找出獲勝的最佳走步。

11,某公司招聘工作人員，A,B,C三人應試，經面試后公司表示如下辦法：

(1)三人中至少錄用一人。

(2)假如錄用A而不錄用B,則一定錄用C。

(3)假如錄用B,則一定錄用C。

求證：公司一定錄用c。

12、用語義網絡表示下列命題

（1）樹與草都是植物

（2）樹與草都有根與葉

（3）水草是草，它長在水中

（4）果樹是樹，會結果

（5）蘋果樹結蘋果

一、選擇題（每題1分，共15分）

1、人工智能是一門

A）數學與生理學B）心理學與生理學C）語言學

D）綜合性的交叉學科與邊緣學科

2、語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的（）。

A）無悖性B）可行,充性C）繼承性

3、（A->B）AA=>B是

A）附加律B）拒收律C）假言推理D)US

4、命題是能夠推斷真假的

A）祈使句B）疑問句C）感嘆句D）陳述句

5、僅個體變元被量化的謂詞稱之

A）一階謂詞B）原子公式C）二階謂詞D）全稱量詞

6、MG”

A）最通常合一B）最通常替換C）最通常謂詞D）基替換

最通常合一

7、下列不在人工智能系統的知識包含的4個要素中

A）事實B）規則C）操縱D）關系

8、當前歸結式是（）時，則定理得證。

A）永真式B包孕式（subsumed）C）空子句

9、或者圖通常稱之

A）框架網絡B）語義圖C）博亦圖D）狀態圖

10、不屬于人工智能的學派是

A）符號主義B）機會主義C）行為主義D）連接主義。

II、所謂不確定性推理就是從（）的初始證據出發，通過運用（）的知識，最終推

出具有一定程度的不確定性但卻是合理或者者近乎合理的結論的思維過程。

A）不確定性，不確定性B）確定性，確定性

C）確定性，不確定性D）不確定性確定性

12.要想讓機器具有智能，務必讓機器具有知識。因此，在人工智能中有一個研究領

域，要緊研究計算機如何自動獲取知識與技能，實現自我完善，這門研究分支學科

叫（）。

A）專家系統B）機器學習C）神經網絡D）模式識別

13、下列哪部分不是專家系統的構成部分（）

A.）用戶B）綜合數據庫C）推理機D）知識庫

14、產生式系統的推理不包含（）

A）正向推理B）逆向推理C）雙向推理D）簡單推理

15、C（B|A）表示在規則A->B中，證據A為確實作用下結論B為確實

A）可信度B）信度C）信任增長度D）概率

二、填空題（每題1分，共30分）

1、人工智能的含義最早由一位科學家于1950年提出，同時同時提出一個機器智能

的測試模型，請問這個科學家是

2、從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是

3、AI的英文縮寫是_________________________________

4、不確定性類型按性質分：,

5、在刪除策略歸結的過程中刪除下列子句：含有的子句;

含有的子句;子句集中被別的子句的子句o

6、對證據的可信度CF（A）、CF（Al）、CF（A2）之間，規定如下關系：

CF（-A）=、CF（A1AA2）=、

CF（AlVA2）=。

7、圖：指由構成的網絡。按連接同一節點的各邊的邏輯

關系又可分為與。

8、合一算法：求非空有限具有相同謂詞名的原子公式集的。

9、1997年5月，著名的“人機大戰”，最終名為“”的計算機以

3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。

10、人工智能的遠期目標是,近期目標

是。

三、簡答及計算題（每題5分，共25分）

1、解釋下列模糊性知識：

I）張三，體型，（胖，0.9））。

2）（患者，癥狀，（頭疼，0.95））八（患者，癥狀，（發燒，1.1））f（患者，疾病，（感

冒，1.2））

答：

2、簡單闡述產生式系統的構成：

答：

3、補齊產生式系統與圖搜索的對比表

答：

產生式系統圖搜索

初始節點

目標條件

狀態轉換規則

問題變換規則

規則庫操作集

節點(狀態/問題)

控制策略

4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)},求MGU

解：

5、證明G是否是Fl、F2的邏輯結論；

Fl：Vx(P(x)—>(Q(x)AR(x))

F2：3x(P(x)AS(x))

G：3x(S(x)AR(x))

證：

四、應用題(共30分)

1、將命題：''某個學生讀過三國演義”分別用謂詞公式與語義網絡表示

答：

2、圖示博弈樹，其中末一行的數字為假設的估值，請利用a-B剪枝技術剪去不必

要的分枝。(在節點及邊上直接加注釋)

3、利用謂詞邏輯表示下列知識(包含已知與結論)，然后化成子句集:

(1)凡是清潔的東西就有人喜歡；

(2)人們都不喜歡蒼蠅

求證：蒼蠅是不清潔的。

證：

答案:

一、1、D2、C3、C4、D5、A

6、A7、D8、C9、D10、B

IkA12、B13、A.14、D15、B

二、1、圖林2、正向推理3、ArtificalIntelligence

4、隨機性，模糊性,不完全性，不一致性

5、純文字，永真式，類含

6、-CF（A）,min{CF（Al）,CF（A2）},max{CF（Al）,CF（A2）））

7、節點與有向邊，或者圖，與或者圖8、最通常合一（MGU）

9、深藍10、制造智能機器，實現機器智能

三、1、答：1）表示：命題“張三比較胖"2）解釋為：假如患者有些頭疼同時發

高燒，則他患了重感冒。

2、答：1）產生式規則庫：描述相應領域知識的產生式規則集

2）數據庫：（事實的集合）存放問題求解過程中當前信息的數據結構（初始事實、

外部數據庫輸入的事實、中間結果事實與最后結果事實）

3）推理機：（操縱系統）是一個程序，操縱協調規則庫與數據庫的運行，包含推理

方式與操縱策略。

3、答：

產生式系統圖搜索

初始事實數據初始節點

目標條件目標節點

產生式規則狀態轉換規則

問題變換規則

規則庫操作集

動態數據庫節點（狀態/問題）

控制策略搜索策略

4、解：k=0;S0=S;80=e;S0不是單元素集,求得差異集D0={g（A,y）},z},其中z

是變元，g(A,y)是項，且z不在g(A,y)中出現。k=k+l=l

有81=30?{g(A,y)/z}=e?{g(A,y)/z}={g(A,y)/z},

Sl=S0?