人工智能經(jīng)典考試試題與答案

人工智能經(jīng)典考試試題與答案一?選擇題(每題1分,共15分)1?AI的英文縮寫是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation2?反演歸結(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í)時(shí),有向弧AKO鏈?ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識(shí)的()。A)無悖性B)可擴(kuò)充性C)繼承性5?(A→B)∧A=>B是A)附加律B)拒收律C)假言推理D)US6?命題是可以判斷真假的A)祈使句B)疑問句C)感嘆句D)陳述句7?僅個(gè)體變?cè)涣炕闹^詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞8?MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換9?1997年5月,著名的“人機(jī)大戰(zhàn)”,最終計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗,這臺(tái)計(jì)算機(jī)被稱為()A)深藍(lán)B)IBMC)深思D)藍(lán)天10?下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí)B)規(guī)則C)控制與元知識(shí)D)關(guān)系11?謂詞邏輯下,子句,C1=L∨C1‘,C2=?L∨C2‘,?若ζ是互補(bǔ)文字的(最一般)合一置換,則其歸結(jié)式C=()A)C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’12?或圖通常稱為A)框架網(wǎng)絡(luò)B)語義圖C)博亦圖D)狀態(tài)圖13?不屬于人工智能的學(xué)派是A)符號(hào)主義B)機(jī)會(huì)主義C)行為主義D)連接主義。14?人工智能的含義最早由一位科學(xué)家于1950年提出,并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型,請(qǐng)問這個(gè)科學(xué)家是A)明斯基B).扎德C)圖林D)馮.諾依曼15.要想讓機(jī)器具有智能,必須讓機(jī)器具有知識(shí)。因此,在人工智能中有一個(gè)研究領(lǐng)域,主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)與技能,實(shí)現(xiàn)自我完善,這門研究分支學(xué)科叫()。A)專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別二?填空題(每空1.5分,共30分)1?不確定性類型按性質(zhì)分:,,,。2?在刪除策略歸結(jié)的過程中刪除以下子句:含有的子句;含有的子句;子句集中被別的子句的子句。3?對(duì)證據(jù)的可信度CF(A)?CF(A1)?CF(A2)之間,規(guī)定如下關(guān)系:CF(~A)=?CF(A1∧A2)=?CF(A1∨A2)=4?圖:指由與組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為與。5?合一算法:求非空有限具有相同謂詞名的原子公式集的6?產(chǎn)生式系統(tǒng)的推理過程中,從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來執(zhí)行,被執(zhí)行的規(guī)則稱為。7?P(B|A)表示在規(guī)則中,證據(jù)A為真的作用下結(jié)論B為真的。8?人工智能的遠(yuǎn)期目標(biāo)是,近期目標(biāo)是。三?簡答及計(jì)算題(每題5分,共25分)1?填寫下面的三值邏輯表。其中T,F,U分別表示真,假,不能判定2?什么是產(chǎn)生式?產(chǎn)生式規(guī)則的語義是什么?3?謂詞公式G通過8個(gè)步驟所得的子句集合S,稱為G的子句集。請(qǐng)寫出這些步驟。4?已知S={P(f(x),y,g(y)),P(f(x),z,g(x))},求MGU5?證明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號(hào)(2)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽,最后以89:102的比分結(jié)束。答:2?圖示博弈樹,其中末一行的數(shù)字為假設(shè)的估值,請(qǐng)利用α-β剪枝技術(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?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é)點(diǎn),有向邊,或圖,與或圖5?最一般合一(MGU)6?被觸發(fā)規(guī)則7?A→B,概率8?制造智能機(jī)器,實(shí)現(xiàn)機(jī)器智能三?1?2?產(chǎn)生式規(guī)則基本形式:P→Q或者IFPTHENQP是產(chǎn)生式的前提(前件),用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作(后件),用于指出當(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)變?cè)c約束變?cè)?.)消去存在量詞(形成Skolem標(biāo)準(zhǔn)型)5)消去所有全稱量詞6)化成合取范式7).適當(dāng)改名,使子句間無同名變?cè)?).消去合取詞∧,用逗號(hào)代替,以子句為元素組成一個(gè)集合S4?解:k=0;S0=S;δ0=ε;S0不是單元素集,求得差異集D0={y,z},其中y是變?cè)?z是項(xiàng),且y不在z中出現(xiàn)。k=k+1=1有δ1=δ0·{z/y}=ε·{z/y}={z/y},S1=S0·{z/y}={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是單元素集,求得差異集D1={z,x},k=k+1=2;δ2=δ1·{z/x}={z/y,z/x},S2=S1·{z/x}={P(f(z),z,g(z))}是單元素集。根據(jù)求MGU算法,MGU=δ2={z/y,z/x}5?證:①P(x)...從F變換②Q(a)∨Q(x)...從F變換③┓P(y)∨┓Q(y)...結(jié)論的否定④┓Q(x)...①③歸結(jié),{x/y}⑤□...②④歸結(jié),置換{a/x}得證。四?2?3?解:現(xiàn)定義如下謂詞F(x,y)---