一、填空題(共3()分)

1.歸結(jié)法中，可以通過-----的方法得到問題的解答。

2.(Vx)(Vy)(On(x，y)-Abou&x，y))化成子句形式為：。

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

4.AI是是的英文縮寫一

5.人工智能的基本技術(shù)包括、、、--、----o

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

7.產(chǎn)生式系統(tǒng)有三部分組成,和推理機(jī)。其中推理可分為和.

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

量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為

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

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

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

是O

11、謂詞邏輯中，重言式(lautlogy)的值是o

12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為,則結(jié)論成立。

13、若Cl=nPVQ,C2=PV-)Q,則C1和C2的歸結(jié)式R(Cl,C2)=。

14、若Cl=P(x)VQ(x),C2=nP(a)VR(y),則Cl和C2的歸結(jié)式R(Cl,C2)=°

15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是,,。

16、在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。

17、假言推理(AfB)AA=>,假言三段論(ATB)A(B-?C)=>.

二、選擇題(15小題，共15分

1.人工智能是一門

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

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

2、下列哪個不是人工智能的研究領(lǐng)域()

A.機(jī)器證明

B.模式識別

C.人工生命

D.編譯原理

3.神經(jīng)網(wǎng)絡(luò)研究屬于下列()學(xué)派

A.符號主義

B.連接主義

C.行為主義

D.都不是

4.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的

解可以直接得到，從而解決了初始問題。這是知識表示法叫()

A.狀態(tài)空間法

B.問題歸約法

C.謂詞邏輯法

D.語義網(wǎng)絡(luò)法

5.在公式中Vy*p(x,y)),存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于

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

叫做（）

A.依賴函數(shù)

B.Skolem函數(shù)

C.決定函數(shù)

D.多元函數(shù)

6.子句~PvQ和P經(jīng)過消解以后，得到（）

A.P

B.Q

C.~P

D.PvQ

7、8.AA（AVB）0A稱為（）,~（AAB）o?Av~B稱為（）

A.結(jié)合律B.分配律C.吸收律D.摩根律

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

A.）用戶B）綜合數(shù)據(jù)庫C）推理機(jī)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)AutomaticIntelligenceB)Ar(ificaIIntelligence

C)AutomaticeInformationD)ArtificalInfcrmation

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

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

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

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

數(shù)叫做（）

A.依賴函數(shù)

B.Skolem函數(shù)

C.決定函數(shù)

D.多元函數(shù)

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

A.P

B.Q

C.~P

E.PvQ

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

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

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

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

D.啟發(fā)式搜索

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

1.深度優(yōu)先方法的特點是什么？6

2.什么是置換？置換是可交換的嗎？6分

某問題由下列公式描述:

(l)~P(a)

(2)(Vx)(Vy)[-P(y)^Q；b,區(qū)y))]

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

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

(5)(Vx)(Vy)[Q(b,區(qū)y)7Q(b,x,f(y))]

(1)、試用歸結(jié)法證明Gx)R(x)；8分

4.下圖所示博弈樹，按從左到右的順序進(jìn)行a-3剪枝搜索，試標(biāo)

明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分

5.10分設(shè)有如下關(guān)系：(1)如果x是y的父親，y又是z的父親，則x是z的

祖父；(2)老李是大李的父親；(3)大李是小李的父親；問上述人員中誰和誰是

祖孫關(guān)系？(10分)

6.張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“趙與錢

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

李中至少有一個作案，，；偵察員D說“趙與孫至少一個與案無關(guān)”；偵察員E說，、錢與

李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理

推理求出誰是盜竊犯。(10分)

填空題

I、修改證明樹

2On(x,y)vAbove(x,y)

3.

⑴毋a)

(2)(Vx)(Vy)[?Ry)-Qb各區(qū)羽y))]

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

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

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

=>PE?)

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

=>(V^HP(x)AQ(b,c,x))VWh(x))]

=>(V4[~Rx)V~Q(b,c,x)VR(h(x))]

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

(5)(Vx)(Vy)[Q(b,用y)7Q(b,x,助)]

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

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

目標(biāo)求反：

Y攵)Wx)

=>(V>0-R(x)

=>~R(x)

變量換名后，得子句集：

(-P(a),P(yl)VQ(b,xl,g(xl,yl)),

P(fi>2)),~P(x3)V~Q(b,c,x3)VR(h(x3)),

~Q(b,x4,y4)VQ(b,x4,fly4)),-R(x))

4.

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

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

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

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

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

(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)...從(I)變換

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

③

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

⑤?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的祖父，即老李是小李的祖父。

6.解：設(shè)用T(x)表示x是作案者，則

偵察員A的話可表示：T(趙)vT(錢)

偵察員