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

1、AT的英文縮寫是

A）AutomaticIntelligenceB）ArtificalIntelligence

C）AutomaticeInformationD）ArtificalInformation

2、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。

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

3、從已知事實動身，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是

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

4、語義網(wǎng)絡(luò)表達(dá)學(xué)問時，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點學(xué)問的（）o

A）無悖性B）可擴(kuò)充性C）繼承性

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

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

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

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

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

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

8、MGU是

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

9、1997年5月，聞名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比2.5的總比分將世界國際象棋

棋王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（）

A）深藍(lán)B）IBMC）深思D）藍(lán)天

10、下列不在人工智能系統(tǒng)的學(xué)問包含的4個要素中

A）事實B）規(guī)則C）限制和元學(xué)問D）關(guān)系

11、謂詞邏輯下，子句，C1=LVC1\C2=「LVC2,若。是互補(bǔ)文字的（最一般）合

一置換，則其歸結(jié)式c=（）

A）crovc2'。B）crvc2'ocr。八C2'。D）cr2

12、或圖通常稱為

A）框架網(wǎng)絡(luò)B）語義圖C）博亦圖D）狀態(tài)圖

13、不屬于人工智能的學(xué)派是

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

14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試

模型，請問這個科學(xué)家是

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

15.要想讓機(jī)器具有智能，必需讓機(jī)器具有學(xué)問。因此，在人工智能中有一個探討領(lǐng)域，主

要探討計算機(jī)如何自動獲得學(xué)問和技能，實現(xiàn)自我完善，這門探討分支學(xué)科叫（）o

A）專家系統(tǒng)B）機(jī)器學(xué)習(xí)C）神經(jīng)網(wǎng)絡(luò)D）模式識別

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

1、不確定性類型按性質(zhì)分：,，

2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句；含

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

3、對證據(jù)的可信度CF（A）、CF（Al）、CF（A2）之間，規(guī)定如下關(guān)系：

CFCA）=、CF（A1AA2）=、

CF（A1VA2）=_____________________________

4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯

關(guān)系又可分為和o

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

6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱

為。

7、P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真

的o

8、人工智能的遠(yuǎn)期目標(biāo)是,

近期0標(biāo)是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的邏輯結(jié)論；

尸：Vx(P(x)八。(a)v0(x))

G:3X(P(X)ACU))

四、應(yīng)用題(共30分)

1、用語義網(wǎng)絡(luò)表示下列信息：

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

⑵清華高校與北京高校進(jìn)行藍(lán)球競賽，最終以89：102的比分結(jié)束。

答：

2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用。-B剪枝技術(shù)剪去不必要的分

枝。(在節(jié)點與邊上干脆加注程)

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

Q是一組結(jié)論或操作（后件），用于指出當(dāng)前提P所指示的條件滿意時，應(yīng)當(dāng)?shù)贸龅慕Y(jié)論

或應(yīng)當(dāng)執(zhí)行的操作

產(chǎn)生式規(guī)則的語義：假如前提P被滿意，則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作

3、1）消去蘊(yùn)含式和等價式一，<->

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

3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。

4.）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型）

5）消去全部全稱量詞

6）化成合取范式

7）.適當(dāng)改名，使子句間無同名變元

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

4、解：k=0;S0=S;60二￡;S0不是單元素集，求得差異集DO={y,z},其中y是變元，z是項,

且y不在z中出現(xiàn)。k=k+l=l

有51=60?{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;62=61?{z/x)={z/y,z/x),

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

依據(jù)求MGU算法，MGU=62={z/y,z/x)

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

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

P(y)VnQ(y)??.結(jié)論的否定

?-IQ(x)?.①③歸結(jié)，{x/y}

⑤口..?②④歸結(jié)，置換{a/x}

得證。

四、

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

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

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

(1)F(x,y)AF(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)V-|F(y,z)VG(x,z)...從(1)變換

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

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

④-|G(u,v)...結(jié)論的否定

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

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

⑦口...④⑥歸結(jié)，置換{L/u,X/v}

得證,說明存在祖孫關(guān)系。

為了求解用一個重言式④

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

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

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

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

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

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

1、說明下列模糊性學(xué)問：

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

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

冒，L2))

答：

2、簡潔闡述產(chǎn)生式系統(tǒng)的組成:

答：

3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜尋的對比表

產(chǎn)生式系統(tǒng)圖搜索

初始節(jié)點

目標(biāo)條件

狀態(tài)轉(zhuǎn)換規(guī)則

問題變換規(guī)則

規(guī)則庫操作集

節(jié)點（狀態(tài)/問題）

控制策略

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

解：

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

Fl：VX(P(X)->(2(X)A/?(X))

F2：3X(P(X)A5(X))

G：3A(5(X)AR(X))

四、應(yīng)用題(共30分)

1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示

2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用a剪枝技術(shù)剪去不必要的分

枝。（在節(jié)點與邊上干脆加注稱）

5-33-3-3022-30-23

3、利用謂詞邏輯表示下列學(xué)問（包括已知和結(jié)論），然后化成子句集:

（1）凡是清潔的東西就有人喜愛；

（2）人們都不喜愛蒼蠅

求證：蒼蠅是不清潔的。

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

6、A7、D8、C9、D10、B

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

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

4、隨機(jī)性，模糊性，不完全性，不一樣性

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

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

7、節(jié)點和有向邊，或圖，與或圖8,最一般合一（MGU）

9、深藍(lán)10、制造智能機(jī)器，實現(xiàn)機(jī)器智能

三、1、答：1）表示：命題“張三比較胖”2）說明為：假如患者有些頭疼并且發(fā)高燒,

則他患了重感冒。

2、答：1）產(chǎn)生式規(guī)則庫：描述相應(yīng)領(lǐng)域?qū)W問的產(chǎn)生式規(guī)則集

2）數(shù)據(jù)庫：（事實的集合）存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實、外部數(shù)

據(jù)庫輸入的事實、中間結(jié)果事實和最終結(jié)果事實）

3）推理機(jī)：（限制系統(tǒng)）是一個程序，限制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運(yùn)行，包含推理方式和

限制策略。

3、答:

產(chǎn)生式系統(tǒng)圖搜索

初始事實數(shù)據(jù)初始節(jié)點

目標(biāo)條件目標(biāo)節(jié)點

產(chǎn)生式規(guī)則狀態(tài)轉(zhuǎn)換規(guī)則

問題變換規(guī)則

規(guī)則庫操作集

動態(tài)數(shù)據(jù)庫節(jié)點（狀態(tài)/問題）

控制策略搜索策略

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

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

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

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

依據(jù)求MGU算法,MGU=61={g(A,y)/z)

5、證:Q>|P(x)VQ(x)???從Fl變換

如|P(y)VR(y)'...從Fl變換

③P(a)..?從F2變換

@S(a)...從F2變換

⑤qS(z)VnR(z)??.結(jié)論的否定

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

⑦qR(a)...④⑤歸結(jié){a/z}

⑧口...⑥⑦歸結(jié)

得證.

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

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

語義網(wǎng)絡(luò)表示如圖:

2、

3、證：現(xiàn)定義如下謂詞

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

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

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

(2)Vx(-|L(x,Fly))==>nL(x,Fly)

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

(4)L(f(Fly),Fly)...⑴⑶歸結(jié)，置換{Fly/y}

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

得證。

試題部分:

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

1、97年5月，聞名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比2.5的總比分將世界國際象棋棋

王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（）

A）深藍(lán)B）IBMC）深思D）藍(lán)天

2、下列不在人工智能系統(tǒng)的學(xué)問包含的4個要素中

A）事實B）規(guī)則C）限制和元學(xué)問D）關(guān)系

3、謂詞邏輯下，子句，CKVC1SC2二「LVC2,若。是互補(bǔ)文字的（最一般）合一

置換，則其歸結(jié)式O（）

A）crovc2'。B）crvc2'ocr。八C2'。D）cr八C2‘

4、或圖通常稱為

A）框架網(wǎng)絡(luò)B）語義圖C）博亦圖D）狀態(tài)圖

5、不屬于人工智能的學(xué)派是

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

6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試

模型，請問這個科學(xué)家是

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

7、要想讓機(jī)器具有智能，必需讓機(jī)器具有學(xué)問。因此，在人工智能中有一個探討領(lǐng)域，主

要探討計算機(jī)如何自動獲得學(xué)問和技能，實現(xiàn)自我完善，這門探討分支學(xué)科叫（）o

A）專家系統(tǒng)B）機(jī)器學(xué)習(xí)c）神經(jīng)網(wǎng)絡(luò)D）模式識別

8、下列哪部分不是專家系統(tǒng)的組成部分（）

A.）用戶B）綜合數(shù)據(jù)庫C）推理機(jī)D）學(xué)問庫

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）AutomaticIntelligenceB）ArtificalIntelligence

C）AutomaticeInformationD）ArtificalInformation

12、反演歸結(jié)（消解.）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。

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

13、在公式中yxp（x,y））,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能

依靠于y值。令這種依靠關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這

種函數(shù)叫做（）

A.依靠函數(shù)

B.Skolem函數(shù)

C.確定函數(shù)

D.多元函數(shù)

14、子句下Q和P經(jīng)過消解以后，得到（）

A.P

B.Q

C.~P

D.PQ

15、假如問題存在最優(yōu)解，則下面幾種搜尋算法中，（）必定可以得到該最優(yōu)解。

A.廣度優(yōu)先搜尋

B.深度優(yōu)先搜尋

C.有界深度優(yōu)先搜尋

D.啟發(fā)式搜尋

二、填空題（共30分）:

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

一個量詞的轄域中與該量詞的指導(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é)的過程中刪除以下子句：含有的子句；含有

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

9、對證據(jù)的可信度CF(A)、CF(Al)、CF(A2)之間，規(guī)定如下關(guān)系：

CF「A)=、CF(A1AA2)=、

CF(A1VA2)=o

10、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系

又可分為和o

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

12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是學(xué)問的獲得、學(xué)問的表示和—，

學(xué)問表示的方法主要有，,和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示學(xué)問時，

所運(yùn)用的推理方法有和

三、簡答與應(yīng)用題

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

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

2.Q-B剪枝的條件是什么？

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

(l)~P(a)

(2)(Vx)(Vy)[-F<yHQ(b,&或區(qū)y))]

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

(4)(Vx)[P(x)AQ(b,c,X)TWKX))]

(5)(Vx)(Vy)[Q(b,x,y)-Q(b,x,您))]

(1)、試用歸結(jié)法證明(3X)R(X)；

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.給1?9九個數(shù)字排一個序列，使得該序列的前n(n=個數(shù)字組成的整數(shù)能被n

整除。

(1)、探討哪些學(xué)問可以幫助該問題的求解。

(2)、用產(chǎn)生式系統(tǒng)描述該問題.(15分)

答案部分

一、選擇題

ADADBCBADBBCBBA

二、填空題

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

2、BAC

3、刪除策略

4、圖搜尋狀態(tài)空間圖(或狀態(tài)圖)

5、啟發(fā)函數(shù)

6、極大微小分析法-剪枝技術(shù)

7、隨機(jī)性模糊性不一樣性不確定性

8、純文字永真類含

9、~CF(A)min{CF(Al),CF(A2)}max{CF(AD,CF(A2)}

10、或圖與或圖

Ik最一般合一

12、學(xué)問的運(yùn)用邏輯表示的(謂詞表示法)框架產(chǎn)生式AKOISA_

三、簡答與應(yīng)用題

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

D(x,y)：x大于y

形式化為：

7ir(G(x)AVy(G(y)->O(x,y)))

或者XZMG(X)->3y(G(y)AO(y,x)))

2、回答：□剪枝：若任一微小值層節(jié)點的P值小于或等于它任一先輩極大值節(jié)點

的a值，即a(先輩層)(后繼層)，則可中止該微小值層中這個MIN節(jié)點以下的

搜尋過程。這個MIN節(jié)點最終的倒推值就確定為這個B值。

B剪枝：若任一極大值層節(jié)點的a值大于或等于它任一先輩微小值層節(jié)點的P值，即

a(后繼層)2B(先輩層)，則可以中止該極大值層中這個MAX節(jié)點以下的搜尋過程。

這個MAX節(jié)點的最終倒推值就確定為這個a值。

3、化子句集如下：

(l)~Ra)

(2)(Vx)(Vy)[-F(y)^Q(b,區(qū)&x,y))]

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

=>F(y)VQ(b,x,g(x,y))

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

=>F(Kx))

(4)(Vx)[P(x)AQ(b,c,x)^R(h(x))]

=>?x)[YP(x)八Q(b,c,x))VR(h(x))]

=>(Vx)[-P(x)V-Q(b,c,x)VR(h(x))]

=>~Rx)V~Q(b,c,x)VR(a4)

(5)(Vx)(Vy)[Q(b,凡yHQ(b,x,f(y))]

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

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

目標(biāo)求反：

Ymx)R(x)

=>(Vx)-R(x)

—>~R(x)

變量換名后，得子句集：

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

P(f(x2)),~P(x3)V~Q(b,c,x3)VR(h(x3)),

~Q(b,x4,y4)VQ(b,x4,財)),~R(x)}

4、答：(1)專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步

驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。

(2)但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包

括以下幾個步驟：

1)系統(tǒng)總體分析與設(shè)計；

2)學(xué)問獲得；

3)學(xué)問表示與學(xué)問描述語言設(shè)計；

4)學(xué)問庫設(shè)計、學(xué)問庫管理系統(tǒng)設(shè)計；

5)推理機(jī)與說明模塊設(shè)計；

6)總控與界面設(shè)計

7)編程與調(diào)試

8)測試與評價

9)運(yùn)行與維護(hù)

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

1)學(xué)問獲得和學(xué)問表示設(shè)計是一切工作的起點；

學(xué)問表示與學(xué)問描述語言確定后，其他設(shè)計可同時進(jìn)行；

5、答：所謂“圖靈試驗”，是為了推斷一臺機(jī)器是否具備智能的試驗.試驗由二個封閉的

房間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問，通過提問的結(jié)

果來推斷誰是人，誰是機(jī)器。假如主持人無法推斷誰是人，誰是機(jī)器，則這臺機(jī)器具備智

能，即所謂的“智能機(jī)器二

6、解:現(xiàn)定義如下謂詞

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

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

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

(1)F(x,y)AF(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)V?F(y,z)VG(x：z)..?從(1)變換

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

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

④~G(u,v)...結(jié)論的否定

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

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

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

得證,說明存在祖孫關(guān)系。

為了求解用一個重言式④

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

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

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

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

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

7、如下的學(xué)問可以幫助求解該問題：

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

(2)第五個數(shù)為5。

綜合數(shù)據(jù)庫：

用個1到9的序列表示：N={x},其中x為1到9的數(shù)字之-o

規(guī)則集：

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

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

r3:IFlen(N)為奇數(shù)andn=ln(2,4,6,8)THEN{x}U{n}

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

初始狀態(tài)：{}

結(jié)束條件：得到的序列N前i個數(shù)組成的整數(shù)能被i整除

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

1、人工智能是一門

A）數(shù)學(xué)和生理學(xué)B）心理學(xué)和生理學(xué)C）語言學(xué)

D）綜合性的交叉學(xué)科和邊緣學(xué)科

2、語義網(wǎng)絡(luò)表達(dá)學(xué)問時，有向弧AKO鏈、TSA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點學(xué)問的（）o

A）無悖性B）可擴(kuò)充性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）最一般替換0最一般謂詞D）基替換

最一般合一

7、下列不在人工智能系統(tǒng)的學(xué)問包含的4個要素中

A)事實B）規(guī)則0限制D）關(guān)系

8、當(dāng)前歸結(jié)式是（）時，則定理得證。

A)水真式B包孕式(subsumed)0空子句

9、或圖通常稱為

A)框架網(wǎng)絡(luò)B）語義圖C）博亦圖D）狀態(tài)圖

10、不屬于人工智能的學(xué)派是

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

11、所謂不確定性推理就是從（）的初始證據(jù)動身，通過運(yùn)用（）的學(xué)問，最終推出具有

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

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

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

12.要想讓機(jī)器具有智能，必需讓機(jī)器具有學(xué)問。因此，在人工智能中有一個探討領(lǐng)域，主

要探討計算機(jī)如何自動獲得學(xué)問和技能，實現(xiàn)自我完善，這門探討分支學(xué)科叫（）。

A）專家系統(tǒng)B）機(jī)器學(xué)習(xí)C）神經(jīng)網(wǎng)絡(luò)D）模式識別

13、下列哪部分不是專家系統(tǒng)的組成部分（）

A.）用戶B）綜合數(shù)據(jù)庫C）推理機(jī)D）學(xué)問庫

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年提出，并且同時提出?個機(jī)器智能的測試

模型，請問這個科學(xué)家是

2、從已知事實動身，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是

3、AI的英文縮寫是_________________________________

4、不確定性類型按性質(zhì)分：

5.在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句；含有

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

6、對證據(jù)的可信度CF（A）、CF（Al）、CF（A2）之間，規(guī)定如下關(guān)系:

CF(~A)=、CF(A1AA2)二

CF（A1VA2）=o

7、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又

可分為和o

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

9、1997年5月，聞名的“人機(jī)大戰(zhàn)”，最終名為“”的計算機(jī)以3.5比

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

10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)

是O

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

1、說明下列模糊性學(xué)問：

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

2）（患者，癥狀，（頭疼，0.95））A（患者，癥狀，（發(fā)燒，1.1））一（患者，疾病，（感

冒，1.2））

答：

2、簡潔闡述產(chǎn)生式系統(tǒng)的組成：

答：

3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜尋的對比表

產(chǎn)生式系統(tǒng)圖搜索

初始節(jié)點

目標(biāo)條件

狀態(tài)轉(zhuǎn)換規(guī)則

問題變換規(guī)則

規(guī)則庫操作集

節(jié)點(狀態(tài)/問題)

控制策略

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

解：

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

Fl：Vx(P(x)-(g(x)AR(x))

F2：3X(P(X)A5(X))

G：3A(5(X)AR(X))

證：

四、應(yīng)用題(共30分)

1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示

答：

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

3、利用謂詞邏輯表示下列學(xué)問(包括已知和結(jié)論)，然后化成子句集:

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

(2)人們都不喜愛蒼蠅

求證：蒼蠅是不清潔的。

證：

答案:

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

6、A7、D8、C9、D10、B

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

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

4、隨機(jī)性，模糊性，不完全性，不一樣性

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

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

7、節(jié)點和有向邊，或圖，與或圖8、最一般合一(MGU)

9、深藍(lán)10、制造智能機(jī)器，實現(xiàn)機(jī)器智能

三、1、答：1)表示：命題“張三比較胖”2)說明為：假如患者有些頭疼并且發(fā)高燒，

則他患了重感冒。

2、答：1)產(chǎn)生式規(guī)則庫：描述相應(yīng)領(lǐng)域?qū)W問的產(chǎn)生式規(guī)則集

2)數(shù)據(jù)庫：(事實的集合)存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)(初始事實、外部數(shù)

據(jù)庫輸入的事實、中間結(jié)果事實和最終結(jié)果事實)

3)推理機(jī)：(限制系統(tǒng))是一個程序，限制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運(yùn)行，包含推理方式和

限制策略。

3、答:

產(chǎn)生式系統(tǒng)圖搜索

初始事實數(shù)據(jù)初始節(jié)點

目標(biāo)條件目標(biāo)節(jié)點

產(chǎn)生式規(guī)則狀態(tài)轉(zhuǎn)換規(guī)則

問題變換規(guī)則

規(guī)則庫操作集

動態(tài)數(shù)據(jù)庫節(jié)點(狀態(tài)/問題)

控制策略搜索策略

4、解：k=O;SO=S;80=￡;S0不是單元素集,求得差異集D0={g(A,y)},z},其中z是變元,

g(A,y)是項,且z不在g(A,y)中出現(xiàn)。k=k+l=l

有81=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是單元素集。

依據(jù)求MGU算法，MGU=S1={g(A,y)/z)

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

②1P(y)VR(y)'?..從Fl變換

③P(a)...從F2變換

④S(a)...從F2變換

⑤S(z)V-iR(z)...結(jié)論的否定

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

?1R(a)...④⑤歸結(jié){a/z}

⑧口???⑥⑦歸結(jié)

得證.

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

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

語義網(wǎng)絡(luò)表示如圖:

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

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

(2)Vx(nL(x,Fly))==>nL(x,Fly)

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

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

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

得證。

一、單選題：

1：人類智能的特性表現(xiàn)在4個方面o

A：聰慧、敏捷、學(xué)習(xí)、運(yùn)用。

B：能感知客觀世界的信息、能對通過思維對獲得的學(xué)問進(jìn)行加工處理、能通過學(xué)習(xí)積

累學(xué)問增長才能和適應(yīng)環(huán)境改變、能對外界的刺激作出反應(yīng)傳遞信息。

C：感覺、適應(yīng)、學(xué)習(xí)、創(chuàng)新。

D：能捕獲外界環(huán)境信息、能夠利用利用外界的有利因素、能夠傳遞外界信息、能夠綜

合外界信息進(jìn)行創(chuàng)新思維。

2：人工智能的目的是讓機(jī)器能夠,以實現(xiàn)某些腦力勞動的機(jī)械化。

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

C：完全代替人的大腦D：模擬、延長和擴(kuò)展人的智能

3：下列關(guān)于人工智能的敘述不正確的有：。

A：人工智能技術(shù)它與其他科學(xué)技術(shù)相結(jié)合極大地提高了應(yīng)用技術(shù)的智能化水平。

B：人工智能是科學(xué)技術(shù)發(fā)展的趨勢。

C：因為人工智能的系統(tǒng)探討是從上世紀(jì)五十年頭才起先的，特別新，所以特別重要。

D：人工智能有力地促進(jìn)了社會的發(fā)展。

4：人工智能探討的一項基本內(nèi)容是機(jī)器感知。以下列舉中的不屬于機(jī)器感知的領(lǐng)

域。

A：使機(jī)器具有視覺、聽覺、觸覺、味覺、嗅覺等感知實力。

讓機(jī)器具有理解文字的實力。

C：使機(jī)器具有能夠獲得新學(xué)問、學(xué)習(xí)新技巧的實力。

D：使機(jī)器具有聽懂人類語言的實力

5：自然語言理解是人工智能的重要應(yīng)用領(lǐng)域，下面列舉中的不是它要實現(xiàn)的目標(biāo)。

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

C：觀賞音樂。D：機(jī)器翻譯。

6：為了解決如何模擬人類的感性思維，例如視覺理解、直覺思維、悟性等，探討者找到一

個重要的信息處理的機(jī)制是：o

A：專家系統(tǒng)B：人工神經(jīng)網(wǎng)絡(luò)C：模式識別D：智能代理

7：假如把學(xué)問依據(jù)作用來分類，下述不在分類的范圍內(nèi)。

A：用限制策略表示的學(xué)問，即限制性學(xué)問。

B：可以通過文字、語言、圖形、聲音等形式編碼記錄和傳播的學(xué)問，即顯性學(xué)問。

C：用供應(yīng)有關(guān)狀態(tài)改變、問題求解過程的操作、演算和行動的學(xué)問，即過程性學(xué)問。

D：用供應(yīng)概念和事實使人們知道是什么的學(xué)問，即陳述性。

8：下述不是學(xué)問的特征。

A：困難性和明確性B：進(jìn)化和相對性

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

9：下述不是人工智能中常用的學(xué)問格式化表示方法。

A：框架表示法B：狀態(tài)空間表示法

C：語義網(wǎng)絡(luò)表示法D：形象描寫表示法

10：關(guān)于“與/或”圖表示法的敘述中，正確的是：o

A：“與/或”圖就是用“AND”和“OR”連續(xù)各個部分的圖形，用來描述各部分的因果

關(guān)系。

B：“與/或”圖就是用“A'D”和“OR”連續(xù)各個部分的圖形，用來描述各部分之間的

不確定關(guān)系。

C：“與/或”圖就是用“與”節(jié)點和“或”節(jié)點組合起來的樹形圖，用來描述某類問題

的層次關(guān)系。

D：“與/或”圖就是用“與”節(jié)點和“或”節(jié)點組合起來的樹形圖，用來描述某類問題

的求解過程。

11：構(gòu)成狀態(tài)空間的4個要素是：。

A：起先狀態(tài)、目標(biāo)狀態(tài)、規(guī)則和操作

B：初始狀態(tài)、中間狀態(tài)、目標(biāo)狀態(tài)和操作

C：空間、狀態(tài)、規(guī)則和操作

0：起先狀態(tài)、中間狀態(tài)、結(jié)束狀態(tài)和其他狀態(tài)

12：關(guān)于“與/或”圖表示學(xué)問的敘述，錯誤的有0

A：用“與/或”圖表示學(xué)問便利運(yùn)用程序設(shè)計語言表達(dá)，也便于計算機(jī)存儲處理。

B：“與/或”圖表示學(xué)問時確定同時有“與節(jié)點”和“或節(jié)點”。

C：“與/或”圖能便利地表示陳述性學(xué)問和過程性學(xué)問。

D：能用“與/或”圖表示的學(xué)問不相宜用其他方法表示。

13：下列不是學(xué)問表示法的是

A：計算機(jī)表示法B：“與/或”圖表示法

C：狀態(tài)空間表示法D：產(chǎn)生式規(guī)則表示法

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

A：VBB：PascalC：LogoD：Prolog

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

A：依次、循環(huán)、分支B：陳述、詢問、感嘆

C：事實、規(guī)則、詢問D：確定、疑問、感嘆

16：匹配是將兩個學(xué)問模式進(jìn)行比較。

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

17：下列程序的運(yùn)行結(jié)果是

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程序的運(yùn)行結(jié)果是：°

A：xiaohuaB：xiaomingC：xiaofangDpingpong

predicates

likes(symbol,symbol)

friend(symbol,symbol)

clauses

likes(xiaofang,swimming).

likes(xiaoming,pingpong).

friend(X,xiaohua):Tikes(X,pingpong).

goal

friend(X,xiaohua).

19：下列程序的運(yùn)行結(jié)果是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：專家系統(tǒng)是一個困難的智能軟件，它處理的對象是用符號表示的學(xué)問，處理的過程是

_________的過程。

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

21：進(jìn)行專家系統(tǒng)的開發(fā)通常采納的方法是o

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

22：在專家系統(tǒng)的開發(fā)過程中運(yùn)用的專家系統(tǒng)工具一般分為專家系統(tǒng)的和通用專家

系統(tǒng)工具兩類。

A：模型工具B：外殼C：學(xué)問庫工具D：專用工具

23：專家系統(tǒng)是以為基礎(chǔ)，以推理為核心的系統(tǒng)。

A：專家B：軟件C：學(xué)問D：解決問題

24：是專家系統(tǒng)的重要特征之一。

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

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

25：一般的專家系統(tǒng)都包括個部分。

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

26：人類專家學(xué)問通常包括兩大類:

A：理科學(xué)問和文科學(xué)問B：書本學(xué)問和閱歷學(xué)問

C：基礎(chǔ)學(xué)問和專業(yè)學(xué)問D：理論學(xué)問和操作學(xué)問

27：確定性學(xué)問是指學(xué)問。

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

C：在高校中學(xué)到的學(xué)問D：能夠解決問題的

28：F列關(guān)于不確定性學(xué)問描述錯誤的是

A：不確定性學(xué)問是不行以精確表示的

B：專家學(xué)問通常屬于不確定性學(xué)問

C：不確定性學(xué)問是經(jīng)過史理過的學(xué)問

D：不確定性學(xué)問的事實與結(jié)論的關(guān)系不是簡潔的“是”或“不是二

29：學(xué)問獲得的目的是將人類專家的學(xué)問轉(zhuǎn)換為專家系統(tǒng)學(xué)問庫中的學(xué)問，學(xué)問獲得的方

法通常有種。

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

30：專家系統(tǒng)的推理機(jī)的最基本的方式是

A：干脆推理和間接推理B：正向推理和反向推理

C：邏輯推理和非邏輯推理D：精確推理和模糊推理

31：專家系統(tǒng)的正向推理是以作為動身點，依據(jù)確定的策略，應(yīng)用學(xué)問庫中的學(xué)問,

推斷出結(jié)論的過程。

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

C：證明結(jié)論D：表示目標(biāo)的謂詞或命題

32:下列關(guān)于不精確推理過程的敘述錯誤的是

A：不精確推理過程是從不確定的事實動身

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

C：不精確推理過程是運(yùn)用不確定的學(xué)問

D：不精確推理過程最終推出不確定性的結(jié)論

33：下列不屬于專家系統(tǒng)的說明功能的主要作用是

A：對用戶說明為什么得到這個結(jié)論B：對用戶說明如何得到這個結(jié)論

C：提高專家系統(tǒng)的信任程度D：對用戶說明專家系統(tǒng)的學(xué)問結(jié)構(gòu)

34：在重排九宮問題的狀態(tài)樹中(如下圖),以下選項中全是分支節(jié)點的是

A：B2、C2、D2、E2B：B4、C2、D3、D8

C：B3、C5、D7、E7D：C6、Dl>E5、E14

83

214

35：在重排九宮問題中，啟發(fā)函數(shù)H(x)+D(x)中的D(x)表示

A：節(jié)點x與目標(biāo)狀態(tài)位置不同的棋子個數(shù)B：節(jié)點x與目標(biāo)狀態(tài)位置相同的棋子

個數(shù)

C：節(jié)點x的子節(jié)點數(shù)D：節(jié)點x所在的層數(shù)

36：有一個農(nóng)夫帶一匹狼、一只羊和一棵白菜過河（從河的北岸到南岸）。假如沒有農(nóng)夫看

管，則狼要吃羊，羊要吃白菜，但是船很小，只夠農(nóng)夫帶一樣?xùn)|西過河。用。和1表示狼、

羊、白菜分別運(yùn)到南岸的狀態(tài)，0表示不在南岸，1表示在南岸，（如：100表示只有狼運(yùn)到

南岸）