人工智能試卷八一、填空題（共30分）1.歸結法中，可以通過---------的方法得到問題的解答。2.化成子句形式為：。3.從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是4.AI是是的英文縮寫5.人工智能的基本技術包括、、、——、——。6.目前所用的知識表示形式有、、等。7.產生式系統有三部分組成，和推理機。其中推理可分為和。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為9、1997年５月，著名的“人機大戰”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。11、謂詞邏輯中，重言式（tautlogy）的值是。12、利用歸結原理證明定理時，若得到的歸結式為，則結論成立。13、若C1=┐∨PQ，C2=P∨┐Q，則C1和C2的歸結式R（C1，C2）=。14、若C1=P(x)∨Q(x)，C2=┐P(a)∨R(y)，則C1和C2的歸結式R（C1，C2）=。15、在歸結原理中，幾種常見的歸結策略并且具有完備性的是，，。16、在啟發式搜索當中，通常用來表示啟發性信息。17、假言推理（AB）A，假言三段論（AB）（BC）填空題.1、修改證明樹2、。3、正向推理4、ArtificalInteligence5、搜索技術推理技術知識表示和知識庫技術、歸納技術、聯想技術6、框架語義網絡面向對象7、綜合數據庫知識庫正向推理反向推理8、轄域約束變元自由變元9、深藍10、制造智能機器實現機器智能11、真12、空集13、┐P∨P或┐Q∨Q14、Q（a）∨R（y）15、刪除策略支持集策略線性歸結策略16、啟發函數17、BAC二、選擇題（15小題，共15分1.人工智能是一門A)數學和生理學心理學和生理學B)語言學D)綜合性的交叉學科和邊緣學科C)2、下列哪個不是人工智能的研究領域（）機A.器證明模B.式識別人工C.生命D.編譯原理3.神經網絡研究屬于下列（）學派符號A.主義連接B.主義行為C.主義D.都不是4.已知初始問題的描述，通過一系列變換把此問題最終變為一個子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）狀態A.空間法問題B.歸約法謂詞C.邏輯法D.語義網絡法5.在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個x。這種函數叫做（）依賴A.函數B.函數Skolem決定C.函數D.多元函數6.子句~PQ和P經過消解以后，得到（）A.PB.QC.~PD.PQ7、8.A（AB）A稱為（），~（AB）~A~B稱為（）A.結合律B.分配律吸C.收律摩D.根律8、下列哪部分不是專家系統的組成部分（）A.）用戶）綜合數據庫B）推理機C）知識庫D9、產生式系統的推理不包括（）A）正向推理）逆向B推理）雙向C推理）簡單D推理10、C(B|A)表示在規則A->B中，證據A為真的作用下結論B為真的A)可信度信度B)信任增長度C)概率D)11、AI的英文縮寫是A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A)永真式包孕式（subsB)umed）空子句C)13、在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個x。這種函數叫做（）依賴A.函數B.函數Skolem決定C.函數D.多元函數14、子句~PQ和P經過消解以后，得到（）A.PB.QC.~PE.PQ15、如果問題存在最優解，則下面幾種搜索算法中，（）必然可以得到該最優解。

A.廣度優先搜索B.深度優先搜索C.有界深度優先搜索D.啟發式搜索三、簡答與應用題i.深度優先方法的特點是什么？6ii.什么是置換？置換是可交換的嗎？6分某問題由下列公式描述：(1)、試用歸結法證明(x)R(x)；8分下圖所示博弈樹4.，按從左到右的順序進行α-β剪枝搜索，試標明各生成節點的到推值，何處發生剪枝，及應選擇的走步。10分分設有如5.10下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關系？(10分)6.張某被盜，公安局派了五個偵察員去調查。研究案情時，偵察員Ａ說：“趙與錢中至少有一人作案”；偵察員Ｄ說：“錢與孫至少有一人作案”；偵察員Ｃ說：“孫與李中至少有一個作案”；偵察員Ｄ說“趙與孫至少一個與案無關”；偵察員Ｅ說“錢與李中至少有一人與此案無關”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（10分）選擇題123456789101112131415CDBBBBCADBBCBBA三、簡答與應用題1.解答:（1）屬于圖搜索；（2）是一個通用的搜索方法；（3）如果深度限制不合適，有可能找不到問題的解；（4）不能保證找到最優解。2.回答:通常用有序對的集合s＝{t1/v1，表達式中的變量vi處處以項ti來替換，用s對表達式E作置換后的例簡記為Es。t2/v2，…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是一般來說，置換是不可交換的，即兩個置換合成的結果與置換使用的次序有關。3.5.、解:現定義如下謂詞F(x,y)------是y的父親;xG(x,z)------是y的祖父;x用謂詞邏輯表示已知與求解:(1)∧F(F(x,y)y,z)→G(x,z)(2)F(L,D)(3)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存在祖孫關系①～F(x,y)∨～F(y,z)②F(L,D)∨G(x,z)．．．從(1)變換．．．從(2)變換③F(D,X)．．．從(3)變換④～G(u,v)．．．結論的否定⑤～F(D,z)∨G(L,z)．．．①②歸結,置換｛L/x,D/y｝⑥G(L,X)．．．③⑤歸結,置換｛X/z｝⑦□．．．④⑥歸結,置換｛L/u,X/v｝得證,說明存在祖孫關系。為了求解用一個重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結論的否定,重言式恒為真⑤～F(D,z)∨G(L,z)．．．①②歸結,置換｛L/x,D/y｝⑥G(L,X)．．．③⑤歸結,置換｛X/z｝⑦G(L,X)．．．④⑥歸結,置換｛L/u,X/v｝得結果:L是X的祖父，即老李是小李的祖父。6.解：設用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)T(錢)偵察員B的話可表示：T(錢)T(孫)偵察員C的