人工智能導論試卷

一、選擇題(每題1分，共15分)1、人工智能是一門D

A)專家系統 B)機器學習 C)神經網絡 D)模式識13、下列哪部分不是專家系統的組成部分（ A）A.）用戶 B）綜合數據庫 C）推理機 D）知識14、產生式系統的推理不包括）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理B)信度15、C(B|A)表示在規(guī)則A->B中，證據A為真的作用下結論B為真的BB)信度A)數學和生理學 B)心理學和生理學 C)語言D)綜合性的交叉學科和邊緣學科

A)可信度

C)信任增長度 D)概率、語義網絡表達知識時，有向弧AKOISA鏈是用來表達節(jié)點知識的（C。C)繼承性A)無悖性 B)可擴充3、(A->B)∧A=>B是CC)繼承性D)陳述句A)附加律 B)拒收律 C)假言推理 4、命題是可以判斷真假的DD)陳述句A)祈使句 B)疑問句 C)感嘆5、僅個體變元被量化的謂詞稱為AA)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量6、MGU是AA)最一般合一 B)最一般替換 C)最一般謂詞 D)基替最一般合一D)關系7、下列不在人工智能系統的知識包含的4個要素中DD)關系A)事實 B)規(guī)則 C)控8、當前歸結式是（）時，則定理得證CD)狀態(tài)圖A)永真式 B包孕式（subsumed） C)空子9、或圖通常稱為DD)狀態(tài)圖A）框架網絡 B)語義圖 C)博亦10、不屬于人工智能的學派是BA)符號主義 B)機會主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從(A)的初始證據出發(fā)，通過運用()的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A)不確定,不確定性 B)確定,確定性C)確定,不確定性 D)不確定性 確定性12.域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫（B。

二、填空題(每題1分，共30分)1、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智的測試模型，請問這個科學家是 圖靈2、從已知事實出發(fā)，通過規(guī)則庫求得結論的產生式系統的推理方式正向推理 。3、AI的英文縮寫是 Artifical Intelligence 。4、不確定性類型按性質分： 不確定性 ， 模性 ，不完全性 ， 不一致性 、對證據的可信度C（CA1C（A）之間，規(guī)定如下關系：CF（~A）= 、CF（A1∧A2）= 、max{CF(A1),CF(A2)})7、圖：指由 節(jié)點和有向邊 組成的網絡。按連接同一節(jié)的各邊的邏輯關系又可分為 和 或圖與或圖 。8、合一算法：求非空有限具有相同謂詞名的原子公式集的MGU 。、1997年５月，著名的“人機大戰(zhàn)，最終名為“ 深藍 ”的計機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是 制造智能機器 近期目標是 實現機器智能 。三、簡答及計算題(每題5分，共25分)1、解釋下列模糊性知識：（0.。張三比較胖2)(患者，癥狀，(頭疼，0.95))∧(患者，癥狀，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：如果患者頭疼并且發(fā)燒，則患者感冒了2、簡單闡述產生式系統的組成：答： 答：產生式規(guī)則系統推理機動態(tài)數據庫4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變元，g(A,y)是項，且z不在g(A,y)k=k+1=1有δ1=δ0·｛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根據求MGU算法，MGU=δ1=｛g(A,y)/z｝5、證明G是否是F1、F2的邏輯結論；F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))

四、應用題(共30分)1答：1、答：謂詞公式表示：⑤┓S(z)∨┓R(z)．．．結論的否定 ⑤┓S(z)∨┓R(z)．．．結論的否定 ⑥R(a) ．．．②③歸結⑦┓R(a) ．．．④⑤歸結⑧□ 得證.G：x(S(x)R(x))語義網絡表示如圖：證:5、證:①┓P(x)∨Q(x)．．．從F1變換2、②┓P(y)∨R(y)`．．．從F1變換③P(a)．．．從F2變換④S(a)．．．從F2變換2α-β（在節(jié)點及邊上直接加注釋）(2)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．結論的反(4)L(f(Fly),Fly)．．．(1)(3)歸結,置換{Fly/y}(5)□ ,{f(Fly)/x}得證。3、利用謂詞邏輯表示下列知識（包括已知和結論