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

人工智能試卷四一、選擇題（每題1分，共15分）1、AI的英文縮寫是A）AutomaticIntelligence B）ArtificalIntelligenceC）AutomaticeInformation D）ArtificalInformation2、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式 B）包孕式（subsumed） C）空子句3、從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A）正向推理 B）反向推理 C）雙向推理4、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點知識的（）oA）無悖性 B）可擴(kuò)充性 C）繼承性5、（AtB）AA=>B是A）附加律B）拒收律 C）假言推理 D）US6、命題是可以判斷真假的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）10、下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實 B）規(guī)則 C）控制和元知識 D）關(guān)系11、謂詞邏輯下，子句，C1=LVC1',C2=「LVC2;若。是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A）C1,aVC2,a B）C1%C2， C）C1,aAC2,a D）C1'AC2'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ī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）oA）專家系統(tǒng) B）機(jī)器學(xué)習(xí) C）神經(jīng)網(wǎng)絡(luò) D）模式識別二、填空題（每空1.5分，共30分）1、不確定性類型按性質(zhì)分： 隨機(jī)性,模糊性,不完全性,不一致性。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（-A）=、CF（A1AA2）=、CF（A1VA2）= 4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(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通過8個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。4、已知S={P（f（x）,y,g（y））,P（f（x）,z,g（x））}，求MGU解：5、證明G是否是F的邏輯結(jié)論；F:V%（P（%）aQ（a）vQ（x））G:3%（P（x）aQ（x））四、應(yīng)用題（共30分）1、用語義網(wǎng)絡(luò)表示下列信息：⑴胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號（2）清華大學(xué)與大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用af剪枝技術(shù)剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老是大的父親；（3）大是小的父親；問上述人員中誰和誰是祖關(guān)系？解：答案： -1、B2、C 3、A4、C5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機(jī)性，模糊性，不完全性，不一一致性2、純文字，永真式，類含3、-CF（A），min{CF（A1）,CF（A2）}，max{CF（A1）,CF（A2）}4、節(jié)點，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、A-B，概率8、制造智能機(jī)器，實現(xiàn)機(jī)器智能P是產(chǎn)生式的前提(前件)，用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作(后件)，用于指出當(dāng)前提P所指示的條件滿足時，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語義：如果前提P被滿足，則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作3、1)消去蘊含式和等價式一，<>2)縮小否定詞的作用圍，直到其作用于原子公式：3)適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。4.)消去存在量詞(形成Skolem標(biāo)準(zhǔn)型)5)消去所有全稱量詞6)化成合取式.適當(dāng)改名，使子句間無同名變元.消去合取詞八，用逗號代替，以子句為元素組成一個集合S4、解：k=0;S0=S;60=s;S0不是單元素集，求得差異集D0={y,z},其中y是變元，z是項，且y不在z中出現(xiàn)。k=k+1=1有{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;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(a)VQ(x) ...從F變換③1P(y)VnQ(y)?..結(jié)論的否定@nQ(x) ...①③歸結(jié),{x/y}⑤口 .??②④歸結(jié)，置換{a/x}得證。四、2、W-33、解:現(xiàn)定義如下謂詞F(x,y)——x是y的父親；G(x,z)----x是y的祖父；用謂詞邏輯表示已知與求解：F(x,y)AF(y,z)-G(x,z)F(L,D)F(D,X)G(u,v),u=?,v=?其中,L表示老,D表示大,X表示小。先證存在祖關(guān)系①nF(x,y)VnF(y,z)VG(x,z)...從(1)變換②F(L,D) ...從(2)變換③F(D,X) .一從(3)變換④nG(u,v) ...結(jié)論的否定⑤nF(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é)論的否定,重言式恒為真⑤nF(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á)知識時，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點知識的()。A)無悖性 B)可擴(kuò)充性 C)繼承性3、(A->B)AA=>B是A)附加律B)拒收律 C)假言推理 D)US4、命題是可以判斷真假的A)祈使句 B)疑問句 C)感嘆句 D)述句5、僅個體變元被量化的謂詞稱為A)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞6、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實 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）連接主義。11、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運用（）的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。A）不確定性，不確定性 B）確定性，確定性C）確定性，不確定性 D）不確定性確定性.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）oA）專家系統(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年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是一2、從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是3、AI的英文縮寫是 4、不確定性類型按性質(zhì)分：,，O5、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。6、對證據(jù)的可信度CF（A）、CF（Al）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1AA2）=、CF（A1VA2）=。7、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。8、合一算法：求非空有限具有相同謂詞名的原子公式集的。9、1997年5月，著名的“人機(jī)大戰(zhàn)”，最終名為“”的計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡答及計算題（每題5分，共25分）1、解釋下列模糊性知識：1）三，體型，（胖，0.9））。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é)點II標(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是否是F1、F2的邏輯結(jié)論；F1：Vx（P（x）f（Q（x）△R（x））F2：3x（P（x）△S（x））G：3x（S（x）△R（x））證：四、應(yīng)用題（共30分）1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示答：2、圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用af剪枝技術(shù)剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、利用謂詞邏輯表示下列知識（包括已知和結(jié)論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：TOC\o"1-5"\h\z一、1、D 2、C 3、C 4、D 5、A6、A 7、D 8、C 9、D 10、B、A 12、B 13、A. 14、D 15、B二、1、圖林2、正向推理3、ArtificalIntelligence4、隨機(jī)性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、-CF（A），min{CF（A1）,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)域知識的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫：（事實的集合）存放問題求解過程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實和最后結(jié)果事實）

產(chǎn)生式系統(tǒng)圖搜索初始事實數(shù)據(jù)初始節(jié)點目標(biāo)條件產(chǎn)生式規(guī)則狀態(tài)轉(zhuǎn)換規(guī)則同胞變換規(guī)則規(guī)則庫操作集動態(tài)數(shù)據(jù)庫節(jié)點(狀態(tài)/問題)控制策潞搜索策略3)推理機(jī)：(控制系統(tǒng))是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式和控制策略。3、答：4、解：k=O;SO=S;60f;S0不是單元素集，求得差異集DO={g(A,y)},z},3)推理機(jī)：(控制系統(tǒng))是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式和控制策略。3、答：4、解：k=O;SO=S;60f;S0不是單元素集，求得差異集DO={g(A,y)},z},其中z是變元，g(A,y)是項,且z不在g(A,y)中出現(xiàn)。k=k+1=1根據(jù)求MGU算法，MGU=61={g(A,y)/z)5、證:①P(x)VQ(x)②iP(y)VR(y)'③P(a)@S(a)⑤-iS(z)VnR(z).⑥R(a)⑦iR(a).⑧口...從...從F1變換...從F1變換...從F2變換...從F2變換.結(jié)論的否定...②③歸結(jié){a/y}.④⑤歸結(jié)(a/z}...⑥⑦歸結(jié)四、1、答：謂詞公式表示:3x(student(x)Aread(x,三國演義))語義網(wǎng)絡(luò)表示如圖：

一、填空題(共30分).歸結(jié)法中，可以通過 的方法得到問題的解答。.化成子句形式為：。.從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是 .AI是是的英文縮寫一.人工智能的基本技術(shù)包括、、、一、一。.目前所用的知識表示形式有、、等。.產(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)是。11、謂詞邏輯中，重言式(tautlogy)的值是。12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為，則結(jié)論成立。13、若C1=nPVQ,C2=PV^Q,則C1和C2的歸結(jié)式R(C1,C2)=。14、若C1=P(x)VQ(x),C2=~|P(a)VR(y),則C1和C2的歸結(jié)式R(C1,C2)=。15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是 ,,。16、在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。17、假言推理(A-B)^An,假言三段論(A-B)△(B-C)=.填空題1、修改證明樹2、。3、正向推理4、ArtificalInteligence5、搜索技術(shù)推理技術(shù)知識表示和知識庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)6、語義網(wǎng)絡(luò)面向?qū)ο?、綜合數(shù)據(jù)庫知識庫正向推理反向推理8、轄域 約束變元 自由變元9、深藍(lán)制造智能機(jī)器實現(xiàn)機(jī)器智能直空集~|PVP或1QVQQ(a)VR(y)刪除策略支持集策略線性歸結(jié)策略啟發(fā)函數(shù)B A—C)C)語言學(xué)3、證：現(xiàn)定義如下謂詞L(x,y)——某人x喜歡某物y；P(y)----某物y是清潔的東西Vy3x(P(y)-L(x,y))==>nP(y)VL(f(y),y)VxQL(x,Fly))==>nL(x,Fly)P(Fly)...結(jié)論的反L(f(Fly),Fly)...(1)(3)歸結(jié)，置換{Fly/y}⑸口...(2)(4)歸結(jié),{f(Fly)/x}得證。人工智能試卷八

二、選擇題(15小題，共15分1.人工智能是一門A)數(shù)學(xué)和生理學(xué) B-心理學(xué)和生理學(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.在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PvQ和P經(jīng)過消解以后，得到（）PQ~PPvQ7、8.Aa（AvB）=A稱為（），~（AaB）=~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)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(jié)(消解)證明定理時A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(jié)(消解)證明定理時D）ArtificalInformation若當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式 B）包孕式（subsumed）C）空子句13、在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PvQ和P經(jīng)過消解以后，得到（）PQ~PE.PvQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。C.有界深度優(yōu)先搜索D.啟發(fā)式搜索三、簡答與應(yīng)用題深度優(yōu)先方法的特點是什么？6什么是置換？置換是可交換的嗎？6分某問題由下列公式描述：⑴、試用歸結(jié)法證明（x）R（x）；8分4.下圖所示博弈樹，按從左到右的順序進(jìn)行剪枝搜索，試標(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分）123123456789101112131415CDBBBBCADBBCBBA選擇題.解答：（1）屬于圖搜索；（2）是一個通用的搜索方法；（3）如果深度限制不合適，有可能找不到問題的解；（4）不能保證找到最優(yōu)解。.回答：通常用有序?qū)Φ募蟬={t1/v1,t2/v2,…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項ti來替換，用s對表達(dá)式E作置換后的例簡記為Es。一般來說，置換是不可交換的，即兩個置換合成的結(jié)果與置換使用的次序有關(guān)。A.廣度優(yōu)先搜索B.深度優(yōu)先搜索A.廣度優(yōu)先搜索B.深度優(yōu)先搜索⑴倒3)⑵(VXKV*1KHy)TQCb,區(qū)0,y?]=>(Vs)CVy)[P(y)VQ(b,漢或顯瑣]=nP(y)VQS,凡gfcy))(3)^)[P(^)1=>W)⑷NX)3何八Q&% RX項=>(Vk)MP^)AQ(b,c,啕)翩]=>(V&[?R?V?QQc,x)VR(h(^]=>~RXiV~Q(h工的VR<a出)⑴小顏V咖QQ,垓fQ電Mfiy?]=>伊團(tuán)Ty)[~Q8,^y)VQg,&fij))]=>-Q(bn區(qū)y)VQ(b,及屯))目標(biāo)求反；M五)W藥=.=(Yk)-Rj(^=>~Rj(x)變量換名后，得子句集：LH。Ptyl)VQg如內(nèi)立了以P(哈班~P(X5V-QS,j電VFW笈身,~QSx4.y4)VQM朗，fiy4?.?.、解:現(xiàn)定義如下謂詞F(x,y)——x是y的父親；G(x,z)——x是y的祖父；用謂詞邏輯表示已知與求解：F(x,y)AF(y,z)-G(x,z)F(L,D)F(D,X)G(u,v),u=?,v=?其中,L表示老,D表示大,X表示小。先證存在祖關(guān)系①?F(x,y)V?F(y,z)VG(x,z。..從⑴變換②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的祖父，即老是小的祖父。.解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T()T(錢)偵察員B的話可表示：T(錢)T()偵察員C的話可表示：T()T()偵察員D的話可表示：T()T()偵察員E的話可表示：T(錢)T()上面五個組成子句集S,求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x)然后利用消解原理對S1進(jìn)行消解可得答案：錢和是作案者。人工智能試卷九試題部分：一、選擇題(15小題，共15分)1.人工智能產(chǎn)生于哪一年()。A.1957B.1962C.1956D.1979.下列哪個不是人工智能的研究領(lǐng)域()A.機(jī)器證明B.模式識別C.人工生命D.編譯原理.神經(jīng)網(wǎng)絡(luò)研究屬于下列()學(xué)派A.符號主義B.連接主義C.行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫()A.狀態(tài)空間法B.問題歸約法C.謂詞邏輯法D.語義網(wǎng)絡(luò)法.在公式中Vymxp(x,y)),存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做()A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PvQ和P經(jīng)過消解以后，得到()PQ~PF.PvQ7、8.Aa(AvB)=A稱為(),~(AaB)o~Av~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ā)式搜索.產(chǎn)生式系統(tǒng)的推理不包括（）A.正向推理B.逆向推理C.雙向推理D.簡單推理.下列哪部分不是專家系統(tǒng)的組成部分（）A.用戶B.綜合數(shù)據(jù)庫C.推理機(jī)D.知識庫13.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）oA.專家系統(tǒng)B.機(jī)器學(xué)習(xí)C.神經(jīng)網(wǎng)絡(luò)D.模式識別14、人工智能是一門A）數(shù)學(xué)和生理學(xué) B）心理學(xué)和生理學(xué) C）語言學(xué)D）綜合性的交叉學(xué)科和邊緣學(xué)科15、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點知識的（）oA）無悖性 B）可擴(kuò)充性 C）繼承性二、填空題（共30分）：.歸結(jié)法中，可以通過 的方法得到問題的解答。.化成子句形式為：o.從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是.AI是是的英文縮寫一.人工智能的基本技術(shù)包括、、、歸納技術(shù)、聯(lián)想技術(shù)。.目前所用的知識表示形式有、、等。.產(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)是。11、謂詞邏輯中，重言式（tautlogy）的值是。12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為，則結(jié)論成立。13、若C1=nPVQ，C2=PVqQ，則C1和C2的歸結(jié)式R（C1，C2）=。14、若C1=P（x）VQ（x），C2-P（a）VR（y），則C1和C2的歸結(jié)式R（C1,C2）=。15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的是 ，，。16、在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。17、假言推理（AfB）、小，假言三段論（AfB）△（BfC）n.三、簡答與應(yīng)用題1、剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？（6分）2.將下列謂詞公式化成子句集3xVy（vz（PQ）a~Q（x,z））.RQ,y，f（a）））。（6分）3、解釋下列模糊性知識：1）三，體型，（胖，0.9））。2）（患者，癥狀，（頭疼，0.95） ）A （患者，癥狀，（發(fā)燒，1.1））一（患者，疾病，（感冒，1.2））（6分）4.寫出圖中樹的結(jié)點兩個訪問序列，（1）深度優(yōu)先搜索（2）廣度優(yōu)先搜索要求分別滿足以下兩個搜索策略：（6分要求分別滿足以下兩個搜索策略：（6分）.某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“與錢中至少有一人作案”；偵察員D說：“錢與至少有一人作案”；偵察員C說：“與中至少有一個作案”；偵察員D說“與至少一個與案無關(guān)”；偵察員E說“錢與中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分）.下圖所示博弈樹，按從左到右的順序進(jìn)行a-p剪枝搜索，試標(biāo)明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。答案部分、選擇題123456789101112131415CDBBBBCDADDABDC填空題.修改證明樹.。.正向推理.ArtificalInteligence.搜索技術(shù)推理技術(shù)知識表示和知識庫技術(shù).框架語義網(wǎng)絡(luò)面向?qū)ο?綜合數(shù)據(jù)庫知識庫正向推理反向推理.轄域約束變元自由變元.深藍(lán).制造智能機(jī)器實現(xiàn)機(jī)器智能.真.空集.~|PvP或1QvQ

.Q(a)vR(y).刪除策略支持集策略線性歸結(jié)策略.啟發(fā)函數(shù).BA—C三、簡答與應(yīng)用題1不正確。一剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。2、3xVy(Vz(P(z)A~qQ,z))fRQ,y,/G)))3xVy(qVz(P(z)△qQ(x,z))vR(x,y,f(a)))3xVy6z(~P(z)vQ(x,z))vR(x,y,f(a)))Vy(3z(~P(z)vQ(b,z))vR(b,y,f(a)))Vy((~P(g(y)vQ(b,g(y)))vR(b,y,f(a)))1~P(g(y))vQ(b,g(y)vR(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—145解答：組成產(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)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x)然后利用消解原理對S1進(jìn)行消解可得答案：錢和是作案者。人工智能試卷十一、選擇題(15小題，共15分)1、97年5月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為()A)深藍(lán) B)IBMC)深思 D)2、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實 B)規(guī)則 C)控制和元知識 D)關(guān)系3、謂詞邏輯下，子句，C1=LVC11,C2=-LVC21,若。是互補(bǔ)文字的(最一般)合一置換，則其歸結(jié)式C=()A)C1‘a(chǎn)VC2,a B)C1'VC2' C)C1‘a(chǎn)AC2,a D)C1'AC2'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ī)如何自動獲取知識和技能，實現(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)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(jié)(消解)證明定理時A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(jié)(消解)證明定理時D)ArtificalInformation若當(dāng)前歸結(jié)式是()時，則定理得證。A)永真式 B)包孕式(subsumed)C)空子句13、在公式中Vy3xp(x,y)),存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做()A.依賴函數(shù)Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PvQ和P經(jīng)過消解以后，得到()PQ~PG.PvQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，()必然可以得到該最優(yōu)解。H.廣度優(yōu)先搜索I.深度優(yōu)先搜索J.有界深度優(yōu)先搜索D.啟發(fā)式搜索、填空題(共30分):1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為2、假言推理(A-B)^An,假言三段論(A-B)△(B-C)n3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為—.在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。.在二人博弈問題中，最常用的一種分析技術(shù)是,這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了7、不確定性類型按性質(zhì)分：,,,。8、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據(jù)的可信度CF(A)、CF(A1)、CF(A2)之間，規(guī)定如下關(guān)系：CF(~A)=、CF(A1AA2)=、CF(A1VA2)=。10、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和,知識表示的方法主要有,,和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所使用的推理方法有和三、簡答與應(yīng)用題1、謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4分)2.a-p剪枝的條件是什么？(6分)3、某問題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；(8分).專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？(7分).何謂“圖靈實驗”？簡單描述之(5分)6、設(shè)有如下關(guān)系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老是大的父親；(3)大是小的父親；問上述人員中誰和誰是祖關(guān)系？(10分).給1?9九個數(shù)字排一個序列，使得該序列的前n(n=1,...,9)個數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識可以幫助該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案部分、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變元 自由變元B AfC3、刪除策略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、知識的運用邏輯表示法(謂詞表示法)框架產(chǎn)生式AKOISA三、簡答及應(yīng)用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y形式化為：q3x(G(x)△Vy(G(y).D(x,y)))或者Vx(G(x).3y(G(y)△D(y,x)))2、回答:a剪枝：若任一極小值層節(jié)點的B值小于或等于它任一先輩極大值節(jié)點的a值，即。(先輩層)邛(后繼層)，則可中止該極小值層中這個MIN節(jié)點以下的搜索過程。這個MIN節(jié)點最終的倒推值就確定為這個B值。B剪枝：若任一極大值層節(jié)點的a值大于或等于它任一先輩極小值層節(jié)點的B值，即。(后繼層)？B(先輩層)，則可以中止該極大值層中這個MAX節(jié)點以下的搜索過程。這個MAX節(jié)點的最終倒推值就確定為這個a值。3、化子句集如下：d=>巴y)VQ由6鼠罌叼)=>4代知=>(V勾[UFV0AQ(也c,OjVWMXO]=> c,鼓7雙現(xiàn)&)]⑸6項先鞏Q8,區(qū)也工=>(Vx)(Vy)[-Q(br紋y)VQ也七號))]=>~Q8,風(fēng)力VQ電說f&))目標(biāo)求反：Y荻)取用=>(W@?網(wǎng)為=>堂量換客后m得子句集：~Q色M74)VQ(br必電幻),4、答：(1)專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。(2)但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：)系統(tǒng)總體分析與設(shè)計；)知識獲?。?)知識表示與知識描述語言設(shè)計；)知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；)推理機(jī)與解釋模塊設(shè)計；6)總控與界面設(shè)計7)編程與調(diào)試8)測試與評價9)運行與維護(hù)(3)可以看出它有如下特點：1)知識獲取和知識表示設(shè)計是一切工作的起點；知識表示與知識描述語言確定后，其他設(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的祖父；用謂詞邏輯表示已知與求解：F(x,y)AF(y,z)-G(x,z)F(L,D)F(D,X)G(u,v),u=?,v=?其中,L表示老,D表示大,X表示小。先證存在祖關(guān)系①?F(x,y)V?F(y,z)VG(x,z)...從⑴變換②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、如下的知識可以幫助求解該問題：(1)序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；(2)第五個數(shù)為5。綜合數(shù)據(jù)庫：用一個1到9的序列表示：N={x},其中x為1到9的數(shù)字之一。規(guī)則集：r1:IFIen(N)=4THEN{x}U{5}2:IFlen(N)為偶數(shù)andn=ln(1,3,7,9)THEN{x}u{n}⑶IFlen(N)為奇數(shù)andn=ln(2,4,6,8)THEN{x}u{n}其中l(wèi)en(N)為求序列的長度，ln(a,b,c,d)為取a、b、c、d之一。初始狀態(tài)：{}結(jié)束條件：得到的序列N前i個數(shù)組成的整數(shù)能被i整除人工智能試卷十三.什么是人工智能？人工智能與計算機(jī)程序的區(qū)別？答：AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來模擬人類智能活動的能力以延伸人類智能的科學(xué)，它與計算機(jī)程序的區(qū)別是：eai研究的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研究對象eai采用啟發(fā)式搜索方法而不是普通的算法?？刂平Y(jié)構(gòu)與知識是分離的。允許出現(xiàn)不正確的答案.化下列邏輯表達(dá)式為不含存在量詞的前束式6x)Gy)KvZ)Pa,Z)fR(X,Y,f(aJA答：6x)Gy)l3z(p(x,z)fGxX/yhz(?P(X,Z)vR(X,YJ(cl)))\3XVK3zLP(X,Z)vR(X,Y,f(a^VK3zLP(b,Z)7R(b,Y,f(aJAVyLP(Z?,f(y))vR(b,YJ(alA.求下列謂詞公式的子句集VxVy((P(x,y)v(Q(x,y)fR(x,y)))答：■Vy(~(P(x,y)v(Q(x,y)vR(x,y)))VxVy((?P(x,y)A?(Q(x,y))vR(x,y)))VxVy((?P(x,y)vR(x,y))a(?Q(x,y)vR(x,y)))所以子句集為：{?P(x,y)v尺(九y),?Q(x,y)vR(x,y)).若有梯形ABCD,將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明錯角=證明：設(shè)梯形頂點依次為a,b,c,d,定義謂詞：T(x,y,u,v):表示xy為上底,uv為下底的梯形.P(x,y,u,v):表示xy||uvE(x,y,z,u,v,w)表示Nxyz=Nuvw,問題的描述和相應(yīng)的子句集為xyuv[T(x,y,u,v)一P(x,y,u,v)]…梯形上下底平行子句:?T(x,y,u,v)VP(x,y,u,v)xyuv[P(x,y,u,v)一E(x,y,v,u,v,y)]…平行則錯交相等子句：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)C(27)C(27)EA(51)E擴(kuò)展節(jié)點父節(jié)點A(0)NULLC(28)AE(29)CD(38)EB(43)DA(31)BCLOSE表7.用框架表示下述報導(dǎo)的沙塵暴災(zāi)害事件子句集S為?T(x,y,u,v)VP(x,y,u,v)?P(x,y,u,v)VE(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é)原理得證。.求子句集S=.(x,a,f(g(y)),P(z,h(z,u),f(u))｝的MGU解：解：解：k=0SO=S 楔單元素集，求得差異集D0={a/z},其中z是變元，a是項，且z不在a中出現(xiàn)。k=k+1=1有{a/z}=￡-{a/z}={a/z},S1=S0-{a/z}={P(a,x,f(g(y)),P(a,h(a,u),f(u))),S1不是單元素集，求得差異集D1={x,h(a,u)},k=k+1=262=61{h(a,u)/x}=(a/z,h(a,u)/x},S2=S1-{h(a,u)/x}={P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u))),S2不是單元素集，求得差異集D2={g(y),u},k=k+1=363=62-{g(y)/u}={a/z,h(a,u)/x}-(g(y)/u}={a/z,h(a,g(y))/x,g(y)/u)S3=S2-{g(y)/u}={P(a,h(a,g(y)),f(g(y)))}是單元素集。根據(jù)求MGU算法，MGU=63={a/z,h(a,g(y))/x,g(y)/u}.用代價優(yōu)先算法求解下圖的旅行推銷員問題，請找一條從出發(fā)能遍歷各城市的最佳路徑(旅行費最少)，每條弧上的數(shù)字表示城市間的旅行費用。并用CLOSED表記錄遍歷過的結(jié)點，OPEN表記錄待遍歷的結(jié)點。畫出closed和open表的變化過程，然后根據(jù)closed表找出最佳路徑。OPEN表擴(kuò)展節(jié)點父節(jié)點A(0)NULLB(31)AC(28)AD(43)BC(54)BE(38)DC(59)D［虛擬新華社3月16日電］昨日，沙塵暴襲擊國漢城，機(jī)場與高速公路被迫關(guān)閉，造成的損失不詳。國官方示，如果需要直接損失情況，可待一周后的官方公布的字。此次沙塵暴起因中日專家認(rèn)為是由于中國區(qū)過分墾牧破壞植被所致。 提示：分析概括用下劃線標(biāo)出的要點，經(jīng)過概念化形成槽(Slot)并擬出槽的名稱，選填側(cè)面(face)值。側(cè)面包含“值(value)"，“默認(rèn)值(default)"，“如果需要值(if-needed)"，“如果附加值(if-added)”幾個方面，用不到的側(cè)面值可刪除。FRAME：Slot1：Value：Default：If-needed：If-added：Slot2：Value：Default：If-needed：If-added：Slot3：Value：Default：If-needed：If-added：FRAME：沙塵暴Slot1：時間Slot2：地點Slot3：損失Slot4：起因Value：3月15Value：國漢城Value：不詳Default：中國區(qū)日Default：Default：Default：If-needed：If-needed：一周后If-needed：If-added：官方公布數(shù)字If-added：If-added：人工智能試卷十八一、選擇題：(13小題，共13分)1.人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是(C)。A.明斯基B.扎德C.圖靈D..諾依曼2.下列哪個不是人工智能的研究領(lǐng)域(D)A.機(jī)器證明B.模式識別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列(B)學(xué)派A.符號主義B.連接主義C.行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫(B)A.狀態(tài)空間法B.問題歸約法C.謂詞邏輯法D.語義網(wǎng)絡(luò)法.在公式中Vymxp(x,y)),存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做(B)A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PvQ和P經(jīng)過消解以后，得到(B)PQ~PH.PvQ7,8.Aa(AvB)oA稱為(C),~(AaB)o~Av~B稱為(D)三、結(jié)合律B.分配律C.吸收律D.摩根律9,10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，(A)必然可以得到該最優(yōu)解，(D)可以認(rèn)為在這幾種算法中是“智能程度相對比較高”的算法。K.廣度優(yōu)先搜索.深度優(yōu)先搜索M.有界深度優(yōu)先搜索N.啟發(fā)式搜索.產(chǎn)生式系統(tǒng)的推理不包括(D)A.正向推理B.逆向推理C.雙向推理D.簡單推理.下列哪部分不是專家系統(tǒng)的組成部分(A)A.用戶B.綜合數(shù)據(jù)庫C.推理機(jī)D.知識庫.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫(B)。A.專家系統(tǒng)B.機(jī)器學(xué)習(xí)C.神經(jīng)網(wǎng)絡(luò)D.模式識別！二、填空題：(12小題，共30分).人工智能三大學(xué)派是符號主義、聯(lián)結(jié)主義、行為主義。.化成子句形式為口.從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理.AI的英文縮寫是ArtificalInteligence.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域」，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為約束變元 ，其他變元稱為自由變元6、假言推理(A-B)AAn B，假言三段論(A-B)a(B-C)n A-C7、幾種常用的歸結(jié)策略： 刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略8、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為圖搜索技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為狀態(tài)空間圖(或狀態(tài)圖).在啟發(fā)式搜索當(dāng)中，通常用啟發(fā)函數(shù)來表示啟發(fā)性信息。.在二人博弈問題中，最常用的一種分析技術(shù)是極大極小分析法，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了a-8剪枝技術(shù).某產(chǎn)生式系統(tǒng)中的一條規(guī)則：A(x)-B(X)，則前件是A(X)，后件是B(X).在框架和語義網(wǎng)絡(luò)兩種知識表示方法中，3^適合于表示結(jié)構(gòu)性強(qiáng)的知識，而語義網(wǎng)絡(luò)則適合表示一些復(fù)雜的關(guān)系和聯(lián)系的知識。面向?qū)ο蟛粌H僅是一種知識表示方法，也是一種流行的軟件設(shè)計和開發(fā)技術(shù)。三、簡答題：(3小題，共27分).把下列謂詞公式分別化成相應(yīng)的子句集：x(yP(x,y)T?y(Q(x,y)-R(x,y)))(9分)解：x(yP(x,y)T?y(Q(x,y)-R(x,y)))==>x(yP(x,y)-y?(?Q(x,y)VR(x,y)))==>x(yP(x,y)-y(Q(x,y)八?R(x,y)))==>x(?yP(x,y)Vy(Q(x,y)八?R(x,y)))==>x(y?P(x,y)Vy(Q(x,y)八?R(x,y)))......改名)==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))……y=f(x),z=g(x)消去存在量詞y,z==>x(?P(x,f(x))V(Q(x,g(x))八?R(x,g(x))))==>x((?P(x,f(x))V(Q(x,g(x))八(?P(x,f(x))V?R(x,g(x))))從而謂詞公式的子句集是1?P(x,f(x))V(Q(x,g(x)，?P(x,f(x))V?R(x,g(x))).專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？(5分)答：(1)專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。(2)但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：系統(tǒng)總體分析與設(shè)計；知識獲??；知識表示與知識描述語言設(shè)計；知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；推理機(jī)與解釋模塊設(shè)計；總控與界面設(shè)計編程與調(diào)試測試與評價運行與維護(hù)(3)可以看出它有如下特點：2)知識獲取和知識表示設(shè)計是一切工作的起點；知識表示與知識描述語言確定后，其他設(shè)計可同時進(jìn)行；2、八數(shù)碼游戲，初始棋局和目標(biāo)棋局如圖，定義啟發(fā)函數(shù)h(X)表示某狀態(tài)下與目標(biāo)數(shù)碼不同的位置個數(shù)，用全局擇優(yōu)法畫出搜索的過程。(8分)初始狀態(tài):，目標(biāo)狀態(tài)：解：4、試實現(xiàn)一個“大學(xué)教師”的框架，大學(xué)教師類屬于教師，包括以下屬性：學(xué)歷（學(xué)士、碩士、博士）、專業(yè)（計算機(jī)、電子、自動化、……）、職稱（助教、講師、副教授、教授）（5分）解：框架名：〈大學(xué)教師,類屬：＜教師,學(xué)歷：（學(xué)士、碩士、博士）專業(yè)：（計算機(jī)、電子、自動化、…..）職稱：（助教、講師、副教授、教授）四、應(yīng)用題：（2小題，共30分）.某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“與錢中至少有一人作案”；偵察員D說：“錢與至少有一人作案”；偵察員C說：“與中至少有一個作案”；偵察員D說“與至少一個與案無關(guān)”；偵察員E說“錢與中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分）解：設(shè)用T（x）表示x是作案者，則偵察員A的話可表示：T（）T（錢）偵察員B的話可表示：T（錢）T（）偵察員C的話可表示：T（）T（）偵察員D的話可表示：T（）T（）偵察員E的話可表示：T（錢）T（）上面五個組成子句集S,求誰是作案者，把T（x）ANSWER（x）并入S1得到。即比S1多出如下一個子句：T（x）ANSWER（x）然后利用消解原理對S1進(jìn)行消解可得答案：錢和是作案者。.某企業(yè)欲招聘一個JAVA程序員，定義如下產(chǎn)生式規(guī)則（要求）：r1:IF有工作經(jīng)驗or（本科以上學(xué)歷and有相關(guān)知識背景then錄用（0.9）r2:IF工作兩年以上and作過相關(guān)工作then有工作經(jīng)驗（0.8）r3:IF學(xué)過數(shù)據(jù)結(jié)構(gòu)and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫and學(xué)過軟件工程then有相關(guān)知識背景（0.9）r4:學(xué)過數(shù)據(jù)結(jié)構(gòu)（相關(guān)課程的成績/100）⑸學(xué)過JAVA（相關(guān)課程的成績/100）r6:學(xué)過數(shù)據(jù)庫（相關(guān)課程的成績/100）r7:學(xué)過軟件工程（相關(guān)課程的成績/100）⑻做過相關(guān)工作：JAVA程序員：1,項目經(jīng)理：1,數(shù)據(jù)庫開發(fā)工程師：0.9,數(shù)據(jù)庫管理員：0.7,網(wǎng)絡(luò)管理員：0.6,客服人員：0.4設(shè)有一本科畢業(yè)生甲，其相關(guān)課程的成績?yōu)閿?shù)據(jù)結(jié)構(gòu)=85,JAVA=80,數(shù)據(jù)庫=40，軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開發(fā)人員根據(jù)確定性理論，問該公司應(yīng)該招聘誰？如果你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程的成績至少達(dá)到多少？（15分）解：（1）對于本科畢業(yè)生，由r4,r5,r6,r7：CF（學(xué)過數(shù)據(jù)結(jié)構(gòu)）=0.6CF（學(xué)過JAVA）=0.8CF（學(xué)過數(shù)據(jù)庫）=0.4CF（學(xué)過軟件工程）=0.9由r3,CF（有相關(guān)知識背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36CF（本科學(xué)歷）=1由r1,CF（錄用）=0.9*min{0.36,1}=0.324（2）對于社會招聘人員，由r8,CF（相關(guān)工作）=0.9CF（工作兩年以上）=1由r2,CF（有工作經(jīng)驗）=0.8*min{1,0.9}=0.72由r1,CF（錄用）=0.9*0.72=0.648所以，該公司應(yīng)錄用社會招聘人員乙。（3）可以看出，應(yīng)該加強(qiáng)數(shù)據(jù)庫的學(xué)習(xí)，并使該門課程達(dá)到80分以上。工智能試卷十九一、選擇題（每題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é)點知識的（）。A）無悖性 B）可擴(kuò)充性C）繼承性3、(A->B)AA=>B是A）附加律 B）拒收律 C）假言推理4、命題是可以判斷真假的D)USA）祈使句 B）疑問句 C）感嘆句5、僅個體變元被量化的謂詞稱為D）述句A）一階謂詞 B）原子公式 C）二階謂詞6、MGU是D）全稱量詞A）最一般合一 8）最一般替換 C）最一般謂詞最一般合一7、下歹|」不在人工智能系統(tǒng)的知識包含的4個要素中D）基替換A）事實 B）規(guī)則 C）控制8、當(dāng)前歸結(jié)式是（）時，則定理得證。D）關(guān)系A(chǔ)）永真式 B包孕式（subsumed）9、或圖通常稱為C）空子句A）框架網(wǎng)絡(luò) B）語義圖 C）博亦圖 D）狀態(tài)圖10、不屬于人工智能的學(xué)派是A）符號主義 B）機(jī)會主義 C）行為主義 D）連接主義。11、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運用（）的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。A）不確定性，不確定性 B）確定性，確定性C）確定性，不確定性 D）不確定性確定性.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）oA）專家系統(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.5分，共30分）1、不確定性類型按性質(zhì)分：，,,。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據(jù)的可信度CF（A）、CF（Al）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1AA2）=、CF（A1VA2）= 4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的邏輯關(guān)系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P（B|A）表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡答及計算題1、將下列自然語言轉(zhuǎn)化為謂詞表示形式：（1）所有的人都是要呼吸的。（2）每個學(xué)生都要參加考試。（3）任何整數(shù)或是正的或是負(fù)的。（12分）2、人工智能主要有哪幾種研究途徑和技術(shù)方法，簡單說明之。（8分）答：（1）符號智能：主要以符號知識為基礎(chǔ)，通過符號推理進(jìn)行問題求解而實現(xiàn)的智能，主要包括知識工程和符號處理技術(shù)；（2）計算智能：是以數(shù)據(jù)計算為基礎(chǔ)，通過數(shù)值計算進(jìn)行問題求解而實現(xiàn)的智能，包括人工神經(jīng)網(wǎng)絡(luò)，進(jìn)化計算，模糊技術(shù)等。3、設(shè)已知：（1）能閱讀者是識字的；（2）海豚不識字；（3）有些海豚是聰明的；求證:有些聰明者并不能閱讀.（10分）4、下列謂詞公式分別化成相應(yīng)的子句集。（10分）x（yP（x,y）T?y（Q（x,y）-R（x,y）））5、某企業(yè)欲招聘一個JAVA程序員，定義如下產(chǎn)生式規(guī)則（要求）：r1：IF有工作經(jīng)驗or（本科以上學(xué)歷and有相關(guān)知識背景then錄用（0.9）r2:IF工作兩年以上and作過相關(guān)工作then有工作經(jīng)驗（0.8）⑶IF學(xué)過數(shù)據(jù)結(jié)構(gòu)and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫and學(xué)過軟件工程 then 有相關(guān)知識背景（0.9）r4:學(xué)過數(shù)據(jù)結(jié)構(gòu)（相關(guān)課程的成績/100）⑸學(xué)過JAVA（相關(guān)課程的成績/100）r6:學(xué)過數(shù)據(jù)庫（相關(guān)課程的成績/100）r7:學(xué)過軟件工程（相關(guān)課程的成績/100）r8:做過相關(guān)工作：JAVA程序員：1,項目經(jīng)理：1,數(shù)據(jù)庫開發(fā)工程師：0.9,數(shù)據(jù)庫管理員：0.7,網(wǎng)絡(luò)管理員：0.6,客服人員：0.4設(shè)有一本科畢業(yè)生甲，其相關(guān)課程的成績?yōu)閿?shù)據(jù)結(jié)構(gòu)=85,JAVA=80,數(shù)據(jù)庫=40，軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開發(fā)人員根據(jù)確定性理論，問該公司應(yīng)該招聘誰？如果你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程的成績至少達(dá)到多少？（15分）解：（1）對于本科畢業(yè)生，由r4，r5，r6，r7：CF（學(xué)過數(shù)據(jù)結(jié)構(gòu)）=0.6CF（學(xué)過JAVA）=0.8CF（學(xué)過數(shù)據(jù)庫）=0.4CF（學(xué)過軟件工程）=0.9由r3，CF（有相關(guān)知識背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36CF（本科學(xué)歷）=1由r1，CF（錄用）=0.9*min{0.36,1}=0.324（2）對于社會招聘人員，由r8,CF（相關(guān)工作）=0.9CF（工作兩年以上）=1由r2,CF（有工作經(jīng)驗）=0.8*min{1,0.9}=0.72由r1,CF（錄用）=0.9*0.72=0.648所以，該公司應(yīng)錄用社會招聘人員乙。（3）可以看出，應(yīng)該加強(qiáng)數(shù)據(jù)庫的學(xué)習(xí)，并使該門課程達(dá)到80分以上。答案：TOC\o"1-5"\h\z一、1、D 2、C 3、C 4、D 5、A6、A 7、D 8、C 9、D 10、B11、A 12、B 13、A. 14、D 15、B二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-CF（A）,min{CF（A1）,CF（A2）},max{CF（A1）,CF（A2）}4、節(jié)點，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、A—B,概率8、制造智能機(jī)器，實現(xiàn)機(jī)器智能三、簡答及計算題1、將下列自然語言轉(zhuǎn)化為謂詞表示形式：（3）所有的人都是要呼吸的。（4）每個學(xué)生都要參加考試。（3）任何整數(shù)或是正的或是負(fù)的。（12分）解：設(shè)M（x）：x是人，H（x）：x要呼吸。P(x)：x是學(xué)生， Q(x)：x要參加考試。J(x)：x是整數(shù)，R(x)：x是正數(shù)，N(x)：x是負(fù)數(shù)。則上述三題就記為：V-x(M(x)^H(x))V-x(P(x)-Q(x))⑶V-x(l(x)-R(x)VN(x)))2、人工智能主要有哪幾種研究途徑和技術(shù)方法，簡單說明之。(8分)答：(1)符號智能：主要以符號知識為基礎(chǔ)，通過符號推理進(jìn)行問題求解而實現(xiàn)的智能，主要包括知識工程和符號處理技術(shù)；(2)計算智能：是以數(shù)據(jù)計算為基礎(chǔ)，通過數(shù)值計算進(jìn)行問題求解而實現(xiàn)的智能，包括人工神經(jīng)網(wǎng)絡(luò)，進(jìn)化計算,模糊技術(shù)等。3、設(shè)已知：(1)能閱讀者是識字的；(2)海豚不識字；(3)有些海豚是聰明的；求證:有些聰明者并不能閱讀.(10分)證:定義如下命題：R(x):x能閱讀；L(x):x識字；l(x):x是聰明的；D(x):x是海豚；把已知條件及求證結(jié)論翻譯成謂詞公式為x(R(x)-L(x))…已知x(D(x)t?L(x))…已知x(D(x)八l(x))…已知x(l(x)八?R(x))…求證結(jié)論將已知條件，求證結(jié)論的反化成子句集①?R(x)VL(x)②?D(y)V?L(y)③D(a)@l(a)⑤?l(z)VR(z)⑥?L(a)……2,3歸結(jié)(a/y}⑦?R(a)……1,6歸結(jié)(a/x}⑧R(a)……4,5歸結(jié)(a/z}⑨口……7,8歸結(jié)得證.5、下列謂詞公式分別化成相應(yīng)的子句集。(10分)⑴x(yP(x,y)T?y(Q(x,y)-R(x,y)))解：x(yP(x,y)T?y(Q(x,y)-R(x,y)))==>x(yP(x,y)-y?(?Q(x,y)VR(x,y)))==>x(yP(x,y)-y(Q(x,y)八?R(x,y)))==>x(?yP(x,y)Vy(Q(x,y)八?R(x,y)))==>x(y?P(x,y)Vy(Q(x,y)八?R(x,y)))......改名)==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))......y=f(x),z=g(x)消去存在量詞y,z==>x(?P(x,f(x))V(Q(x,g(x))八?R(x,g(x))))==>x((?P(x,f(x))V(Q(x,g(x))八(?P(x,f(x))V?R(x,g(x))))從而謂詞公式的子句集是1?P(x,f(x))V(Q(x,g(x),?P(x,f(x))V?R(x,g(x)))5、某企業(yè)欲招聘一個JAVA程序員，定義如下產(chǎn)生式規(guī)則(要求)：r1:IF有工作經(jīng)驗or(本科以上學(xué)歷and有相關(guān)知識背景then錄用(0.9)r2:IF 工作兩年以上and作過相關(guān)工作then有工作經(jīng)驗(0.8)⑶IF學(xué)過數(shù)據(jù)結(jié)構(gòu)and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫and學(xué)過軟件工程then 有相關(guān)知識背景(0.9)r4:學(xué)過數(shù)據(jù)結(jié)構(gòu)(相關(guān)課程的成績/100)⑸學(xué)過JAVA(相關(guān)課程的成績/100)r6:學(xué)過數(shù)據(jù)庫(相關(guān)課程的成績/100)r7:學(xué)過軟件工程(相關(guān)課程的成績/100)r8:做過相關(guān)工作：JAVA程序員：1,項目經(jīng)理：1,數(shù)據(jù)庫開發(fā)工程師：0.9,數(shù)據(jù)庫管理員：0.7,網(wǎng)絡(luò)管理員：0.6,客服人員：0.4設(shè)有一本科畢業(yè)生甲，其相關(guān)課程的成績?yōu)閿?shù)據(jù)結(jié)構(gòu)=85,JAVA=80,數(shù)據(jù)庫=40，軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開發(fā)人員根據(jù)確定性理論，問該公司應(yīng)該招聘誰？如果你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程的成績至少達(dá)到多少？(15分)解：(1)對于本科畢業(yè)生，由r4,r5,r6,r7：CF(學(xué)過數(shù)據(jù)結(jié)構(gòu))=0.6CF(學(xué)過JAVA)=0.8CF(學(xué)過數(shù)據(jù)庫)=0.4CF(學(xué)過軟件工程)=0.9由r3,CF(有相關(guān)知識背景)=0.9*min{0.85,0.8,0.4,0.9}=0.36CF(本科學(xué)歷)=1由r1,CF(錄用)=0.9*min{0.36,1}=0.324(2)對于社會招聘人員，由r8,CF(相關(guān)工作)=0.9CF(工作兩年以上)=1由r2,CF(有工作經(jīng)驗)=0.8*min{1,0.9}=0.72由r1,CF(錄用)=0.9*0.72=0.648所以，該公司應(yīng)錄用社會招聘人員乙。(3)可以看出，應(yīng)該加強(qiáng)數(shù)據(jù)庫的學(xué)習(xí)，并使該門課程達(dá)到80分以上。人工智能試卷二十一、選擇題：(13小題，共13分).人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是(C)。A.明斯基B.扎德C.圖靈D..諾依曼.下列哪個不是人工智能的研究領(lǐng)域(D)A.機(jī)器證明B.模式識別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列(B)學(xué)派A.符號主義B.連接主義C.行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（B）A.狀態(tài)空間法B.問題歸約法C.謂詞邏輯法D.語義網(wǎng)絡(luò)法.在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（B）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PvQ和P經(jīng)過消解以后，得到（B）PQ~PI.PvQ7,8.Aa（AvB）oA稱為（C）,~（AaB）o~Av~B稱為（D）四、結(jié)合律B.分配律C.吸收律D.摩根律如果問題存在最優(yōu)解，則下面幾種搜索算法中，（A）必然可以得到該最優(yōu)解，（D）可以認(rèn)為在這幾種算法中是“智能程度相對比較高”的算法。0.廣度優(yōu)先搜索P.深度優(yōu)先搜索Q.有界深度優(yōu)先搜索R.