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

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

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

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

3、擊敗，這臺(tái)計(jì)算機(jī)被稱(chēng)為（ ） A）深藍(lán) B）IBM C）深思 D）藍(lán)天 10、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中 A)事實(shí)　 B)規(guī)則　 C)控制和元知識(shí)　 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、或圖通常稱(chēng)為 A）框架網(wǎng)絡(luò) B)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖 13、不屬于人工智能的學(xué)派是 A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主

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

5、　　　　的子句;含 有　　　　　　　　　　的子句;子句集中被別的子句　　　　　　　　的子句。 3、對(duì)證據(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)的推理過(guò)程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行，被執(zhí)行的

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

7、，求MGU 解： 5、證明G是否是F的邏輯結(jié)論； 四、應(yīng)用題(共30分) 1、用語(yǔ)義網(wǎng)絡(luò)表示下列信息： (1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(hào) (2)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。 答： 2、圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋?zhuān)? 3、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(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、純文字，永真式，類(lèi)含 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 所指示的條件滿(mǎn)足時(shí)，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作 產(chǎn)生式規(guī)則的語(yǔ)義：如果前提P被滿(mǎn)足，則可推出結(jié)論 Q 或執(zhí)行 Q 所規(guī)定的操作 3、 1）消去蘊(yùn)含式和等價(jià)式→，<-> 2）縮小否定詞的作用范圍，直到其作用于原子公式: 3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變?cè)图s束變?cè)? 4.）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型） 5）消去所有全稱(chēng)量詞 6) 化成合取范式 7). 適當(dāng)改名，使子句間無(wú)同名變?cè)? 8). 消去合取詞∧，用逗號(hào)代替，以子句為元素組成一個(gè)集合S 4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={y,z}

10、,其中y是變?cè)?，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(chēng)(y) ．．．結(jié)論的否定 ④┓Q(chēng)(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｝ 得證,說(shuō)明存在祖孫關(guān)系。 為了求解用一個(gè)重言式④ ④ ┓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、人工智能是一門(mén) A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語(yǔ)言學(xué) D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO 鏈、ISA 鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（ ）。 A) 無(wú)悖性 B) 可擴(kuò)充性 C) 繼承性 3、(A->B)∧A => B是 A)附加律　 B)拒收律　 C)假言推理　 D)US 4、命題是可以判斷真假的 A)祈使句　 B)疑問(wèn)句　 C)感嘆句　 D)陳述句 5、僅個(gè)體變?cè)涣炕闹^

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

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

16、據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù) 14、產(chǎn)生式系統(tǒng)的推理不包括（ ） A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理 15、C(B|A) 表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的 A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率 二、填空題(每題1分，共30分) 1、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是　　　　　　　　 2、從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是　　　　　　 　　　　。 3、AI的英文縮寫(xiě)是　　　　　　　　　　　　　　　　。 4、不確定

17、性類(lèi)型按性質(zhì)分：　　　　　　　　　　　，　　　　　　　　　　　， 　　　　　　　　　　　　，　　　　　　　　　　　　。 5、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有　　　　　　　　　　　的子句;含有　　　　　　　　　的子句;子句集中被別的子句　　　　　　　　　的子句。 6、對(duì)證據(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ì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　，近期目標(biāo)是　　　　　　　　　　　　　　　　。 三、簡(jiǎn)答及計(jì)算題(每題5分，共25分) 1、解釋下列模糊性知識(shí)： 1) 張三，體型，（胖，0.9））。 2) (患者，癥狀，(頭疼，0.95) )∧ (患者，癥狀，(發(fā)燒，1.1) ) →(患者，疾病，(感冒，1.2) )

19、 答： 2、簡(jiǎn)單闡述產(chǎn)生式系統(tǒng)的組成： 答： 3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對(duì)比表 答： 4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU 解： 5、證明G是否是F1、F2的邏輯結(jié)論； 證: 四、應(yīng)用題(共30分) 1、將命題：“某個(gè)學(xué)生讀過(guò)三國(guó)演義”分別用謂詞公式和語(yǔ)義網(wǎng)絡(luò)表示 答： 2、圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋?zhuān)? 3、利用謂詞邏輯表示下列知識(shí)（包括已知和結(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、純文字，永真式，類(lèi)含 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ī)則庫(kù)：描述相應(yīng)領(lǐng)域知識(shí)的產(chǎn)生式規(guī)則集 2）數(shù)據(jù)庫(kù)：（事實(shí)的集合）存放問(wèn)題求解過(guò)程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫(kù)輸入的事實(shí)、中間結(jié)果事實(shí)和最后結(jié)果事實(shí)） 3）推理機(jī)：（控制系統(tǒng)）是一個(gè)程序，控制協(xié)調(diào)規(guī)則庫(kù)與數(shù)據(jù)庫(kù)的運(yùn)行，包含推理方式和控制策略。 3、答： 4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變?cè)?，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,三國(guó)演義)) 語(yǔ)義網(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é)法中，可以通過(guò)------

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

25、式稱(chēng)為該量詞的 ，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q(chēng)為 ，其他變?cè)Q(chēng)為 9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“　　　　　　　　”的計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　，近期目標(biāo)是　　　　　　　　　　　　　　　　。 11、謂詞邏輯中，重言式（tautlogy）的值是 。 12、利用歸結(jié)原理證明定理時(shí)，若得到的歸結(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àn)的歸結(jié)策略并且具有完備性的是 ， ， 。 16、在啟發(fā)式搜索當(dāng)中，通常用 來(lái)表示啟發(fā)性信息。 17、假言推理（A?B）ùAT ，假言三段論（A?B）ù（B?C）T . 填空題 1、 修改證明樹(shù) 2、 。 3、 正向推理 4、 Artifical Inteligence 5、 搜索技術(shù) 推理技

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

28、 2、下列哪個(gè)不是人工智能的研究領(lǐng)域（ ） A.　機(jī)器證明 B.　模式識(shí)別 C. 人工生命 D. 編譯原理 3.神經(jīng)網(wǎng)絡(luò)研究屬于下列（ ）學(xué)派 A. 符號(hào)主義 B. 連接主義 C. 行為主義 D. 都不是 4.已知初始問(wèn)題的描述，通過(guò)一系列變換把此問(wèn)題最終變?yōu)橐粋€(gè)子問(wèn)題集合；這些子問(wèn)題的解可以直接得到，從而解決了初始問(wèn)題。這是知識(shí)表示法叫（ ） A. 狀態(tài)空間法 B. 問(wèn)題歸約法 C. 謂詞邏輯法 D. 語(yǔ)義網(wǎng)絡(luò)法 5.在公式中"y$xp(x,y))，存在量詞是在全

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

30、數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù) 9、產(chǎn)生式系統(tǒng)的推理不包括（ ） A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理 10、C(B|A) 表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的 A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率 11、AI的英文縮寫(xiě)是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（ ）時(shí)，則定理得證。

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

32、度優(yōu)先搜索 B. 深度優(yōu)先搜索 C. 有界深度優(yōu)先搜索 D. 啟發(fā)式搜索 三、簡(jiǎn)答與應(yīng)用題 i. 深度優(yōu)先方法的特點(diǎn)是什么？6 　 ii. 什么是置換？置換是可交換的嗎？6分 　 某問(wèn)題由下列公式描述： (1)、試用歸結(jié)法證明(x)R(x)；8分 4. 下圖所示博弈樹(shù)，按從左到右的順序進(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）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系

33、？(10分) 6. 張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員Ａ說(shuō)：“趙與錢(qián)中至少有一人作案”；偵察員Ｄ說(shuō)：“錢(qián)與孫至少有一人作案”；偵察員Ｃ說(shuō)：“孫與李中至少有一個(gè)作案”；偵察員Ｄ說(shuō)“趙與孫至少一個(gè)與案無(wú)關(guān)”；偵察員Ｅ說(shuō)“錢(qián)與李中至少有一人與此案無(wú)關(guān)”。如果這五個(gè)偵察員的話(huà)都是可信的，試用消解原理推理求出誰(shuí)是盜竊犯。（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 三、簡(jiǎn)答與應(yīng)用題 1. 解答: （1）屬于圖搜

34、索；（2）是一個(gè)通用的搜索方法；（3）如果深度限制不合適，有可能找不到問(wèn)題的解；（4）不能保證找到最優(yōu)解。 2. 回答: 通常用有序?qū)Φ募蟬＝{t1/v1，t2/v2，…，tn/vn}來(lái)表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項(xiàng)ti來(lái)替換，用s對(duì)表達(dá)式E作置換后的例簡(jiǎn)記為Es。 一般來(lái)說(shuō)，置換是不可交換的，即兩個(gè)置換合成的結(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｝ 得證,說(shuō)明存在祖孫關(guān)系。

36、為了求解用一個(gè)重言式④ ④ ～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的話(huà)可表示：T(趙)T(錢(qián)) 　　　　偵察員B的話(huà)可表示：T(錢(qián))T(孫) 　　　　偵察員C的話(huà)可表示：T(孫)T(李) 　　　　偵察員D的話(huà)可表示：T(趙) T(孫) 　　　　

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

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

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

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

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

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

43、遠(yuǎn)期目標(biāo)是　　　　　　　　　　　　　　　　　　，近期目標(biāo)是　　　　　　　　　　　　　　　　。 11、謂詞邏輯中，重言式（tautlogy）的值是 。 12、利用歸結(jié)原理證明定理時(shí)，若得到的歸結(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àn)的歸結(jié)策略并且具有完備性的是 ， ， 。 16、在啟發(fā)式搜索當(dāng)中，通常用

44、 來(lái)表示啟發(fā)性信息。 17、假言推理（A?B）ùAT ，假言三段論（A?B）ù（B?C）T . 三、簡(jiǎn)答與應(yīng)用題 1、剪枝方法只是極小極大方法的一種近似，剪枝可能會(huì)遺漏掉最佳走步。這種說(shuō)法是否正確？(6分) 2. 將下列謂詞公式化成子句集 。（6分） 3、解釋下列模糊性知識(shí)： 1) 張三，體型，（胖，0.9））。 2) (患者，癥狀，(頭疼，0.95) )∧ (患者，癥狀，(發(fā)燒，1.1) ) →(患者，疾病，(感冒，1.2) )(6分) 4.寫(xiě)出圖中樹(shù)的結(jié)點(diǎn)兩個(gè)訪(fǎng)問(wèn)序列，要求分別滿(mǎn)足以下兩個(gè)搜索策略：(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. 張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員Ａ說(shuō)：“趙與錢(qián)中至少有一人作案”；偵察員Ｄ說(shuō)：“錢(qián)與孫至少有一人作案”；偵察員Ｃ說(shuō)：“孫與李中至少有一個(gè)作案”；偵察員Ｄ說(shuō)“趙與孫至少一個(gè)與案無(wú)關(guān)”；偵察員Ｅ說(shuō)“錢(qián)與李中至少有一人與此案無(wú)關(guān)”。如果這五個(gè)偵察員的話(huà)都是可信的，試用消解原理推理求出誰(shuí)是盜竊犯。（15分） 7. 下圖所示博弈樹(shù)，按從左到右的順序進(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. 修改證明樹(shù) 2. 。 3. 正向推理 4. Artifical Inteligence 5. 搜索技術(shù) 推理技術(shù) 知識(shí)表示和知識(shí)庫(kù)技術(shù) 6. 框架 語(yǔ)義網(wǎng)絡(luò) 面向?qū)ο? 7. 綜合數(shù)據(jù)庫(kù) 知識(shí)庫(kù) 正向推理 反向推理 8. 轄域 約束變?cè)? 自由變?cè)? 9. 深藍(lán) 10. 制

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

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

49、ER(x)并入S1得到。即比S1多出如下一個(gè)子句：T(x)ANSWER(x) 然后利用消解原理對(duì)S1進(jìn)行消解可得答案：錢(qián)和孫是作案者。 7. 人工智能試卷十 一、選擇題（15小題，共15分） 1、97年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱(chēng)為（ ） A）深藍(lán) B）IBM C）深思 D）藍(lán)天 2、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中 A)事實(shí)　 B)規(guī)則　 C)控制和元知識(shí)　 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、或圖通常稱(chēng)為 A）框架網(wǎng)絡(luò) B)語(yǔ)義圖 C)博亦圖 D)狀態(tài)圖 5、不屬于人工智能的學(xué)派是 A)符號(hào)主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。 6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是 A)明斯基 B).扎德 C)圖林 D)馮.諾依曼 7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知

51、識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（ ）。 A)專(zhuān)家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識(shí)別 8、下列哪部分不是專(zhuān)家系統(tǒng)的組成部分（　 ） A.）用戶(hù) B）綜合數(shù)據(jù)庫(kù) C）推理機(jī) D）知識(shí)庫(kù) 9、產(chǎn)生式系統(tǒng)的推理不包括（ ） A）正向推理 B）逆向推理 C）雙向推理 D）簡(jiǎn)單推理 10、C(B|A) 表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的 A)可信度 B)信度 C)信任增長(zhǎng)度 D)概率 11、AI的英文縮寫(xiě)是 A)Automatic Intelligence B)Artifical Intellig

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

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

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

55、 7、不確定性類(lèi)型按性質(zhì)分：　　　　　　　　　　　，　　　　　　　　　　　， 　　　　　　　　　　　　，　　　　　　　　　　　　。 8、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有　　　　　　　　　　　的子句;含有　　　　　　　　　的子句;子句集中被別的子句　　　　　　　　　的子句。 9、對(duì)證據(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、開(kāi)發(fā)專(zhuān)家系統(tǒng)所要解決的基本問(wèn)題有三個(gè)，那就是知識(shí)的獲取、知識(shí)的表示和 ，知識(shí)表示的方法主要有 ， ， 和語(yǔ)義網(wǎng)絡(luò)等，在語(yǔ)義網(wǎng)絡(luò)表示知識(shí)時(shí)，所使用的推理方法有 和 三、簡(jiǎn)答與應(yīng)用題 1、 謂詞邏輯形式化下列描述 “不存在最大的整數(shù)”(4分) 2.α－β剪枝的條件是什么？ 　（6分） 3、某問(wèn)題由下列公式描述： (1)、試用歸結(jié)法證明(x)R(x)； （8分） 4. 專(zhuān)家系統(tǒng)

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

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

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

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

61、識(shí)描述語(yǔ)言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行； 5、答：所謂“圖靈實(shí)驗(yàn)”，是為了判斷一臺(tái)機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問(wèn)，通過(guò)提問(wèn)的結(jié)果來(lái)判斷誰(shuí)是人，誰(shuí)是機(jī)器。如果主持人無(wú)法判斷誰(shuí)是人，誰(shuí)是機(jī)器，則這臺(tái)機(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｝ 得證,說(shuō)明存在祖孫關(guān)系。 為了求解用一個(gè)重言式④ ④ ～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、如下的知識(shí)可以幫助求解該問(wèn)題： （1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置； （2）第五個(gè)數(shù)為5。 綜合數(shù)據(jù)庫(kù)： 用一個(gè)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)為求序列的長(zhǎng)度，In(a, b, c, d)為取a、b、c、d之一。 初始狀態(tài)：{} 結(jié)束條件：得到的序列N前i個(gè)數(shù)組成的整數(shù)能被i整除 人工智能試卷十三 1. 什么是人工智能？人工智能與計(jì)算機(jī)程序的區(qū)別？ 答：AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來(lái)模擬人類(lèi)智能活動(dòng)的能力以延伸人類(lèi)智能的科學(xué)，它與計(jì)算機(jī)程序的區(qū)別是： 2 AI研究的是符號(hào)表示的知識(shí)而不是數(shù)值數(shù)據(jù)為研究對(duì)象 2 AI采用啟發(fā)式搜索方法而不是普通的算法 2 控制結(jié)構(gòu)與知識(shí)是分離的 2

65、允許出現(xiàn)不正確的答案 2. 化下列邏輯表達(dá)式為不含存在量詞的前束范式 答： 3. 求下列謂詞公式的子句集 答： 所以子句集為： {} 4. 若有梯形ABCD，將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯(cuò)角 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)表示∠x(chóng)yz=∠uvw，問(wèn)題的描述和相應(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)錯(cuò)交相等 子句： 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是變?cè)琣是項(xiàng)，且z不在a中出現(xiàn)。k=k+1=1 有δ1=δ0·｛a/z｝=ε·｛a/z｝=｛a/z｝