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

人工智能試卷四一、選擇題（每題1分，共15分）1、 AI的英文縮寫是A）AutomaticIntelligenee B）ArtificalIntelligeneeC）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é)點(diǎn)知識的（）。A）無悖性 B）可擴(kuò)充性 C）繼承性5、(A^B)AA=>B是A）附加律B）拒收律C）假言推理D)US6、命題是可以判斷真假的A）祈使句B）疑問句C）感嘆句D）陳述句7、僅個體變元被量化的謂詞稱為A）—階謂詞B）原子公式C）二階謂詞D）全稱量詞&MGU是A）取一般合一B）最一般替換C）取一般i冃詞D）基替換9、 1997年5月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比25的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（）A）深藍(lán) B）IBMC）深思 D）藍(lán)天10、 下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實 B）規(guī)則 C）控制和元知識 D）關(guān)系伯、謂詞邏輯下，子MC1=LVC1,,C2=-LVC2.,）若o是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A）C1,oVC2,o B）CTVC2， C）C1,oAC2,o D）C1'AC2'或圖通常稱為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）馮.諾依曼要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(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é)的過程中刪除以下子句：含有 的子句;含有永真式 的子句:子句集中被別的子句類含的子句。3、 對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）-CF（A） 、CF（A1AA2）=min{CF（A1）：CF（A2）},、CF（A1VA2）= 4、 圖：指由節(jié)點(diǎn)和 組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為 或圖TOC\o"1-5"\h\z和 05、 合一算法：求非空有限具有相同謂詞名的原子公式集的 6、 產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為 被觸發(fā)規(guī)則。7、 P（B|A）表示在規(guī)則A-B 中,證據(jù)A為真的作用下結(jié)論B為真的 。&人工智能的遠(yuǎn)期目標(biāo)是 ,近期目標(biāo)是 實現(xiàn)機(jī)器智能 0

三、簡答及計算題(每題5分，共25分)1、填寫下面的三值邏輯表。其中T,F,U分別表示真，假，不能判定ATFUTATFUTFUVTFUTFUP<|JiTFU2、 什么是產(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:Vx(P(x)a0(。)v2(x))G:3x(P(x)aQ(x))四、應(yīng)用題(共30分)1、 用語義網(wǎng)絡(luò)表示下列信息：胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。答：2、 圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用CH3剪枝技術(shù)剪去不必要的分枝。(在節(jié)點(diǎn)及邊上直接加注3、設(shè)有如下關(guān)系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老李是大李的父親；(3)大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？解：答案：一、 1、B2、C3、A4、C5、C6、D 7、A8、A 9、A 10、D11、A12、D 13、B14、C15、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,概率&制造智能機(jī)器，實現(xiàn)機(jī)器智能

ATFUTATFUTTFUFFFFUUFUVTFUTTTTFTFUUTUUPTFFTUU2、 產(chǎn)生式規(guī)則基本形式：P-Q或者IFPTHENQP是產(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)消去蘊(yùn)含式和等價式―，<->縮小否定詞的作用范圍，直到其作用于原子公式：適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。)消去存在量詞(形成Skolem標(biāo)準(zhǔn)型)消去所有全稱量詞化成合取范式.適當(dāng)改名，使子句間無同名變元.消去合取詞A,用逗號代替，以子句為元素組成一個集合S4、 解：k=0;S0=S;60=￡；S0不是單兀素集，求得差異集D0={y,z},其中y是變兀，z是項，且y不在z中出現(xiàn)0k=k+1=1有61=60-{z/y}=s-{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⑵)}是單元素集。根據(jù)求MGU算法，MGUM2二{z/y,z/x}5、 證:①P(x) ...從F變換?Q(a)VQ(x) ...從F變換1P(y)VnQ(y)...結(jié)論的否定1Q(x) ...①③歸結(jié),{x/y}口 ...②④歸結(jié)，置換{a/x}得證。四、3、解:現(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=?其中丄表示老李,D表示大李,X表示小李。先證存在祖孫關(guān)系1F(x,y)V-|F(y,z)VG(x,z)...從⑴變換F(L,D) ...從(2)變換F(D,X) ...從(3)變換1G(u,v) ...結(jié)論的否定-IF(D,z)VG(LjZ)...①②歸結(jié)，置換{L/x,D/y}G(L,X) ...③⑤歸結(jié)，置換{X/z}口 ...④⑥歸結(jié)，置換{L/u,X/v}得證,說明存在祖孫關(guān)系。為了求解用一個重言式④?-iG(u,v)VG(u,v)...用重言式代替結(jié)論的否定,重言式恒為真-IF(D,z)VG(LjZ)...①②歸結(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、 人工智能是一門阻辺竺理學(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)AA=>B是A)附加律B)拒收律C)假言推理D)US4、命題是可以判斷真假的A)祈使句B)疑問句C)感嘆句D)陳述句5、僅個體變元被量化的謂詞稱為A)—階謂詞6、MGU是B)原子公式C)二階謂詞D)全稱量詞A)取一般合一B)最一般替換C)取一般i冃詞D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實B）規(guī)則C）控制D）關(guān)系&當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式B包孕式(subsumed)C）空子句9、或圖通常稱為A）框架網(wǎng)絡(luò)B）語義圖C）博亦圖D）狀態(tài)圖10、不屬于人工智能的學(xué)派是A）符號主義 B）機(jī)會主義 C）行為主義 D）連接主義。伯、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運(yùn)用（）的知識，最終推出具有一定程度的不確定性但卻是盒甞埜包藍(lán)璽包彗的思維過程。A）不確定性，不確定性 B）確定性，確定性C）確定性，不確定性 D）不確定性確定性12要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善,這門研究分支學(xué)科叫（）。A）專家系統(tǒng) B）機(jī)器學(xué)習(xí) C）神經(jīng)網(wǎng)絡(luò) D）模式識別13、 下列哪部分不是專家系統(tǒng)的組成部分（））用戶 B）綜合數(shù)據(jù)庫 C）推理機(jī)D）知識庫14、 產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理 C）雙向推理 D）簡單推理15、 C（B|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)的推理方式是 帀向推理TOC\o"1-5"\h\z3、 AI的英文縮寫是 ArtificeIntelligenee 。4、 不確定性類型按性質(zhì)分： 隨機(jī)件 , 模糊件 ,不完全件 , 不一致件 O5、 在刪除策略歸結(jié)的過程中刪除以下子句：含有純文字 的子句:含有 永真式的子句;子句集中被別的子句 的子句。6、 對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）= 、CF（A1AA2）= min{CF（A1）.CF（A2）} 、CF（A1VA2）= max{CF（A1）,CF（A2）}） 。7、 圖：指由 結(jié)點(diǎn)和有向邊 組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為或圖—和 O&合一算法：求非牢有限具有相同謂詞名的原子公式集的 最一般合一 。9、 1997年5月，著名的“人機(jī)大戰(zhàn)”，最終名為“ ”的計算機(jī)以3.5比25的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、 人工智能的遠(yuǎn)期目標(biāo)是 制造智能機(jī)器 ,近期目標(biāo)是 實現(xiàn)機(jī)器智能 O三、簡答及計算題（每題5分，共25分）1、 解釋下列模糊性知識：1） 張三，體型，（胖，0.9））。2） （患者，癥狀，（頭疼，0.95））人（患者，癥狀，（發(fā)燒，1.1））^（患者，疾病，（感冒，1.2））答：2、 簡單闡述產(chǎn)生式系統(tǒng)的組成：答：

3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對比表產(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é)論；Fl：Vx(P(x)T(2(x)AR(x))F2：3x(P(x)aS(x))G：3x(S(x)a/?(x))證：四、應(yīng)用題(共30分)1、 將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示答：2、 圖示博弈樹，其中末一行的數(shù)字為假設(shè)的估值，請利用CH3剪枝技術(shù)剪去不必要的分枝。(在節(jié)點(diǎn)及邊上直接加注3、利用謂詞邏輯表示下列知識(包括已知和結(jié)論)，然后化成子句集:(1)凡是清潔的東西就有人喜歡；(2)人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：、1、D2、C3、C4、D5、A6、A7、D&C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林2、正向推理3、ArtificalIntelligence4、隨機(jī)性，模糊性，不完全性,不一致性5、純文字，永真式，類含6、 -CF(A),min{CF(A1),CF(A2)},max{CF(A1),CF(A2)})7、 節(jié)點(diǎn)和有向邊，或圖，與或圖&最一般合一(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é)果事實)推理機(jī)：(控制系統(tǒng))是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運(yùn)行，包含推理方式和控制策略。3、答：產(chǎn)生式系統(tǒng)圖搜索初始事實數(shù)據(jù)初始節(jié)點(diǎn)目標(biāo)條件目標(biāo)節(jié)點(diǎn)產(chǎn)生式規(guī)則狀態(tài)轉(zhuǎn)換規(guī)則問題變換規(guī)則規(guī)則庫操作集動態(tài)數(shù)據(jù)庫節(jié)點(diǎn)(狀態(tài)/問題)控制策略搜索策略4、解：k=0;S0=S;60=s;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變元,g(A,y)是項，且z不在g(A,y)中出現(xiàn)。k=k+1=1有61=60-{g(A,y)/z}=￡■{g(A,y)/z}={g(A,y)/z},S1=S0-{g(A,y)/z}={P(f(x,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法，MGUM仁{g(A,y)/z}...從F1...從...從F1...從F1...從F2...從F2換換換換

變變變變iP(y)VR(y)P(a)S(a)@1S(z)VnR(z).@R(a)@1S(z)VnR(z).@R(a)⑦iR(a) ?.結(jié)論的否定...②③歸結(jié)<a/y}.④⑤歸結(jié){學(xué)生 readbook主體readlx是學(xué)生 readbook主體readlx是客體 —^三國演義3、證：現(xiàn)定義如下謂詞L(x,y) 某人x喜歡某物y；P(y) 某物y是清潔的親西Vy3X(P(yHL(x,y))==>nP(y)VL(f(y),y)VX(-|L(x,Fly))==>-|L(x,Fly)P(Fly)...結(jié)論的反L(f(Fly),Fly)...⑴(3)歸結(jié)，置換{Fly/y}口 ???(2)(4)歸結(jié),{f(Fly)/x}t得證。人工智能試卷八一、填空題(共30分)歸結(jié)法中，可以通過 的方法得到問題的解答。TOC\o"1-5"\h\z旳)g，y)T剛旳農(nóng),y))化成子句形式為： 。從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式 AI是是 的英文縮寫—人工智能的基本技術(shù)包括 、 、 、一、一o目前所用的知識表示形式有 、 、 等。產(chǎn)生式系統(tǒng)有三部分組 , 和推理機(jī)。其中推理可分為 和 o在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ,而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ,其他變元稱為 1997年5月，著名的“人機(jī)大戰(zhàn)”，最終名為“ ”的計算機(jī)以3.5比25的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10＞人工智能的遠(yuǎn)期目標(biāo)是 ,近期目標(biāo)TOC\o"1-5"\h\z是 O11、 謂詞邏輯中，重言式(tautlogy)的值是 。12、 利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為 ,則結(jié)論成立。13、 01=-,PVQ,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é)策略并且具有完備性的 , , o16、 在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。17、 假言推理(AtB)aA^ ,假言三段論(AtB)a(BtC)n :填空題1、修改證明樹9On(x,y)vAbove(x,y)3、 iF向推理 4、 ArtificalInteligenee5、 權(quán)索技術(shù)椎理技術(shù)知識表示和知識庫技術(shù)、歸納枝術(shù)、聯(lián)想技術(shù)6、 框璽語義網(wǎng)絡(luò)面向?qū)ο?、 綜合數(shù)據(jù)庫知識庫正向推理反向推理8、 轄域約束變元自由變元9、 深藍(lán)10、制造智能機(jī)器實現(xiàn)機(jī)器智能11、真12、牢集13、PVP或iQ\/Q14、Q(a)VR(v)15、刪除策略支持集策略線件歸結(jié)策略16、啟發(fā)函數(shù)17、B AtC二、選擇題(15小題，共15分人工智能是一門C)語言學(xué)A)數(shù)學(xué)和生理學(xué) B)C)語言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科2、 下列哪個不是人工智能的研究領(lǐng)域()機(jī)器證明模式識別人工生命編譯原理

神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派符號主義連接主義行為主義都不是已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）狀態(tài)空間法問題歸約法謂詞邏輯法語義網(wǎng)絡(luò)法在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（）依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)子句~PvQ和P經(jīng)過消解以后，得到（）TOC\o"1-5"\h\zPQ~PPvQ7、8.Aa（AvB）oA稱為（），~（AaB）o~Av~B稱為（）結(jié)合律B.分配律C.吸收律D.摩根律&下列哪部分不是專家系統(tǒng)的組成部分（））用戶 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）概率B)ArtificalIntelligenceD)ArtificalInformation11、 AIB)ArtificalIntelligenceD)ArtificalInformationA)AutomaticIntelligeneeC)AutomaticeInformation反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式 B）包孕式（subsumed） C）空子句13、在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（）依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)14、子句-PvQ和P經(jīng)過消解以后，得到（）TOC\o"1-5"\h\zPQ~PPvQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索三、簡答與應(yīng)用題深度優(yōu)先方法的特點(diǎn)是什么？6什么是置換？置換是可交換的嗎？6分某問題由下列公式描述：⑴?P⑻⑵〔VxXVy)[?芷0Xy?]⑶(Vx)[P世勸]〔4)(Vx)[P㈤2血匚禺―比恥))](5)(Vx)(Vy)[Q(h爲(wèi)y)-Q?蒼加]⑴、試用歸結(jié)法證明(3x)R(x)；8分下圖所示博弈樹，按從左到右的順序進(jìn)行CH3剪枝搜索，試標(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)系？(10分)張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說:“趙與錢中至少有一人作案”；偵察員D說：“錢與孫至少有一人作案”；偵察員C說：“孫與李中至少有一個作案”；偵察員D說“趙與孫至少一個與案無關(guān)”；偵察員E說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。(10分)選擇題回答：通常用有序?qū)Φ募蟬={t1/v1,t2/v2,tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項ti來替換，用s對表達(dá)式E作置換后的例簡記為ESo一般來說，置換是不可交換的，即兩個置換合成的結(jié)果與置換使用的次序有關(guān)。3.⑴g⑵(Vx)(Vy)[?RyROCS爲(wèi)gXY?]=>(VxXVy)[P(y)VQ(b?x?欝,y))]=> P(y)\/Q(b,爲(wèi)臥益y))⑶〔Vx)[P(住))]=>比住))(VxXP^AQfb,c,x)^R(h(x?]=>(Vx)HP(X)/\Q(hc?x))VR(h(x))]=>(Vx)[~P(韻V~Q(hcnx)VRj(X勸]=>~P(x)V~Q(；bncnx)VRj(h(x))(V頂Vy)[Q(h冕yJ-QQ,爲(wèi)飴)]=> (Vx)(Vy)[~Q(b?爲(wèi)y)VQ(b,瓦f(y))]=> ?Q?瓦y)VQ(b?x?f(y))目標(biāo)求反：吒m狗班x)=>(Vx)~R(x)=>?Rj㈤變量換茗后，得子句集：{~P@),P(yl)VQ(m欝l,yl)),Pg云)),~P〔罰\/~Q?c?x3)VR(h(x3???Q〔b,x4?y4)VQ(b?x4?呵4)),?R(x)}、解:現(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=?其中丄表示老李,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(LjZ)...①②歸結(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(LjZ)...①②歸結(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（錢NT（孫）偵察員C的話可表示：T（孫NT（李）偵察員D的話可表示：「口趙）“「T（孫）偵察員E的話可表示：「口錢八「T（李）上面五個組成子句集S,求誰是作案者，把.T（x）vANSWER（x）并入S〔得到。即比S〔多出如下一個子句:.T（x）vANSWER（x）然后利用消解原理對S1進(jìn)行消解可得答案：錢和孫是作案者。人工智能試卷九試題部分：一、選擇題（15小題，共15分）人工智能產(chǎn)生于哪一年（）0TOC\o"1-5"\h\z19571962195619792下列哪個不是人工智能的研究領(lǐng)域（）機(jī)器證明模式識別人工生命編譯原理神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派符號主義連接主義行為主義都不是已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）狀態(tài)空間法問題歸約法謂詞邏輯法語義網(wǎng)絡(luò)法在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（）依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)子句~PvQ和P經(jīng)過消解以后，得到（）TOC\o"1-5"\h\zPQ~PPvQ8.Aa（AvB）oA稱為（C）,~（AaB）o~Av~B稱為（D）結(jié)合律B.分配律C.吸收律D.摩根律9、10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解，（）可以認(rèn)為是“智能程度相對比較高”的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索產(chǎn)生式系統(tǒng)的推理不包括（）正向推理逆向推理雙向推理簡單推理12下列哪部分不是專家系統(tǒng)的組成部分（）用戶綜合數(shù)據(jù)庫推理機(jī)知識庫13、 要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）。專家系統(tǒng)機(jī)器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識別14、 人工智能是一門A）數(shù)學(xué)和生理學(xué) B）心理學(xué)和生理學(xué) C）語言學(xué)D）綜合性的交叉學(xué)科和邊緣學(xué)科15、 語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO鏈、ISA鏈?zhǔn)屈c(diǎn)知識的（）。A）無悖性 B）可擴(kuò)充性 C）繼承性二、 填空題（共30分）：歸結(jié)法中，可以通過…修改證明樹——的方法得到問題的解答。（VxXVyXOn（xJy）^Above（x,y））化成子句形式為： 。從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式 AI是是 ArtificeIntelligenee 的英文縮寫—人工智能的基本技術(shù)包括 、 、 、歸納技術(shù)、聯(lián)想技術(shù)。目前所用的知識表示形式有框架、 語義網(wǎng)絡(luò)、面向?qū)ο蟮?。產(chǎn)牛式系統(tǒng)有三部分組成綜合數(shù)據(jù)庫，知識庫 和椎理機(jī)。其中椎理可分為 帀向推理和反向推a_o在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ,而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為約束變元 ，其他變元稱為 自由變元1997年5月，著名的“人機(jī)大戰(zhàn)”，最終名為“ 深藍(lán) ”的計算機(jī)以3.5比25的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10＞人工智能的遠(yuǎn)期目標(biāo)是 ,近期目標(biāo)TOC\o"1-5"\h\z是 O11、 謂詞邏輯中，重言式（tautlogy）的值是 。12、 利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為 ,則結(jié)論成立。13、 01=-,PVQ,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é)策略并且具有完備性的 , , o16、 在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。17、 假言推理（AtB）aA^ ,假言三段論（AtB）a（BtC）n s三、 簡答與應(yīng)用題1、 剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？（6分）將下列謂詞公式化成子句集

mxVy（Vz（P（2）/\?Q（r,z））TR（x,yjC）））。（6分）3、解釋下列模糊性知識:1） 張三，體型，（胖，0.9））。2） （患者，癥狀，（頭疼，0.95））人（患者，癥狀，（發(fā)燒，1.1））-（患者，疾病，（感冒，1.2））（6分）寫出圖中樹的結(jié)點(diǎn)兩個訪問序列，要求分別滿足以下兩個搜索策略：（6分）（1） 深度優(yōu)先搜索（1） 深度優(yōu)先搜索（2） 廣度優(yōu)先搜索5、產(chǎn)生式系統(tǒng)由哪些部分組成?張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“趙與錢中至少有一人作案”；偵察員D說:錢與孫至少有一人作案”；偵察員C說：“孫與李中至少有一個作案”；偵察員D說“趙與孫至少一個與案無關(guān)”；偵察員E說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分）下圖所示博弈樹，按從左到右的順序進(jìn)行a-p剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。答案部分、選擇題123456789101112131415CDBBBBCDADDABDC填空題1.修改證明樹9On（x?y）vAbove（x?y）正向推理 ArtificalInteligenee搜索技術(shù)推理技術(shù)知識表示和知識庫技術(shù)框架語義網(wǎng)絡(luò)面向?qū)ο缶C合數(shù)據(jù)庫知識庫正向推理反向推理轄域約束變元自由變元TOC\o"1-5"\h\z沁制造智能機(jī)器實現(xiàn)機(jī)器智能直沁1PVP或1QgQ(a)VR(y)刪除策略支持集策略線件歸結(jié)策略啟發(fā)函數(shù)BAtC三、簡答與應(yīng)用題1不正確。一剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。2、3xVj(V^(pQ)a?qG, R(x,y,/G)))3xVy(qVzG\z)aq z))vR(x,y,f(a)))BxVyGzCP(z)vQ(x,z))vR(x,y,f(a)))Vy6z(?P(z)vQ(b,z))vR(b,y,f(a)))Vy((?P(g(y))vQ(b,g(y)))vR(b,y,f(a)))LP(g(y))vQ(b,g(y))vR(b,y,f(a))}3、 答：1)表示：命題“張三比較胖”2)解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。4、 解：(1)深度優(yōu)先搜索：-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(孫NT(李)偵察員D的話可表示：「口趙八「T(孫)偵察員E的話可表示：「口錢八「T(李)上面五個組成子句集S,求誰是作案者，把.T(x)vANSWER(x)并入得到。即比多出如下一個子句:.T(x)vANSWER(x)然后利用消解原理對S1進(jìn)行消解可得答案：錢和孫是作案者。

人工智能試卷計一、選擇題（15小題，共15分）1、 97年5月，著名的“人機(jī)大戰(zhàn)”，最終計算機(jī)以3.5比25的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機(jī)被稱為（）A）深藍(lán) B）IBMC）深思 D）藍(lán)天2、 下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實 B）規(guī)則 C）控制和元知識 D）關(guān)系3、 謂詞邏輯下，子句,C2二「LVC2：,若o是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A）C1,oVC2,o B）C1'VC2， C）C1,oAC2,o 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）模式識別&下列哪部分不是專家系統(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為真的D）概率A）可信度 B）信度 C）D）概率B)ArtificalIntelligenceD)ArtificalInformation11、AIB)ArtificalIntelligenceD)ArtificalInformationA)AutomaticIntelligeneeC)AutomaticeInformation反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式 B）包孕式（subsumed） C）空子句13、在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（）A.依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)14、子句~PvQ和P經(jīng)過消解以后，得到（）TOC\o"1-5"\h\zPQ~PPvQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索二、填空題（共30分）：在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ,而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為 ,其他變元稱為 2、 假言推理（AtB）aA^ ,假言三段論（AtB）a（BtC）n 3、 幾種常用的歸結(jié)策略： 、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、 在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為 技術(shù)，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱—5、在啟發(fā)式搜索當(dāng)中，通常用 來表示啟發(fā)性信息。6、在二人博弈問題中，最常用的一種分析技術(shù)是 ,這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了 TOC\o"1-5"\h\z7、 不確定性類型按性質(zhì)分： , , , 0&在刪除策略歸結(jié)的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。9、 對證據(jù)的可信度CF(A)、CF(A1)、CF(A2)之間，規(guī)定如下關(guān)系：CF(~A)= 、CF(A1AA2)= 、CF(A1VA2)= o10、 圖：指由 組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和 O伯、合一算法：求非空有限具有相同謂詞名的原子公式集的 O開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和 ,知識表示的方法主要有 , , 和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時，所使用的推理方法有 和 三、簡答與應(yīng)用題謂詞邏輯形式化下列描述"不存在最大的整數(shù)"(4分)a-p剪枝的條件是什么？(6分)某問題由下列公式描述：⑴g⑶(鬼肝(幅)]⑷(Vx)[P(頑Q(b「用―班虬勸]⑸(Vx)(Vy)[Qe，爲(wèi)y)TQdx,f&))]⑴、試用歸結(jié)法證明(3x)R(x)；(8分)專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？(7分)何謂“圖靈實驗”？簡單描述之(5分)設(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整除。、討論哪些知識可以幫助該問題的求解。、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案部分、選擇題ADADBCBADBBCBBA二、填空題1、轄域 約束變元 自由變元2、 B AtC3、 刪除策略4、 圖搜索狀態(tài)牢間圖(或狀態(tài)圖)5、 啟發(fā)函數(shù)6、 極大極小分析法 剪枝技術(shù)7、 萌機(jī)件模糊件不一致件不確定件8、 純文字永真類含9、 ~CF(A)min{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形式化為：n3xfc(x)aVyG(y)TD(x,y)))或者Vx(G(x)T寸(G(y)aD(y,x)))2、回答:a剪枝：若任一極小值層節(jié)點(diǎn)的B值小于或等于它任一先輩極大值節(jié)點(diǎn)的a值，即a(先輩層)n|3(后繼層)，則可中止該極小值層中這個MIN節(jié)點(diǎn)以下的搜索過程。這個MIN節(jié)點(diǎn)最終的倒推值就確定為這個B值。B剪枝：若任一極大值層節(jié)點(diǎn)的a值大于或等于它任一先輩極小值層節(jié)點(diǎn)的B值，即a(后繼層)n|3(先輩層),則可以中止該極大值層中這個MAX節(jié)點(diǎn)以下的搜索過程。這個MAX節(jié)點(diǎn)的最終倒推值就確定為這個a值。3、化子句集如下:⑴?吃)⑵(Vx)〔Vy)[?旳片更匕爲(wèi)gxy?]=>(Vx)(Vy)[P(y)VQ(b,瓦臥瓦7))1=>P(y)VQ(b?xny)')⑶(Vx)[P更勁]=>P(住))(4)(Vx)[P(姿八c?x)^Rj(h(x))]=>(Vx)HP(x)AQ(b?c;x))VR(h(x))]=>(VxX-PCxjV-Qfb,c,x)VR(h(x))]=>??闔(勸⑸(VxXVy)[Q(b,瓦y)TQ(Hx,f&?]=>(VxXVy)[~Q(b?爲(wèi)y)VQ(b?紐f&))]=> ?Q(b,罵y)VQ(b,x?f(y))目標(biāo)求反：H；3x)R(x)=>(Vx)~R(x)=>?Rj㈤變量換茗后，得子句集：{?P㈤,P(yl)VQ(brxlr^xlryl))rP(吃勸,~P(x3)V~Q(b?c?x3)VR(h(x3))?~Q(hx4?y4)VQ(b?x4? ?班x)}4、 答：(1)專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。(2)但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個步驟：1)系統(tǒng)總體分析與設(shè)計；)知識獲?。?知識表不與知識描述語言設(shè)計；)知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；)推理機(jī)與解釋模塊設(shè)計；總控與界面設(shè)計編程與調(diào)試測試與評價運(yùn)行與維護(hù)(3)可以看出它有如下特點(diǎn)：1)知識獲取和知識表示設(shè)計是一切工作的起點(diǎn)；知識表不與知識描述語言確定后，其他設(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=?其中丄表示老李,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(LjZ)...①②歸結(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(LjZ)...①②歸結(jié)，置換{L/x,D/y}G(L,X) ...③⑤歸結(jié)，置換{X/z}G(L,X) ...④⑥歸結(jié)，置換{L/u,X/v}得結(jié)果:L是X的祖父，即老李是小李的祖父。7、 如下的知識可以幫助求解該問題：序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；第五個數(shù)為5。綜合數(shù)據(jù)庫：用一個1到9的序列表示：N={x},其中x為1到9的數(shù)字之一。規(guī)則集：r1:IFIen(N)=4THEN{x}U{5}r2:IFlen(N)為偶數(shù)andn=ln(1,3,7,9)THEN{x}U{n}r3: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ū)別是：AI研究的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研究對象AI采用啟發(fā)式搜索方法而不是普通的算法?控制結(jié)構(gòu)與知識是分離的?允許出現(xiàn)不正確的答案化下列邏輯表達(dá)式為不含存在量詞的前束范式6x)SKvz)f(x,z)t答：6x)(tT)I3Z(F(X,Z)tR(X,YJ(al))\(?p(x,z)v/?(x,y,/G)))]3XVY3zLP(X,Z)vT?(x,y,/G))]VrazLP(b,Z)yR(b,Y,f(a》ivyLpG,/(y))v/?G,y,/G))]求下列謂詞公式的子句集VxVy((P(x,y)v(2(x,y)TR(x,y)))答：VxVy(?(P(x,y)v(2(x,y)vR(x,y)))VxVy((?P(x,y)A?(2(x,y))vR(x,y)))VxVy((?P(x,y)vR(x,y))a(?Q(x,y)vR(x,y)))所以子句集為：{?P(x,y)vR(x,y),?Q(x,y)vR(x,y)j若有梯形ABCD,將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯角ZABD=ZCDB證明：設(shè)梯形頂點(diǎn)依次為a,b,c,d,定義謂詞:T(x,y,u,v)表示xy為上底,uv為下底的梯形.P(x,y,u,v)表示xy||uvE(x,y,z,u,v,w康示Zxyz=Zuvw,問題的描述和相應(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)]..平行則內(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)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=fr(x,a,f(g(y)),P(z,h(z,u),f(u))}的MGU解：k=0S0=S60=￡S0不是單元素集，求得差異集DO二{a/z},其中z是變元，a是項，且z不在a中出現(xiàn)。k=k+1=1有61=60{a/z}=s{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億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=B3二{a/z,h(a,g(y))/x,g(y)/u}用代價優(yōu)先算法求解下圖的旅行推銷員問題，請找一條從北京出發(fā)能遍歷各城市的最佳路徑(旅行費(fèi)最少)，每條弧上的數(shù)字表示城市間的旅行費(fèi)用。并用CLOSED表記錄遍歷過的結(jié)點(diǎn)，OPEN表記錄待遍歷的結(jié)點(diǎn)。畫出解:

OPEN表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A(0)NULLB(31)AC(28)AD(43)BC(54)BE(38)DC(59)DC(27)EA(51)ECLOSE表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A(0)NULLC(28)AE(29)CD(38)EB(43)DA(31)B用框架表示下述報導(dǎo)的沙塵暴災(zāi)害事件［虛擬新華社3月16日申J昨日,沙塵暴襲擊韓國漢城,機(jī)場與高速公路被迫關(guān)閉，造成的損失不詳。韓國官方示，如果霊要直接損失情況，可待一周后的官方公布的字。此次沙塵暴起因中日韓專家認(rèn)為是由于中國內(nèi)蒙古區(qū)過分墾牧破壞植被所致。 提示：分析概括用下劃線標(biāo)出的要點(diǎn)，經(jīng)過概念化形成槽(Slot)并擬出槽的名稱，選填側(cè)面(face)值。狽ij面包含"值(value)","默認(rèn)值(default)","如果需要值(if-needed)","如果附加值(if-added)”幾個方面,用不到的側(cè)面值可刪除。FRAME：Slotl:Slot2：Slot3：Value：Value：Value：Default：Default：Default：If-needed：If-needed：If-needed：If-added：If-added：If-added：解:FRAME：沙塵暴Slotl:時間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年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是(C)。明斯基扎德圖靈馮.諾依曼2下列哪個不是人工智能的研究領(lǐng)域（D）機(jī)器證明模式識別人工生命編譯原理神經(jīng)網(wǎng)絡(luò)研究屬于下列（B）學(xué)派符號主義連接主義行為主義都不是已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（B）狀態(tài)空間法問題歸約法謂詞邏輯法語義網(wǎng)絡(luò)法在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個X。這種函數(shù)叫做（B）依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)子句~PvQ和P經(jīng)過消解以后，得到（B）TOC\o"1-5"\h\zPQ~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)為在這幾種算法中是"智能程度相對比較高'的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括（D）正向推理逆向推理雙向推理簡單推理12下列哪部分不是專家系統(tǒng)的組成部分（A）用戶綜合數(shù)據(jù)庫推理機(jī)知識庫要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（B）。專家系統(tǒng)機(jī)器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識別！二、 填空題：(12小題，共30分)人工智能三大學(xué)派是符號主義、聯(lián)結(jié)主義、行為主義。(曲.Vy)(On(x,y)-^Abov<x,y))化成辛句形式為：曲、、心曲曲。從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式 AI的英文縮寫是ArtificalInteligenee 在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 —，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為約束變元 ，其他變元稱為自由變元假言推理(AtB)aA^B 假言三段論(AtB)a(BtC)nAtC幾種常用的歸結(jié)策略： 刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略&在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為圖搜索技術(shù),解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表,這種圖稱為狀態(tài)牢間圖(或狀態(tài)圖)在啟發(fā)式搜索當(dāng)中，通常用啟發(fā)函數(shù)來表示啟發(fā)件信息。在二人博弈問題中，最常用的一種分析技術(shù)是極大極小分析法，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎(chǔ)上，又提出了ot-卩剪枝技術(shù)某產(chǎn)生式系統(tǒng)中的一條規(guī)則：A(x)tB(x),則前件是A(x),后件是B(x)12在框架和語義網(wǎng)絡(luò)兩種知識表示方法中，框架適合于表示結(jié)構(gòu)性強(qiáng)的知識,而 則適合表示一此復(fù)雜的關(guān)系和聯(lián)系的知識。面向?qū)ο蟛粌H僅是一種知識表示方法，也是一種流行的軟件設(shè)計和開發(fā)技術(shù)。三、 簡答題：(3小題，共27分)把下列謂詞公式分別化成相應(yīng)的子句集：x(yP(x,y)i?y(Q(x,y)—R(x,y)))(9分)解："x(&yP(x,y)i?Wy(Q(x,y)TR(x,y)))H>Wx(VyP(x,y)—my?(?Q(x,y)VR(x,y)))==>^x(^yP(x,yH3y(Q(x,y)A?R(x,y)))==>^x(~^yP(x,y)V3y(Q(x,y)A?R(x,y)))==>甘x(my?P(x,y)V^y(Q(x,y)A?R(x,y)))……改名)==>甘x(my?P(x,y)V^z(Q(x,z)人?R(x,z)))==>?x(my?P(x,y)V^z(Q(x,z)A?R(x,z)))……y=f(x),z=g(x)消去存在量詞y,z=>兀(?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))P?R(x,g(x))))從而謂詞公式的子句集是｛?P(x,f(x))V(Q(x,g(x),?P(x,f(x))V?R(x,g(x)))2專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？(5分)答：(1)專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計等幾個階段的工作。(2)但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個步驟：10) 系統(tǒng)總體分析與設(shè)計；11) 知識獲??；12）知識表不與知識描述語iB設(shè)計；13）知識庫設(shè)計、知識庫管理系統(tǒng)設(shè)計；14）推理機(jī)與解釋模塊設(shè)計；15） 總控與界面設(shè)計16） 編程與調(diào)試17） 測試與評價18） 運(yùn)行與維護(hù)（3）可以看出它有如下特點(diǎn)：2）知識獲取和知識表示設(shè)計是一切工作的起點(diǎn)；知識表不與知識描述語言確定后，其他設(shè)計可同時進(jìn)行;2、八數(shù)碼游戲，初始棋局和目標(biāo)棋局如圖，定義啟發(fā)函數(shù)h（x）表示某狀態(tài)下與目標(biāo)數(shù)碼不同的位置個數(shù)，用全局擇優(yōu)法畫出搜索的過程。（8分）初始狀態(tài)：Lihld,目標(biāo)狀態(tài)：EE3I844、試實現(xiàn)一個“大學(xué)教師”的框架，大學(xué)教師類屬于教師，包括以下屬性：學(xué)歷（學(xué)士、碩士、博士J專業(yè)（計算機(jī)、電子、自動化、……）、職稱（助教、講師、副教授、教授）（5分）解：框架名：v大學(xué)教師〉類屬：V教師〉學(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（趙NT（錢）偵察員B的話可表示：T（錢"T（孫）偵察員C的話可表示：T（孫NT（李）偵察員D的話可表示：「口趙“「T（孫）偵察員E的話可表示：「口錢“「T（李）上面五個組成子句集S,求誰是作案者，把.T（x）vANSWER（x）并入S〔得到。即比S〔多出如下一個子句:.T（x）vANSWER（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）r5:學(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,客服人員：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é)點(diǎn)知識的（）0A）無悖性 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）取一般i冃詞D）基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實 B）規(guī)則 C）控制 D）關(guān)系&當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式9、或圖通常稱為A）框架網(wǎng)絡(luò)B包孕式(subsumed)C）空子句D）狀態(tài)圖B）語義圖C）博亦圖10、不屬于人工智能的學(xué)派是A）符號主義B）機(jī)會主義C）行為主義D）連接主義。伯、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運(yùn)用（）的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。A）不確定性，不確定性 B）確定性，確定性C）確定性，不確定性 D）不確定性確定性12要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機(jī)如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A）專家系統(tǒng) B）機(jī)器學(xué)習(xí) C）神經(jīng)網(wǎng)絡(luò) D）模式識別13、 下列哪部分不是專家系統(tǒng)的組成部分（））用戶 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分）TOC\o"1-5"\h\z1、不確定性類型按性質(zhì)分： , ,2、 在刪除策略歸結(jié)的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。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)系又可分為和 O5、 合一算法：求非空有限具有相同謂詞名的原子公式集的 6、 產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為 o7、 P（B|A）表示在規(guī)則 中，證據(jù)A為真的作用下結(jié)論B為真的 &人工智能的遠(yuǎn)期目標(biāo) ,近期目標(biāo)是 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）i?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）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）r5:學(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分以上。答案：3、3、C 4、D 5、A8、C 9、D 10、B13、A.14、D15、B?1(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é)得證.、1、D2、C6、A 7、D11、A12、B1、隨機(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ī)器，實現(xiàn)機(jī)器智能5、下列謂詞公式分別化成相應(yīng)的子句集。(10分)(1)x(yP(x,y)T?y(Q(x,y)—R(x,y)))解：“x(&yP(x,y)i?"y(Q(x,y)—R(x,y)))==>Wx("yP(x,y)^y?(?Q(x,y)VR(x,y)))三、簡答及計算題==>&x(WyP(x,y)—my(Q(x,y)A?R(x,y)))設(shè)設(shè)M(x)：x是人，P(x)：x是學(xué)生J(x)：x是整數(shù)，則上述三題就記為：1、將下列自然語言轉(zhuǎn)化為謂詞表示形式：所有的人都是要呼吸的。每個學(xué)生都要參加考試。(3)任何整數(shù)或是正的或是負(fù)的。(12分)解：H(x)：x要呼吸。Q(x)：x要參加考試。R(x)：x是正數(shù)，N(x)：x是負(fù)數(shù)。V-x(M(x)—H(x))V-x(P(x)—Q(x))V-x(I(x)tR(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è)已知:能閱讀者是識字的;海豚不識字;有些海豚是聰明的;求證:有些聰明者并不能閱讀.(10分)證:定義如下命題:R(x):x能閱讀；L(x):x識字；I(x):x是聰明的；D(x):x是海豚；把已知條件及求證結(jié)論翻譯成謂詞公式為x(R(x)tL(x))…已知x(D(x)t?L(x))…已知x(D(x)AI(x))…已知Hx(I(x)A?R(x))...求證結(jié)論將已知條件,求證結(jié)論的反化成子句集?R(x)VL(x)?D(y)V?L(y)D(a)?I(a)==>&x(?yP(x,y)V^y(Q(x,y)A?R(x,y)))==>&x(my?P(x,y)V^y(Q(x,y)A?R(x,y)))……改名)==>&x(my?P(x,y)V^z(Q(x,z)A?R(x,z)))==>&x(my?P(x,y)V^z(Q(x,z)A?R(x,z)))……y=f(x),z=g(x)消去存在量詞y,z==>J(?P(x,f(x))V(Q(x,g(x))A?R(x,g(x))))==負(fù)x((?P(x,f(x))V(Q(x,g(x))A(?P(x,f(x))V?R(x,g(x))))從而謂詞公式的子句集是{?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)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)r5:學(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