《人工智能導(dǎo)論》試卷

《《人工智能導(dǎo)論》試卷》由會員分享，可在線閱讀，更多相關(guān)《《人工智能導(dǎo)論》試卷（21頁珍藏版）》請?jiān)谘b配圖網(wǎng)上搜索。

1、精選優(yōu)質(zhì)文檔-----傾情為你奉上 人工智能試卷四 一、選擇題(每題1分，共15分) 1、AI的英文縮寫是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 2、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。 A)永真式 B)包孕式（subsumed） C)空子句 3、從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 A)正向推理 B)反向推理 C)雙向推理 4、語義網(wǎng)

2、絡(luò)表達(dá)知識時，有向弧AKO 鏈、ISA 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（ ）。 A)無悖性 B)可擴(kuò)充性 C)繼承性 5、(A→B)∧A => B是 A)附加律　 B)拒收律　 C)假言推理　 D)US 6、命題是可以判斷真假的 A)祈使句　 B)疑問句　 C)感嘆句　 D)陳述句 7、僅個體變元被量化的謂詞稱為 A)一階謂詞　 B)原子公式　 C)二階謂詞　 D)全稱量詞 8、MGU是 A)最一般合一　 B)最一般替換　 C)最一般謂詞　 D)基替換 9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫

3、擊敗，這臺計算機(jī)被稱為（ ） A）深藍(lán) B）IBM C）深思 D）藍(lán)天 10、下列不在人工智能系統(tǒng)的知識包含的4個要素中 A)事實(shí)　 B)規(guī)則　 C)控制和元知識　 D)關(guān)系 11、謂詞邏輯下，子句, C1=L∨C1‘, C2= ? L∨C2‘, 若σ是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（ ） A) C1’σ∨C2’σ　 B)C1’∨C2’　 C)C1’σ∧C2’σ　 D)C1’ ∧C2’ 12、或圖通常稱為 A）框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖 13、不屬于人工智能的學(xué)派是 A)符號主義 B)機(jī)會主義 C)行為主

4、義 D)連接主義。 14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是 A)明斯基 B).扎德 C)圖林 D)馮.諾依曼 15.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。 A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識別 二、填空題(每空1.5分，共30分) 1、不確定性類型按性質(zhì)分：　隨機(jī)性，模糊性，不完全性，不一致性。 2、在刪除策略歸結(jié)的過程中刪除以下子句：含有　　　　　　

5、　　　　的子句;含 有　　　　　　　　　　的子句;子句集中被別的子句　　　　　　　　的子句。 3、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系： CF（~A）=　　　　　　　、CF（A1∧A2 ）=　　　　　　　　　　　　　　　、 CF（A1∨A2 ）=　　　　　　　　　　　　　　　 4、圖：指由　　　　　　　和　　　　　　　組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為　　　　　　　　和　　　　　　　　。 5、合一算法：求非空有限具有相同謂詞名的原子公式集的　　　　　　　　　　 6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的

6、規(guī)則稱為　　　　　　　　　　　。 7、P(B|A) 表示在規(guī)則　　　　　　　　　　　　中，證據(jù)A為真的作用下結(jié)論B為真的　　　　　　　　　　　。 8、人工智能的遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　　　　， 近期目標(biāo)是　　　　　　　　　　　　　　　　　　。 三、簡答及計算題(每題5分，共25分) 1、填寫下面的三值邏輯表。 其中T，F(xiàn)，U分別表示真，假，不能判定 2、什么是產(chǎn)生式？產(chǎn)生式規(guī)則的語義是什么？ 答： 3、謂詞公式G通過８個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。 4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}

7、，求MGU 解： 5、證明G是否是F的邏輯結(jié)論； 四、應(yīng)用題(共30分) 1、用語義網(wǎng)絡(luò)表示下列信息： (1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號 (2)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。 答： 2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋） 3、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？ 解： 答案： 一、1、 B 2、C　 3、A　 4、C　 5

8、、C 6、 D 7、A　 8、A　 9、A　 10、D 11、A　12、D　 13、B　14、C　 15、B 二、1、隨機(jī)性，模糊性，不完全性，不一致性 2、純文字，永真式，類含 3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)} 4、節(jié)點(diǎn)，有向邊，或圖，與或圖 5、最一般合一（MGU） 6、被觸發(fā)規(guī)則 7、A→B，概率 8、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能 三、 1、 2、產(chǎn)生式規(guī)則基本形式：P→Q 或者 IF P THEN Q P 是產(chǎn)生式的前提（前件），用于指出該產(chǎn)生式是否可用的條件 Q 是一組結(jié)論或操作（后

9、件），用于指出當(dāng)前提 P 所指示的條件滿足時，應(yīng)該得出的結(jié)論或應(yī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;δ0=ε;S0不是單元素集，求得差異集D0={y,z}

10、,其中y是變元，z是項(xiàng)，且y不在z中出現(xiàn)。k=k+1=1 有δ1=δ0·｛z/y｝=ε·｛z/y｝=｛z/y｝， S1=S0·｛z/y｝={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是單元素集， 求得差異集D1=｛z,x｝,k=k+1=2;δ2=δ1·｛z/x｝=｛z/y,z/x｝, S2=S1·｛z/x｝=｛P(f(z),z,g(z))｝是單元素集。 根據(jù)求MGU算法，MGU=δ2=｛z/y,z/x｝ 5、證:①P(x) ．．．從F變換 ②Q(a)∨Q(x) ．．．從F變換 ③┓P(y)∨┓Q(y) ．．．結(jié)論的否定 ④┓Q(x) ．．

11、．①③歸結(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,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(

12、D,X) ．．．從(3)變換 ④ ┓G(u,v) ．．．結(jié)論的否定 ⑤ ┓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é)論的否定,重言式恒為真 ⑤ ┓F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝ ⑥ G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝ ⑦ G(L,X) ．．．④⑥歸結(jié),置換｛

13、L/u,X/v｝ 得結(jié)果:L是X的祖父，即老李是小李的祖父。 人工智能試卷五 一、選擇題(每題1分，共15分) 1、人工智能是一門 A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué) D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO 鏈、ISA 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（ ）。 A) 無悖性 B) 可擴(kuò)充性 C) 繼承性 3、(A->B)∧A => B是 A)附加律　 B)拒收律　 C)假言推理　 D)US 4、命題是可以判斷真假的 A)祈使句　 B)疑問句　 C)感嘆句　 D)陳述句 5、僅個體變元被量化的謂

14、詞稱為 A)一階謂詞　　　B)原子公式　　　C)二階謂詞　　　D)全稱量詞 6、MGU是 A) 最一般合一　 B)最一般替換　 C) 最一般謂詞 　D)基替換 最一般合一 7、下列不在人工智能系統(tǒng)的知識包含的4個要素中 A) 事實(shí)　　 B) 規(guī)則　　 C) 控制　　 D) 關(guān)系 8、當(dāng)前歸結(jié)式是（ ）時，則定理得證。 A) 永真式 B 包孕式（subsumed） C) 空子句 9、或圖通常稱為 A）框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖 10、不屬于人工智能的學(xué)派是 A)符號主義 B) 機(jī)會主義 C)行為主義 D)連接主義。

15、 11、所謂不確定性推理就是從( )的初始證據(jù)出發(fā)，通過運(yùn)用( )的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。 A)不確定性, 不確定性 B)確定性, 確定性 C)確定性, 不確定性 D) 不確定性 確定性 12.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。 A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識別 13、下列哪部分不是專家系統(tǒng)的組成部分（　 ） A.）用戶 B）綜合數(shù)

16、據(jù)庫 C）推理機(jī) 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年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是　　　　　　　　 2、從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是　　　　　　 　　　　。 3、AI的英文縮寫是　　　　　　　　　　　　　　　　。 4、不確定

17、性類型按性質(zhì)分：　　　　　　　　　　　，　　　　　　　　　　　， 　　　　　　　　　　　　，　　　　　　　　　　　　。 5、在刪除策略歸結(jié)的過程中刪除以下子句：含有　　　　　　　　　　　的子句;含有　　　　　　　　　的子句;子句集中被別的子句　　　　　　　　　的子句。 6、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系： CF（~A）=　　　　　　、CF（A1∧A2 ）=　　　　　　　　　　　　　　　、 CF（A1∨A2 ）=　　　　　　　　　　　　　　　　。 7、圖：指由　　　　　　　　　　　　組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為　　　　　　

18、　　　　　　和　　　　　　　　　　　　。 8、合一算法：求非空有限具有相同謂詞名的原子公式集的　　　　　　　　　　。 9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“　　　　　　　　”的計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　，近期目標(biāo)是　　　　　　　　　　　　　　　　。 三、簡答及計算題(每題5分，共25分) 1、解釋下列模糊性知識： 1) 張三，體型，（胖，0.9））。 2) (患者，癥狀，(頭疼，0.95) )∧ (患者，癥狀，(發(fā)燒，1.1) ) →(患者，疾病，(感冒，1.2) )

19、 答： 2、簡單闡述產(chǎn)生式系統(tǒng)的組成： 答： 3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對比表 答： 4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU 解： 5、證明G是否是F1、F2的邏輯結(jié)論； 證: 四、應(yīng)用題(共30分) 1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示 答： 2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋） 3、利用謂詞邏輯表示下列知識（包括已知和結(jié)論），然后化成子句集： （1）凡是清潔的東西就有人喜歡； （2）人們都不喜歡蒼蠅

20、 求證：蒼蠅是不清潔的。 證： 答案： 一、1、D 2、C 3、C 4、D 5、A 6、A 7、D 8、C 9、D 10、B 11、A 12、B 13、A. 14、D 15、B 二、1、圖林 2、正向推理 3、Artifical Intelligence 4、隨機(jī)性，模糊性，不完全性，不一致性 5、純文字，永真式，類含 6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)} ) 7、節(jié)點(diǎn)和有向邊，或圖，與或圖 8、最一般合一（MGU） 9、深藍(lán) 10、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能 三、1、答：1）表示：命題“張三比較胖”

21、 2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。 2、答：1）產(chǎn)生式規(guī)則庫：描述相應(yīng)領(lǐng)域知識的產(chǎn)生式規(guī)則集 2）數(shù)據(jù)庫：（事實(shí)的集合）存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫輸入的事實(shí)、中間結(jié)果事實(shí)和最后結(jié)果事實(shí)） 3）推理機(jī)：（控制系統(tǒng)）是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運(yùn)行，包含推理方式和控制策略。 3、答： 4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變元，g(A,y)是項(xiàng)，且z不在g(A,y)中出現(xiàn)。k=k+1=1 有δ1=δ0·｛g(A,y)/z｝=ε·｛g(A,y)/z｝=｛g(

22、A,y)/z｝， S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是單元素集。 根據(jù)求MGU算法，MGU=δ1=｛g(A,y)/z｝ 5、證:①┓P(x)∨Q(x) ．．．從F1變換 ②┓P(y)∨R(y) ` ．．．從F1變換 ③P(a) ．．．從F2變換 ④S(a) ．．．從F2變換 ⑤┓S(z)∨┓R(z) ．．．結(jié)論的否定 ⑥R(a) ．．．②③歸結(jié)｛a/y｝ ⑦┓R(a) ．．．④⑤歸結(jié)｛a/z｝ ⑧□ ．．．⑥⑦歸結(jié) 得證. 四、1、答：謂詞公式表示： $x(student(x)∧rea

23、d(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)/x} 得證。 人工智能試卷八 一、填空題（共30分） 1. 歸結(jié)法中，可以通過------

24、---的方法得到問題的解答。 2.化成子句形式為： 。 3.從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4.AI是是 的英文縮寫 5. 人工智能的基本技術(shù)包括 、 、 、——、——。 6.目前所用的知識表示形式有 、 、 等。 7.產(chǎn)生式系統(tǒng)有三部分組成 ， 和推理機(jī)。其中推理可分為 和 。 8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公

25、式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ，其他變元稱為 9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“　　　　　　　　”的計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　，近期目標(biāo)是　　　　　　　　　　　　　　　　。 11、謂詞邏輯中，重言式（tautlogy）的值是 。 12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為 ，則結(jié)論成立。 13、若C1=┐P∨Q，C2=P∨┐Q，則C1和C2的歸

26、結(jié)式R（C1，C2）= 。 14、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，則C1和C2的歸結(jié)式R（C1，C2）= 。 15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是 ， ， 。 16、在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。 17、假言推理（A?B）ùAT ，假言三段論（A?B）ù（B?C）T . 填空題 1、 修改證明樹 2、 。 3、 正向推理 4、 Artifical Inteligence 5、 搜索技術(shù) 推理技

27、術(shù) 知識表示和知識庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù) 6、 框架 語義網(wǎng)絡(luò) 面向?qū)ο? 7、 綜合數(shù)據(jù)庫 知識庫 正向推理 反向推理 8、 轄域 約束變元 自由變元 9、 深藍(lán) 10、 制造智能機(jī)器 實(shí)現(xiàn)機(jī)器智能 11、 真 12、 空集 13、 ┐P∨P或┐Q∨Q 14、 Q（a）∨R（y） 15、 刪除策略 支持集策略 線性歸結(jié)策略 16、 啟發(fā)函數(shù) 17、 B A?C 二、選擇題（15小題，共15分 1.人工智能是一門 A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué) D)綜合性的交叉學(xué)科和邊緣學(xué)科

28、 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.在公式中"y$xp(x,y))，存在量詞是在全

29、稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 6.子句~PúQ和P經(jīng)過消解以后，得到（ ） A. P B. Q C. ~P D. PúQ 7、8.Aù（AúB）?A 稱為（ ），~（AùB）?~Aú~B稱為（ ） A. 結(jié)合律 B.分配律 C.吸收律 D.摩根律 8、下列哪部分不是專家系統(tǒng)的組成部分（　 ） A.）用戶 B）綜合

30、數(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)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。

31、 A)永真式 B)包孕式（subsumed） C)空子句 13、在公式中"y$xp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 14、子句~PúQ和P經(jīng)過消解以后，得到（ ） A. P B. Q C. ~P E. PúQ 15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（ ）必然可以得到該最優(yōu)解。 A. 廣

32、度優(yōu)先搜索 B. 深度優(yōu)先搜索 C. 有界深度優(yōu)先搜索 D. 啟發(fā)式搜索 三、簡答與應(yīng)用題 i. 深度優(yōu)先方法的特點(diǎn)是什么？6 　 ii. 什么是置換？置換是可交換的嗎？6分 　 某問題由下列公式描述： (1)、試用歸結(jié)法證明(x)R(x)；8分 4. 下圖所示博弈樹，按從左到右的順序進(jìn)行α-β剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分 5.10分 設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系

33、？(10分) 6. 張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員Ａ說：“趙與錢中至少有一人作案”；偵察員Ｄ說：“錢與孫至少有一人作案”；偵察員Ｃ說：“孫與李中至少有一個作案”；偵察員Ｄ說“趙與孫至少一個與案無關(guān)”；偵察員Ｅ說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（10分） 選擇題 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 C D B B B B C A D B B C B B A 三、簡答與應(yīng)用題 1. 解答: （1）屬于圖搜

34、索；（2）是一個通用的搜索方法；（3）如果深度限制不合適，有可能找不到問題的解；（4）不能保證找到最優(yōu)解。 2. 回答: 通常用有序?qū)Φ募蟬＝{t1/v1，t2/v2，…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項(xiàng)ti來替換，用s對表達(dá)式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)

35、 (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é)論的否定 ⑤ ～F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝ ⑥ G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝ ⑦ □ ．．．④⑥歸結(jié),置換｛L/u,X/v｝ 得證,說明存在祖孫關(guān)系。

36、為了求解用一個重言式④ ④ ～G(u,v)∨G(u,v) ．．．用重言式代替結(jié)論的否定,重言式恒為真 ⑤ ～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是作案者，則 　　　　偵察員A的話可表示：T(趙)T(錢) 　　　　偵察員B的話可表示：T(錢)T(孫) 　　　　偵察員C的話可表示：T(孫)T(李) 　　　　偵察員D的話可表示：T(趙) T(孫) 　　　　

37、偵察員E的話可表示：T(錢) T(李) 　　上面五個組成子句集S，求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x) 然后利用消解原理對S1進(jìn)行消解可得答案：錢和孫是作案者。 人工智能試卷九 試題部分： 一、選擇題（15小題，共15分） 1. 人工智能產(chǎn)生于哪一年（?。?。 A. 1957 B. 1962 C. 1956 D. 1979 2.下列哪個不是人工智能的研究領(lǐng)域（ ） A.　機(jī)器證明 B.　模式識別 C. 人工生命 D. 編譯原理 3.神經(jīng)

38、網(wǎng)絡(luò)研究屬于下列（ ）學(xué)派 A. 符號主義 B. 連接主義 C. 行為主義 D. 都不是 4.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（ ） A. 狀態(tài)空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法 5.在公式中"y$xp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù)

39、 B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 6.子句~PúQ和P經(jīng)過消解以后，得到（ ） A. P B. Q C. ~P F. PúQ 7、8.Aù（AúB）?A 稱為（ ），~（AùB）?~Aú~B稱為（ ） B. 結(jié)合律 B.分配律 C.吸收律 D.摩根律 9、10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，（ ）必然可以得到該最優(yōu)解，（ ）可以認(rèn)為是“智能程度相對比較高”的算法。 D. 廣度優(yōu)先搜索 E. 深度優(yōu)先搜索 F. 有界深度優(yōu)先搜索 G. 啟發(fā)式搜索 11.產(chǎn)生

40、式系統(tǒng)的推理不包括（ ） A. 正向推理 B. 逆向推理 C. 雙向推理 D. 簡單推理 12.下列哪部分不是專家系統(tǒng)的組成部分（　 ） A. 用戶 B. 綜合數(shù)據(jù)庫 C. 推理機(jī) D. 知識庫 13. 要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。 A. 專家系統(tǒng) B. 機(jī)器學(xué)習(xí) C. 神經(jīng)網(wǎng)絡(luò) D. 模式識別 14、人工智能是一門 A)數(shù)學(xué)和生理學(xué) B

41、)心理學(xué)和生理學(xué) C)語言學(xué) D)綜合性的交叉學(xué)科和邊緣學(xué)科 15、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO 鏈、ISA 鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（ ）。 A) 無悖性 B) 可擴(kuò)充性 C) 繼承性 二、填空題（共30分）： 1. 歸結(jié)法中，可以通過---------的方法得到問題的解答。 2.化成子句形式為： 。 3.從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4.AI是是 的英文縮寫 5. 人工智能的基

42、本技術(shù)包括 、 、 、歸納技術(shù)、聯(lián)想技術(shù)。 6.目前所用的知識表示形式有 、 、 等。 7.產(chǎn)生式系統(tǒng)有三部分組成 ， 和推理機(jī)。其中推理可分為 和 。 8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ，其他變元稱為 9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“　　　　　　　　”的計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的

43、遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　，近期目標(biāo)是　　　　　　　　　　　　　　　　。 11、謂詞邏輯中，重言式（tautlogy）的值是 。 12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為 ，則結(jié)論成立。 13、若C1=┐P∨Q，C2=P∨┐Q，則C1和C2的歸結(jié)式R（C1，C2）= 。 14、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，則C1和C2的歸結(jié)式R（C1，C2）= 。 15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是 ， ， 。 16、在啟發(fā)式搜索當(dāng)中，通常用

44、 來表示啟發(fā)性信息。 17、假言推理（A?B）ùAT ，假言三段論（A?B）ù（B?C）T . 三、簡答與應(yīng)用題 1、剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？(6分) 2. 將下列謂詞公式化成子句集 。（6分） 3、解釋下列模糊性知識： 1) 張三，體型，（胖，0.9））。 2) (患者，癥狀，(頭疼，0.95) )∧ (患者，癥狀，(發(fā)燒，1.1) ) →(患者，疾病，(感冒，1.2) )(6分) 4.寫出圖中樹的結(jié)點(diǎn)兩個訪問序列，要求分別滿足以下兩個搜索策略：(6分) 5 1 4

45、 2 3 6 7 8 9 10 11 12 13 (1) 深度優(yōu)先搜索 (2) 廣度優(yōu)先搜索 5、產(chǎn)生式系統(tǒng)由哪些部分組成？　 6. 張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員Ａ說：“趙與錢中至少有一人作案”；偵察員Ｄ說：“錢與孫至少有一人作案”；偵察員Ｃ說：“孫與李中至少有一個作案”；偵察員Ｄ說“趙與孫至少一個與案無關(guān)”；偵察員Ｅ說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分） 7. 下圖所示博弈樹，按從左到右的順序進(jìn)行α-β剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處

46、發(fā)生剪枝，及應(yīng)選擇的走步。 答案部分 一、選擇題 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 C D B B B B C D A D D A B D C 二、 填空題 1. 修改證明樹 2. 。 3. 正向推理 4. Artifical Inteligence 5. 搜索技術(shù) 推理技術(shù) 知識表示和知識庫技術(shù) 6. 框架 語義網(wǎng)絡(luò) 面向?qū)ο? 7. 綜合數(shù)據(jù)庫 知識庫 正向推理 反向推理 8. 轄域 約束變元 自由變元 9. 深藍(lán) 10. 制

47、造智能機(jī)器 實(shí)現(xiàn)機(jī)器智能 11. 真 12. 空集 13. ┐P∨P或┐Q∨Q 14. Q（a）∨R（y） 15. 刪除策略 支持集策略 線性歸結(jié)策略 16. 啟發(fā)函數(shù) 17. B A?C 三、簡答與應(yīng)用題 1不正確。 － 剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。 2、 3、答：1）表示：命題“張三比較胖” 2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。 4、解：（１）深度優(yōu)先搜索： １－２－５－６－１０－１１

48、－３－７－１２－１３－４－８－９ （２）廣度優(yōu)先搜索： １－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４ 5解答: 組成產(chǎn)生式系統(tǒng)的三要素:（1）綜合數(shù)據(jù)庫；（2）一組產(chǎn)生式規(guī)則（或者規(guī)則集）；（3）一個控制系統(tǒng)（或者控制策略） 6、解：設(shè)用T(x)表示x是作案者，則 　　　　偵察員A的話可表示：T(趙)T(錢) 　　　　偵察員B的話可表示：T(錢)T(孫) 　　　　偵察員C的話可表示：T(孫)T(李) 　　　　偵察員D的話可表示：T(趙) T(孫) 　　　　偵察員E的話可表示：T(錢) T(李) 　　上面五個組成子句集S，求誰是作案者，把T(x)ANSW

49、ER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x) 然后利用消解原理對S1進(jìn)行消解可得答案：錢和孫是作案者。 7. 人工智能試卷十 一、選擇題（15小題，共15分） 1、97年５月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（ ） A）深藍(lán) B）IBM C）深思 D）藍(lán)天 2、下列不在人工智能系統(tǒng)的知識包含的4個要素中 A)事實(shí)　 B)規(guī)則　 C)控制和元知識　 D)關(guān)系 3、謂詞邏輯下，子句, C1=L∨C1‘, C2= ? L∨C2‘, 若σ是互補(bǔ)文字的（最一般）合一置

50、換，則其歸結(jié)式C=（ ） A) C1’σ∨C2’σ　 B)C1’∨C2’　 C)C1’σ∧C2’σ　 D)C1’ ∧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ī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知

51、識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ ）。 A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) 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)Automatic Intelligence B)Artifical Intellig

52、ence C)Automatice Information D)Artifical Information 12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（ ）時，則定理得證。 A)永真式 B)包孕式（subsumed） C)空子句 13、在公式中"y$xp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（ ） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 14、子句~PúQ和P經(jīng)過消解以后

53、，得到（ ） A. P B. Q C. ~P G. PúQ 15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（ ）必然可以得到該最優(yōu)解。 H. 廣度優(yōu)先搜索 I. 深度優(yōu)先搜索 J. 有界深度優(yōu)先搜索 D. 啟發(fā)式搜索 二、填空題（共30分）： 1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ，其他變元稱為 2、假言推理（A?B）ùAT ，假言三段論（A?B）ù（B?C）T

54、 3、幾種常用的歸結(jié)策略： 、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略 4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為 技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為 5.在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。 6.在二人博弈問題中，最常用的一種分析技術(shù)是 ，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了

55、 7、不確定性類型按性質(zhì)分：　　　　　　　　　　　，　　　　　　　　　　　， 　　　　　　　　　　　　，　　　　　　　　　　　　。 8、在刪除策略歸結(jié)的過程中刪除以下子句：含有　　　　　　　　　　　的子句;含有　　　　　　　　　的子句;子句集中被別的子句　　　　　　　　　的子句。 9、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系： CF（~A）=　　　　　　、CF（A1∧A2 ）=　　　　　　　　　　　　　　　、 CF（A1∨A2 ）=　　　　　　　　　　　　　　　　。 10、圖：指由　　　　　　　　　　　　組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可

56、分為　　　　　　　　　　　　和　　　　　　　　　　　　。 11、合一算法：求非空有限具有相同謂詞名的原子公式集的　　　　　　　　　　。 12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和 ，知識表示的方法主要有 ， ， 和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所使用的推理方法有 和 三、簡答與應(yīng)用題 1、 謂詞邏輯形式化下列描述 “不存在最大的整數(shù)”(4分) 2.α－β剪枝的條件是什么？ ?。?分） 3、某問題由下列公式描述： (1)、試用歸結(jié)法證明(x)R(x)； （8分） 4. 專家系統(tǒng)

57、的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？（7分） 5.何謂“圖靈實(shí)驗(yàn)”？簡單描述之（5分） 6、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分) 7. 給1～9九個數(shù)字排一個序列，使得該序列的前n(n=1,...,9) 個數(shù)字組成的整數(shù)能被n整除。 　　(1)、討論哪些知識可以幫助該問題的求解。 　　(2)、用產(chǎn)生式系統(tǒng)描述該問題. (15分) 答案部分 一、選擇題 A D

58、 A D B C B A D B B C B B A 二、填空題 1、轄域 約束變元 自由變元 2、 B A?C 3、刪除策略 4、圖搜索 狀態(tài)空間圖（或狀態(tài)圖） 5、啟發(fā)函數(shù) 6、極大極小分析法 a-b剪枝技術(shù) 7、隨機(jī)性 模糊性 不一致性 不確定性 8、純文字 永真 類含 9、~CF（A） min{CF（A1），CF（A2）} max{CF（A1），CF（A2）} 10、或圖 與或圖 11、最一般合一 12、知識的

59、運(yùn)用 邏輯表示法（謂詞表示法） 框架 產(chǎn)生式 AKO ISA 三、簡答及應(yīng)用題 1、定義謂詞G(x)：x為整數(shù) D(x,y)：x大于y 形式化為： 或者 2、回答: α剪枝：若任一極小值層節(jié)點(diǎn)的β值小于或等于它任一先輩極大值節(jié)點(diǎn)的α值，即α（先輩層）≥β（后繼層），則可中止該極小值層中這個MIN節(jié)點(diǎn)以下的搜索過程。這個MIN節(jié)點(diǎn)最終的倒推值就確定為這個β值。 β剪枝：若任一極大值層節(jié)點(diǎn)的α值大于或等于它任一先輩極小值層節(jié)點(diǎn)的β值，即α（后繼層）≥β（先輩層），則可以中止該極大值層中這個MAX節(jié)點(diǎn)以下的搜索過程。這個MAX節(jié)點(diǎn)的最終倒推值就確定為這個α值。 3、

60、化子句集如下： 4、答：（１）專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。 （２）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個步驟： １） 系統(tǒng)總體分析與設(shè)計； ２） 知識獲?。? ３） 知識表示與知識描述語言設(shè)計； ４） 知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計； ５） 推理機(jī)與解釋模塊設(shè)計； ６） 總控與界面設(shè)計 ７） 編程與調(diào)試 ８） 測試與評價 ９） 運(yùn)行與維護(hù) （３）可以看出它有如下特點(diǎn)： １） 知識獲取和知識表示設(shè)計是一切工作的起點(diǎn)； 知識表示與知

61、識描述語言確定后，其他設(shè)計可同時進(jìn)行； 5、答：所謂“圖靈實(shí)驗(yàn)”，是為了判斷一臺機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個封閉的房間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問，通過提問的結(jié)果來判斷誰是人，誰是機(jī)器。如果主持人無法判斷誰是人，誰是機(jī)器，則這臺機(jī)器具備智能，即所謂的“智能機(jī)器”。 6、解:現(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),u=?,v=? 其中,

62、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é)論的否定 ⑤ ～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é)論的否定,重言式

63、恒為真 ⑤ ～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的祖父，即老李是小李的祖父。 7、如下的知識可以幫助求解該問題： （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 {x}∪{5} r2: IF len(N)為偶數(shù)and n=In(1, 3, 7, 9) THEN {x

64、}∪{n} r3: IF len(N)為奇數(shù)and n=In(2, 4, 6, 8) THEN {x}∪{n} 其中l(wèi)en(N)為求序列的長度，In(a, b, c, d)為取a、b、c、d之一。 初始狀態(tài)：{} 結(jié)束條件：得到的序列N前i個數(shù)組成的整數(shù)能被i整除 人工智能試卷十三 1. 什么是人工智能？人工智能與計算機(jī)程序的區(qū)別？ 答：AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來模擬人類智能活動的能力以延伸人類智能的科學(xué)，它與計算機(jī)程序的區(qū)別是： 2 AI研究的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研究對象 2 AI采用啟發(fā)式搜索方法而不是普通的算法 2 控制結(jié)構(gòu)與知識是分離的 2

65、允許出現(xiàn)不正確的答案 2. 化下列邏輯表達(dá)式為不含存在量詞的前束范式 答： 3. 求下列謂詞公式的子句集 答： 所以子句集為： {} 4. 若有梯形ABCD，將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯角 C A B D 證明：設(shè)梯形頂點(diǎn)依次為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)表示∠xyz=∠uvw，問題的描述和相應(yīng)的子句集為 xyuv[T(x,y,u,v)→P(x,y,u

66、,v)]...梯形上下底平行 子句：～T(x,y,u,v)∨P(x,y,u,v) xyuv[P(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,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/v} E(a,b,d,c,d,b) （2）和（5）歸結(jié)，置換{a/x,b/y,c/u,d/v} NIL （4）和（6）歸結(jié) 根據(jù)歸結(jié)原理得證。 5. 求子句集的MGU 解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0=｛a/z｝,其中z是變元，a是項(xiàng)，且z不在a中出現(xiàn)。k=k+1=1 有δ1=δ0·｛a/z｝=ε·｛a/z｝=｛a/z｝