人工智能復習題及答案

人工智能復習題及答案人工智能復習題及答案人工智能復習題及答案人工智能復習題及答案編制僅供參考審核批準生效日期地址：電話：傳真:郵編:填空：人工智能的研究途徑有心理模擬、生理模擬和行為模擬。任意列舉人工智能的四個應用性領域智能控制、智能管理、智能決策、智能仿真。人工智能的基本技術包括表示、運算、搜索歸納技術、聯(lián)想技術。謂詞邏輯是一種表達能力很強的形式語言，其真值的特點和命題邏輯的區(qū)別是（10）。謂詞邏輯中，重言式（tautlogy）的值是（11）。設P是謂詞公式，對于P的任何論域，存在P為真的情況，則稱P為（12）。在著名的醫(yī)療專家系統(tǒng)MYCIN中規(guī)定，若證據(jù)A的可信度CF（A）=0，則意味著13，CF（A）=-1，則意味著（14），CF（A）=1，則意味著（15）。謂詞公式G是不可滿足的，當且僅當對所有的解釋（16）。謂詞公式與其子句集的關系是（17）。利用歸結原理證明定理時，若得到的歸結式為（18），則結論成立。若C1=┐P∨Q，C2=P∨┐Q，則C1和C2的歸結式R（C1，C2）=（19）。若C1=P(x)∨Q(x)，C2=┐P(a)∨R(y)，則C1和C2的歸結式R（C1，C2）=（20）。有謂詞公式G，置換δ，則G·ε=（21），δ·ε=（22）。有子句集S=｛P(x),P(y)｝，其MGU=（23）。在歸結原理中，幾種常見的歸結策略并且具有完備性的是（24），（25），（26）。狀態(tài)圖啟發(fā)式搜索算法的特點是（27）。廣度優(yōu)先搜索算法中，OPEN表的數(shù)據(jù)結構實際是一個（28），深度優(yōu)先搜索算法中，OPEN表的數(shù)據(jù)結構實際是一個（29）。產(chǎn)生式系統(tǒng)有三部分組成（30），（31）和推理機。其中推理可分為（32）和（33）。專家系統(tǒng)的結構包含人機界面、（34），（35），（36），（37）和解釋模塊。在MYCIN推理中，對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關系：CF（~A）=（38），CF（A1∧A2）=（39），CF（A1∨A2）=（40）。開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和（41），知識表示的方法主要有（42），（43），（44）和語義網(wǎng)絡等，在語義網(wǎng)絡表示知識時，所使用的推理方法有（45）和（46）。MYCIN系統(tǒng)中使用不確定推理，規(guī)則A→B由專家指定其可信度CF（B，A），若A真支持B真，則指定CF（B，A）（與零比較）應（47）；若A真不支持B真，則指定CF（B，A）應（48）。機器學習的含義是（49）。自然語言理解不僅包括計算機能正確理解人們用自然語言輸入的信息，能正確回答輸入信息中的有關問題，而且還包括（50）、（51）、（52）。設U={a,b,c,d}，A={a,b}，B={a,b,c}，m(A)=，m(U)=，U的其它子集的基本概率分配函數(shù)m值均為0，則Bel(A)=（53），Bel(B)=（54）。證據(jù)理論中集合A的信任區(qū)間為[1，1]，則其語意解釋為（55）。人工智能三大學派是?；勺泳湫问綖椋?。從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是。AI的英文縮寫是。在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為。假言推理（AB）A，假言三段論（AB）（BC）。幾種常用的歸結策略：、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略。在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術稱為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為。在啟發(fā)式搜索當中，通常用來表示啟發(fā)性信息。在二人博弈問題中，最常用的一種分析技術是，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了。37.某產(chǎn)生式系統(tǒng)中的一條規(guī)則：A（x）B（x），則前件是，后件是。38.在框架和語義網(wǎng)絡兩種知識表示方法中，適合于表示結構性強的知識，而則適合表示一些復雜的關系和聯(lián)系的知識。不僅僅是一種知識表示方法，也是一種流行的軟件設計和開發(fā)技術。不確定性類型按性質分：，，，。在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句；子句集中被別的子句的子句。對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=合一算法：求非空有限具有相同謂詞名的原子公式集的產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為。P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結論B為真的。人工智能的遠期目標是，近期目標是。常用的二種盲目搜索方法是_________和_________；引入啟發(fā)式知識來指導OPEN表中節(jié)點的排序可劃分為二種方式_________和_________。產(chǎn)生式系統(tǒng)的推理可以分為_________和_________兩種基本方式。知識表示的性能應從以下二個方面評價：_________和_________；后者又分二個方面_________和_________。人工智能的表現(xiàn)形式至少有_______、_______、_______、_______和______幾種。目前所用的知識表示形式有_________、_________、________、_________等?？蚣芟到y(tǒng)的特性繼承功能可通過組合應用槽的三個側面來靈活實現(xiàn)，它們是_________、_________和_________。產(chǎn)生式系統(tǒng)是由_________、_________和_________三部分組成的。________就是所考察判斷的事物或對象的集合，記為____。它的子集構成______。證據(jù)理論是經(jīng)典概率論的一種擴充形式，構成這一理論的函數(shù)有_________、_________和_________。對于模糊不確定性，一般采用_______或_______來刻劃。歸結法中，可以通過---------的方法得到問題的解答?；勺泳湫问綖椋?。58.從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是。謂詞邏輯中，重言式（tautlogy）的值是。利用歸結原理證明定理時，若得到的歸結式為，則結論成立。在啟發(fā)式搜索當中，通常用來表示啟發(fā)性信息。二、選擇題選擇題：（13小題，共13分）1.人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是（）。A.明斯基B.扎德C.圖靈D.馮.諾依曼2.下列哪個不是人工智能的研究領域（）A.機器證明B.模式識別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡研究屬于下列（）學派A.符號主義B.連接主義C.行為主義D.都不是4.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）A.狀態(tài)空間法B.問題歸約法C.謂詞邏輯法D.語義網(wǎng)絡法5.在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PQ和P經(jīng)過消解以后，得到（）A.PB.QC.~PPQ7,（AB）A稱為（），~（AB）~A~B稱為（）結合律B.分配律C.吸收律D.摩根律9,10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解，（）可以認為是“智能程度相對比較高”的算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括（）A.正向推理B.逆向推理C.雙向推理D.簡單推理12.下列哪部分不是專家系統(tǒng)的組成部分（）A.用戶B.綜合數(shù)據(jù)庫C.推理機D.知識庫13.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。A.專家系統(tǒng)B.機器學習C.神經(jīng)網(wǎng)絡D.模式識別！14、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation15、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句16、從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理 B)反向推理 C)雙向推理17、語義網(wǎng)絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節(jié)點知識的（）。A)無悖性 B)可擴充性 C)繼承性18、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理 D)US19、命題是可以判斷真假的A)祈使句 B)疑問句 C)感嘆句 D)陳述句20、僅個體變元被量化的謂詞稱為A)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞21、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換22、1997年５月，著名的“人機大戰(zhàn)”，最終計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為（）A）深藍 B）IBM C）深思 D）藍天23、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實 B)規(guī)則 C)控制和元知識 D)關系24、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補文字的（最一般）合一置換，則其歸結式C=（）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’25、或圖通常稱為A）框架網(wǎng)絡 B)語義圖 C)博亦圖 D)狀態(tài)圖26、不屬于人工智能的學派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。27、人工智能是一門A)數(shù)學和生理學 B)心理學和生理學 C)語言學D)綜合性的交叉學科和邊緣學科28、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實 B)規(guī)則 C)控制 D)關系29、當前歸結式是（）時，則定理得證。A)永真式 B包孕式（subsumed） C)空子句30、或圖通常稱為A）框架網(wǎng)絡 B)語義圖 C)博亦圖 D)狀態(tài)圖31、所謂不確定性推理就是從()的初始證據(jù)出發(fā)，通過運用()的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A)不確定性,不確定性 B)確定性,確定性C)確定性,不確定性 D)不確定性確定性32、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結論B為真的A)可信度 B)信度 C)信任增長度 D)概率33.謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補文字的（最一般）合一置換，則其歸結式C=（）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’簡答題1.將下列自然語言轉化為謂詞表示形式：所有的人都是要呼吸的。每個學生都要參加考試。任何整數(shù)或是正的或是負的。2.何謂“圖靈實驗”簡單描述之3.寫出圖中樹的結點兩個訪問序列，要求分別滿足以下兩個搜索策略：（1）深度優(yōu)先搜索；（2）廣度優(yōu)先搜索4.試實現(xiàn)一個“大學教師”的框架，大學教師類屬于教師，包括以下屬性：學歷（學士、碩士、博士）、專業(yè)（計算機、電子、自動化、……）、職稱（助教、講師、副教授、教授）5.用謂詞邏輯形式化下列描述“不存在最大的整數(shù)”6.用語義網(wǎng)絡表示“蘋果”知識。7.什么是產(chǎn)生式產(chǎn)生式規(guī)則的語義是什么8.謂詞公式G通過８個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。9.（1）已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU（2）已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU10.（1）證明G是否是F的邏輯結論；（2）證明G是否是F1、F2的邏輯結論；11.1、用語義網(wǎng)絡表示下列信息：(1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(2)清華大學與北京大學進行藍球比賽，最后以89：102的比分結束。（3）將命題：“某個學生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡表示（4）把語句“每個學生都喜歡老師上的一門課。”（5）請把下列命題表示的事實用一個語義網(wǎng)絡表示出來。1)樹和草都是植物；2)樹和草都是有根有葉的；3)水草是草，且長在水中；4)果樹是樹，且會結果；5)櫻桃樹是一種果樹，它結櫻桃。（6）用語義網(wǎng)絡表示下列事實姚明是一位年近半百的男教師，中等身材，他在本學年第二學期給計算機專業(yè)學生講授“人工智能”課程。該課程是一門選修課，比較難。13.圖示博弈樹，其中末一行的數(shù)字為假設的估值，請利用α-β剪枝技術剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）14.設有如下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關系15解釋下列模糊性知識：1)張三，體型，（胖，））。2)(患者，癥狀，(頭疼，)∧(患者，癥狀，(發(fā)燒，)→(患者，疾病，(感冒，)16.簡單闡述產(chǎn)生式系統(tǒng)的組成。17.試用線性消解策略證明：子句集S={P∨Q,﹁P∨R,﹁Q∨R,﹁R}是可消解的。18廣度優(yōu)先搜索與深度優(yōu)先搜索各有什么特點19.語義網(wǎng)絡可以表達事物之間的哪些關系20.假設已知下列事實：（1）超市（Supermarket）賣（Sail）的商品(Goods)便宜(Cheap)。（2）王（Wang）買（Buy）需要的（Want）便宜商品。（3）自行車（Bicycle）是商品且超市賣自行車。（4）王需要自行車。（5）趙（Zhao）跟隨王買同樣的商品。請應用歸結反演證明方法回答以下問題：（1）王買自行車嗎（2）趙買什么商品21.已知一個使用可信度方法的推理網(wǎng)絡如圖所示，其證據(jù)的可信度均標示在圖中。推理規(guī)則的可信度分別為：A∧B→H, C∨D→H, E→H,試按照可信度方法的求解步驟計算每個證據(jù)節(jié)點對假設H推理的可信度，并據(jù)此推算全部證據(jù)（復合證據(jù)）對于H推理的可信度。22.求子句R(x,y)∨﹁Q(B,y)∨W(x,f(y))和R(x,C)∨Q(y,C)的歸結式。23.何謂估價函數(shù)啟發(fā)式圖搜索的A算法和A*算法最顯著的區(qū)別是什么24.什么是置換置換是可交換的嗎25.給1～9九個數(shù)字排一個序列，使得該序列的前n(n=1,...,9)個數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識可以幫助該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問題.26..α－β剪枝的條件是什么27將下列自然語言轉化為謂詞表示形式：（1）所有的人都是要呼吸的。（2）每個學生都要參加考試。（3）任何整數(shù)或是正的或是負的。28、人工智能主要有哪幾種研究途徑和技術方法，簡單說明之。1、（1）將下列謂詞公式化成子句集（2）把下列謂詞公式分別化成相應的子句集：x(yP(x,y)→～y(Q(x,y)→R(x,y)))2.若謂詞公式E=P(x,f(y),z),置換s1=｛f(x,y)/z,z/w｝，s2=｛a/x,b/y,w/z｝，求E（s1·s2），E（s2·s1）。3.用加權圖的啟發(fā)式搜索算法（不能用Dijkstra算法）求解下列問題：下圖是一個交通圖，設A是出發(fā)地，E是目的地，邊上的數(shù)字表示兩城市之間的交通費。求從A到E最小費用的旅行路線，畫出搜索樹，畫出Closed表和Open表的變化過程。4.用標準邏輯（經(jīng)典邏輯，謂詞邏輯）的子句集表示下述刑偵知識，并用反演歸解的線性策略證明結論現(xiàn)定義如下謂詞（其項變量X，Y，Z，皆為全稱量詞）。Thief(X)-----某人X是賊；Likes(X,Y)------某人X喜歡某物Y；May-steal(X,Y)------某人X可能會偷竊某物Y。5.用子句集表達下述刑偵知識：I.John是賊。II.Paul喜歡酒（wine）III.Paul(也)喜歡奶酪（cheese）IV.如果Paul喜歡某物則John也喜歡某物。V.如果某人是賊，而且他喜歡某物，則他就可能會偷竊該物。6.求證結論:John可能會偷竊了什么即求證目標：may-steal(John,Z),Z=（要求將求證目標作為頂子句，按線性策略進行歸結推理，注明每次求歸結式所進行的置換及其父子句的編號）7.（1）已知一組規(guī)則和證據(jù)（事實）：R1：A1→B1,CF（B1，A1）=R2：A2→B1,CF（B1，A2）=R3：B1∧A3->B2，CF（B2，B1∧A3）=初始證據(jù)A1，A2，A3，并且CF(A1)=CF(A2)=CF(A3)=1,并且初始時對B1，B2一無所知。根據(jù)Shortliffe的確定性理論（可信度方法），求證據(jù)B1，B2的可信度在執(zhí)行規(guī)則R1，R2，R3后的更新值CF(B1),CF(B2)。（2）已知有如下不確定推理規(guī)則：r1：C11∨C12TH1；r2：H1TH；r3：C21∧C22TH－；r4：(C31∧C32)∨C33TH；CF(C11)=，CF(C12)=，CF(C21)=，CF(C22)=，CF(C31)=，CF(C32)=，CF(C33)=；請應用MYCIN的確定性方法求出CF(H)。8.設有A，B，C三人中有人從不說真話，也有人從不說假話，某人向這三人分別提出同一個問題：誰是說謊者A答：“B和C都是說謊者”；B答：“A和C都是說謊者”；C答：“A和B中至少有一個是說謊者”。求誰是老實人，誰是說謊者（15分）9.1）設已知:(1)能閱讀者是識字的；(2)海豚不識字；(3)有些海豚是聰明的;求證:有些聰明者并不能閱讀.2）利用謂詞邏輯表示下列知識（包括已知和結論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。10.八數(shù)碼游戲，初始棋局和目標棋局如圖，定義啟發(fā)函數(shù)h（x）表示某狀態(tài)下與目標數(shù)碼不同的位置個數(shù)，用全局擇優(yōu)法畫出搜索的過程。初始狀態(tài)：，目標狀態(tài)：11.張某被盜，公安局派了五個偵察員去調查。研究案情時，偵察員Ａ說：“趙與錢中至少有一人作案”；偵察員Ｄ說：“錢與孫至少有一人作案”；偵察員Ｃ說：“孫與李中至少有一個作案”；偵察員Ｄ說“趙與孫至少一個與案無關”；偵察員Ｅ說“錢與李中至少有一人與此案無關”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。12.某企業(yè)欲招聘一個JAVA程序員，定義如下產(chǎn)生式規(guī)則(要求)：r1:IF有工作經(jīng)驗or(本科以上學歷and有相關知識背景then錄用（r2:IF工作兩年以上and作過相關工作then有工作經(jīng)驗（）r3:IF學過數(shù)據(jù)結構and學過JAVAand學過數(shù)據(jù)庫and學過軟件工程then有相關知識背景r4:學過數(shù)據(jù)結構（相關課程的成績/100）r5:學過JAVA（相關課程的成績/100）r6:學過數(shù)據(jù)庫（相關課程的成績/100）r7:學過軟件工程（相關課程的成績/100）r8:做過相關工作：JAVA程序員：1，項目經(jīng)理：1，數(shù)據(jù)庫開發(fā)工程師：，數(shù)據(jù)庫管理員：,網(wǎng)絡管理員：，客服人員：設有一本科畢業(yè)生甲，其相關課程的成績?yōu)閿?shù)據(jù)結構=85,JAVA=80,數(shù)據(jù)庫=40,軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開發(fā)人員根據(jù)確定性理論，問該公司應該招聘誰如果你是該本科生，為了能在招聘中勝出，你應該加強哪門課程，并使該門課程的成績至少達到多少13.某問題由下列公式描述：試用歸結法證明(x)R(x)；14.下圖所示博弈樹，按從左到右的順序進行α-β剪枝搜索，試標明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應選擇的走步。10分15.剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確什么是人工智能人工智能與計算機程序的區(qū)別答：AI是研究如何制造人造的智能機器或智能系統(tǒng)來模擬人類智能活動的能力以延伸人類智能的科學，它與計算機程序的區(qū)別是：AI研究的是符號表示的知識而不是數(shù)值數(shù)據(jù)為研究對象AI采用啟發(fā)式搜索方法而不是普通的算法控制結構與知識是分離的允許出現(xiàn)不正確的答案化下列邏輯表達式為不含存在量詞的前束范式 答：求下列謂詞公式的子句集 答：所以子句集為：{}若有梯形ABCD，將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結原理證明內(nèi)錯角CACABD證明：設梯形頂點依次為a,b,c,d,定義謂詞:T(x,y,u,v):表示xy為上底,uv為下底的梯形.P(x,y,u,v):表示xy||uvE(x,y,z,u,v,w)表示∠xyz=∠uvw，問題的描述和相應的子句集為xyuv[T(x,y,u,v)→P(x,y,u,v)]...梯形上下底平行 子句：～T(x,y,u,v)∨P(x,y,u,v) xyuv[P(x,y,u,v)→E(x,y,v,u,v,y)]...平行則內(nèi)錯交相等 子句：T(a,b,c,d)...已知子句：T(a,b,c,d) E(a,b,d,c,d,b)...要證明的結論子句：～E(a,b,d,c,d,b)子句集S為～T(x,y,u,v)∨P(x,y,u,v)～P(x,y,u,v)∨E(x,y,v,u,v,y)T(a,b,c,d)～E(a,b,d,c,d,b)下面利用歸結原理證明P(a,b,c,d) （1）和（3）歸結，置換{a/x,b/y,c/u,d/v}E(a,b,d,c,d,b) （2）和（5）歸結，置換{a/x,b/y,c/u,d/v}NIL （4）和（6）歸結根據(jù)歸結原理得證。求子句集的MGU解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0=｛a/z｝,其中z是變元，a是項，且z不在a中出現(xiàn)。k=k+1=1有δ1=δ0·｛a/z｝=ε·｛a/z｝=｛a/z｝，S1=S0·｛a/z｝=｛P(a,x,f(g(y)),P(a,h(a,u),f(u))),S1不是單元素集，求得差異集D1=｛x,h(a,u)｝,k=k+1=2;δ2=δ1·｛h(a,u)/x｝=｛a/z,h(a,u)/x｝,S2=S1·｛h(a,u)/x｝=｛P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u)))，S2不是單元素集，求得差異集D2=｛g(y),u｝,k=k+1=3δ3=δ2·｛g(y)/u｝=｛a/z,h(a,u)/x｝·｛g(y)/u｝=｛a/z,h(a,g(y))/x,g(y)/u｝S3=S2·｛g(y)/u｝=｛P(a,h(a,g(y)),f(g(y)))｝是單元素集。根據(jù)求MGU算法，MGU=δ3=｛a/z,h(a,g(y))/x,g(y)/u｝用代價優(yōu)先算法求解下圖的旅行推銷員問題，請找一條從北京出發(fā)能遍歷各城市的最佳路徑（旅行費最少），每條弧上的數(shù)字表示城市間的旅行費用。并用CLOSED表記錄遍歷過的結點，OPEN表記錄待遍歷的結點。畫出closed和open表的變化過程，然后根據(jù)closed表找出最佳路徑。解： OPEN表擴展節(jié)點父節(jié)點A（0）NULLB（31）AC（28）AD（43）BC（54）BE（38）DC（59）DC（27）EA（51）ECLOSE表擴展節(jié)點父節(jié)點A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B用框架表示下述報導的沙塵暴災害事件[虛擬新華社3月16日電]昨日，沙塵暴襲擊韓國漢城，機場與高速公路被迫關閉，造成的損失不詳。韓國官方示，如果需要直接損失情況，可待一周后的官方公布的字。此次沙塵暴起因中日韓專家認為是由于中國內(nèi)蒙古區(qū)過分墾牧破壞植被所致。提示：分析概括用下劃線標出的要點，經(jīng)過概念化形成槽（Slot）并擬出槽的名稱，選填側面（face）值。側面包含“值（value）”，“默認值（default）”，“如果需要值（if-needed）”，“如果附加值（if-added）”幾個方面，用不到的側面值可刪除。FRAME：Slot1：Value：Default：If-needed：If-added：Slot2：Value：Default：If-needed：If-added：Slot3：Value：Default：If-needed：If-added：……解：FRAME：沙塵暴Slot1：時間Value：3月15Default：If-needed：If-added：Slot2：地點Value：韓國漢城Default：If-needed：If-added：Slot3：損失Value：不詳Default：If-needed：一周后官方公布數(shù)字If-added：Slot4：起因Default：中國內(nèi)蒙古區(qū)1.(5分)什么是“知識工程”它對人工智能的發(fā)展有何重要作用2.(10分)請用相應的謂詞公式表示下述語句：（1）有的人喜歡足球，有的人喜歡排球，有的人既喜歡足球又喜歡排球。（2）不是每一個人都喜歡游泳。（3）如果沒有利息，那么就沒有人愿意去存錢。（4）對于所有的x和y，如果x是y的父親，y是z的父親，那么x是z的祖父。（5）對于所有的x和y，如果x是y的孩子，那么y是x的父母。（6）登高望遠。（7）響鼓不用重錘。（8）如果b>a>0和c>d>0，則有(b*(a+c)/d)>b。3.(5分)試建立一個“學生”框架網(wǎng)絡，其中至少有“學生基本情況”、“學生課程學習情況”和“學生獎懲情況”三個框架描述。4.(10分)請把下述事實用一個語義網(wǎng)絡表示出來：（1）李明是東方大學計算機系的一名學生。（2）他住在計算機系的學生宿舍里。（3）計算機系的每間學生宿舍都有一臺聯(lián)網(wǎng)的計算機。（4）李明喜歡在宿舍的計算機上瀏覽。5.(10分)已知下述事實：（1）小李只喜歡較容易的課程。（2）工程類課程是較難的。（3）PR系的所有課程都是較容易的。（4）PR150是PR系的一門課程。應用歸結演繹推理回答問題：小李喜歡什么課程6.(10分)已知：規(guī)則1：任何人的兄弟不是女性規(guī)則2：任何人的姐妹必是女性事實：Mary是Bill的姐妹用歸結推理方法證明Mary不是Tom的兄弟。7.(15分)考慮下面的句子：每個程序都存在Bug含有Bug的程序無法工作P是一個程序（1）一階謂詞邏輯表示上述句子。（2）使用歸結原理證明P不能工作。8.(10分)任何通過了歷史考試并中了彩票的人都是快樂的。任何肯學習或幸運的人可以通過所有考試，小張不學習，但很幸運，任何人只要是幸運的就能中彩票。求證：小張是快樂的。9.(10分)已知：海關職員檢查每一個入境的不重要人物，某些販毒者入境，并且僅受到販毒者的檢查，沒有一個販毒者是重要人物。證明：海關職員中有販毒者。10.(15分)有一堆硬幣，開始時有9枚。A、B兩人輪流從中取硬幣，每次取時，可以取1枚或者2枚或者3枚，揀起最后一枚硬幣者為輸方。試用博弈樹證明：后開始取硬幣者總能獲勝，或者先開始取硬幣者總是會輸。1.(5分)一階謂詞邏輯表示法適合于表示哪種類型的知識它有哪些主要特點2.(10分)請用語義網(wǎng)絡分別表示下述語句：（1）與會者有男、有女，有的年老、有的年輕。（2）李明是圖靈電腦公司的經(jīng)理，他住在江濱路102號，今年38歲。（3）大門前的這棵樹從春天到秋天都開花。（4）計算機系的每個學生都學習“人工智能原理”，它是計算機專業(yè)的一門主干課程。3.(10分)已知前提：每個儲蓄錢的人都獲得利息。求證結論：如果沒有利息，那么就沒有人去儲蓄錢。4.(10分)已知前提：（1）某些病人喜歡所有的醫(yī)生。（2）沒有一個病人喜歡任何一個騙子。求證結論：任何一個醫(yī)生都不是騙子。5.(10分)下述公式集F是否可合一，若可合一，則求出F的最一般合一。（1）F={P(a,b),P(x,y)}（2）F={P(f(x),b),P(y,z)}（3）F={P(f(x),y),P(y,f(b))}（4）F={P(f(y),y,x),P(x,f(a),f(b))}6.(10分)已知有些人喜歡所有的花，沒有任何人喜歡任意的雜草，證明花不是雜草。7.(10分)已知下述事實：（1）小楊、小劉和小林是高山俱樂部成員。（2）高山俱樂部的每個成員是滑雪者或登山者，或者既滑雪又登山。（3）沒有一個登山者喜歡下雨。（4）所有滑雪者都喜歡下雪。（5）凡是小楊喜歡的，小劉就不喜歡。（6）凡是小楊不喜歡的，小劉就喜歡。（7）小楊喜歡下雨和下雪。試證明：俱樂部是否有是登山者而不是滑雪者的成員如果有，他是誰8.(10分)把下列謂詞公式分別化為相應的子句集：（1）(x)(y)(P(x,y)∧Q(x,y))（2）(x)(y)(P(x,y)→Q(x,y))（3）(x)(y)(P(x,y)∨(Q(x,y)→R(x,y)))（4）(x)(y)(z)(P(x,y)→Q(x,y)∨R(x,z))（5）(x)(y)(z)(u)(v)(w)(P(x,y,z,u,v,w)∧Q(x,y,z,u,v,w)∨～R(x,z,w)))9.(10分)（1）用子句集表示下述知識：John是賊；Paul喜歡酒（wine）；Paul也喜歡奶酪（cheese）；如果Paul喜歡某物，則John也喜歡；如果某人是賊，而且喜歡某物，則他就可能會偷竊該物。（2）求解結論：John可能會偷竊什么10.(15分)五子棋棋盤是一個行、列皆有5個方格的5X5方格棋盤，A、B兩人輪流投子，每次投一子于一個空的方格中，誰先布成五子成一線（行、列、對角線均可），誰就獲勝。請定義估價函數(shù)，并站在A的立場上，找出獲勝的最佳走步。11、某公司招聘工作人員，A，B，C三人應試，經(jīng)面試后公司表示如下想法：（1）三人中至少錄取一人。（2）如果錄取A而不錄取B，則一定錄取C。（3）如果錄取B，則一定錄取C。求證：公司一定錄取C。12、用語義網(wǎng)絡表示下列命題（1）樹和草都是植物（2）樹和草都有根和葉（3）水草是草，它長在水中（4）果樹是樹，會結果（5）蘋果樹結蘋果一、選擇題(每題1分，共15分)1、人工智能是一門A)數(shù)學和生理學 B)心理學和生理學 C)語言學D)綜合性的交叉學科和邊緣學科2、語義網(wǎng)絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節(jié)點知識的（）。A)無悖性 B)可擴充性 C)繼承性3、(A->B)∧A=>B是A)附加律 B)拒收律 C)假言推理 D)US4、命題是可以判斷真假的A)祈使句 B)疑問句 C)感嘆句 D)陳述句5、僅個體變元被量化的謂詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實 B)規(guī)則 C)控制 D)關系8、當前歸結式是（）時，則定理得證。A)永真式 B包孕式（subsumed） C)空子句9、或圖通常稱為A）框架網(wǎng)絡 B)語義圖 C)博亦圖 D)狀態(tài)圖10、不屬于人工智能的學派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從()的初始證據(jù)出發(fā)，通過運用()的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A)不確定性,不確定性 B)確定性,確定性C)確定性,不確定性 D)不確定性確定性12.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。A)專家系統(tǒng) B)機器學習 C)神經(jīng)網(wǎng)絡 D)模式識別13、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫 C）推理機 D）知識庫14、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理15、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結論B為真的A)可信度 B)信度 C)信任增長度 D)概率二、填空題(每題1分，共30分)1、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是2、從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫是。4、不確定性類型按性質分：，，，。5、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。6、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。7、圖：指由組成的網(wǎng)絡。按連接同一節(jié)點的各邊的邏輯關系又可分為和。8、合一算法：求非空有限具有相同謂詞名的原子公式集的。9、1997年５月，著名的“人機大戰(zhàn)”，最終名為“”的計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。三、簡答及計算題(每題5分，共25分)1、解釋下列模糊性知識：1)張三，體型，（胖，））。2)(患者，癥狀，(頭疼，)∧(患者，癥狀，(發(fā)燒，)→(患者，疾病，(感冒，)答：2、簡單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補齊產(chǎn)生式系統(tǒng)與圖搜索的對比表答：4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU解：5、證明G是否是F1、F2的邏輯結論；證:四、應用題(共30分)1、將命題：“某個學生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡表示答：2、圖示博弈樹，其中末一行的數(shù)字為假設的估值，請利用α-β剪枝技術剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）3、利用謂詞邏輯表示下列知識（包括已知和結論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：

答案：一、1、D 2、C 3、C 4、D 5、A 6、A 7、D 8、C 9、D 10、B 11、A 12、B 13、A. 14、D 15、B二、1、圖林 2、正向推理 3、ArtificalIntelligence4、隨機性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)})7、節(jié)點和有向邊，或圖，與或圖 8、最一般合一（MGU）9、深藍 10、制造智能機器，實現(xiàn)機器智能三、1、答：1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答：1）產(chǎn)生式規(guī)則庫：描述相應領域知識的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫：（事實的集合）存放問題求解過程中當前信息的數(shù)據(jù)結構（初始事實、外部數(shù)據(jù)庫輸入的事實、中間結果事實和最后結果事實）3）推理機：（控制系統(tǒng)）是一個程序，控制協(xié)調規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式和控制策略。3、答：4、解：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是單元素集。根據(jù)求MGU算法，MGU=δ1=｛g(A,y)/z｝5、證:①┓P(x)∨Q(x) ．．．從F1變換②┓P(y)∨R(y) ` ．．．從F1變換③P(a) ．．．從F2變換④S(a) ．．．從F2變換⑤┓S(z)∨┓R(z) ．．．結論的否定⑥R(a) ．．．②③歸結｛a/y｝⑦┓R(a) ．．．④⑤歸結｛a/z｝⑧□ ．．．⑥⑦歸結得證.四、1、答：謂詞公式表示：x(student(x)∧read(x,三國演義))語義網(wǎng)絡表示如圖：2、3、證：現(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}得證。人工智能試卷（B）試題部分：一、選擇題（15小題，共15分）1、97年５月，著名的“人機大戰(zhàn)”，最終計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為（）A）深藍 B）IBM C）深思 D）藍天2、下列不在人工智能系統(tǒng)的知識包含的4個要素中A)事實 B)規(guī)則 C)控制和元知識 D)關系3、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補文字的（最一般）合一置換，則其歸結式C=（）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’4、或圖通常稱為A）框架網(wǎng)絡 B)語義圖 C)博亦圖 D)狀態(tài)圖5、不屬于人工智能的學派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。6、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。A)專家系統(tǒng) B)機器學習 C)神經(jīng)網(wǎng)絡 D)模式識別8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶 B）綜合數(shù)據(jù)庫 C）推理機 D）知識庫9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理 B）逆向推理 C）雙向推理 D）簡單推理10、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結論B為真的A)可信度 B)信度 C)信任增長度 D)概率11、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句13、在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PQ和P經(jīng)過消解以后，得到（）A.PB.QC.~PPQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為2、假言推理（AB）A，假言三段論（AB）（BC）3、幾種常用的歸結策略：、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術稱為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為5.在啟發(fā)式搜索當中，通常用來表示啟發(fā)性信息。6.在二人博弈問題中，最常用的一種分析技術是，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了7、不確定性類型按性質分：，，，。8、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。10、圖：指由組成的網(wǎng)絡。按連接同一節(jié)點的各邊的邏輯關系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和，知識表示的方法主要有，，和語義網(wǎng)絡等，在語義網(wǎng)絡表示知識時，所使用的推理方法有和三、簡答與應用題謂詞邏輯形式化下列描述“