人工智能復(fù)習(xí)題庫

(此文檔為Word格式，下載后能夠任意編輯修改！）試卷裝訂封面年第學(xué)期課程名稱：課程代碼學(xué)生系別專業(yè)任課教師閱卷教師考試方式開卷□閉卷∨考試日期考試時(shí)間閱卷日期裝訂教師裝訂日期缺卷學(xué)生姓名及原因：無附：課程考試試卷分析表、期末考評成績記錄表填空：人工智能研究路徑有心理模擬、生理模擬和行為模擬。任意列舉人工智能四個(gè)應(yīng)用性領(lǐng)域難題求解、定理證實(shí)、智能控制、機(jī)器翻譯。人工智能基本技術(shù)包含搜索技術(shù)、推理技術(shù)、知識表示和知識庫技術(shù)歸納技術(shù)、聯(lián)想技術(shù)。謂詞邏輯是一個(gè)表示能力很強(qiáng)形式語言，其真值特點(diǎn)和命題邏輯區(qū)分是（10）。謂詞邏輯中，重言式（tautlogy）值是真。設(shè)P是謂詞公式，對于P任何論域，存在P為真情況，則稱P為永真式。在著名醫(yī)療教授系統(tǒng)MYCIN中要求，若證據(jù)A可信度CF（A）=0，則意味著無關(guān)，CF（A）=-1，則意味著假，CF（A）=1，則意味著真。謂詞公式G是不可滿足，當(dāng)且僅當(dāng)對全部解釋G都為假。謂詞公式與其子句集關(guān)系是包含。利用歸結(jié)原理證實(shí)定理時(shí)，若得到歸結(jié)式為空集，則結(jié)論成立。若C1=┐P∨Q，C2=P∨┐Q，則C1和C2歸結(jié)式R（C1，C2）=┐P∨P或┐Q∨Q。若C1=P(x)∨Q(x)，C2=┐P(a)∨R(y)，則C1和C2歸結(jié)式R（C1，C2）=（20）Q（a）∨R（y）有謂詞公式G，置換δ，則G·ε=（21），δ·ε=（22）。有子句集S=｛P(x),P(y)｝，其MGU={y/x}。在歸結(jié)原理中，幾個(gè)常見歸結(jié)策略而且具備完備性是刪除策略支持集策略線性歸結(jié)策略狀態(tài)圖啟發(fā)式搜索算法特點(diǎn)是（27）。廣度優(yōu)先搜索算法中，OPEN表數(shù)據(jù)結(jié)構(gòu)實(shí)際是一個(gè)二叉樹，深度優(yōu)先搜索算法中，OPEN表數(shù)據(jù)結(jié)構(gòu)實(shí)際是一個(gè)單鏈表。產(chǎn)生式系統(tǒng)有三部分組成綜合數(shù)據(jù)庫，知識庫和推理機(jī)。其中推理可分為正向推理和反向推理。教授系統(tǒng)結(jié)構(gòu)包含人機(jī)界面、知識庫，推理機(jī)，動(dòng)態(tài)數(shù)據(jù)庫，知識庫答理系統(tǒng)和解釋模塊。在MYCIN推理中，對證據(jù)可信度CF（A）、CF（A1）、CF（A2）之間，要求以下關(guān)系：CF（~A）=~CF（A），CF（A1∧A2）=min{CF（A1），CF（A2）}，CF（A1∨A2）=max{CF（A1），CF（A2）}。開發(fā)教授系統(tǒng)所要處理基本問題有三個(gè)，那就是知識獲取、知識表示和知識利用，知識表示方法主要有邏輯表示法（謂詞表示法），框架，產(chǎn)生式和語義網(wǎng)絡(luò)等，在語義網(wǎng)絡(luò)表示知識時(shí)，所使用推理方法有AKO和ISAMYCIN系統(tǒng)中使用不確定推理，規(guī)則A→B由教授指定其可信度CF（B，A），若A真支持B真，則指定CF（B，A）（與零比較）應(yīng)（47）；若A真不支持B真，則指定CF（B，A）應(yīng)（48）。機(jī)器學(xué)習(xí)含義是指機(jī)器面對自行為修正或性能改進(jìn)和機(jī)器對客觀規(guī)律和發(fā)展。自然語言了解不但包含計(jì)算機(jī)能正確了解人們用自然語言輸入信息，能正確回答輸入信息中關(guān)于問題，而且還包含語法分析、語用分析、語句分析。設(shè)U={a,b,c,d}，A={a,b}，B={a,b,c}，m(A)=0.6，m(U)=0.4，U其它子集基本概率分配函數(shù)m值均為0，則Bel(A)=（53），Bel(B)=（54）。證據(jù)理論中集合A信任區(qū)間為[1，1]，則其語意解釋為（55）。人工智能三大學(xué)派是符號主義、聯(lián)結(jié)主義、行為主義化成子句形式為：。從已知事實(shí)出發(fā)，經(jīng)過規(guī)則庫求得結(jié)論產(chǎn)生式系統(tǒng)推理方式是正向推理AI英文縮寫是ArtificalInteligence在謂詞公式中，緊接于量詞之后被量詞作用謂詞公式稱為該量詞轄域，而在一個(gè)量詞轄域中與該量詞指導(dǎo)變元相同變元稱為約束變元，其余變元稱為自由變元假言推理（AB）AB，假言三段論（AB）（BC）AC幾個(gè)慣用歸結(jié)策略：刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，慣用到一個(gè)人工智能關(guān)鍵技術(shù)稱為圖搜索技術(shù)，解這類問題時(shí)，常把在迷宮位置、棋布局、八數(shù)碼所排成形勢用圖來表，這種圖稱為狀態(tài)空間圖（或狀態(tài)圖）在啟發(fā)式搜索當(dāng)中，通慣用啟發(fā)函數(shù)來表示啟發(fā)性信息。。在二人博弈問題中，最慣用一個(gè)分析技術(shù)是極大極小分析法，這種方法思想是先生成一棵博弈樹，然后再計(jì)算其倒推值。但它效率較低，所以人們在此基礎(chǔ)上，又提出了-剪枝技術(shù)某產(chǎn)生式系統(tǒng)中一條規(guī)則：A（x）B（x），則前件是A（x），后件是B（x）在框架和語義網(wǎng)絡(luò)兩種知識表示方法中，框架適合于表示結(jié)構(gòu)性強(qiáng)知識，而語義網(wǎng)絡(luò)則適合表示一些復(fù)雜關(guān)系和聯(lián)絡(luò)知識。面向?qū)ο蟛坏珒H是一個(gè)知識表示方法，也是一個(gè)流行軟件設(shè)計(jì)和開發(fā)技術(shù)。不確定性類型按性質(zhì)分：隨機(jī)性，含糊性，不完全性，不一致性。在刪除策略歸結(jié)過程中刪除以下子句：含有純文字子句;含有永真式子句;子句集中被別子句類含子句。對證據(jù)可信度CF（A）、CF（A1）、CF（A2）之間，要求以下關(guān)系：CF（~A）=-CF(A)、CF（A1∧A2）=min{CF(A1),CF(A2)}、CF（A1∨A2）=max{CF(A1),CF(A2)}合一算法：求非空有限具備相同謂詞名原子公式集最通常合一產(chǎn)生式系統(tǒng)推理過程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來執(zhí)行，被執(zhí)行規(guī)則稱為被觸發(fā)規(guī)則。P(B|A)表示在規(guī)則A→B中，證據(jù)A為真作用下結(jié)論B為真概率。慣用二種盲目搜索方法是_隨機(jī)碰撞式搜索__和___完全式搜索______；引入啟發(fā)式知識來指導(dǎo)OPEN表中節(jié)點(diǎn)排序可劃分為二種方式__全局擇優(yōu)搜索和___局部擇優(yōu)搜索。產(chǎn)生式系統(tǒng)推理能夠分為__正向推理___和_反向推理________兩種基本方式。知識表示性能應(yīng)從以下二個(gè)方面評價(jià)：_________和_________；后者又分二個(gè)方面_________和_________。人工智能表現(xiàn)形式最少有________、________、________、________和________幾個(gè)?，F(xiàn)在所用知識表示形式有____框架語義網(wǎng)絡(luò)面向?qū)ο骭等?？蚣芟到y(tǒng)特征繼承功效可經(jīng)過組合應(yīng)用槽三個(gè)側(cè)面來靈活實(shí)現(xiàn)，它們是_________、_________和_________。產(chǎn)生式系統(tǒng)是由___綜合數(shù)據(jù)庫知識庫___和_推理機(jī)________三部分組成._________就是所考查判斷事物或?qū)ο蠹希洖開___。它子集組成_________。證據(jù)理論是經(jīng)典概率論一個(gè)擴(kuò)充形式，組成這一理論函數(shù)有__基本概念全分函數(shù)_、_信任函數(shù)____和___似真函數(shù)______。對于含糊不確定性，通常采取___含糊集合____或__含糊邏輯_____來刻劃。歸結(jié)法中，能夠經(jīng)過----修改證實(shí)樹-----方法得到問題解答。從已知事實(shí)出發(fā)，經(jīng)過規(guī)則庫求得結(jié)論產(chǎn)生式系統(tǒng)推理方式是正向推理人工智能遠(yuǎn)期目標(biāo)是制造智能機(jī)器，，近期目標(biāo)是實(shí)現(xiàn)機(jī)器智能。利用歸結(jié)原理證實(shí)定理時(shí)，若得到歸結(jié)式為空集，則結(jié)論成立。在啟發(fā)式搜索當(dāng)中，通慣用啟發(fā)函數(shù)來表示啟發(fā)性信息。二、選擇題選擇題：（13小題，共13分）1.人工智能含義最早由一位科學(xué)家于1950年提出，而且同時(shí)提出一個(gè)機(jī)器智能測試模型，請問這個(gè)科學(xué)家是（C）。A.明斯基B.扎德C.圖靈D.馮.諾依曼2.以下哪個(gè)不是人工智能研究領(lǐng)域（D）A.機(jī)器證實(shí)B.模式識別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于以下（B）學(xué)派A.符號主義B.連接主義C.行為主義D.都不是4.已知初始問題描述，經(jīng)過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合；這些子問題解能夠直接得到，從而處理了初始問題。這是知識表示法叫（B）A.狀態(tài)空間法B.問題歸約法C.謂詞邏輯法D.語義網(wǎng)絡(luò)法5.在公式中yxp(x,y))，存在量詞是在全稱量詞轄域內(nèi)，我們允許所存在x可能依賴于y值。令這種依賴關(guān)系顯著地由函數(shù)所定義，它把每個(gè)y值映射到存在那個(gè)x。這種函數(shù)叫做（B）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)6.子句~PQ和P經(jīng)過消解以后，得到（B）A.PB.QC.~PPQ7,8.A（AB）A稱為（C），~（AB）~A~B稱為（D）結(jié)合律B.分配律C.吸收律D.摩根律9,10.假如問題存在最優(yōu)解，則下面幾個(gè)搜索算法中，（A）必定能夠得到該最優(yōu)解，（D）能夠認(rèn)為是“智能程度相對比較高”算法。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)推理不包含（D）A.正向推理B.逆向推理C.雙向推理D.簡單推理12.以下哪部分不是教授系統(tǒng)組成部分（A）A.用戶B.綜合數(shù)據(jù)庫C.推理機(jī)D.知識庫13.要想讓機(jī)器具備智能，必須讓機(jī)器具備知識。所以，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)怎樣自動(dòng)獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（B）。A.教授系統(tǒng)B.機(jī)器學(xué)習(xí)C.神經(jīng)網(wǎng)絡(luò)D.模式識別！14、AI英文縮寫是BA)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation15、反演歸結(jié)（消解）證實(shí)定理時(shí)，若當(dāng)前歸結(jié)式是（C）時(shí)，則定理得證。A)永真式 B)包孕式（subsumed） C)空子句16、從已知事實(shí)出發(fā)，經(jīng)過規(guī)則庫求得結(jié)論產(chǎn)生式系統(tǒng)推理方式是（A）A)正向推理 B)反向推理 C)雙向推理17、語義網(wǎng)絡(luò)表示知識時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀硎竟?jié)點(diǎn)知識（C）。A)無悖性 B)可擴(kuò)充性 C)繼承性18、(A→B)∧A=>B是CA)附加律 B)拒收律 C)假言推理 D)US19、命題是能夠判斷真假DA)祈使句 B)疑問句 C)感嘆句 D)陳說句20、僅個(gè)體變元被量化謂詞稱為 AA)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞21、MGU是AA)最通常合一 B)最通常替換 C)最通常謂詞 D)基替換22、1997年５月，著名“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.5總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計(jì)算機(jī)被稱為（A）A）深藍(lán) B）IBM C）深思 D）藍(lán)天23、以下不在人工智能系統(tǒng)知識包含4個(gè)要素中DA)事實(shí) B)規(guī)則 C)控制和元知識 D)關(guān)系24、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字（最通常）合一置換，則其歸結(jié)式C=（A）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’25、或圖通常稱為DA）框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖26、不屬于人工智能學(xué)派是BA)符號主義 B)機(jī)會(huì)主義 C)行為主義 D)連接主義。27、人工智能是一門DA)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性交叉學(xué)科和邊緣學(xué)科D28、以下不在人工智能系統(tǒng)知識包含4個(gè)要素中DA)事實(shí) B)規(guī)則 C)控制 D)關(guān)系29、當(dāng)前歸結(jié)式是（C）時(shí)，則定理得證。A)永真式 B包孕式（subsumed） C)空子句30、或圖通常稱為DA）框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 D)狀態(tài)圖31、所謂不確定性推理就是從(B)初始證據(jù)出發(fā)，經(jīng)過利用()知識，最終推出具備一定程度不確定性但卻是合理或者近乎合理結(jié)論思維過程。A)不確定性,不確定性 B)確定性,確定性C)確定性,不確定性 D)不確定性確定性32、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真作用下結(jié)論B為真BA)可信度 B)信度 C)信任增加度 D)概率33.謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字（最通常）合一置換，則其歸結(jié)式C=（A）A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’簡答題1.將以下自然語言轉(zhuǎn)化為謂詞表示形式：全部人都是要呼吸。每個(gè)學(xué)生都要參加考試。任何整數(shù)或是正或是負(fù)。解：設(shè)M(x)：x是人,H(x)：x要呼吸。P(x)：x是學(xué)生，Q(x)：x要參加考試。J(x)：x是整數(shù)，R(x)：x是正數(shù)，N(x)：x是負(fù)數(shù)。則上述三題就記為：(1)V-x(M(x)→H(x))(2)V-x(P(x)→Q(x))(3)V-x(I(x)→R(x)∨N(x)))2.何謂“圖靈試驗(yàn)”？簡單描述之答：所謂“圖靈試驗(yàn)”，是為了判斷一臺機(jī)器是否具備智能試驗(yàn)。試驗(yàn)由三個(gè)封閉房間組成，分別放置主持人、參加人和機(jī)器。主持人向參加人和機(jī)器提問，經(jīng)過提問結(jié)果來判斷誰是人，誰是機(jī)器。假如主持人無法判斷誰是人，誰是機(jī)器，則這臺機(jī)器具備智能，即所謂“智能機(jī)器”。3.寫出圖中樹結(jié)點(diǎn)兩個(gè)訪問序列，要求分別滿足以下兩個(gè)搜索策略：5151423678910111213廣度優(yōu)先搜索解：（１）深度優(yōu)先搜索：１－２－５－６－１０－１１－３－７－１２－１３－４－８－９（２）廣度優(yōu)先搜索：１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４4.試實(shí)現(xiàn)一個(gè)“大學(xué)教師”框架，大學(xué)教師類屬于教師，包含以下屬性：學(xué)歷（學(xué)士、碩士、博士）、專業(yè)（計(jì)算機(jī)、電子、自動(dòng)化、……）、職稱（助教、講師、副教授、教授）解：框架名：<大學(xué)教師>類屬：<教師>學(xué)歷：(學(xué)士、碩士、博士)專業(yè)：（計(jì)算機(jī)、電子、自動(dòng)化、…..）職稱：（助教、講師、副教授、教授）5.用謂詞邏輯形式化以下描述“不存在最大整數(shù)”解：定義謂詞G(x)：x為整數(shù)D(x,y)：x大于y形式化為：或者6.用語義網(wǎng)絡(luò)表示“蘋果”知識。7.什么是產(chǎn)生式？產(chǎn)生式規(guī)則語義是什么？答：產(chǎn)生式規(guī)則基本形式：P→Q或者IFPTHENQP是產(chǎn)生式前提（前件），用于指出該產(chǎn)生式是否可用條件Q是一組結(jié)論或操作（后件），用于指出當(dāng)前提P所指示條件滿足時(shí)，應(yīng)該得出結(jié)論或應(yīng)該執(zhí)行操作產(chǎn)生式規(guī)則語義：假如前提P被滿足，則可推出結(jié)論Q或執(zhí)行Q所要求操作8.謂詞公式G經(jīng)過８個(gè)步驟所得子句集合S，稱為G子句集。請寫出這些步驟。答：(1）消去蘊(yùn)含式和等價(jià)式→，<->(2）縮小否定詞作用范圍，直到其作用于原子公式:(3）適當(dāng)更名，使量詞間不含同名指導(dǎo)變元和約束變元。(4.）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型）(5）消去全部全稱量詞(6)化成合取范式(7).適當(dāng)更名，使子句間無同名變元(8). 消去合取詞∧，用逗號代替，以子句為元素組成一個(gè)集合S9.（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)}，求MGU 解：（1）k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={y,z},其中y是變元，z是項(xiàng)，且y不在z中出現(xiàn)。k=k+1=1有δ1=δ0·｛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;δ2=δ1·｛z/x｝=｛z/y,z/x｝,S2=S1·｛z/x｝=｛P(f(z),z,g(z))｝是單元素集。依照求MGU算法，MGU=δ2=｛z/y,z/x｝（2）k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變元，g(A,y)是項(xiàng)，且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)/z｝10.（1）證實(shí)G是否是F邏輯結(jié)論；證:①P(x) ．．．從F變換②Q(a)∨Q(x) ．．．從F變換③┓P(y)∨┓Q(y) ．．．結(jié)論否定④┓Q(x) ．．．①③歸結(jié),{x/y}⑤□ ．．．②④歸結(jié),置換{a/x}得證。（2）證實(shí)G是否是F1、F2邏輯結(jié)論；證:①┓P(x)∨Q(x) ．．．從F1變換②┓P(y)∨R(y) ` ．．．從F1變換③P(a) ．．．從F2變換④S(a) ．．．從F2變換⑤┓S(z)∨┓R(z) ．．．結(jié)論否定⑥R(a) ．．．②③歸結(jié)｛a/y｝⑦┓R(a) ．．．④⑤歸結(jié)｛a/z｝⑧□ ．．．⑥⑦歸結(jié)得證.11.1、用語義網(wǎng)絡(luò)表示以下信息：(1)胡途是思源企業(yè)經(jīng)理，他35歲，住在飛天胡同68號 清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最終以89：102比分結(jié)束。（3）將命題：“某個(gè)學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示答：謂詞公式表示：x(student(x)∧read(x,三國演義))語義網(wǎng)絡(luò)表示如圖：（4）把語句“每個(gè)學(xué)生都喜歡老師上一門課。”表示為語義網(wǎng)絡(luò)。（5）請把以下命題表示事實(shí)用一個(gè)語義網(wǎng)絡(luò)表示出來。1)樹和草都是植物；2)樹和草都是有根有葉；3)水草是草，且長在水中；4)果樹是樹，且會(huì)結(jié)果；5)櫻桃樹是一個(gè)果樹，它結(jié)櫻桃。（6）用語義網(wǎng)絡(luò)表示以下事實(shí)姚明是一位年近半百男教師，中等身材，他在本年第二學(xué)期給計(jì)算機(jī)專業(yè)學(xué)生講授“人工智能”課程。該課程是一門選修課，比較難。13.圖示博弈樹，其中末一行數(shù)字為假設(shè)估值，請利用α-β剪枝技術(shù)剪去無須要分枝。（在節(jié)點(diǎn)及邊上直接加注釋）14.設(shè)有以下關(guān)系：（1）假如x是y父親，y又是z父親，則x是z祖父；（2）老李是大李父親；（3）大李是小李父親；問上述人員中誰和誰是祖孫關(guān)系？解:現(xiàn)定義以下謂詞F(x,y)------x是y父親;G(x,z)------x是y祖父;用謂詞邏輯表示已知與求解:(1) F(x,y)∧F(y,z)→G(x,z)(2)F(L,D)(3)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存在祖孫關(guān)系①～F(x,y)∨～F(y,z)∨G(x,z)．．．從(1)變換②F(L,D) ．．．從(2)變換③F(D,X) ．．．從(3)變換④～G(u,v) ．．．結(jié)論否定⑤～F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝⑦□ ．．．④⑥歸結(jié),置換｛L/u,X/v｝得證,說明存在祖孫關(guān)系。為了求解用一個(gè)重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結(jié)論否定,重言式恒為真⑤～F(D,z)∨G(L,z) ．．．①②歸結(jié),置換｛L/x,D/y｝⑥G(L,X) ．．．③⑤歸結(jié),置換｛X/z｝⑦G(L,X) ．．．④⑥歸結(jié),置換｛L/u,X/v｝得結(jié)果:L是X祖父，即老李是小李祖父。15解釋以下含糊性知識：1)張三，體型，（胖，0.9））。2)(患者，癥狀，(頭疼，0.95))∧(患者，癥狀，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：（1）表示：命題“張三比較胖”（2）解釋為：假如患者有些頭疼而且發(fā)高燒，則他患了重感冒。16.簡單闡述產(chǎn)生式系統(tǒng)組成。答：（1）產(chǎn)生式規(guī)則庫：描述對應(yīng)領(lǐng)域知識產(chǎn)生式規(guī)則集（2）數(shù)據(jù)庫：（事實(shí)集合）存放問題求解過程中當(dāng)前信息數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫輸入事實(shí)、中間結(jié)果事實(shí)和最終結(jié)果事實(shí)）（3）推理機(jī)：（控制系統(tǒng)）是一個(gè)程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫運(yùn)行，包含推理方式和控制策略。17.試用線性消解策略證實(shí)：子句集S={P∨Q,﹁P∨R,﹁Q∨R,﹁R}是可消解。18廣度優(yōu)先搜索與深度優(yōu)先搜索各有什么特點(diǎn)？19.語義網(wǎng)絡(luò)能夠表示事物之間哪些關(guān)系？20.假設(shè)已知以下事實(shí)：（1）超市（Supermarket）賣（Sail）商品(Goods)廉價(jià)(Cheap)。（2）王（Wang）買（Buy）需要（Want）廉價(jià)商品。（3）自行車（Bicycle）是商品且超市賣自行車。（4）王需要自行車。（5）趙（Zhao）跟隨王買一樣商品。請應(yīng)用歸結(jié)反演證實(shí)方法回答以下問題：（1）王買自行車嗎？（2）趙買什么商品？21.已知一個(gè)使用可信度方法推理網(wǎng)絡(luò)如圖所表示，其證據(jù)可信度均標(biāo)示在圖中。推理規(guī)則可信度分別為：A∧B→H,0.7 C∨D→H,0.9 E→H,0.3試按照可信度方法求解步驟計(jì)算每個(gè)證據(jù)節(jié)點(diǎn)對假設(shè)H推理可信度，并據(jù)此推算全部證據(jù)（復(fù)合證據(jù)）對于H推理可信度。22.求子句R(x,y)∨﹁Q(B,y)∨W(x,f(y))和R(x,C)∨Q(y,C)歸結(jié)式。23.何謂估價(jià)函數(shù)？啟發(fā)式圖搜索A算法和A*算法最顯著區(qū)分是什么？24.什么是置換？置換是可交換嗎？答:通慣用有序正確集合s＝{t1/v1，t2/v2，…，tn/vn}來表示任一置換，置換集元素ti/vi含義是表示式中變量vi處處以項(xiàng)ti來替換，用s對表示式E作置換后例簡記為Es。

通常來說，置換是不可交換，即兩個(gè)置換合成結(jié)果與置換使用次序關(guān)于。25.給1～9九個(gè)數(shù)字排一個(gè)序列，使得該序列前n(n=1,...,9)個(gè)數(shù)字組成整數(shù)能被n整除。

(1)、討論哪些知識能夠幫助該問題求解。

(2)、用產(chǎn)生式系統(tǒng)描述該問題.答；以下知識能夠幫助求解該問題：

（1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；

（2）第五個(gè)數(shù)為5。

綜合數(shù)據(jù)庫：

用一個(gè)1到9序列表示：N={x}，其中x為1到9數(shù)字之一。

規(guī)則集：

r1:IFlen(N)=4THEN{x}∪{5}

r2:IFlen(N)為偶數(shù)andn=In(1,3,7,9)THEN{x}∪{n}

r3:IFlen(N)為奇數(shù)andn=In(2,4,6,8)THEN{x}∪{n}

其中l(wèi)en(N)為求序列長度，In(a,b,c,d)為取a、b、c、d之一。

初始狀態(tài)：{}

結(jié)束條件：得到序列N前i個(gè)數(shù)組成整數(shù)能被i整除26..α－β剪枝條件是什么？答:α剪枝：若任一極小值層節(jié)點(diǎn)β值小于或等于它任一先輩極大值節(jié)點(diǎn)α值，即α（先輩層）≥β（后繼層），則可中止該極小值層中這個(gè)MIN節(jié)點(diǎn)以下搜索過程。這個(gè)MIN節(jié)點(diǎn)最終倒推值就確定為這個(gè)β值。

β剪枝：若任一極大值層節(jié)點(diǎn)α值大于或等于它任一先輩極小值層節(jié)點(diǎn)β值，即α（后繼層）≥β（先輩層），則能夠中止該極大值層中這個(gè)MAX節(jié)點(diǎn)以下搜索過程。這個(gè)MAX節(jié)點(diǎn)最終倒推值就確定為這個(gè)α值。28、人工智能主要有哪幾個(gè)研究路徑和技術(shù)方法，簡單說明之。答：（１）符號智能：主要以符號知識為基礎(chǔ)，經(jīng)過符號推理進(jìn)行問題求解而實(shí)現(xiàn)智能，主要包含知識工程和符號處理技術(shù)；（２）計(jì)算智能：是以數(shù)據(jù)計(jì)算為基礎(chǔ)，經(jīng)過數(shù)值計(jì)算進(jìn)行問題求解而實(shí)現(xiàn)智能，包含人工神經(jīng)網(wǎng)絡(luò)，進(jìn)化計(jì)算，含糊技術(shù)等。1、（1）將以下謂詞公式化成子句集答：（2）把以下謂詞公式分別化成對應(yīng)子句集：x(yP(x,y)→～y(Q(x,y)→R(x,y)))解：x(yP(x,y)→～y(Q(x,y)→R(x,y)))==>x(yP(x,y)→y～(～Q(x,y)∨R(x,y)))==>x(yP(x,y)→y(Q(x,y)∧～R(x,y)))==>x(～yP(x,y)∨y(Q(x,y)∧～R(x,y)))==>x(y～P(x,y)∨y(Q(x,y)∧～R(x,y)))......更名）==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))......y=f(x),z=g(x)消去存在量詞y,z==>x(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x))))==>x((～P(x,f(x))∨(Q(x,g(x))∧(～P(x,f(x))∨～R(x,g(x))))從而謂詞公式子句集是｛～P(x,f(x))∨(Q(x,g(x)，～P(x,f(x))∨～R(x,g(x)))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）。ABABEDC4532344.用標(biāo)準(zhǔn)邏輯（經(jīng)典邏輯，謂詞邏輯）子句集表示下述刑偵知識，并用反演歸解線性策略證實(shí)結(jié)論現(xiàn)定義以下謂詞（其項(xiàng)變量X，Y，Z，皆為全稱量詞）。Thief(X)-----某人X是賊；Likes(X,Y)------某人X喜歡某物Y；May-steal(X,Y)------某人X可能會(huì)偷竊某物Y。5.用子句集表示下述刑偵知識：I.John是賊。II.Paul喜歡酒（wine）III.Paul(也)喜歡奶酪（cheese）IV.假如Paul喜歡某物則John也喜歡某物。V.假如某人是賊，而且他喜歡某物，則他就可能會(huì)偷竊該物。6.求證結(jié)論:John可能會(huì)偷竊了什么？即求證目標(biāo)：may-steal(John,Z),Z=?（要求將求證目標(biāo)作為頂子句，按線性策略進(jìn)行歸結(jié)推理，注明每次求歸結(jié)式所進(jìn)行置換及其父子句編號）7.（1）已知一組規(guī)則和證據(jù)（事實(shí)）：R1：A1→B1,CF（B1，A1）=0.8R2：A2→B1,CF（B1，A2）=0.5R3：B1∧A3->B2，CF（B2，B1∧A3）=0.8初始證據(jù)A1，A2，A3，而且CF(A1)=CF(A2)=CF(A3)=1,而且初始時(shí)對B1，B2一無所知。依照Shortliffe確實(shí)定性理論（可信度方法），求證據(jù)B1，B2可信度在執(zhí)行規(guī)則R1，R2，R3后更新值CF(B1),CF(B2)。（2）已知有以下不確定推理規(guī)則：r1：C11∨C12TH10.7；r2：H1TH0.5；r3：C21∧C22TH－0.6；r4：(C31∧C32)∨C33TH0.8；CF(C11)=0.8，CF(C12)=0.9，CF(C21)=0.3，CF(C22)=0.6，CF(C31)=0.9，CF(C32)=0.5，CF(C33)=0.7；請應(yīng)用MYCIN確實(shí)定性方法求出CF(H)。8.設(shè)有A，B，C三人中有些人從不說真話，也有些人從不說假話，某人向這三人分別提出同一個(gè)問題：誰是說謊者？A答：“B和C都是說謊者”；B答：“A和C都是說謊者”；C答：“A和B中最少有一個(gè)是說謊者”。求誰是老實(shí)人，誰是說謊者？（15分）解：設(shè)用Ｔ(x)表示x說真話。假如Ａ說是真話，則有假如Ａ說是假話，則有：對Ｂ和Ｃ說話作相同處理，可得：把上面這些公式化成子句集，得到Ｓ：下面首先求誰是老實(shí)人。把并入Ｓ得到。即比Ｓ多以下一個(gè)子句：應(yīng)用消解原理對Ｓ１進(jìn)行消解：

所以，Ｃ是老實(shí)人，即Ｃ從不說假話除此之外，不論怎樣對進(jìn)行消解，都推不出ANSWER(B)和ANSWER(A)。下面來證實(shí)Ａ和Ｂ不是老實(shí)人。設(shè)Ａ不是老實(shí)人，則有把它否定并入Ｓ中，得到子句集，即比Ｓ多以下一個(gè)子句：應(yīng)用消解原理對Ｓ2進(jìn)行消解：所以，Ａ不是老實(shí)人。同理，能夠證實(shí)Ｂ也不是老實(shí)人。9.1）設(shè)已知:(1)能閱讀者是識字;(2)海豚不識字;(3)有些海豚是聰明;求證:有些聰明者并不能閱讀.證:定義以下命題:R(x):x能閱讀;L(x):x識字;I(x):x是聰明;D(x):x是海豚;把已知條件及求證結(jié)論翻譯成謂詞公式為x(R(x)→L(x))...已知x(D(x)→～L(x))...已知x(D(x)∧I(x))...已知x(I(x)∧～R(x))...求證結(jié)論將已知條件,求證結(jié)論反化成子句集①～R(x)∨L(x)②～D(y)∨～L(y)③D(a)④I(a)⑤～I(xiàn)(z)∨R(z)⑥～L(a)......2,3歸結(jié)｛a/y｝⑦～R(a)......1,6歸結(jié)｛a/x｝⑧R(a)......4,5歸結(jié)｛a/z｝⑨□......7,8歸結(jié)得證.2）利用謂詞邏輯表示以下知識（包含已知和結(jié)論），然后化成子句集：（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)．．．結(jié)論反(4)L(f(Fly),Fly)．．．(1)(3)歸結(jié),置換{Fly/y}(5)□ ．．．(2)(4)歸結(jié),{f(Fly)/x}得證。10.八數(shù)碼游戲，初始棋局和目標(biāo)棋局如圖，定義啟發(fā)函數(shù)h（x）表示某狀態(tài)下與目標(biāo)數(shù)碼不一樣位置個(gè)數(shù)，用全局擇優(yōu)法畫出搜索過程。初始狀態(tài)：，目標(biāo)狀態(tài)：解：11.張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員Ａ說：“趙與錢中最少有一人作案”；偵察員Ｄ說：“錢與孫最少有一人作案”；偵察員Ｃ說：“孫與李中最少有一個(gè)作案”；偵察員Ｄ說“趙與孫最少一個(gè)與案無關(guān)”；偵察員Ｅ說“錢與李中最少有一人與此案無關(guān)”。假如這五個(gè)偵察員話都是可信，試用消解原理推理求出誰是偷竊犯。解：設(shè)用T(x)表示x是作案者，則偵察員A話可表示：T(趙)T(錢)偵察員B話可表示：T(錢)T(孫)偵察員C話可表示：T(孫)T(李)偵察員D話可表示：T(趙)T(孫)偵察員E話可表示：T(錢)T(李)上面五個(gè)組成子句集S，求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出以下一個(gè)子句：T(x)ANSWER(x)然后利用消解原理對S1進(jìn)行消解可得答案：錢和孫是作案者。12.某企業(yè)欲招聘一個(gè)JAVA程序員，定義以下產(chǎn)生式規(guī)則(要求)：r1:IF有工作經(jīng)驗(yàn)or(本科以上學(xué)歷and有相關(guān)知識背景then錄用（0.9)r2:IF工作兩年以上and作過相關(guān)工作then有工作經(jīng)驗(yàn)（0.8）r3:IF學(xué)過數(shù)據(jù)結(jié)構(gòu)and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫and學(xué)過軟件工程then有相關(guān)知識背景(0.9)r4:學(xué)過數(shù)據(jù)結(jié)構(gòu)（相關(guān)課程成績/100）r5:學(xué)過JAVA（相關(guān)課程成績/100）r6:學(xué)過數(shù)據(jù)庫（相關(guān)課程成績/100）r7:學(xué)過軟件工程（相關(guān)課程成績/100）r8:做過相關(guān)工作：JAVA程序員：1，項(xiàng)目經(jīng)理：1，數(shù)據(jù)庫開發(fā)工程師：0.9，數(shù)據(jù)庫管理員：0.7,網(wǎng)絡(luò)管理員：0.6，客服人員：0.4設(shè)有一本科畢業(yè)生甲，其相關(guān)課程成績?yōu)閿?shù)據(jù)結(jié)構(gòu)=85,JAVA=80,數(shù)據(jù)庫=40,軟件工程=90另有一社會(huì)招聘人員乙，參加工作三年，曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開發(fā)人員依照確定性理論，問該企業(yè)應(yīng)該招聘誰？假如你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程成績最少達(dá)成多少？解：（1）對于本科畢業(yè)生，由r4，r5，r6，r7：CF（學(xué)過數(shù)據(jù)結(jié)構(gòu)）=0.6CF（學(xué)過JAVA）=0.8CF（學(xué)過數(shù)據(jù)庫）=0.4CF（學(xué)過軟件工程）=0.9由r3，CF（有相關(guān)知識背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36CF（本科學(xué)歷）=1由r1，CF（錄用）=0.9*min{0.36，1}=0.324（2）對于社會(huì)招聘人員，由r8，CF（相關(guān)工作）=0.9CF（工作兩年以上）=1由r2，CF（有工作經(jīng)驗(yàn)）=0.8*min{1，0.9}=0.72由r1，CF（錄用）=0.9*0.72=0.648所以，該企業(yè)應(yīng)錄用社會(huì)招聘人員乙。（3）能夠看出，應(yīng)該加強(qiáng)數(shù)據(jù)庫學(xué)習(xí)，并使該門課程達(dá)成80分以上。13.某問題由以下公式描述：試用歸結(jié)法證實(shí)(x)R(x)；14.下列圖所表示博弈樹，按從左到右次序進(jìn)行α-β剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)到推值，何處發(fā)生剪枝，及應(yīng)選擇走步。10分15.剪枝方法只是極小極大方法一個(gè)近似，剪枝可能會(huì)遺遺漏最好走步。這種說法是否正確？不正確。－剪枝方法利用已經(jīng)搜索信息，剪掉哪些對于搜索最好走步?jīng)]有意義分枝，其找到最好走步與極小極大方法找到結(jié)果是一樣。而且搜索效率有很大提升。什么是人工智能？人工智能與計(jì)算機(jī)程序區(qū)分？答：AI是研究怎樣制造人造智能機(jī)器或智能系統(tǒng)來模擬人類智能活動(dòng)能力以延伸人類智能科學(xué)，它與計(jì)算機(jī)程序區(qū)分是：AI研究是符號表示知識而不是數(shù)值數(shù)據(jù)為研究對象AI采取啟發(fā)式搜索方法而不是普通算法控制結(jié)構(gòu)與知識是分離允許出現(xiàn)不正確答案化以下邏輯表示式為不含存在量詞前束范式 答：求以下謂詞公式子句集 答：所以子句集為：{}若有梯形ABCD，將其中若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證實(shí)內(nèi)錯(cuò)角CACABD證實(shí)：設(shè)梯形頂點(diǎn)依次為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，問題描述和對應(yīng)子句集為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)錯(cuò)交相等 子句：T(a,b,c,d)...已知子句：T(a,b,c,d) E(a,b,d,c,d,b)...要證實(shí)結(jié)論子句：～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)下面利用歸結(jié)原理證實(shí)P(a,b,c,d) （1）和（3）歸結(jié)，置換{a/x,b/y,c/u,d/v}E(a,b,d,c,d,b) （2）和（5）歸結(jié)，置換{a/x,b/y,c/u,d/v}NIL （4）和（6）歸結(jié)依照歸結(jié)原理得證。求子句集MGU解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0=｛a/z｝,其中z是變元，a是項(xiàng)，且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)))｝是單元素集。依照求MGU算法，MGU=δ3=｛a/z,h(a,g(y))/x,g(y)/u｝用代價(jià)優(yōu)先算法求解下列圖旅行推銷員問題，請找一條從北京出發(fā)能遍歷各城市最好路徑（旅行費(fèi)最少），每條弧上數(shù)字表示城市間旅行費(fèi)用。并用CLOSED表統(tǒng)計(jì)遍歷過結(jié)點(diǎn)，OPEN表統(tǒng)計(jì)待遍歷結(jié)點(diǎn)。畫出closed和open表改變過程，然后依照closed表找出最好路徑。解： OPEN表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A（0）NULLB（31）AC（28）AD（43）BC（54）BE（38）DC（59）DC（27）EA（51）ECLOSE表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B用框架表示下述報(bào)導(dǎo)沙塵暴災(zāi)害事件[虛擬新華社3月16日電]昨日，沙塵暴攻擊韓國漢城，機(jī)場與高速公路被迫關(guān)閉，造成損失不詳。韓國官方示，假如需要直接損失情況，可待一周后官方公布字。此次沙塵暴起因中日韓教授認(rèn)為是因?yàn)橹袊鴥?nèi)蒙古區(qū)過分墾牧破壞植被所致。提醒：分析概括用下劃線標(biāo)出關(guān)鍵點(diǎn)，經(jīng)過概念化形成槽（Slot）并擬出槽名稱，選填側(cè)面（face）值。側(cè)面包含“值（value）”，“默認(rèn)值（default）”，“假如需要值（if-needed）”，“假如附加值（if-added）”幾個(gè)方面，用不到側(cè)面值可刪除。FRAME：Slot1：Value：Default：If-needed：If-added：Slot2：Value：Default：If-needed：If-added：Slot3：Value：Default：If-needed：If-added：……解：FRAME：沙塵暴Slot1：時(shí)間Value：3月15日Default：If-needed：If-added：Slot2：地點(diǎn)Value：韓國漢城Default：If-needed：If-added：Slot3：損失Value：不詳Default：If-needed：一周后官方公布數(shù)字If-added：Slot4：起因Default：中國內(nèi)蒙古區(qū)1.(5分)什么是“知識工程”？它對人工智能發(fā)展有何主要作用？2.(10分)請用對應(yīng)謂詞公式表示下述語句：（1）有人喜歡足球，有人喜歡排球，有人既喜歡足球又喜歡排球。（2）不是每一個(gè)人都喜歡游泳。（3）假如沒有利息，那么就沒有些人愿意去存錢。（4）對于全部x和y，假如x是y父親，y是z父親，那么x是z祖父。（5）對于全部x和y，假如x是y孩子，那么y是x父母。（6）登高望遠(yuǎn)。（7）響鼓不用重錘。（8）假如b>a>0和c>d>0，則有(b*(a+c)/d)>b。3.(5分)試建立一個(gè)“學(xué)生”框架網(wǎng)絡(luò)，其中最少有“學(xué)生基本情況”、“學(xué)生課程學(xué)習(xí)情況”和“學(xué)生獎(jiǎng)懲情況”三個(gè)框架描述。4.(10分)請把下述事實(shí)用一