一選擇題(每題1分,共15分)

一、選擇題（每題1分，共15分）1、AI的英文縮寫(xiě)是A）AutomaticIntelligenceB）ArtificalIntelligenceC）AutomaticeInformationD）ArtificalInformation2、反演歸結(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)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）oA）無(wú)悖性B）可擴(kuò)充性C）繼承性5、(A^B)AA=>B是A）附加律B）拒收律C）假言推理D)US6、命題是可以判斷真假的A）祈使句B）疑問(wèn)句C）感嘆句D）陳述句7、僅個(gè)體變?cè)涣炕闹^詞稱(chēng)為A）—階謂詞B）原子公式C）二階謂詞D）全稱(chēng)量詞8、MGU是A）取一般合一B）最一般替換C）取一般i冃詞D）基替換9、1997年5月，著名的“人機(jī)大戰(zhàn)最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱(chēng)為（）A）深藍(lán)B）IBMC）深思D）藍(lán)天10、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A）事實(shí)A）事實(shí)B）規(guī)則C）控制和元知識(shí)D）關(guān)系11、謂詞邏輯下，子句,C1=LVC1：C2=「LV若。是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式c=（）C2t,A）C1,A）C1,gVC2,gB）CrVC2712、或圖通常稱(chēng)為A）框架網(wǎng)絡(luò)B）語(yǔ)義圖13、不屬于人工智能的學(xué)派是C)C1,gAC2,gD)crAC27C)博亦圖D)狀態(tài)圖A）符號(hào)主義A）符號(hào)主義B）機(jī)會(huì)主義C）行為主義D）連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A）明斯基B）.扎德C）圖林D）馮.諾依曼要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（）oA）專(zhuān)家系統(tǒng)B）機(jī)器學(xué)習(xí)C）神經(jīng)網(wǎng)絡(luò)D）模式識(shí)別二、填空題（每空「5分，共30分）1、不確定性類(lèi)型按性質(zhì)分：2、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對(duì)證據(jù)的可信度CF（A）、CF（Al）、CF（A2）之間，規(guī)定如下關(guān)系：TOC\o"1-5"\h\zCF（?A）二、CF（A1AA2）二、CF（A1VA2）=4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和o5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過(guò)程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行，被執(zhí)行的規(guī)則稱(chēng)為o7、P（BIA）表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的o8、人工智能的遠(yuǎn)期目標(biāo),近期目標(biāo)是o三、簡(jiǎn)答及計(jì)算題（每題5分，共25分）1、填寫(xiě)下面的三值邏輯表。其中T,F,U分別表示真，假，不能判定

ATFUTATFUTFUVTFUTFUPpTFU2、什么是產(chǎn)生式？產(chǎn)生式規(guī)則的語(yǔ)義是什么？答：3、謂詞公式G通過(guò)8個(gè)步驟所得的子句集合S,稱(chēng)為G的子句集。請(qǐng)寫(xiě)出這些步驟。答：224、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))},求MGU解：5、證明G是否是F的邏輯結(jié)論;F:Vx(P(x)aQ(q)vQ(x))G:3x(P(x)aQ(x))33四、應(yīng)用題(共30分)1、用語(yǔ)義網(wǎng)絡(luò)表示下列信息：胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(hào)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。答：2、圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用a-p剪枝技術(shù)剪去不必要的分枝。(在節(jié)點(diǎn)及邊上直接加注釋)3、設(shè)有如下關(guān)系：（1）如果x是y的父殺，y又是z的父殺，貝1Jx是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系？解：答案:、1、B2、C3、A4、C5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類(lèi)含3、-CF（A）,min{CF（Al）,CF（A2）},max{CF（Al）,CF（A2）}4、節(jié)點(diǎn)，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、A—B,概率8、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能1、P是產(chǎn)生式的前提（前件），用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作（后件），用于指出當(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è)?。）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型）5）消去所有全稱(chēng)量詞6）化成合取范式7）.適當(dāng)改名，使子句間無(wú)同名變?cè)?消去合取詞人，用逗號(hào)代替，以子句為元素組成一個(gè)集合S4、解：k=0;S0=S;60=8;S0不是單元素集，求得差異集D0={y,z},其中y是變?cè)?z是項(xiàng)，且y不在z中出現(xiàn)。k=k+l=l有&1=60?{z/y}=S?{z/y}={z/y},Sl=S0?{z/y}={P(f(x),z,g(z)),P(f(x),z,g(x))},SI不是單元素集，求得差異集DI二{z,x},k=k+l=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變換iP(y)ViQ(y)???結(jié)論的否定1Q(x)...①③歸結(jié)，{x/y}口...②④歸結(jié)，置換{a/x}得證。四、1、22、^-33-3022-30-23-3022-30-23、解:現(xiàn)定義如下謂詞F(x,y)x是y的父親；G(x,z)x是y的祖父；用謂詞邏輯表示已知與求解:(1)F(x,y)AF(y,z)fG(x,z)⑵F(L,D)⑶F(D,X)(4)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)...從⑶變換1G(u,v)...結(jié)論的否定1F(D,z)VG(L,z)...①②歸結(jié)，置換{L/x,D/y}G(L,X)...③⑤歸結(jié)，置換{X/z}口…④⑥歸結(jié)，置換{L/u,X/v}得證,說(shuō)明存在祖孫關(guān)系。為了求