(完整word版)《人工智能導(dǎo)論》試卷庫

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

1、人工智能試卷四 一、選擇題(每題1分，共15分) 1、AI的英文縮寫是 A)AutomaticIntelligeneeB)ArtificalIntelligenee C)AutomaticeInformationD)ArtificalInformation 2、反演歸結(jié)(消解)證明定理時(shí)，若當(dāng)前歸結(jié)式是()時(shí)，則定理得證。 A)永真式B)包孕式(subsumed)C)空子句 3、從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 A)正向推理B)反向推理C)雙向推理 4、語義網(wǎng)絡(luò)表達(dá)知識時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的()。 近期目標(biāo)是 三、簡答及

2、I 1、填寫下面的三值邏輯表。 其中T,F,U分別表示真，假，不能判定 A TFU T F U V TFU T F U P T F U A)無悖性 B)可擴(kuò)充性 C)繼承性 5、(AtB)AA=>B是 A)附加律 B)拒收律 C)假言推理 D)US 6、命題是可以判斷真假的 A)祈使句 B)疑問句 C)感嘆句 D)陳述句 7、僅個(gè)體變元被量化的謂詞稱為 A)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞 &MGU是 A)最般合 B)最般替換 C)最般謂

3、詞 D)基替換 9、1997年5月， 著名的人機(jī)大戰(zhàn) ”，最終計(jì)算機(jī)以 3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺 計(jì)算機(jī)被稱為() A)深藍(lán)B)IBMC)深思D)藍(lán)天 10、下列不在人工智能系統(tǒng)的知識包含的4個(gè)要素中 A)事實(shí)B)規(guī)則 11、謂詞邏輯下，子句 A)C1'VC2'c 12、或圖通常稱為 A)框架網(wǎng)絡(luò) ,C仁LVC1B)C1'VC2' C)控制和元知識D)關(guān)系 C2=?LV若b是互補(bǔ)文字的(最一般)合一置換，則其歸結(jié)式C=( C)C1'(AC2'bD)C1'AC2' B)語義圖 C)博亦圖 D)狀態(tài)圖 13、不屬于人

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

5、別的子句的子句。 3、對證據(jù)的可信度CF(A)、CF(A1)、CF(A2)之間，規(guī)定如下關(guān)系： CF(~A)=、CF(A1AA2)=、 CF(A1VA2)= 4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為 和。 5、合一算法：求非空有限具有相同謂詞名的原子公式集的 6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為。 7、P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的 &人工智能的遠(yuǎn)期目標(biāo)是, 2、什么是產(chǎn)生式？產(chǎn)生式規(guī)則的語義是什么？ 答： 3、謂詞公式G通過8個(gè)步驟所得的子句集合S,稱為G的子句集。請寫出這些步

6、驟。 4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU 解： 5、證明G是否是F的邏輯結(jié)論； F：-x(P(x)Q(a)Q(x)) G:x(P(x)Q(x)) 四、應(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è)的估值，請利用a-B剪枝技術(shù)剪去不必要的分枝。(在節(jié)點(diǎn)及邊 3、設(shè)有如下關(guān)系：(1)如果x是y的父親，y又是z的父親，貝Ux是z的祖父；(2)老李是大

7、李的父親;是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？ 解： 答案： 一、1、B2、C3、A4、C5、C 6、 D7、A8、A 9、A 10、D 11、 A12、D13、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，概率 上直接加注 (3)大李

8、 &制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能2、 A TFU T TFU F FFF U UFU V TFU T TTT F TFU U TULJ P P T F F T U U 2、產(chǎn)生式規(guī)則基本形式: iQ或者IFPTHEN 3、解:現(xiàn)定義如下謂詞 F(x,y)x是y的父親； G(x,z)x是y的祖父； 用謂詞邏輯表示已知與求

9、解： (1)F(x,y)AF(y,z)G(x,z) ⑵F(L,D) ⑶F(D,X) ⑷G(u,v),u=?,v=? 其中丄表示老李，D表示大李,X表示小李。先證存在祖孫關(guān)系 ① nF(x,y)VF(y,z)VG(x,z)...從(1)變換 ② F(L,D)...從⑵變換 ③ F(D,X)...從⑶變換 ④ rG(u,v)...結(jié)論的否定 ⑤ rF(D,z)VG(L,z)...①②歸結(jié)，置換{L/x,D/y} ⑥ G(L,X)...③⑤歸結(jié)，置換{X/z} ⑦ 口…④⑥歸結(jié)，置換{L/u,X/v} 得證,說明存在祖孫關(guān)系。 為了求解用一個(gè)重言式④ ④ rG(u,v)

10、VG(u,v)...用重言式代替結(jié)論的否定，重言式恒為真 ⑤ rF(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的祖父，即老李是小李的祖父。 人工智能試卷五 一、選擇題(每題1分，共15分) 1、人工智能是一門 A)數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué)C)語言學(xué) D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、語義網(wǎng)絡(luò)表達(dá)知識時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的()。 P是產(chǎn)生式的前提(前件)，用于指出該產(chǎn)生式是否可用的條件 Q是一組結(jié)論

11、或操作(后件)，用于指出當(dāng)前提P所指示的條件滿足時(shí)，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作 產(chǎn)生式規(guī)則的語義：如果前提P被滿足，則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作 3、1)消去蘊(yùn)含式和等價(jià)式<-> 2) 縮小否定詞的作用范圍，直到其作用于原子公式： 3) 適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。 4. )消去存在量詞(形成Skolem標(biāo)準(zhǔn)型) 5) 消去所有全稱量詞 6) 化成合取范式 7) .適當(dāng)改名，使子句間無同名變元 8) .消去合取詞人，用逗號代替，以子句為元素組成一個(gè)集合S 4、解：k=O;SO=S;S0=e;S0不是單元素集，求得差異集D0={y,z},其中y是變

12、元，z是項(xiàng)，且y不在z中出現(xiàn)。k=k+仁1有S1=30?z/y}=e?{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+仁2;32=31?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)VQ(x)...從F變換 ③ 「P(y)VQ(y)...結(jié)論的否定 ④ rQ(x)...①③歸結(jié),{x/y} ⑤ 口...②④

13、歸結(jié)，置換{a/x} 得證。 A)無悖性 B)可擴(kuò)充性 C)繼承性 3、(A->B)AA =>B是 A)附加律 B)拒收律 C)假言推理 D)US 4、命題是可以判斷真假的 A)祈使句 B)疑問句 C)感嘆句 D)陳述句 5、僅個(gè)體變元被量化的謂詞稱為 A)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞 6、MGU是 四、 A）最一般合一一B）最一般替換C）最一般謂詞D）基替換 最一般合一一 7、下列不在人工智能系統(tǒng)的知識包含的4個(gè)要素中 A）事實(shí)B）規(guī)則C）控制D）關(guān)系 &當(dāng)前歸結(jié)式是（）時(shí)，則定理得證

14、。 A）永真式B包孕式（subsumed）C）空子句 9、或圖通常稱為 A）框架網(wǎng)絡(luò)B）語義圖C）博亦圖D）狀態(tài)圖 10、不屬于人工智能的學(xué)派是 A）符號主義B）機(jī)會主義C）行為主義D）連接主義。 11、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運(yùn)用（）的知識，最終推出具有一定程度的不確定性但卻是 合理或者近乎合理的結(jié)論的思維過程。 A）不確定性，不確定性B）確定性，確定性 C）確定性，不確定性D）不確定性確定性 12、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動獲 取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）

15、。 A）專家系統(tǒng)B）機(jī)器學(xué)習(xí)C）神經(jīng)網(wǎng)絡(luò)D）模式識別 13、下列哪部分不是專家系統(tǒng)的組成部分（） A. ）用戶B）綜合數(shù)據(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年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測試模型，請問這個(gè)科學(xué)家是 2、從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 3、AI的英文縮寫是 4、不確

16、定性類型按性質(zhì)分：，_ 5、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句；含有的子句； 子句集中被別的子句的子句。 6、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系： CF（~A）=、CF（A1AA2）=、 CF（A1VA2）=。 7、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為 和。 &合一算法：求非空有限具有相同謂詞名的原子公式集的。 9、1997年5月，著名的人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的遠(yuǎn)期目標(biāo)是,近期目標(biāo) 3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對比表

17、產(chǎn)生式系統(tǒng) 圖搜索 初始節(jié)點(diǎn) 口標(biāo)條件 狀態(tài)轉(zhuǎn)換規(guī)則問題變換規(guī)則 規(guī)則庫 操作集 節(jié)點(diǎn)（狀態(tài)/問題） 控制策略 4、已知W={P（f（x,g（A,y））,z）,P（f（x,z）,z）}，求MGU 解： 5、證明G是否是F1、F2的邏輯結(jié)論； F1:-x（P（x）>（Q（x）R（x）） F2:x（P（x）S（x）） G：x（S（x）R（x）） 證： 四、應(yīng)用題（共30分） 1、將命題：某個(gè)學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示 答： 2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用a-B剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及

18、邊上直接加注 3、利用謂詞邏輯表示下列知識（包括已知和結(jié)論），然后化成子句集: （1）凡是清潔的東西就有人喜歡； （2）人們都不喜歡蒼蠅 求證：蒼蠅是不清潔的。 證： 答案： 一、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、 ArtificalIntelligenee 三、簡答及計(jì)算題（每題5分，共25分） 1、解釋下列模糊性知識： 1）張三，體型，（胖，0.

19、9））。 2）（患者，癥狀，（頭疼，0.95））A（患者，癥狀，（發(fā)燒，1.1））d患者，疾病，（感冒，1.2））答： 2、簡單闡述產(chǎn)生式系統(tǒng)的組成： 答： 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）表示：命題張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。 2、答：1）產(chǎn)生式規(guī)則庫：描述相應(yīng)領(lǐng)域知識的產(chǎn)生式規(guī)則集 2）數(shù)

20、據(jù)庫：（事實(shí)的集合）存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫輸入的事實(shí)、中間結(jié)果 事實(shí)和最后結(jié)果事實(shí)) 3)推理機(jī)：(控制系統(tǒng))是一個(gè)程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運(yùn)行，包含推理方式和控制策略。 3、答： 、填空題(共30分) 1.歸結(jié)法中，可以通過 人工智能試卷八 的方法得到問題的解答。 產(chǎn)主式系統(tǒng) 圖搜索 初始爭孌數(shù)抵 初始節(jié)點(diǎn) 冃標(biāo)條件 H標(biāo)節(jié)點(diǎn) 產(chǎn)生式規(guī)則 狀態(tài)轉(zhuǎn)換規(guī)則問題變換規(guī)則 規(guī)則庫 操作集 動態(tài)數(shù)抵庫 節(jié)點(diǎn)(狀態(tài)/問題) 控制策略 搜索策略 2.「叮、「「.十：—丫.化成子句形式為： 4、解：k=O;SO=S;

21、S0=&;S不是單元素集，求得差異集D0={g(A,y)},z},其中z是變元，g(A,y)是項(xiàng)，且z不在g(A,y) 中出現(xiàn)。k=k+仁1 有S1=30?g(A,y)/z}=￡?{g(A,y)/z}={g(A,y)/z}, S仁S0-{g(A,y)/z}={P(f(x,g(A,y)),g(A,y))},S1是單元素集。 根據(jù)求MGU算法，MGU=仁{g(A,y)/z} 3. 從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4. AI是是的英文縮寫_ 5. 人工智能的基本技術(shù)包括、、、、。 6. 目前所用的知識表示形式有、、等。 7?產(chǎn)生式系統(tǒng)有三部分組成,和推理

22、機(jī)。其中推理可分為和。 8、在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的,而在一個(gè)量詞的轄域中與該量詞的 指導(dǎo)變元相同的變元稱為，其他變元稱為 9、1997年5月，著名的人機(jī)大戰(zhàn)”，最終名為”的計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。 10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo) 5、證:針P(x)VQ(x) ② P(y)VR(y) ③ P(a) ④ S(a) ⑤ 「S(z)VR(z) ⑥ R(a) ⑦ rR(a) ⑧ 口 得證? ..從 F1 變換 ..從 F1 變換 ..從 F2 變換 ..從 F2 變換

23、結(jié)論的否定 ...②③歸結(jié){a/y} .④⑤歸結(jié){a/z} ???⑥⑦歸結(jié) 四、1、答：謂詞公式表示: Tx(student(x)Aread(x,三國演義)) 語義網(wǎng)絡(luò)表示如圖： 2、 11、謂詞邏輯中，重言式(tautlogy)的值是。 12、利用歸結(jié)原理證明定理時(shí)，若得到的歸結(jié)式為，則結(jié)論成立。 13、若C1=nPVQ,C2=PVnQ，貝UC1和C2的歸結(jié)式R(C1,C2)=。 14、若C1=P(x)VQ(x),C2=nP(a)VR(y)，貝UC1和C2的歸結(jié)式R(C1,C2)= 15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是,,。 16、在啟發(fā)

24、式搜索當(dāng)中，通常用來表示啟發(fā)性信息。 17、假言推理(A—；B)A：，假言三段論(A>B)(B》C)=. 填空題 1、修改證明樹 2、6仗， 3、正向推理 4、ArtificalInteligenee 5、搜索技術(shù)推理技術(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、空集 3、證：現(xiàn)定義如下謂詞 L(x,y)某人x喜歡某物y; P(y)——某物y是清潔的東西 (1) _yx(P(y)tL(x,y))==>nP(y)V

25、L(f(y),y) (2) -x(nL(x,Fly))==>nL(x,Fly) (3) P(Fly)...結(jié)論的反 (4) L(f(Fly),Fly)...(1)(3)歸結(jié),置換{Fly/y} ⑸口...⑵⑷歸結(jié),{f(Fly)/x} 得證。 13、 nPVP或 nQVQ 14、 Q(a)V R(y) 15、 刪除策略 支持集策略線性歸結(jié)策略 16、 啟發(fā)函數(shù) 17、 B ArC 二、選擇題(15小題，共15分 1. 人工智能是一門 A)數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué) D)綜合性的交叉學(xué)科和邊緣學(xué)科 2、下列哪個(gè)不是人工智能的研究領(lǐng)域()

26、 A.機(jī)器證明 C)語言學(xué) P Q ~P PQ ） C）推理機(jī) C） 證據(jù) 雙向推理 D）知識庫 中， C）信任增長度 D）簡單推理 A為真的作用下結(jié)論B為真的 D）概率 B)ArtificalIntelligenee D)ArtificalInformation )時(shí)，則定理得

27、證。C)空子句 x可能依賴于y值。令這種依賴關(guān)系明 x可能依賴于y值。令這種依賴關(guān)） P Q ?P PQ B. 模式識別 C. 人工生命 D. 編譯原理 3. 神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派 A. 符號主義 B. 連接主義 C?行為主義 D.都不是 4?已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（） A. 狀態(tài)空間法 B. 問題歸約法 C. 謂詞邏輯法 D. 語義網(wǎng)絡(luò)法 5. 在公式中-yxp（x,y）），存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的 顯地由函數(shù)

28、所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（） A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 6. 子句?PQ和P經(jīng)過消解以后，得到（） A. B. C. D. 7. 8.Aa（A品）=A稱為（），?（AaB）=?A“B稱為（） A. 結(jié)合律B.分配律C.吸收律D.摩根律 &下列哪部分不是專家系統(tǒng)的組成部分（ A. ）用戶B）綜合數(shù)據(jù)庫 9、產(chǎn)生式系統(tǒng)的推理不包括（ A）正向推理B）逆向推理 10、C（B|A）表示在規(guī)則A->B A）可信度B）信度 11、AI的英文縮寫是 A）AutomaticIntelligenee

29、 C）AutomaticeInformation 12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（ A）永真式B）包孕式（subsumed） 13、在公式中-yTxp（x,y）），存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的 系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（ A. 依賴函數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 14、子句?PQ和P經(jīng)過消解以后，得到（） A. B. C. E. 15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。 A. 廣度優(yōu)先搜索 B. 深度優(yōu)先搜索 C. 有界

30、深度優(yōu)先搜索 D. 啟發(fā)式搜索 三、簡答與應(yīng)用題 i. 深度優(yōu)先方法的特點(diǎn)是什么？6 ii. 什么是置換？置換是可交換的嗎？6分 某問題由下列公式描述： ⑴心） ⑵（衣）（吟［去y）-as比gx拗 ⑶（鴉）［p（幅）】 （4）（W）［P（紗匚刃―咫恥））］ （5）（VxXVy）［Q（b,站刃->Q（b聲,勵(lì)）］ （1）、試用歸結(jié)法證明（」x）R（x）；8分 4. 下圖所示博弈樹，按從左到右的順序進(jìn)行a-3剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝, 及應(yīng)選擇的走步。10分 5.10分設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；

31、（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？（10分） 6. 張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員A說：趙與錢中至少有一人作案”偵察 員D說：錢與孫至少有一人作案”；偵察員C說：孫與李中至少有一個(gè)作案”；偵察員D說趙與孫至少一個(gè)與案無關(guān)”；偵察員E說錢與李中至少有一人與此案無關(guān)”。如果這五個(gè)偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（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

32、 B B A 三、簡答與應(yīng)用題 1. 解答：（1）屬于圖搜索；（2）是一個(gè)通用的搜索方法；（3）如果深度限制不合適，有可能找不到問題的解；（4） 不能保證找到最優(yōu)解。 2. 回答：通常用有序?qū)Φ募蟬={t1/v1,t2/v2,…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中 的變量vi處處以項(xiàng)ti來替換，用s對表達(dá)式E作置換后的例簡記為Es。 一般來說，置換是不可交換的，即兩個(gè)置換合成的結(jié)果與置換使用的次序有關(guān)。 (1) ⑵為gxy?] =>(p②Wy)【P(y)vq?芯@(xy))] =>P(y〉VQ(S埜g熱y)) ⑶網(wǎng)叭蝕】 =>P

33、(??) (4) (Vx)[P(x)AQ(bf5為-玖扳芻)] =>(ViOHP(x)AQ(dc,x))VR(h(x))] =>(ViOHP(x)V-Q(b,c,x)VR(h(iO)] ->~Rfx)V^Q(b,c,衣)VROKR) (5) (Vx)(Vy)[Q(bt&刃TQ(b,芯f?)] =>(Vx)(Vy)[^Q(b,詹y)VQ(b,瓦fly))] =>儀匕x,y)VQ(b,盂問)) 目標(biāo)求反： 7弓龍)農(nóng)x) =>(Vx)-R(x) ->~R(韻 變壘換名后，得子句集： {~P?PCylJVQfb^l^xl.yl)). P(fi>2)),^P(xS)V~Q(

34、bjC,x3)VR(h(x3)), ~Q(?x4,y4)VQ(b,x4,f(y4)),-R(x)) 5.、解:現(xiàn)定義如下謂詞 F(x,y)x是y的父親； G(x,z)x是y的祖父； 用謂詞邏輯表示已知與求解： (1)F(x,y)AF(y,z)G(x,z) ⑵F(L,D) ⑶F(D,X) ⑷G(u,v),u=?,v=? 其中丄表示老李，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)V

35、G(L,z)...①②歸結(jié)置換{L/x,D/y} ⑥ G(L,X)...③⑤歸結(jié)，置換{X/z} ⑦ 口...④⑥歸結(jié)置換{L/u,X/v} 得證,說明存在祖孫關(guān)系。 為了求解用一個(gè)重言式④ ④ ?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(趙)T(錢) 偵察員B

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

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

38、數(shù) B. Skolem函數(shù) C. 決定函數(shù) D. 多元函數(shù) 6. 子句~PQ和P經(jīng)過消解以后，得到() A. P B. Q C. ~P E. PQ 7. 8.Ar\(AuB)=A稱為()，~(AaB)=~Am~B稱為() B. 結(jié)合律B.分配律C.吸收律D.摩根律 9、10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，()必然可以得到該最優(yōu)解，()可以認(rèn)為是智能程度相 對比較高”的算法。 D. 廣度優(yōu)先搜索 E. 深度優(yōu)先搜索 （1）深度優(yōu)先搜索 （2）廣度優(yōu)先搜索 （6分） 趙與錢中至少有一人作案”；偵察員D說： ；偵察員D說趙與孫至少一個(gè)與案無關(guān)”；偵察

39、 7.下圖所示博弈樹，按從左到右的順序進(jìn)行aB剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇 的走步。 F. 有界深度優(yōu)先搜索 G. 啟發(fā)式搜索 11. 產(chǎn)生式系統(tǒng)的推理不包括（） A. 正向推理 B. 逆向推理 C. 雙向推理 D. 簡單推理 12. 下列哪部分不是專家系統(tǒng)的組成部分（） A. 用戶 B. 綜合數(shù)據(jù)庫 C. 推理機(jī) D. 知識庫 13. 要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動獲 取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。 A. 專家系統(tǒng) B. 機(jī)器學(xué)習(xí) C

40、. 神經(jīng)網(wǎng)絡(luò) D. 模式識別 14. 人工智能是一門 A）數(shù)學(xué)和生理學(xué)B）心理學(xué)和生理學(xué)C）語言學(xué) D）綜合性的交叉學(xué)科和邊緣學(xué)科 15. 語義網(wǎng)絡(luò)表達(dá)知識時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（）。 A）無悖性B）可擴(kuò)充性C）繼承性 二、填空題（共30分）: 1. 歸結(jié)法中，可以通過的方法得到問題的解答。 2. 「二U二丿…匕二」化成子句形式為：。 3. 從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 4. AI是是的英文縮寫_ 5. 人工智能的基本技術(shù)包括、、、歸納技術(shù)、聯(lián)想技術(shù)。 6. 目前所用的知識表示形式有、、等。 7. 產(chǎn)生式系統(tǒng)有

41、三部分組成，和推理機(jī)。其中推理可分為和。 8. 在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個(gè)量詞的轄域中與該量詞的 指導(dǎo)變元相同的變元稱為，其他變元稱為 9. 1997年5月，著名的人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。 10. 人工智能的遠(yuǎn)期目標(biāo)是,近期目標(biāo) 11、謂詞邏輯中，重言式（tautlogy）的值是。 12、利用歸結(jié)原理證明定理時(shí)，若得到的歸結(jié)式為，則結(jié)論成立。 13、若C1=nPVQ,C2=PVnQ，貝UC1和C2的歸結(jié)式R（C1,C2）=。 14、若C1=P（x）VQ（x）,C2=nP

42、（a）VR（y），貝UC1和C2的歸結(jié)式R（C1,C2）=。 15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是，，。 16、在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。 17、假言推理（A—；B）A=，假言三段論（A—；B）（B—；C）=._. 三、簡答與應(yīng)用題 1、剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？（6分） 2. 將下列謂詞公式化成子句集  x-y-zPz~Qx,z—；Rx,y,fam°（6分） 3、解釋下列模糊性知識: 1）張三，體型，（胖，0.9））。 2）（患者，癥狀，（頭疼，0.95））人（患者，癥狀，（發(fā)燒

43、，1.1））dg者，疾病，（感冒，1.2））（6分） 4. 寫出圖中樹的結(jié)點(diǎn)兩個(gè)訪問序列，要求分別滿足以下兩個(gè)搜索策略: 5、產(chǎn)生式系統(tǒng)由哪些部分組成? 6. 張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員A說:錢與孫至少有一人作案”；偵察員C說：孫與李中至少有一個(gè)作案 員E說錢與李中至少有一人與此案無關(guān)”。如果這五個(gè)偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。 （15分） 25T8-510S-6-1-￡ 答案部分 、選擇題 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 C D B

44、B B B C D A D D A B D C 填空題 1.修改證明樹 2vAbove（x,y） 3. 正向推理 4. ArtificalInteligenee 5. 搜索技術(shù)推理技術(shù)知識表示和知識庫技術(shù) 6. 框架語義網(wǎng)絡(luò)面向?qū)ο? 7. 綜合數(shù)據(jù)庫知識庫正向推理反向推理 8.轄域 約束變元 自由變元 人工智能試卷十 11. 真 12. 空集 13. nPVP或 nQVQ 14. Q(a)V R(y) 15. 刪除策略 支持集策略線性歸結(jié)策略 16. 啟發(fā)函數(shù) 17. B A—；C

45、 9. 深藍(lán) 10. 制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能 三、簡答與應(yīng)用題 1不正確。-剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。 2、x—y—zPz~Qx,z：一；Rx,y,fa 一、選擇題（15小題，共15分） 1、97年5月，著名的人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5算機(jī)被稱為（） A）深藍(lán)B）IBMC）深思 2、下列不在人工智能系統(tǒng)的知識包含的 A）事實(shí)B）規(guī)則 3、謂詞邏輯下，子句 A）C1'VC2'（ 4、或圖通常稱為 A）框架網(wǎng)絡(luò) 比2.5的總比分將世界國際象棋棋王卡

46、斯帕羅夫擊敗，這臺計(jì) x-y十zP(z)nQx,zR(x,y,f(a)) x-y：Tz~P(z)Q(x,z)R(x,y,f(a)) _yz~P(z)Q(b,z)R(b,y,f(a)) 一y~P(gy)Q(b,gy)R(b,y,f(a)) '~P(gy)Q(b,gy)R(b,y,f(a))/ 3、答：1）表示：命題張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。 4、解：（1）深度優(yōu)先搜索： 1-2-5-6-10-11-3-7-12-13-4-8-9 （2）廣度優(yōu)先搜索： 1-2-3-4-5-6-7-8-9-10-11-12-13-14 5解答：組成產(chǎn)生

47、式系統(tǒng)的三要素：（1）綜合數(shù)據(jù)庫；（2）一組產(chǎn)生式規(guī)則（或者規(guī)則集）；（3）一個(gè)控制系統(tǒng)（或者控制策略） 6、解：設(shè)用T（x）表示x是作案者，則 偵察員 A的話可表示： T（趙WT（錢） 偵察員 B的話可表示： T（錢WT（孫） 偵察員 C的話可表示： T（孫WT（李） 偵察員 D的話可表示： HT(趙WT(孫) 偵察員 E的話可表示： HT(錢WHT(李) 上面五個(gè)組成子句集S,求誰是作案者，把-T（x）ANSWER（x）并入Sj得到。即比Sj多出如下一個(gè)子句：-T（x） ANSWER（x） 然后利用消解原理對S1進(jìn)行消解可得答案：錢和孫是作案者。

48、 ,C1=LVC1 B)C1'VC2' B）語義圖 D) 4個(gè)要素中 C)控制和元知識 ',C2=?LV若 C)C1'(AC2' C）博亦圖 藍(lán)天 D）關(guān)系 （是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式 （D）C1'AC2' D）狀態(tài)圖 C=() 5、不屬于人工智能的學(xué)派是 A）符號主義B）機(jī)會主義 6、人工智能的含義最早由一位科學(xué)家于 A）明斯基B）.扎德 C）行為主義 1950年提出, C）圖林 D）連接主義。 并且同時(shí)提出一個(gè)機(jī)器智能的測試模型，請問這個(gè)科學(xué)家是 D）馮.諾依曼 7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能

49、中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（ A）專家系統(tǒng)B）機(jī)器學(xué)習(xí) 8、下列哪部分不是專家系統(tǒng)的組成部分 A.）用戶B）綜合數(shù)據(jù)庫 9、產(chǎn)生式系統(tǒng)的推理不包括（） A）正向推理B）逆向推理 10、C（B|A）表示在規(guī)則A->B中， A）可信度B）信度 11、AI的英文縮寫是 A）AutomatieIntelligenee C）AutomatieeInformation C）神經(jīng)網(wǎng)絡(luò) （） C）推理機(jī) ）。 D）模式識別 D）知識庫 D）簡單推理 證據(jù)A為真的作用下結(jié)論B為真的C）信任增長度D）概率 C）雙向

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

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

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

53、質(zhì)分：，， &在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句；含有的子句； 子句集中被別的子句的子句。 9、對證據(jù)的可信度CF(A)、CF(A1)、CF(A2)之間，規(guī)定如下關(guān)系： CF(~A)=、CF(A1AA2)=、 CF(A1VA2)=。 10、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為 和。 11、合一算法：求非空有限具有相同謂詞名的原子公式集的。 12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個(gè)，那就是知識的獲取、知識的表示和，知識表示的方法主要 有,,和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時(shí)，所使用的推理方法有和 三、簡答與應(yīng)用題 1. 謂詞邏輯形式化下

54、列描述 不存在最大的整數(shù)”(4分) 2. a—枝的條件是什么？ (6分) 3. 某問題由下列公式描述： ⑴g x,&艮y))] ⑴㈣PSXJaQCKC,韻fROW)] ⑸(XX呦[Q(b,冕爲(wèi)勵(lì))] (1) 、試用歸結(jié)法證明(」x)R(x); (8分) 4. 專家系統(tǒng)的一般步驟有哪些？專家系統(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.

55、給1?9九個(gè)數(shù)字排一個(gè)序列，使得該序列的前n(n=1,...,9)個(gè)數(shù)字組成的整數(shù)能被n整除。 (1) 、討論哪些知識可以幫助該問題的求解。 (2) 、用產(chǎn)生式系統(tǒng)描述該問題.(15分) 答案部分 、選擇題 A D A D B C B A D B B C B B A 二、填空題 1、轄域約束變元自由變元 3、刪除策略 4、圖搜索狀態(tài)空間圖(或狀態(tài)圖) 5、啟發(fā)函數(shù) 6、極大極小分析法二L-剪枝技術(shù) 7、隨機(jī)性模糊性不一致性不確定性 8、純文字永真類含 9、~CF(A)min{

56、CF(A1),CF(A2)}max{CF(A1),CF(A2)} 10、或圖與或圖 11、最一般合一 12、知識的運(yùn)用邏輯表示法(謂詞表示法)框架產(chǎn)生式AKOISA 三、簡答及應(yīng)用題 1、定義謂詞G(x):x為整數(shù) D(x,y):x大于y 形式化為： nxG(x)-yG(y)》D(x,y) 或者-xG(x)—；_.yG(y)D(y,x) 2、回答：剪枝：若任一極小值層節(jié)點(diǎn)的B值小于或等于它任一先輩極大值節(jié)點(diǎn)的a值，即a(先輩層)>3 (后繼層)，則可中止該極小值層中這個(gè)MIN節(jié)點(diǎn)以下的搜索過程。這個(gè)MIN節(jié)點(diǎn)最終的倒推值就確定為這個(gè)3 值。 3剪枝：若任一極大值層節(jié)點(diǎn)

57、的a值大于或等于它任一先輩極小值層節(jié)點(diǎn)的3值，即a(后繼層)先輩層)， 則可以中止該極大值層中這個(gè)MAX節(jié)點(diǎn)以下的搜索過程。這個(gè)MAX節(jié)點(diǎn)的最終倒推值就確定為這個(gè)a值。 3、化子句集如下： ⑴~啲 (2) (Vx)(V^[^y)^QCb,站女龍)] =>(VxP(y)VQ(b?耳辭y)) => (4)(Vx)[P(x)AQ(b,cr力—趙城打)] =>(Vx)HP(x)AQ(b,ctx))VR(h(x))] =>(?、赩~Q(b”u,羽VR(h(￡)] =>c?x)VR(h(x)) ⑸(Vx)(Vy)[Q(b?罵⑶)] =>

58、(Mxyy)[~Q(k扎y)VQ(6瓦fiy))] =>~Q(b±熱y)VQ〔b,爲(wèi)fij)) 目標(biāo)求反； => => 變量換名后.得子句集： {申或P(yl)VQ(b,KUgfxl,yl)), c3K3)VR

59、設(shè)計(jì)； 4) 知識庫設(shè)計(jì)、知識庫管理系統(tǒng)設(shè)計(jì)； 5) 推理機(jī)與解釋模塊設(shè)計(jì)； 6) 總控與界面設(shè)計(jì) 7) 編程與調(diào)試 8) 測試與評價(jià) 9) 運(yùn)行與維護(hù) (3) 可以看出它有如下特點(diǎn)： 1)知識獲取和知識表示設(shè)計(jì)是一切工作的起點(diǎn)； 知識表示與知識描述語言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行； 5、答：所謂圖靈實(shí)驗(yàn)”，是為了判斷一臺機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成，分另U放置主持人、 參與人和機(jī)器。主持人向參與人和機(jī)器提問，通過提問的結(jié)果來判斷誰是人，誰是機(jī)器。如果主持人無法判斷誰是人,誰是機(jī)器，則這臺機(jī)器具備智能，即所謂的智能機(jī)器”。 6、解:現(xiàn)定義如下謂詞 F

60、(x,y)x是y的父親； G(x,z)x是y的祖父； 用謂詞邏輯表示已知與求解： (1) F(x,y)AF(y,z)G(x,z) ⑵F(L,D) ⑶F(D,X) ⑷G(u,v),u=?,v=? 其中丄表示老李，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/

61、u,X/v} 得證,說明存在祖孫關(guān)系。 為了求解用一個(gè)重言式④ ④ ?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、如下的知識可以幫助求解該問題： (1) 序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置； (2) 第五個(gè)數(shù)為5。 綜合數(shù)據(jù)庫： 用一個(gè)1到9的序列表示：N={x}，其中x為1到9的數(shù)字之一。 規(guī)則集： r1:IFlen

62、(N)=4THEN{x}U{5} r2:IFlen(N)為偶數(shù)andn=In(1,3,7,9)THEN{x}U{n} r3:IFlen(N)為奇數(shù)andn=In(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個(gè)數(shù)組成的整數(shù)能被i整除 人工智能試卷十三 1. 什么是人工智能？人工智能與計(jì)算機(jī)程序的區(qū)別？ 答：AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來模擬人類智能活動的能力以延伸人類智能的科學(xué)，它與計(jì)算機(jī)程序的區(qū)別是： AI研究的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研

63、究對象 AI采用啟發(fā)式搜索方法而不是普通的算法 控制結(jié)構(gòu)與知識是分離的 允許出現(xiàn)不正確的答案 2. 化下列邏輯表達(dá)式為不含存在量詞的前束范式 X-丫〔-ZPX,Z>RX,Y,fa1 答： X-丫〔Z(PX,Z>RX,Y,fa)1 X-丫〔Z(~PX,ZRX,Y,fa)1 X-丫Z〔~PX,ZRX,Y,fa1 -YZ〔~Pb,ZRb,Y,fa1 -Yl~Pb,f(Y)Rb,Y,fa1 3. 求下列謂詞公式的子句集 -x-y((P(x,y)(Q(x,y)》R(x,y))) 答： y(~(P(x,y)(Q(x,y)R(x,y))) y((~P(x,y)~(Q(x,y)

64、)R(x,y))) -x-y((~P(x,y)R(x,y))(~Q(x,y)R(x,y))) 所以子句集為： {~P(x,y)R(x,y),~Q(x,y)R(x,y)} 4. 若有梯形ABCD,將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯(cuò)角 ABD=/CDB 證明：設(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)的子句集為OPEN表 擴(kuò)展節(jié)點(diǎn) 父節(jié)點(diǎn) A(0) NULL B(3

65、1) A C(28) A D(43) B C(54) B E(38) D C(59) D C(27) E A(51) E CLOSE表 xyuv[T(x,y,u,v)fP(x,y,u,v)]梯形上下底平行 子句：?T(x,y,u,v)VP(x,y,u,v) xyuv[P(x,y,u,v)fE(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)VP(x,y

66、,u,v) ?P(x,y,u,v)VE(x,y,v,u,v,y) 解: Slot1: Slot2: Slot3: Value: Value: Value: Default: Default: Default: If-needed: If-needed: If-needed: If-added: If-added: If-added: FRAME: FRAME:沙塵暴 Slot1:時(shí)間 Value:3月15 日 Default: If-needed: If-added: Slot2:地點(diǎn) Value:韓國漢城 Default: If-needed: If-added: Slot3:損失 Value:不詳 Default: If-needed:一周后 官方公布數(shù)字 If-added: Slot4:起因 Default:中國內(nèi)蒙 古區(qū) 人工智能試卷十八 一、選擇題：(13小題，共13分) 1.人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測試模型，請