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

1、A1的英文縮寫是

A）AutomaticIntelligenceB）ArtificalIntelligence

C）AutomaticeInformationD）ArtificalInformation

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

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

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

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

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

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

5、（人—8）八人=>8是

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

6、命題是可以判斷真假的

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

7、僅個體變元被量化的謂詞稱為

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

8、MGU是

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

9、1997年5月，著名的“人機大戰”，最終計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗,

這臺計算機被稱為（）

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

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

A）事實B）規則C）控制與元知識D）關系

11、謂詞邏輯下，子句,Cl=LVC「,C2=rLVC2，，若。是互補文字的（最一般）合一置換，則其歸結式C=（）

A）Cl,oVC2,oB）C1,VC2,C）Cl'oAC2'oD）crAC2'

12、或圖通常稱為

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

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

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

14、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學

家是

A）明斯基B）.扎德C）圖林D）馮.諾依曼

15.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動

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

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

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

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

2、在刪除策略歸結的過程中刪除以下子句：含有____________________的子句;含

有的子句;子句集中被別的子句的子句。

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

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

CF（AlVA2）=_______________________________

4、圖：指由與組成的網絡。按連接同一節點的各邊的邏輯關系又可分為

與。

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

6、產生式系統的推理過程中，從可觸發規則中選擇一個規則來執行，被執行的規則稱為______________________。

7、P（BIA）表示在規則中，證據A為真的作用下結論B為真

的。

8、人工智能的遠期目標是____________________________________________

近期目標是o

三、簡答及計算題(每題5分，共25分)

1、填寫下面的三值邏輯表。

3、謂詞公式G通過8個步驟所得的子句集合S,稱為G的子句集。請寫出這些步驟。

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

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

廣：Vx(P(x)AQ(a)v2(x))

G:3x(P(x)AQ(x))

四、應用題(共30分)

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

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

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

答：

2、圖示博弈樹，其中末一行的數字為假設的估值，請利用a-B剪枝技術剪去不必要的分枝。(在節點及邊上直接

加注釋)

3、設有如下關系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老李是大李的父親；(3)大

李是小李的父親；問上述人員中誰與誰是祖孫關系？

答案：

一、1、B2、C3、A4、C5、C

6、D7,A8、A9、A10、D

11、A12、D13、B14、C15、B

二、1、隨機性，模糊性，不完全性，不一致性

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

3、-CF(A),min{CF(Al),CF(A2)},max{CF(Al),CF(A2)}

4、節點，有向邊，或圖，與或圖

5、最一般合一(MGU)

6、被觸發規則

7、A-B,概率

8、制造智能機器，實現機器智能

P是產生式的前提(前件)，用于指出該產生式是否可用的條件

Q是一組結論或操作(后件)，用于指出當前提P所指示的條件滿足時，應該得出的結論或應該執行的操作

產生式規則的語義：如果前提P被滿足，則可推出結論Q或執行Q所規定的操作

3、1)消去蘊含式與等價式一,<->

2)縮小否定詞的作用范圍，直到其作用于原子公式：

3)適當改名，使量詞間不含同名指導變元與約束變元。

4.)消去存在量詞(形成Skolem標準型)

5)消去所有全稱量詞

6)化成合取范式

7).適當改名，使子句間無同名變元

8).消去合取詞八，用逗號代替，以子句為元素組成一個集合S

4、解：k=O;SO=S;60=e；S0不是單元素集，求得差異集DO={y,z},其中y是變元，z是項，且y不在z中出現。

k=k+l=l

有61=80?{z/y}=￡?{z/y}={z/y},

S1=SO?{z/y}={P(f(x),z,g(z)),p(f(x),z,g(x))},SI不是單元素集,

求得差異集Dl={z,x},k=k+l=2;82=81?{z/x}={z/y,z/x),

S2=S1,{z/x}={P(f(z),z,g(z)))是單元素集。

根據求MGU算法，MGU=62={z/y,z/x}

5、證:①P(x)...從F變換

②Q(a)VQ(x)...從F變換

③1P(y)V-iQ(y)...結論的否定

④nQ(x)...①③歸結，{x/y}

⑤口...②④歸結，置換{a/x}

得證。

四、

飛天初同68

'居住千

思源公司卜胡途I―—>經理

3、解:現定義如下謂詞

F(x,y)……x是y的父親;

G(x,z)——x是y的祖父；

用謂詞邏輯表示已知與求解：

(1)F(x,y)AF(y,z)fG(x,z)

⑵F(L,D)

⑶F(D,X)

(4)G(u,v),u=?,v=?

其中,L表示老李.D表示大李,X表示小李。

先證存在祖孫關系

①F(x,y)V-|F(y,z)VG(x,z)...從⑴變換

②F(L,D)...從⑵變換

③F(D,X)...從(3)變換

④1G(u,v)...結論的否定

⑤-IF(D,z)VG(L,z)...①②歸結，置換｛L/x,D/y)

@G(L,X)...③⑤歸結，置換｛X/z｝

⑦口...④⑥歸結，置換｛L/u,X/v｝

得證,說明存在祖孫關系。

為了求解用一個重言式④

@-IG(u,v)VG(u,v)...用重言式代替結論的否定,重言式恒為真

⑤1F(D,z)VG(L,z)...①②歸結，置換｛L/x,D/y｝

⑥G(L,X)...③⑤歸結，置換｛X/z｝

⑦G(L,X)...④⑥歸結，置換｛L/u,X/v｝

得結果:L是X的祖父，即老李是小李的祖父。

三、簡答及計算題(每題5分，共25分)

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

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

2)(患者，癥狀，(頭疼，0.95))A(患者，癥狀，(發燒，1.1))一(患者，疾病，(感冒，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)->(。(尤)AH(x))

F2：*(P(X)AS(X))

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

四、應用題(共30分)

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

2、圖示博弈樹，其中末一行的數字為假設的估值，請利用a剪枝技術剪去不必要的分枝。(在節點及邊上直接

加注釋)

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

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

(2)人們都不喜歡蒼蠅

求證：蒼蠅是不清潔的。

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

6、A7、D8、C9、D10、B

11、A12、B13、A.14、D15、B

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

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;60=e；S0不是單元素集,求得差異集D0={g(A,y)},z},其中z是變元，g(A,y)是項，且z不

在g(A,y)中出現。k=k+l=l

有61=60?{g(A,y)/z}=e?{g(A,y)/z}={g(A,y)/z},

Sl=S0?{g(A,y)/z}={P(f(x,g(A,y)),g(A,y))},SI是單元素集。

根據求MGU算法，MGU=61={g(A,y)/z)

5、證:①rP(x)VQ(x)..從Fl變換

(2hP(y)VR(y)..從Fl變換

③P(a)..從F2變換

@S(a)..從F2變換

@-|S(z)V~iR(z)..結論的否定

⑥R(a)..②③歸結{a/y}

?nR(a)..④⑤歸結{a/z}

⑧口..⑥⑦歸結

得證.

四、1、答：謂詞公式表示:

x(student(x)Aread(x,三國演義))

語義網絡表示如圖：

主體客體

2、

3、證：現定義如下謂詞

L(x,y)------某人x喜歡某物y；

P(y)------某物y是清潔的東西

(1)Vy3x(P(y)-L(x,y))=>qP(y)VL(f(y),y)

(2)vx(-|L(x,Fly))==>rL(x,Fly)

(3)P(Fly)...結論的反

(4)L(f(Fly),Fly)...(1)(3)歸結，置換{Fly/y}

(5)□...(2)(4)歸結，{f(Fly)/x}

得證。

試題部分:

一、選擇題（15小題，共15分）

1、97年5月，著名的“人機大戰”，最終計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這

臺計算機被稱為（）

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

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

A）事實B）規則C）控制與元知識D）關系

3、謂詞邏輯下，子句Cl=LVC「,C2=rLVC2\若。是互補文字的（最一般）合一置換，則其歸結式C=（）

A）Cl,aVC2,oB）C1,VC2,C）Cl,oAC2,aD）crAC25

4、或圖通常稱為

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

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

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

6、人工智能的含義最早由一位科學家于1950年提出,并且同時提出一個機器智能的測試模型,請問這個科學家

是

A）明斯基B）.扎德C）圖林D）馮.諾依曼

7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自

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

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

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

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

9,產生式系統的推理不包括（）

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

10、C（BIA）表示在規則A->B中，證據A為真的作用下結論B為真的

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

11、AI的英文縮寫是

A）AutomaticIntelligenceB）ArtificalIntelligence

C）AutomaticeInformationD）ArtificalInformation

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

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

13、在公式中Vymxp(x,y)),存在量詞是在全稱量詞的轄域內，我們允許所存在的x可能依賴于y值。令這種依賴

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

A.依賴函數

B.Skolem函數

C.決定函數

D.多元函數

14、子句~PvQ與P經過消解以后，得到()

A.P

B.Q

C.-P

D.PvQ

15、如果問題存在最優解，則下面幾種搜索算法中，()必然可以得到該最優解。

A.廣度優先搜索

B.深度優先搜索

C.有界深度優先搜索

D.啟發式搜索

二、填空題(共30分)：

1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的___________,而在一個量詞的轄域中與該

量詞的指導變元相同的變元稱為,其他變元稱為

2、假言推理(A,B)人An，假言三段論(A-B)A(BfC)=>

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

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

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

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

6.在二人博弈問題中，最常用的一種分析技術是，這種方法的思想是先生成一棵博弈樹，然后再計算

其倒推值。但它的效率較低，因此人們在此基礎上，又提出了

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

8、在刪除策略歸結的過程中刪除以下子句：含有_______________________的子句;含有的子

句;子句集中被別的子句的子句。

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

CF(-A)=、CF(AlAA2)=、

CF(A1VA2)=,

10、圖：指由組成的網絡。按連接同一節點的各邊的邏輯關系又可分為

與。

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

12、開發專家系統所要解決的基本問題有三個，那就是知識的獲取、知識的表示與—，知識表示的方法主要

有，，與語義網絡等，在語義網絡表示知識時，所使用的推理方法有_____與

三、簡答與應用題

1、謂詞邏輯形式化下列描述

“不存在最大的整數”(4分)

2.a—0剪枝的條件是什么？

3、某問題由下列公式描述：

⑴?P⑶

⑵Bx)(Vy)[?Ry)T?,瑞儂加

(3)(Vx)[P(W]

(4)(*x)[P(x)八Q8，C,X)TR(KX))]

(5)(VX)(V^[Q(b,瑞j^Q(b,x,⑶)]

(1)、試用歸結法證明3x)R(x)；

4.專家系統的一般步驟有哪些？專家系統的開發與一般的軟件系統開發相比較，有哪些共同點與特點？(7分)

5.何謂“圖靈實驗”？簡單描述之(5分)

6、設有如下關系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老李是大李的父親；(3)大

李是小李的父親；問上述人員中誰與誰是祖孫關系？(10分)

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

(1)、討論哪些知識可以幫助該問題的求解。

(2)、用產生式系統描述該問題.(15分)

答案部分

一、選擇題

ADADBCBADBBCBBA

二、填空題

1、轄域約束變元自由變元

2、BAfC

3、刪除策略

4、圖攜索狀態'空間圖(或狀態圖)

5、啟發函數

6、極大極小分析法a-B剪枝技術

7、附機性模糊性不一數，性不確理-性

8、純文字永真類含

9、~CF(A)minfCF(Al),CF(A2)}maxfCF(Al),CF(A2)\

10、更圖與或圖

11、最一般合一

12、知識的運用i羅輯表示法(謂詞表示法)框架產生式AKOISA

三、簡答及應用題

1、定義謂詞G(x)：x為整數

D(x,y)：x大于y

形式化為：

13x(G(x)AVy(G(y)TD(X,y)》

或者X7x(G(x)f于(G(y)A￡>(y,x)))

2、回答:a剪枝：若任一極小值層節點的B值小于或等于它任一先輩極大值節點的a值，即a(先輩層)

>P(后繼層)，則可中止該極小值層中這個MIN節點以下的搜索過程。這個MIN節點最終的倒推值就確定

為這個B值。

B剪枝：若任一極大值層節點的a值大于或等于它任一先輩極小值層節點的。值，即a(后繼層)(先輩

層)，則可以中止該極大值層中這個MAX節點以下的搜索過程。這個MAX節點的最終倒推值就確定為這個

a值。

3、化子句集如下：

Q)~Ra)

(2)(Vx)(Vy)[-P(y)^QCb,及

=>(Vx)(Vy)[P(y)VQ(b.x,gfx,y))]

=>P(y)VQ(t),x,gtx,y))

(3)(Vx)[P(f(x))]

=>POU))

0)(Vx)[P(x)AQ(b,c,〈TROKX))]

=>(VxJHP^AQ^c,x))VR(Xx))]

=>〔WW[??Q(b,c,x)V雙M期>]

=>~P(x)V-Q(b,c,x)VR<X3d)

(5)(VX)(Vy)[Q(b,黑y)TQ(b,x,電))]

=>(Vx)(Vy)[-Q(b,區y)VQ(b,x,俎)]

=>~Q(b,x,y)VQ(b,x,fiy))

目標求反：

-<3X)R(X)

=>(Vi0-R(x)

=>~R(x)

變重換客后，得子句集：

{~P(a),PCyl)VQ(b,xl,g(xl,yl)),

PEx2))，?P(x3)V~Q(b,c,x3)VR(h(x3)),

~Q(b,x4,y4)VQ(b,x4,f<y4)),~R(x))

4、答：(1)專家系統與一般的軟件系統開發無異，其開發過程同樣要遵循軟件工程的步驟與原則，即也要進行

系統分析、系統設計等幾個階段的工作。

(2)但由于它是專家系統，而不是一般的軟件系統，所以，又有其獨特的地方，主要包括以下幾個步驟：

1)系統總體分析與設計；

2)知識獲取；

3)知識表示與知識描述語言設計；

4)知識庫設計、知識庫管理系統設計；

5)推理機與解釋模塊設計；

6)總控與界面設計

7)編程與調試

8)測試與評價

9)運行與維護

(3)可以看出它有如下特點：

1)知識獲取與知識表示設計是一切工作的起點；

知識表示與知識描述語言確定后，其他設計可同時進行；

5、答：所謂“圖靈實驗”，是為了判斷一臺機器是否具備智能的實驗。實驗由三個封閉的房間組成，分別放置主

持人、參與人與機器。主持人向參與人與機器提問，通過提問的結果來判斷誰是人，誰是機器。如果主持人無法

判斷誰是人，誰是機器，則這臺機器具備智能，即所謂的“智能機器”。

6、解:現定義如下謂詞

F(x,y)——x是y的父親；

G(x,z)------x是y的祖父；

用謂詞邏輯表示已知與求解：

(1)F(x,y)AF(y,z)-G(x,z)

(2)F(L,D)

⑶F(D.X)

(4)G(u,v),u=?,v=?

其中,L表示老李,D表示大李,X表示小李。

先證存在祖孫關系

①~F(x,y)V~F(y,z)VG(x,z)...從(1)變換

②F(L,D)...從(2)變換

③F(D,X)...從(3)變換

④?G(u,v)...結論的否定

⑤?F(D,z)VG(L,z)...①②歸結，置換{L/x,D/y}

⑥G(L,X)...③⑤歸結，置換{X/z}

⑦□...④⑥歸結，置換{L/u,X/v}

得證,說明存在祖孫關系。

為了求解用一個重言式④

④?G(u,v)VG(u,v)...用重言式代替結論的否定,重言式恒為真

⑤?F(D,z)VG(L,z)...①②歸結，置換{L/x,D/y)

⑥G(L,X)...③⑤歸結，置換{X/z}

⑦G(L,X)...④⑥歸結，置換{L/u,X/v)

得結果:L是X的祖父，即老李是小李的祖父。

7、如下的知識可以幫助求解該問題：

(1)序列中，偶數在偶數位置，奇數在奇數位置；

(2)第五個數為5。

綜合數據庫：

用一個1到9的序列表示：N={x},其中x為1到9的數字之一。

規則集：

rl:IFlen(N)=4THEN{x}U{5}

r2:IFlen(N)為偶數andn=In(l,3,7,9)THEN{x}U{n}

r3:IFIen(N)為奇數andn=In(2,4,6,8)THEN{x}U{n}

其中len(N)為求序列的長度，In(a,b,c,d)為取a、b、c、d之一。

初始狀態：{}

結束條件：得到的序列N前i個數組成的整數能被i整除

一、選擇題(每題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、MGU是

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）連接主義。

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

卻是合理或者近乎合理的結論的思維過程。

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

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

12.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動

獲取知識與技能，實現自我完善，這門研究分支學科叫（工

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

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

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

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

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

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

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

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

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

是________________

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

3、A1的英文縮寫是_________________________________

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

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

句;子句集中被別的子句的子句.

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

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

CF（A1VA2）=o

7、圖：指由組成的網絡。按連接同一節點的各邊的邏輯關系又可分為

與o

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

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

際象棋棋王卡斯帕羅夫擊敗。

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

是。

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

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

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

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

答：

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

答：

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

產生式系統圖搜索

初始節點

目標條件

狀態轉換規則

問題變換規則

規則庫操作集

節點(狀態/問題)

控制策略

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

解：

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

Fl：Vx(尸(x)-(Q(x)A/?(%))

F2：玉(P(X)AS(X))

Gt3x(5(%)A/?(%))

證：

四、應用題(共30分)

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

答：

2、圖示博弈樹，其中末一行的數字為假設的估值，請利用a剪枝技術剪去不必要的分枝。(在節點及邊上直接

加注釋)

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

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

(2)人們都不喜歡蒼蠅

求證：蒼蠅是不清潔的。

證：

答案:

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

6、A7、D8、C9、D10、B

II、A12、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;60=￡;S0不是單元素集,求得差異集D0={g(A,y)},z},其中z是變元，g(A,y)是項，且z不

在g(A,y)中出現。k=k+l=l

有61=60?{g(A,y)/z)=e?{g(A,y)/z}={g(A,y)/z},

Sl=S0?{g(A,y)/z)={P(f(x,g(A,y)),g(A,y))},SI是單元素集。

根據求MGU算法，MGU=81={g(A,y)/z)

5、證:①nP(x)VQ(x)..從Fl變換

@-iP(y)VR(y)..從Fl變換

③P(a)..從F2變換

@S(a)..從F2變換

⑤~lS(z)V~iR(z).結論的否定

⑥R(a)..②③歸結{a/y}

⑦nR(a).④⑤歸結{a/z}

⑧口..⑥⑦歸結

得證.

四、1、答：謂詞公式表示:

x(student(x)Aread(x,三國演義))

語義網絡表示如圖：

2、

W-3

與0

W-2

22-30-2

3、證：現定義如下謂詞

L(x,y)------某人x喜歡某物y；

P(y)------某物y是清潔的東西

(1)Vy3x(P(y)-L(x,y))=>qP(y)VL(f(y),y)

(2)vx(-|L(x,Fly))==>rL(x,Fly)

(3)P(Fly)...結論的反

(4)L(f(Fly),Fly)...(1)(3)歸結，置換{Fly/y}

(5)□...(2)(4)歸結，{f(Fly)/x}

得證。

一、單選題：

1：人類智能的特性表現在4個方面______o

A：聰明、靈活、學習、運用。

B：能感知客觀世界的信息、能對通過思維對獲得的知識進行加工處理、能通過學習積累知識增長才干與適

應環境變化、能對外界的刺激作出反應傳遞信息。

C：感覺、適應、學習、創新。

D：能捕捉外界環境信息、能夠利用利用外界的有利因素、能夠傳遞外界信息、能夠綜合外界信息進行創新

思維。

2：人工智能的目的是讓機器能夠______,以實現某些腦力勞動的機械化。

A：具有智能B：與人一樣工作

C：完全代替人的大腦I）：模擬、延伸與擴展人的智能

3：下列關于人工智能的敘述不正確的有：.

A：人工智能技術它與其他科學技術相結合極大地提高了應用技術的智能化水平。

B：人工智能是科學技術發展的趨勢。

C：因為人工智能的系統研究是從上世紀五十年代才開始的，非常新，所以十分重要。

D：人工智能有力地促進了社會的發展。

4：人工智能研究的一項基本內容是機器感知。以下列舉中的______不屬于機器感知的領域。

A：使機器具有視覺、聽覺、觸覺、味覺、嗅覺等感知能力。

B：讓機器具有理解文字的能力。

C：使機器具有能夠獲取新知識、學習新技巧的能力。

D：使機器具有聽懂人類語言的能力

5：自然語言理解是人工智能的重要應用領域，下面列舉中的______不是它要實現的目標。

A：理解別人講的話。B：對自然語言表示的信息進行分析概括或編輯。

C：欣賞音樂。D：機器翻譯。

6：為了解決如何模擬人類的感性思維，例如視覺理解、直覺思維、悟性等，研究者找到一個重要的信息處理的

機制是：。

A：專家系統B：人工神經網絡C：模式識別D：智能代理

7：如果把知識按照作用來分類，下述不在分類的范圍內。

A：用控制策略表示的知識，即控制性知識。

B：可以通過文字、語言、圖形、聲音等形式編碼記錄與傳播的知識，即顯性知識。

C：用提供有關狀態變化、問題求解過程的操作、演算與行動的知識，即過程性知識。

D：用提供概念與事實使人們知道是什么的知識，即陳述性。

8：下述不是知識的特征。

A：復雜性與明確性B：進化與相對性

C：客觀性與依附性D：可重用性與共享性

9：下述不是人工智能中常用的知識格式化表示方法。

A：框架表示法B：狀態空間表示法

C：語義網絡表示法I)：形象描寫表示法

10：關于“與/或”圖表示法的敘述中，正確的是：?

A：“與/或”圖就是用“AND”與“0R”連續各個部分的圖形，用來描述各部分的因果關系。

B：“與/或”圖就是用“AND”與“OR”連續各個部分的圖形，用來描述各部分之間的不確定關系。

C：“與/或”圖就是用“與”節點與“或”節點組合起來的樹形圖，用來描述某類問題的層次關系。

D：“與/或”圖就是用“與”節點與“或”節點組合起來的樹形圖，用來描述某類問題的求解過程。

11：構成狀態空間的4個要素是：

A：開始狀態、目標狀態、規則與操作

B：初始狀態、中間狀態、目標狀態與操作

C：空間、狀態、規則與操作

D：開始狀態、中間狀態、結束狀態與其他狀態

12：關于“與/或”圖表示知識的敘述，錯誤的有。

A：用“與/或”圖表示知識方便使用程序設計語言表達，也便于計算機存儲處理。

B：“與/或”圖表示知識時一定同時有“與節點”與“或節點”。

C：“與/或”圖能方便地表示陳述性知識與過程性知識。

D：能用“與/或”圖表示的知識不適宜用其他方法表示。

13：下列不是知識表示法的是。

A：計算機表示法B：“與/或”圖表示法

C：狀態空間表示法D：產生式規則表示法

14：一般來講，下列語言屬于人工智能語言的是_______。

A：VBB：PascalC：LogoD：Prolog

15：Prolog語言的三種基本語句是：。

A：順序、循環、分支B：陳述、詢問、感嘆

C：事實、規則、詢問D：肯定、疑問、感嘆

16：匹配是將兩個知識模式進行_______比較。

A：相同性B：一致性C：可比性D：同類性

17：下列程序的運行結果是_______。

A：ellenB：johnC：ericD：ellen、john、eric

predicates

likes(symbol,symbol)

clauses

likes(ellen,reading).

likes(john,computers).

likes(john,swimming).

1ikes(leonard,badminton).

likes(eric,swimming).

likes(eric,reading).

goal

likes(Person,reading),likes(Person,swimming).

18：下列Prolog程序的運行結果是：。

A：xiaohuaB：xiaomingC：xiaofangDpingpong

predicates

likes(symbol,symbol)

friend(symbol,symbol)

clauses

likes(xiaofang,swimming).

likes(xiaoming,pingpong).

friend(X,xiaohua):-likes(X,pingpong).

goal

friend(X,xiaohua).

19：下列程序的運行結果是_______o

A：billB：tammyC：billD：bill

tammyjoesuejoe

suesuejoetammy

predicates

male(symbol)

female(symbol)

parent(symbol,symbol)

clauses

male(bill).

male(joe).

female(sue).

female(tammy).

parent(bill,joe).

parent(sue,joe).

parent(joe,tammy).

goal

parent(Parent,_).

20：專家系統是一個復雜的智能軟件，它處理的對象是用符號表示的知識，處理的過程是

_________的過程。

A：思維B：思考C：推理D：遞推

21：進行專家系統的開發通常采用的方法鼠

A：逐步求精B：實驗法C：原型法D：遞推法

22：在專家系統的開發過程中使用的專家系統工具一般分為專家系統的______與通用專家系統工具兩類。

A：模型工具B：外殼C：知識庫工具D：專用工具

23：專家系統是以_______為基礎，以推理為核心的系統。

A：專家B：軟件C：知識D：解決問題

24：______是專家系統的重要特征之一。

A：具有某個專家的經驗B：能模擬人類解決問題

C：看上去像一個專家D：能解決復雜的問題

25：一般的專家系統都包括_____個部分。

A：4B：2C：8D：6

26：人類專家知識通常包括兩大類：_______o

A：理科知識與文科知識B：書本知識與經驗知識

C：基礎知識與專業知識D：理論知識與操作知識

27：確定性知識是指__________知識。

A：可以精確表示的B：正確的

C：在大學中學到的知識D：能夠解決問題的

28：下列關于不確定性知識描述錯誤的是。

A：不確定性知識是不可以精確表示的

B：專家知識通常屬于不確定性知識

C：不確定性知識是經過處理過的知識

D：不確定性知識的事實與結論的關系不是簡單的“是”或“不是”。

29：知識獲取的目的是將人類專家的知識轉換為專家系統知識庫中的知識，知識獲取的方法通常有______種。

A：2B：3C：4D：5

30：專家系統的推理機的最基本的方式是。

A：直接推理與間接推理B：正向推理與反向推理

C：邏輯推理與非邏輯推理D：準確推理與模糊推理

31：專家系統的正向推理是以作為出發點，按照一定的策略，應用知識庫中的知識，推斷出結論的過程。

A：需要解決的問題B：已知事實

C：證明結論D：表示目標的謂詞或命題

32:下列關于不精確推理過程的敘述錯誤的是。

A：不精確推理過程是從不確定的事實出發

B：不精確推理過程最終能夠推出確定的結論

C：不精確推理過程是運用不確定的知識