人工智能導論試卷

一、選擇題(每題1分，共15分)1、人工智能是一門DA)數學和生理學 B)心理學和生理學 C)語言學D)綜合性的交叉學科和邊緣學科 2、語義網絡表達知識時，有向弧AKO 鏈、ISA 鏈是用來表達節(jié)點知識的（ C）。A) 無悖性 B) 可擴充性 C) 繼承性3、(A->B)A => B是CA)附加律B)拒收律C)假言推理D)US4、命題是可以判斷真假的DA)祈使句B)疑問句C)感嘆句D)陳述句5、僅個體變元被量化的謂詞稱為AA)一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是AA) 最一般合一 B)最一般替換 C) 最一般謂詞 D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中DA) 事實B) 規(guī)則C) 控制D) 關系8、當前歸結式是（ ）時，則定理得證。CA) 永真式B 包孕式（subsumed）C) 空子句9、或圖通常稱為DA）框架網絡 B)語義圖 C)博亦圖 D)狀態(tài)圖10、不屬于人工智能的學派是BA)符號主義 B) 機會主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從( A )的初始證據出發(fā)，通過運用( )的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A)不確定性, 不確定性 B)確定性, 確定性C)確定性, 不確定性 D) 不確定性 確定性12.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（B ）。A)專家系統(tǒng) B)機器學習 C)神經網絡 D)模式識別13、下列哪部分不是專家系統(tǒng)的組成部分（A ）A.）用戶 B）綜合數據庫 C）推理機 D）知識庫14、產生式系統(tǒng)的推理不包括（D ）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理15、C(B|A) 表示在規(guī)則A->B中，證據A為真的作用下結論B為真的BA)可信度 B)信度 C)信任增長度 D)概率二、填空題(每題1分，共30分)1、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是圖靈2、從已知事實出發(fā)，通過規(guī)則庫求得結論的產生式系統(tǒng)的推理方式是正向推理。3、AI的英文縮寫是Artifical Intelligence。4、不確定性類型按性質分：不確定性，模糊性，不完全性，不一致性。6、對證據的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關系：CF（A）=、CF（A1A2 ）=、CF（A1A2 ）=。-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2) )7、圖：指由節(jié)點和有向邊組成的網絡。按連接同一節(jié)點的各邊的邏輯關系又可分為和或圖 與或圖。8、合一算法：求非空有限具有相同謂詞名的原子公式集的MGU。9、1997年月，著名的“人機大戰(zhàn)”，最終名為“深藍”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是制造智能機器，近期目標是實現(xiàn)機器智能。三、簡答及計算題(每題5分，共25分)1、解釋下列模糊性知識：1) 張三，體型，（胖，0.9）。張三比較胖2) (患者，癥狀，(頭疼，0.95) ) (患者，癥狀，(發(fā)燒，1.1) ) (患者，疾病，(感冒，1.2) )答：如果患者頭疼并且發(fā)燒，則患者感冒了2、簡單闡述產生式系統(tǒng)的組成：答：產生式規(guī)則系統(tǒng)推理機動態(tài)數據庫3、補齊產生式系統(tǒng)與圖搜索的對比表答： 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)中出現(xiàn)。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)/z5、證明G是否是F1、F2的邏輯結論；證:5、證:P(x)Q(x)從F1變換P(y)R(y)從F1變換P(a)從F2變換S(a)從F2變換S(z)R(z)結論的否定R(a)歸結a/yR(a)歸結a/z歸結得證.四、應用題(共30分)1、將命題：“某個學生讀過三國演義”分別用謂詞公式和語義網絡表示答： 1、答：謂詞公式表示：$x(student(x)read(x,三國演義)語義網絡表示如圖：2、2、圖示博弈樹，其中末一行的數字為假設的估值，請利用-剪枝技術剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、利用謂詞邏輯表示下列知識（包括已知和結論），然后化成子句集： （1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：現(xiàn)定義如下謂詞L(x,y)-某人x喜歡某物y；P(y)- 某物y是清潔的東西(1) yx(P(y)L(x,y) => P(y)L(f(y),y)(2) x(L(x,Fly) => L(x,Fly)(3) P(Fly) 結論的反(4) L(f(Fly), Fly) (1)(3)歸結,置換Fly/y(5) (2)(4)歸結,f(Fly)/x得證。 5