人工智能試卷1一、選擇題（每題1分，共15分）1、 AI的英文縮寫是B）ArtificalIntelligenceD）ArtificalInformation若當前歸結式是（）時，則定理得證。A）AutomaticIntelligenceB）ArtificalIntelligenceD）ArtificalInformation若當前歸結式是（）時，則定理得證。C）AutomaticeInformation2、 反演歸結（消解）證明定理時B）包孕式（B）包孕式（subsumed） C）空子句通過規則庫求得結論的產生式系統的推理方式是B）反向推理 。）雙向推理3、 從已知事實出發A）正向推理4、 語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的（）。5、（A—B）AA=>B5、（A—B）AA=>B是A）附加律B）拒收律C）假言推理D）US6、命題是可以判斷真假的A）祈使句B）疑問句C）感嘆句D）陳述句7、僅個體變元被量化的謂詞稱為A）一階謂詞B）原子公式C）二階謂詞D）全稱量詞8、MGU是A）最-般合’B）最—般替換C）最-般謂詞D）基替換B）可擴充性C）繼承性著名的“人機大戰”，最終計算機以3.5比2.5的總比分將世界國際象棋棋，9、1997年5月王卡斯帕羅夫擊敗，這臺計算機被稱為（）A）深藍 B）舊MC）深思 D）藍天10、 下列不在人工智能系統的知識包含的4個要素中A）事實 B）規則 C）控制和元知識 D）關系11、 謂詞邏輯下，子句C1=LVCT,C2=-L^c2,若。是互補文字的（最一般）合一置換，則其歸結式c=（）A）C1,oVC2,o B）C1'VC2' C）C1,oAC2,o D）C1'AC2'12、 或圖通常稱為A）框架網絡 B）語義圖 C）博亦圖 D）狀態圖13、 不屬于人工智能的學派是A）符號主義 B）機會主義 C）行為主義 D）連接主義。14、 人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A）明斯基 B）.扎德 C）圖林 D）馮.諾依曼15、 要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫（）。A）專家系統 B）機器學習 C）神經網絡 D）模式識別二、填空題（每空1.5分，共30分）1、不確定性類型按性質分：，，，。2、 在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有的子句;子句集中被別的子句的子句。3、 對證據的可信度CF（A）、CF（A1）、CF（A2）之間，規定如下關系：CF（?A）=、CF（A1AA2）=CF(A1VA2)= 4、圖：指由 和組成的網絡。按連接同一節點的各邊的邏輯關系又可分為 和。5、 合一算法：求非空有限具有相同謂詞名的原子公式集的 6、 產生式系統的推理過程中，從可觸發規則中選擇一個規則來執行，被執行的規則稱為。7、P(B|A)表示在規則中，證據A為真的作用下結論B為真的。8、人工智能的遠期目標是近期目標是 三、簡答及計算題(每題5分，共25分)1、填寫下面的三值邏輯表。2、 什么是產生式？產生式規則的語義是什么？答：3、 謂詞公式G通過8個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。4、 已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU解：5、 證明G是否是F的邏輯結論；F:Vx(P(x)△Q(a)vQ(x))G:3x(P(x)△Q(x))四、應用題(共30分)1、 用語義網絡表示下列信息：(1)胡途是思源公司的經理，他35歲，住在飛天胡同68號⑵清華大學與北京大學進行藍球比賽，最后以89：102的比分結束。答：2、 圖示博弈樹，其中末一行的數字為假設的估值，請利用a-p剪枝技術剪去不必要的分枝。(在節點及邊上直接加注釋)

3、設有如下關系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老李是大李的父親；(3)大李是小李的父親；問上述人員中誰和誰是祖孫關系？解：答案:一、1、B2、C3、A4、C5、C6、D7、A8、A9、A 10、D11、A12、D13、B14、C15、B二、1、隨機性，模糊性，不完全性，不一致性2、 純文字，永真式，類含3、 -CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、 節點，有向邊，或圖，與或圖5、 最一般合一(MGU)6、 被觸發規則7、 A—B，概率8、 制造智能機器，實現機器智能二、ATFATFUTTFUFFFFUUFUVTFUTTTTFTFUUTUUPTFF丁UU2、產生式規則基本形式：P—Q或者IFPTHENQP是產生式的前提(前件)，用于指出該產生式是否可用的條件Q是一組結論或操作(后件)，用于指出當前提P所指示的條件滿足時，應該得出的結論或應該執行的操作產生式規則的語義：如果前提P被滿足，則可推出結論Q或執行Q所規定的操作3、 1)消去蘊含式和等價式一，<->縮小否定詞的作用范圍，直到其作用于原子公式：適當改名，使量詞間不含同名指導變元和約束變元。4.)消去存在量詞(形成Skolem標準型)消去所有全稱量詞化成合取范式.適當改名，使子句間無同名變元.消去合取詞A，用逗號代替，以子句為元素組成一個集合S4、 解：k=0;S0=S;O0=J；S0不是單元素集，求得差異集D0={y,z}，其中y是變元，z是項，且y不在z中出現。k=k+1=1有01=00?{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;02=T1?{z/x}={z/y,z/x},S2=S1-{z/x}={P(f(z),z,g(z))}是單元素集。根據求MGU算法，MGU=62={z/y,z/x}5、證:①P(x) ...從F變換?Q(a)VQ(x) ...從F變換」P(y)VnQ(y)..?結論的否定」Q(x) ...①③歸結,{x/y}口 ...②④歸結，置換{a/x}四、得證。1、2、3、解:現定義如下謂詞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)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存在祖孫關系」F(x,y)VnF(y,z)VG(x,z)...從(1)變換F(L,D) ...從(2)變換F(D,X) ...從(3)變換」G(u,v) ...結論的否定」F(D,z)VG(L,z) ...①②歸結，置換{L/x,D/y}G(L,X) ...③⑤歸結，置換{X/z}口 ...④⑥歸結，置換{L/u,X/v}得證,說明存