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

1、一、選擇題(每題1分，共15分)1、AI的英文縮寫是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInfmationD)ArtificalInfmation2、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A)永真式B)包孕式（subsumed）C)空子句3、從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理B)反向推理C)雙向推理

2、4、語義網(wǎng)絡(luò)表達(dá)知識時，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點(diǎn)知識的（）。A)無悖性B)可擴(kuò)充性C)繼承性5、(A→B)∧A=B是A)附加律B)拒收律C)假言推理D)US6、命題是可以判斷真假的A)祈使句B)疑問句C)感嘆句D)陳述句7、僅個體變元被量化的謂詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞8、MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.

3、5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計(jì)算機(jī)被稱為（）A）深藍(lán)B）IBMC）深思D）藍(lán)天10、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實(shí)B)規(guī)則C)控制和元知識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

4、、不屬于人工智能的學(xué)派是A)符號主義B)機(jī)會主義C)行為主義D)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時提出一個機(jī)器智能的測試模型，請問這個科學(xué)家是A)明斯基B).扎德C)圖林D)馮.諾依曼15.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。A)專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識別二、填空題(每

5、空1.5分，共30分)1、不確定性類型按性質(zhì)分：，，，。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句含有的子句子句集中被別的子句的子句。3、對證據(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ī)則中選

6、擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、CF(A)，minCF(A1)CF(A2)，maxCF(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é)論或操作（后件），用于指

7、出當(dāng)前提P所指示的條件滿足時，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語義：如果前提P被滿足，則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作3、1）消去蘊(yùn)含式和等價式→，2）縮小否定詞的作用范圍，直到其作用于原子公式:3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變元和約束變元。4.）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型）5）消去所有全稱量詞6)化成合取范式7).適當(dāng)改名，使子句間無同名變元8).消去合取詞∧，用逗號代替，以子句為元素組成一個集合S4、解：k

8、=0S0=Sδ0=εS0不是單元素集，求得差異集D0=yz其中y是變元，z是項(xiàng)，且y不在z中出現(xiàn)。k=k1=1有δ1=δ0｛zy｝=ε｛zy｝=｛zy｝，S1=S0｛zy｝=P(f(x)zg(z))P(f(x)zg(x))S1不是單元素集，求得差異集D1=｛zx｝k=k1=2δ2=δ1｛zx｝=｛zyzx｝S2=S1｛zx｝=｛P(f(z)zg(z))｝是單元素集。根據(jù)求MGU算法，MGU=δ2=｛zyzx｝5、證:①P(x)從F變換②