人工智能經(jīng)典考試試題及答案

一、選擇題(115分)1、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation2、反演歸結〔消解〕證明定理時，假設當前歸結式是〔〕時，則定理得證。A)永真式 B)包孕式〔subsumed〕 C)空子句3、從事實動身，通過規(guī)章庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理 B)反向推理 C)雙向推理4、語義網(wǎng)絡表達學問時，有向弧AKO鏈、ISA鏈是用來表達節(jié)點學問的〔。A)無悖性 B)可擴大性 C)繼承性5、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理D)US6、命題是可以推斷真假的A)祈使句 B)疑問句 C)感慨句 D)陳述句7、僅個體變元被量化的謂詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞8、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換9、1997年５月，著名的“人機大戰(zhàn)3.5比2.5這臺計算機被稱為〔〕A〕深藍 B〕IBM C〕深思 D〕藍天10、以下不在人工智能系統(tǒng)的學問包含的4個要素中A)事實 B)規(guī)章 C)掌握和元學問D)關系11謂詞規(guī)律下子句,C1=L∨C1‘,C2=?L∨C2‘, 假設σ是互補文字〔最一般合一置換則其歸結式C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’12、或圖通常稱為A〕框架網(wǎng)絡 B)語義圖 C)博亦圖 D)狀態(tài)圖13、不屬于人工智能的學派是A)符號主義 B)時機主義 C)行為主義 D)連接主義。14、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是15.要想讓機器具有智能，必需讓機器具有學問。因此，在人工智能中有一個爭論領域，主要爭論計算機如何自動獵取學問和技能，實現(xiàn)自我完善，這門爭論分支學科叫〔。A)專家系統(tǒng) B)機器學習 C)神經(jīng)網(wǎng)絡 D)模式識別1.5301、不確定性類型按性質分： ， ，， 。2、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。3、對證據(jù)的可信度C〔、C〔A1C〔A2〕之間，規(guī)定如下關系：CF〔~A〕CF〔~A〕=、CF〔A1∧A2〕=CF〔A1∨A2〕=4、圖：指由和。和組成的網(wǎng)絡。按連接同一節(jié)點的各邊的規(guī)律關系又可分為5、合一算法：求非空有限具有一樣謂詞名的原子公式集的6。7、P(B|A) 表示在規(guī)則 中，證據(jù)A 為真的作用下結論B的 。8、人工智能的遠期目標是 ，近期目標是 。5251、填寫下面的三值規(guī)律表。其中T，F(xiàn)，U分別表示真，假，不能判定2、什么是產(chǎn)生式？產(chǎn)生式規(guī)章的語義是什么？3、謂詞公式G通過８個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。4、S={P(f(x),y,g(y)),P(f(x),z,g(x))MGU5、證明G是否是FF:x(P(x)Q(a)Q(x))G:x(P(x)Q(x))301、用語義網(wǎng)絡表示以下信息：3568清華大學與北京大學進展藍球競賽，最終以89：102的比分完畢。答：2α-β剪枝技術剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、設有如下關系〔1〕假設x是yy又是z的父親，則x是z〕老李是大李的父親〔3〕大李是小李的父親；問上述人員中誰和誰是祖孫關系？答案：一、1、B 2、C 3、A 4、C 5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機性，模糊性，不完全性，不全都性2、純文字，永真式，類含3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、節(jié)點，有向邊，或圖，與或圖5、最一般合一〔MGU〕6、被觸發(fā)規(guī)章7、A→B，概率8、制造智能機器，實現(xiàn)機器智能三、1、2、產(chǎn)生式規(guī)章根本形式：P→Q 或者IF P THEN QP是產(chǎn)生式的前提〔前件，用于指出該產(chǎn)生式是否可用的條件Q是一組結論或操作〔后件，用于指出當前提P產(chǎn)生式規(guī)章的語義：假設前提PQ或執(zhí)行Q所規(guī)定的操作3、1〕消去蘊含式和等價式→，<->縮小否認詞的作用范圍，直到其作用于原子公式:適當改名，使量詞間不含同名指導變元和約束變元。4.〕消去存在量詞〔形成Skolem標準型〕5〕消去全部全稱量詞6)化成合取范式適當改名，使子句間無同名變元消去合取詞∧，用逗號代替，以子句為元素組成一個集合S4、解：k=0;S0=S;δ0=ε;S0D0={y,z},其中yz是項，且y不在zk=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))｝是單元素集。依據(jù)求MGUMGU=δ2=｛z/y,z/x｝5、證:①P(x) ．．．從F變換②Q(a)∨Q(x) ．．．從F③┓P(y)∨┓Q(y)．．．結論的否認④┓Q(x) ．．．①③歸結,{x/y}⑤□ ．．．②④歸結,置換{a/x}得證。四、2、3、解現(xiàn)定義如下謂詞F(x,y) G(x,z) 用謂詞規(guī)律表示與求解:(1)F(L,D)F(D,X)

F(y,)

G(x,z)(4)G(u,v),u=?,v=?其中,L表示老李,D,X先證存在祖孫關系①

┓F(y,)

G(x,z(1②F(L,D) (2③F(D,X) (3④G(u,v) ⑤┓F(D,zG(L,z)L/x,D/｝⑥G(L,X) X/｝⑦□ 為了求解用一個重言式④④G(u,vG(u,v)⑤┓F(D,zG(L,z)L/x,D/｝⑥G(L,X) X/｝⑦G(L,X) 得結果:LX的祖父，即老李是小李的祖父。5251、解釋以下模糊性學問：1)〔0.9。2)(患者，病癥，(頭疼，0.95))(患者，病癥，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：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、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))3012α-β剪枝技術剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、利用謂詞規(guī)律表示以下學問〔包括和結論〕，然后化成子句集：但凡清潔的東西就有人寵愛；人們都不寵愛蒼蠅求證：蒼蠅是不清潔的。一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林 2、正向推理3、Artifical Intelligence4、隨機性，模糊性，不完全性，不全都性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ù)構造〔結果事實和最終結果事實〕3〕〔掌握系統(tǒng)〕是一個程序，掌握協(xié)調(diào)規(guī)章庫與數(shù)據(jù)庫的運行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(A,y)中消滅。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ù)求MGUMGU=δ1=｛g(A,y)/z｝5、證:①┓P(x)∨Q(x)．．．從F1②┓P(y)∨R(y)③P(a)④S(a)`．．．從F1．．．從F2．．．從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}得證。試題局部：一、選擇題〔1515分〕1、97年５月，著名的“人機大戰(zhàn)3.5比2.5臺計算機被稱為〔〕A〕深藍 B〕IBM C〕深思 D〕藍天2、以下不在人工智能系統(tǒng)的學問包含的4個要素中A)事實 B)規(guī)章 C)掌握和元學問D)關系3、謂詞規(guī)律下，子,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年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是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、反演歸結〔消解〕證明定理時，假設當前歸結式是〔〕時，則定理得證。永真式 B)包孕式〔subsumed〕 C)空子句13、在公式中 y xp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依靠于y值。令這種依靠關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做〔〕依靠函數(shù)Skolem函數(shù)打算函數(shù)多元函數(shù)14、子句~P Q和P經(jīng)過消解以后，得到〔〕PQ~PP Q15、假設問題存在最優(yōu)解，則下面幾種搜尋算法中〔〕必定可以得到該最優(yōu)解。廣度優(yōu)先搜尋深度優(yōu)先搜尋有界深度優(yōu)先搜尋啟發(fā)式搜尋二、填空題〔共30分：1.在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 而在一個量詞的轄域中與該量詞的指導變元一樣的變元稱為 ，其他變元稱為2、假言推理〔A B〕 A ，假言三段論〔A B〕〔B C〕3、幾種常用的歸結策略： 、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略4、在諸如走迷宮、下棋、八數(shù)碼玩耍等玩耍中，常用到的一種人工智能的核心技術稱為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為在啟發(fā)式搜尋當中，通常用 來表示啟發(fā)性信息。在二人博弈問題中最常用的一種分析技術是 ，這種方法的思想是先生成一棵博弈樹然后再計算其倒推值。但它的效率較低，因此人們在此根底上，又提出了7、不確定性類型按性質分： ， ，， 。8、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。9、對證據(jù)的可信度C〔、C〔A1C〔A2〕之間，規(guī)定如下關系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。10、圖：指由 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的規(guī)律關系又可分為和 。11、合一算法：求非空有限具有一樣謂詞名的原子公式集的 。12、開發(fā)專家系統(tǒng)所要解決的根本問題有三個，那就是學問的獵取、學問的表示和 ，學問表示的方法主要有 ， ， 和語義網(wǎng)絡等，在語義網(wǎng)絡表示學問時，所使用的推理方法有 和三、簡答與應用題1“不存在最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？3、某問題由以下公式描述：、試用歸結法證明(x)R(x)；4.專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？〔7分〕“圖靈試驗”？簡潔描述之〔5分〕6、設有如下關系〔1〕假設x是yy又是z的父親，則x是z〕老李是大李的父親〔3〕大李是小李的父親；問上述人員中誰和誰是祖孫關系？(10分)7.1～9九個數(shù)字排一個序列，使得該序列的前n(n=1,...,9)個數(shù)字組成的整數(shù)能被n整除。(1)、爭論哪些學問可以幫助該問題的求解。、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案局部一、選擇題A D A D B C B A D B B C B B A二、填空題1、轄域 約束變元 自由變元2、B A C3、刪除策略4、圖搜尋 狀態(tài)空間圖〔或狀態(tài)圖〕5、啟發(fā)函數(shù)6、極大微小分析法 - 剪枝技術7、隨機性模糊性不全都性不確定性8、純文字永真 類含9、~C〔A〕min{C〔A1，C〔A〕} max{C〔A1，C〔A〕}10、或圖與或圖11、最一般合一12、學問的運用規(guī)律表示法〔謂詞表示法〕框架產(chǎn)生式AKO ISA三、簡答及應用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：xy形式化為：┐xG(x)yG(y)D(x,y)或者xG(x)yGyDyx)2、答復:α剪枝：假設任一微小值層節(jié)點的β值小于或等于它任一先輩極大值節(jié)點的α值，即α〔先輩層〕β〔后繼層，則可中止該微小值層中這個MIN節(jié)點以下的搜尋過程。這個MIN為這個β值。β剪枝：假設任一極大值層節(jié)點的α值大于或等于它任一先輩微小值層節(jié)點的β值，即α〔后繼層〕≥β〔先輩層MAXMAX節(jié)點的最終倒推值就確定為這個α值。3、化子句集如下：4〔１〕系統(tǒng)分析、系統(tǒng)設計等幾個階段的工作?！玻病车捎谒菍＜蚁到y(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：１〕系統(tǒng)總體分析與設計；２〕學問獵??；３〕學問表示與學問描述語言設計；４〕學問庫設計、學問庫治理系統(tǒng)設計；５〕推理機與解釋模塊設計；６〕總控與界面設計７〕編程與調(diào)試８〕測試與評價９〕運行與維護〔３〕可以看出它有如下特點：１〕學問獵取和學問表示設計是一切工作的起點；學問表示與學問描述語言確定后，其他設計可同時進展；5、答：所謂“圖靈試驗持人、參與人和機器。主持人向參與人和機器提問，通過提問的結果來推斷誰是人，誰是機器。假設主持人無法推斷誰是人，誰是機器，則這臺機器具備智能，即所謂的“智能機器6、解:現(xiàn)定義如下謂詞F(x,y)------xy的父親;G(x,z)xy的祖父;用謂詞規(guī)律表示與求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存在祖孫關系①～F(x,y)∨～F(y,z)∨G(x,z)．．從(1)變換②F(L,D) ．．從(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｝得結果:LX的祖父，即老李是小李的祖父。7、如下的學問可以幫助求解該問題：序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；5。綜合數(shù)據(jù)庫：19的序列表示：N={x}，其中x19的數(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}len(N)為求序列的長度，In(a,b,c,d)為取a、b、c、d之一。初始狀態(tài)：{}完畢條件：得到的序列Ni個數(shù)組成的整數(shù)能被i整除一、選擇題(115分)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ù)動身，通過運用()的學問，最終推出具有肯定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。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)概率1301、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是2、從事實動身，通過規(guī)章庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫是 。4、不確定性類型按性質分： ， ，， 。5、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。6、對證據(jù)的可信度C〔、C〔A1C〔A2〕之間，規(guī)定如下關系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。7、圖：指由 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的規(guī)律關系又可分為和 。8、合一算法：求非空有限具有一樣謂詞名的原子公式集的 。9、1997年５月，著名的“人機大戰(zhàn)，最終名為“ ”的計算機以3.5比2.5的總比分將世界際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是 ，近期目標是 。5251、解釋以下模糊性學問：1)〔0.9。2)(患者，病癥，(頭疼，0.95))(患者，病癥，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：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、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))證:301答：2α-β剪枝技術剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、利用謂詞規(guī)律表示以下學問〔包括和結論〕，然后化成子句集：但凡清潔的東西就有人寵愛；人們都不寵愛蒼蠅求證：蒼蠅是不清潔的。證：答案：一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林 2、正向推理3、Artifical Intelligence4、隨機性，模糊性，不完全性，不全都性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ī)章集〔事實的集合〕存放問題求解過程中當前信息的數(shù)據(jù)構造〔結果事實和最終結果事實〕3〕〔掌握系統(tǒng)〕是一個程序，掌握協(xié)調(diào)規(guī)章庫與數(shù)據(jù)庫的運行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(A,y)中消滅。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ù)求MGUMGU=δ1=｛g(A,y)/z｝5、證:①┓P(x)∨Q(x)．．．從F1②┓P(y)∨R(y)③P(a)④S(a)`．．．從F1．．．從F2．．．從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}得證。一、單項選擇題：1：人類智能的特性表現(xiàn)在4個方面 。A：聰明、敏捷、學習、運用。B：能感知客觀世界的信息、能對通過思維對獲得的學問進展加工處理、能通過學習積存學問增長才能和適應環(huán)境變化、能對外界的刺激作出反響傳遞信息。C：感覺、適應、學習、創(chuàng)。D：能捕獲外界環(huán)境信息、能夠利用利用外界的有利因素、能夠傳遞外界信息、能夠綜合外界信息進展創(chuàng)思維。2：人工智能的目的是讓機器能夠 ，以實現(xiàn)某些腦力勞動的機械化。A：具有智能 B：和人一樣工作C：完全代替人的大腦 D：模擬、延長和擴展人的智能3：以下關于人工智能的表達不正確的有： 。A：人工智能技術它與其他科學技術相結合極大地提高了應用技術的智能化水平。B：人工智能是科學技術進展的趨勢。C：由于人工智能的系統(tǒng)爭論是從上世紀五十年月才開頭的，格外，所以格外重要。D：人工智能有力地促進了社會的進展。4：人工智能爭論的一項根本內(nèi)容是機器感知。以以下舉中的 不屬于機器感知的領域。A：使機器具有視覺、聽覺、觸覺、味覺、嗅覺等感知力量。B：讓機器具有理解文字的力量。C：使機器具有能夠獵取學問、學習技巧的力量。D：使機器具有聽懂人類語言的力量5：自然語言理解是人工智能的重要應用領域，下面列舉中的不是它要實現(xiàn)的目標。A：理解別人講的話。 B：對自然語言表示的信息進展分析概括或編輯。C：賞識音樂。 D：機器翻譯。6：為了解決如何模擬人類的感性思維，例如視覺理解、直覺思維、悟性等，爭論者找到一個重要的信息處理的機制是：。A：專家系統(tǒng)B：人工神經(jīng)網(wǎng)絡C：模式識別D：智能代理7：假設把學問依據(jù)作用來分類，下述不在分類的范圍內(nèi)。A：用掌握策略表示的學問，即掌握性學問。B：可以通過文字、語言、圖形、聲音等形式編碼記錄和傳播的學問，即顯性學問。C：用供給有關狀態(tài)變化、問題求解過程的操作、演算和行動的學問，即過程性學問。D：用供給概念和事實使人們知道是什么的學問，即陳述性。8：下述 不是學問的特征。A：簡單性和明確性 B：進化和相對性C：客觀性和依附性 D：可重用性和共享性9：下述 不是人工智能中常用的學問格式化表示方法。A：框架表示法 B：狀態(tài)空間表示法C：語義網(wǎng)絡表示法 D：形象描寫表示法10：關于“與/或”圖表示法的表達中，正確的選項是： 。A/ANO”連續(xù)各個局部的圖形，用來描述各局部的因果關系。B/ANO”連續(xù)各個局部的圖形，用來描述各局部之間的不確定關系。C/D/11：構成狀態(tài)空間的4個要素是： 。A：開頭狀態(tài)、目標狀態(tài)、規(guī)章和操作B：初始狀態(tài)、中間狀態(tài)、目標狀態(tài)和操作C：空間、狀態(tài)、規(guī)章和操作D：開頭狀態(tài)、中間狀態(tài)、完畢狀態(tài)和其他狀態(tài)12：關于“與/或”圖表示學問的表達，錯誤的有 。A：用“與/或”圖表示學問便利使用程序設計語言表達，也便于計算機存儲處理。B/或”圖表示學問時肯定同時有“與節(jié)點”和“或節(jié)點C/或”圖能便利地表示陳述性學問和過程性學問。D：能用“與/或”圖表示的學問不適宜用其他方法表示。13：以下不是學問表示法的是 。A：計算機表示法 B“/或”圖表示法C：狀態(tài)空間表示法 D：產(chǎn)生式規(guī)章表示法14：一般來講，以下語言屬于人工智能語言的是 。A：VB B：Pascal C：Logo D：Prolog15：Prolog語言的三種根本語句是： 。A：挨次、循環(huán)、分支 B：陳述、詢問、感慨C：事實、規(guī)章、詢問 D：確定、疑問、感慨16：匹配是將兩個學問模式進展 比較。A：一樣性 B：全都性 C：可比性 D：同類性17：以下程序的運行結果是 。A：ellen B：john C：eric D：ellen、john、ericpredicateslikes(symbol,symbol)clauseslikes(ellen,reading).likes(john,computers).likes(john,swimming).likes(leonard,badminton).likes(eric,swimming).likes(eric,reading).goallikes(Person,reading),likes(Person,swimming).18：以下Prolog程序的運行結果是： 。A：xiaohua B：xiaoming C：xiaofang Dpingpongpredicateslikes(symbol,symbol)friend(symbol,symbol)clauseslikes(xiaofang,swimming).likes(xiaoming,pingpong).friend(X,xiaohua):-likes(X,pingpong).goalfriend(X,xiaohua).19：以下程序的運行結果是。A：bill B：tammytammy joesue sueC：billsuejoeD：billjoetammypredicatesmale(symbol)female(symbol)parent(symbol,symbol)clausesmale(bill).male(joe).female(sue).female(tammy).parent(bill,joe).parent(sue,joe).parent(joe,tammy).goalparent(Parent,_).20：專家系統(tǒng)是一個簡單的智能軟件，它處理的對象是用符號表示的學問，處理的過程是的過程。A：思維 B：思考 C：推理 D：遞推21：進展專家系統(tǒng)的開發(fā)通常承受的方法是 。A：逐步求精 B：試驗法 C：原型法 D：遞推法22：在專家系統(tǒng)的開發(fā)過程中使用的專家系統(tǒng)工具一般分為專家系統(tǒng)的 和通用專家系統(tǒng)工具兩類。A：模型工具 B：外殼 C：學問庫工具 D：專用工具23：專家系統(tǒng)是以 為根底，以推理為核心的系統(tǒng)。A：專家 B：軟件 C：學問 D：解決問題24： 是專家系統(tǒng)的重要特征之一。A：具有某個專家的閱歷C：看上去像一個專家25：一般的專家系統(tǒng)都包括個局部。B：能模擬人類解決問題D：能解決簡單的問題A：4 B：2C：8 D：626：人類專家學問通常包括兩大類：。A：理科學問和文科學問B：書本學問和閱歷學問C：根底學問和專業(yè)學問D：理論學問和操作學問27：確定性學問是指 學問。A：可以準確表示的B：正確的C：在大學中學到的學問D：能夠解決問題的28：以下關于不確定性學問描述錯誤的選項是 。A：不確定性學問是不行以準確表示的B：專家學問通常屬于不確定性學問C：不確定性學問是經(jīng)過處理過的學問D：不確定性學問的事實與結論的關系不是簡潔的“是”或“不是。29：學問獵取的目的是將人類專家的學問轉換為專家系統(tǒng)學問庫中的學問，學問獵取的方法通常有 種。A：2 B：3 C：4 D：530：專家系統(tǒng)的推理機的最根本的方式是 。A：直接推理和間接推理 B：正向推理和反向推理C：規(guī)律推理和非規(guī)律推理 D：準確推理和模糊推理31：專家系統(tǒng)的正向推理是以 作為動身點，依據(jù)肯定的策略，應用學問庫中的學問，推斷出結論的過程。A：需要解決的問題 B：事實C：證明結論 D：表示目標的謂詞或命題32:以下關于不準確推理過程的表達錯誤的選項是 。A：不準確推理過程是從不確定的事實動身B：不準確推理過程最終能夠推出確定的結論C：不準確推理過程是運用不確定的學問D：不準確推理過程最終推出不確定性的結論33：以下不屬于專家系統(tǒng)的解釋功能的主要作用是 。A：對用戶說明為什么得到這個結論 B：對用戶說明如何得到這個結論C：提高專家系統(tǒng)的信任程度 D：對用戶說明專家系統(tǒng)的學問構造34：在重排九宮問題的狀態(tài)樹中〔如以下圖，以下選項中全是分支節(jié)點的是 A：B2、C2、D2、E2 B：B4、C2、D3、D8C：B3、C5、D7、E7 D：C6、D1、E5、E1435：在重排九宮問題中，啟發(fā)函數(shù)H〔x〕+D〔x〕中的D〔x〕表示。A：節(jié)點x與目標狀態(tài)位置不同的棋子個數(shù)B：節(jié)點x與目標狀態(tài)位置一樣的棋子個數(shù)C：節(jié)點x的子節(jié)點數(shù) D：節(jié)點x所在的層數(shù)36：有一個農(nóng)夫帶一匹狼、一只羊和一棵白菜過河〔從河的北岸到南岸。假設沒有農(nóng)夫看管，則狼要吃羊，羊要吃白菜。但是船很小，只夠農(nóng)夫帶一樣東西過河。用0101〔100表示只有狼運到南岸。初始時，南岸狀態(tài)為00南岸，最終狀態(tài)為111，表示狼、羊、白菜都運到了南岸。用狀態(tài)空間為農(nóng)夫找出過河方法，以下狼、羊、白菜在南岸消滅的序列可能是。A：000-010-100-101-111B：000-010-001-101-111C：000-100-110-111D：000-001-011-11137：以下圖是一個迷宮，S是入口，S是出口，把入口作為初始節(jié)點，出口作為目標節(jié)點，通道作為分支，畫出從0 g入口S動身，查找出口Sg的狀態(tài)樹。依據(jù)深度優(yōu)先搜尋方法搜尋的路徑是 。0A：s0-s4-s5-s6-s9-sg B：s0-s4-s1-s2-s3-s6-s9-sgC：s0-s4-s1-s2-s3-s5-s6-s8-s9-sg D：s0-s4-s7-s5-s6-s9-sg38：井字棋對弈中，假設甲乙雙方承受博弈策略的啟發(fā)函數(shù)為：假設擺的棋子能增加自己得分時機的擺子：得1假設擺的棋子能削減對方取勝時機的擺子：得1分；假設擺的棋子能增加自己得分時機且能削減對方得分時機：得2分；則以下對弈中，●代表甲方，×代表乙方。乙方能得2分的步驟是 。A：乙方擺棋×● ●B： ● 乙方擺棋 ●×× ×● ●C： ●×

乙方擺棋 ●×× ×● ● ×● ●D： ● ●乙方擺棋× × ×● ●39：人工智能的進展歷程可以劃分為 。A：誕生期和成長期 B：形成期和進展期C：初期和中期 D：初級階段和高級階段40：我國學者吳文俊院士在人工智能的 領域作出了奉獻。A：機器證明 B：模式識別 C：人工神經(jīng)網(wǎng)絡 D：智能代理二、推斷題1〔。2PatternRecognition〔。3、人工智能爭論的先驅者認為人的智能主要表現(xiàn)在人能學習學問和運用學問上，學問是智能的根底。于是學者〔英文縮寫為E〔4、學問的框架表示法中，一個框架由假設干個稱為“槽”的構造組成，而每一個這樣的構造又可擁有假設干個側面〔。5、在學問的規(guī)章表示法中，產(chǎn)生式的根本形式是P<->Q〔。6、人工智能語言只有Prolog語言〔。7、學問獵取的方法有手動獵取學問、自動獵取學問這兩種方法〔。8、反向推理是以事實作為動身點，依據(jù)肯定的策略，運用學問庫中的學問，推斷出結論的過程〔。9、學問工程屬于人工智能科學的范疇〔。10、框架表示法是馬文.明斯基首創(chuàng)〔。三、簡答題：1：為什么機機器人會踢足球？試分析機器人要會踢足球必需具有哪些力量。2：把下學問用格式化的形式表示，并且用Prolog“學校有4個活動社團：舞蹈隊、戲劇社、體操隊和義工團。曹毅參與了戲劇社，劉中參與了義工團，張萍參與了體操隊，義工團的人都是張萍的朋友參考答案一、選擇題1、B2、D3、C4、C5、C6、B7、B8、A9、D10、D11、B12、D13、A14、D15、C16、B17、C18、B19、C20、C21、C22、B23、C24、B25、D26、B27、A28、C29、B30、B31、B32、B33、D34、B35、D36、B37、C38、D39、B40、A二、推斷題1、對2、對34、對5、錯6、錯7、錯8、錯9、對10、對三、簡答題1：由于機器人具有了類似人類的某些力量，所以機器人會踢足球。機器人踢足球應具有以下力量：能夠感覺到足球的位置和自己所處的位置能夠依據(jù)感覺的的信息，分析、推斷能夠依據(jù)自己的推斷，作出快速反響，做出踢球、射門等動作。2：參考答案〔1〕專家系統(tǒng)名稱設置：交通工具識別〔2〕謂詞設置：含義謂詞交通工具是類別是事實jiaotong_isit_ispositive學問庫設置：it_is(“動力車“):-positive(“有動力源“)it_is(“人力車“):-positive(“無動力源“)jiaotong_is(“電動車“):-it_is(“動力車“),positive(“耗電“)jiaotong_is(“摩托車“):-it_is(“動力車“),positive(“耗汽油“)jiaotong_is(“自行車“):-it_is(“人力車“)說明：專家系統(tǒng)的謂詞設置可以不同，但必需和學問庫中規(guī)章中使用的謂詞相匹配。一、選擇題(115分)1、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation2、反演歸結〔消解〕證明定理時，假設當前歸結式是〔〕時，則定理得證。A)永真式 B)包孕式〔subsumed〕 C)空子句3、從事實動身，通過規(guī)章庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理 B)反向推理 C)雙向推理4、語義網(wǎng)絡表達學問時，有向弧AKO鏈、ISA鏈是用來表達節(jié)點學問的〔。A)無悖性 B)可擴大性 C)繼承性5、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理D)US6、命題是可以推斷真假的A)祈使句 B)疑問句 C)感慨句 D)陳述句7、僅個體變元被量化的謂詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞8、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換9、1997年５月，著名的“人機大戰(zhàn)3.5比2.5這臺計算機被稱為〔〕A〕深藍 B〕IBM C〕深思 D〕藍天10、以下不在人工智能系統(tǒng)的學問包含的4個要素中A)事實 B)規(guī)章 C)掌握和元學問D)關系11謂詞規(guī)律下子句,C1=L∨C1‘,C2=?L∨C2‘, 假設σ是互補文字〔最一般合一置換則其歸結式C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’12、或圖通常稱為A〕框架網(wǎng)絡 B)語義圖 C)博亦圖 D)狀態(tài)圖13、不屬于人工智能的學派是A)符號主義 B)時機主義 C)行為主義 D)連接主義。14、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是15.要想讓機器具有智能，必需讓機器具有學問。因此，在人工智能中有一個爭論領域，主要爭論計算機如何自動獵取學問和技能，實現(xiàn)自我完善，這門爭論分支學科叫〔。A)專家系統(tǒng) B)機器學習 C)神經(jīng)網(wǎng)絡 D)模式識別1.5301、不確定性類型按性質分： ， ，， 。2、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。3、對證據(jù)的可信度C〔、C〔A1C〔A2〕之間，規(guī)定如下關系：CF〔~A〕CF〔~A〕=、CF〔A1∧A2〕=CF〔A1∨A2〕=4、圖：指由和。和組成的網(wǎng)絡。按連接同一節(jié)點的各邊的規(guī)律關系又可分為5、合一算法：求非空有限具有一樣謂詞名的原子公式集的6。7、P(B|A) 表示在規(guī)則 中，證據(jù)A 為真的作用下結論B的 。8、人工智能的遠期目標是 ，近期目標是 。5251、填寫下面的三值規(guī)律表。其中T，F(xiàn)，U分別表示真，假，不能判定2、什么是產(chǎn)生式？產(chǎn)生式規(guī)章的語義是什么？3、謂詞公式G通過８個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。4、S={P(f(x),y,g(y)),P(f(x),z,g(x))MGU5、證明G是否是FF:x(P(x)Q(a)Q(x))G:x(P(x)Q(x))301、用語義網(wǎng)絡表示以下信息：3568清華大學與北京大學進展藍球競賽，最終以89：102的比分完畢。答：2α-β剪枝技術剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、設有如下關系〔1〕假設x是yy又是z的父親，則x是z〕老李是大李的父親〔3〕大李是小李的父親；問上述人員中誰和誰是祖孫關系？答案：一、1、B 2、C 3、A 4、C 5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機性，模糊性，不完全性，不全都性2、純文字，永真式，類含3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}4、節(jié)點，有向邊，或圖，與或圖5、最一般合一〔MGU〕6、被觸發(fā)規(guī)章7、A→B，概率8、制造智能機器，實現(xiàn)機器智能三、1、2、產(chǎn)生式規(guī)章根本形式：P→Q 或者IF P THEN QP是產(chǎn)生式的前提〔前件，用于指出該產(chǎn)生式是否可用的條件Q是一組結論或操作〔后件，用于指出當前提P產(chǎn)生式規(guī)章的語義：假設前提PQ或執(zhí)行Q所規(guī)定的操作3、1〕消去蘊含式和等價式→，<->縮小否認詞的作用范圍，直到其作用于原子公式:適當改名，使量詞間不含同名指導變元和約束變元。4.〕消去存在量詞〔形成Skolem標準型〕5〕消去全部全稱量詞6)化成合取范式適當改名，使子句間無同名變元消去合取詞∧，用逗號代替，以子句為元素組成一個集合S4、解：k=0;S0=S;δ0=ε;S0D0={y,z},其中yz是項，且y不在zk=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))｝是單元素集。依據(jù)求MGUMGU=δ2=｛z/y,z/x｝5、證:①P(x) ．．．從F變換②Q(a)∨Q(x) ．．．從F③┓P(y)∨┓Q(y)．．．結論的否認④┓Q(x) ．．．①③歸結,{x/y}⑤□ ．．．②④歸結,置換{a/x}得證。四、2、3、解:現(xiàn)定義如下謂詞F(x,y)------xy的父親;G(x,z) xy的祖父;用謂詞規(guī)律表示與求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存在祖孫關系①┓F(x,y)∨┓F(y,z)∨G(x,z)．．從(1)變換②F(L,D) ．．從(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｝得結果:LX的祖父，即老李是小李的祖父。5251、解釋以下模糊性學問：1)〔0.9。2)(患者，病癥，(頭疼，0.95))(患者，病癥，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：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、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))3012α-β剪枝技術剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、利用謂詞規(guī)律表示以下學問〔包括和結論〕，然后化成子句集：但凡清潔的東西就有人寵愛；人們都不寵愛蒼蠅求證：蒼蠅是不清潔的。一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林 2、正向推理3、Artifical Intelligence4、隨機性，模糊性，不完全性，不全都性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ù)構造〔結果事實和最終結果事實〕3〕〔掌握系統(tǒng)〕是一個程序，掌握協(xié)調(diào)規(guī)章庫與數(shù)據(jù)庫的運行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(A,y)中消滅。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ù)求MGUMGU=δ1=｛g(A,y)/z｝5、證:①┓P(x)∨Q(x)．．．從F1②┓P(y)∨R(y)③P(a)④S(a)`．．．從F1．．．從F2．．．從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}得證。試題局部：一、選擇題〔1515分〕1、97年５月，著名的“人機大戰(zhàn)3.5比2.5臺計算機被稱為〔〕A〕深藍 B〕IBM C〕深思 D〕藍天2、以下不在人工智能系統(tǒng)的學問包含的4個要素中A)事實 B)規(guī)章 C)掌握和元學問D)關系3、謂詞規(guī)律下，子,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年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是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、反演歸結〔消解〕證明定理時，假設當前歸結式是〔〕時，則定理得證。永真式 B)包孕式〔subsumed〕 C)空子句13、在公式中yxp(x,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依靠于y值。令這種依靠關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做〔〕依靠函數(shù)Skolem函數(shù)打算函數(shù)多元函數(shù)14、子句~PQ和P經(jīng)過消解以后，得到〔〕PQ~PPQ15、假設問題存在最優(yōu)解，則下面幾種搜尋算法中〔〕必定可以得到該最優(yōu)解。廣度優(yōu)先搜尋深度優(yōu)先搜尋有界深度優(yōu)先搜尋D.啟發(fā)式搜尋二、填空題〔共30分：1.在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 而在一個量詞的轄域中與該量詞的指導變元一樣的變元稱為 ，其他變元稱為2、假言推理〔AB〕A ，假言三段論〔AB〕〔BC〕3、幾種常用的歸結策略： 、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略4、在諸如走迷宮、下棋、八數(shù)碼玩耍等玩耍中，常用到的一種人工智能的核心技術稱為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表，這種圖稱為在啟發(fā)式搜尋當中，通常用 來表示啟發(fā)性信息。在二人博弈問題中最常用的一種分析技術是 ，這種方法的思想是先生成一棵博弈樹然后再計算其倒推值。但它的效率較低，因此人們在此根底上，又提出了7、不確定性類型按性質分： ， ，， 。8、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。9、對證據(jù)的可信度C〔、C〔A1C〔A2〕之間，規(guī)定如下關系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。10、圖：指由 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的規(guī)律關系又可分為和 。11、合一算法：求非空有限具有一樣謂詞名的原子公式集的 。12、開發(fā)專家系統(tǒng)所要解決的根本問題有三個，那就是學問的獵取、學問的表示和 ，學問表示的方法主要有 ， ， 和語義網(wǎng)絡等，在語義網(wǎng)絡表示學問時，所使用的推理方法有 和三、簡答與應用題2“不存在最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？3、某問題由以下公式描述：、試用歸結法證明(x)R(x)；4.專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些共同點和特點？〔7分〕“圖靈試驗”？簡潔描述之〔5分〕6、設有如下關系〔1〕假設x是yy又是z的父親，則x是z〕老李是大李的父親〔3〕大李是小李的父親；問上述人員中誰和誰是祖孫關系？(10分)7.1～9九個數(shù)字排一個序列，使得該序列的前n(n=1,...,9)個數(shù)字組成的整數(shù)能被n整除。(1)、爭論哪些學問可以幫助該問題的求解。、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案局部一、選擇題A D A D B C B A D B B C B B A二、填空題1、轄域 約束變元 自由變元2、B AC3、刪除策略4、圖搜尋 狀態(tài)空間圖〔或狀態(tài)圖〕5、啟發(fā)函數(shù)6、極大微小分析法 -剪枝技術7、隨機性模糊性不全都性不確定性8、純文字永真 類含9、~C〔A〕min{C〔A1，C〔A〕} max{C〔A1，C〔A〕}10、或圖與或圖11、最一般合一12、學問的運用規(guī)律表示法〔謂詞表示法〕框架產(chǎn)生式AKO ISA三、簡答及應用題1、定義謂詞G(x)：x為整數(shù)D(x,y)：xy形式化為：┐xG(x)yG(y)D(x,y)或者xG(x)yGyDyx)2、答復:α剪枝：假設任一微小值層節(jié)點的β值小于或等于它任一先輩極大值節(jié)點的α值，即α〔先輩層〕β〔后繼層，則可中止該微小值層中這個MIN節(jié)點以下的搜尋過程。這個MIN為這個β值。β剪枝：假設任一極大值層節(jié)點的α值大于或等于它任一先輩微小值層節(jié)點的β值，即α〔后繼層〕≥β〔先輩層MAXMAX節(jié)點的最終倒推值就確定為這個α值。3、化子句集如下：4〔１〕系統(tǒng)分析、系統(tǒng)設計等幾個階段的工作。〔２〕但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要包括以下幾個步驟：１０〕系統(tǒng)總體分析與設計；１１〕學問獵取；１２〕學問表示與學問描述語言設計；１３〕學問庫設計、學問庫治理系統(tǒng)設計；１４〕推理機與解釋模塊設計；１５〕總控與界面設計１６〕編程與調(diào)試１７〕測試與評價１８〕運行與維護〔３〕可以看出它有如下特點：２〕學問獵取和學問表示設計是一切工作的起點；學問表示與學問描述語言確定后，其他設計可同時進展；5、答：所謂“圖靈試驗持人、參與人和機器。主持人向參與人和機器提問，通過提問的結果來推斷誰是人，誰是機器。假設主持人無法推斷誰是人，誰是機器，則這臺機器具備智能，即所謂的“智能機器6、解:現(xiàn)定義如下謂詞F(x,y)------xy的父親;G(x,z)xy的祖父;用謂詞規(guī)律表示與求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存在祖孫關系①～F(x,y)∨～F(y,z)∨G(x,z)．．從(1)變換②F(L,D) ．．從(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｝得結果:LX的祖父，即老李是小李的祖父。7、如下的學問可以幫助求解該問題：序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；5。綜合數(shù)據(jù)庫：19的序列表示：N={x}，其中x19的數(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}len(N)為求序列的長度，In(a,b,c,d)為取a、b、c、d之一。初始狀態(tài)：{}完畢條件：得到的序列Ni個數(shù)組成的整數(shù)能被i整除一、選擇題(115分)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ù)動身，通過運用()的學問，最終推出具有肯定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。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)概率1301、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是2、從事實動身，通過規(guī)章庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫是 。4、不確定性類型按性質分： ， ，， 。5、在刪除策略歸結的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。6、對證據(jù)的可信度C〔、C〔A1C〔A2〕之間，規(guī)定如下關系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。7、圖：指由 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的規(guī)律關系又可分為和 。8、合一算法：求非空有限具有一樣謂詞名的原子公式集的 。9、1997年５月，著名的“人機大戰(zhàn)，最終名為“ ”的計算機以3.5比2.5的總比分將世界際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是 ，近期目標是 。5251、解釋以下模糊性學問：1)〔0.9。2)(患者，病癥，(頭疼，0.95))(患者，病癥，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：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、F2F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))證:301答：2α-β剪枝技術剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、利用謂詞規(guī)律表示以下學問〔包括和結論〕，然后化成子句集：但凡清潔的東西就有人寵愛；人們都不寵愛蒼蠅求證：蒼蠅是不清潔的。證：答案：一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林 2、正向推理3、Artifical Intelligence4、隨機性，模糊性，不完全性，不全都性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ù)構造〔結果事實和最終結果事實〕3〕〔掌握系統(tǒng)〕是一個程序，掌握協(xié)調(diào)規(guī)章庫與數(shù)據(jù)庫的運行，包含推理方式和掌握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0D0={g(A,y)},z}zg(A,yzg(A,y)中消滅。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ù)求MGUMGU=δ1=｛g(A,y)/z｝5、證:①┓P(x)∨Q(x)．．．從F1②┓P(y)∨R(y)③P(a)④S(a)`．．．從F1．．．從F2．．．從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}得證。四、單項選擇題：1：人類智能的特性表現(xiàn)在4個方面 。A：聰明、敏捷、學習、運用。B：能感知客觀世界的信息、能對通過思維對獲得的學問進展加工處理、能通過學習積存學問增長才能和適應環(huán)境變化、能對外界的刺激作出反響傳遞信息。C：感覺、適應、學習、創(chuàng)。D：能捕獲外界環(huán)境信息、能夠利用利用外界的有利因素、能夠傳遞外界信息、能夠綜合外界信息進展創(chuàng)思維。2：人工智能的目的是讓機器能夠 ，以實現(xiàn)某些腦力勞動的機械化。A：具有智能 B：和人一樣工作C：完全代替人的大腦 D：模擬、延長和擴展人的智能3：以下關于人工智能的表達不正確的有： 。A：人工智能技術它與其他科學技術相結合極大地提高了應用技術的智能化水平。B：人工智能是科學技術進展的趨勢。C：由于人工智能的系統(tǒng)爭論是從上世紀五十年月才開頭的，格外，所以格外重要。D：人工智能有力地促進了社會的進展。4：人工智能爭論的一項根本內(nèi)容是機器感知。以以下舉中的 不屬于機器感知的領域。A：使機器具有視覺、聽覺、觸覺、味覺、嗅覺等感知力量。B：讓機器具有理解文字的力量。C：使機器具有能夠獵取學問、學習技巧的力量。D：使機器具有聽懂人類語言的力量5：自然語言理解是人工智能的重要應用領域，下面列舉中的不是它要實現(xiàn)的目標。A：理解別人講的話。 B：對自然語言表示的信息進展分析概括或編輯。C：賞識音樂。 D：機器翻譯。6：為了解決如何模擬人類的感性思維，例如視覺理解、直覺思維、悟性等，爭論者找到一個重要的信息處理的機制是：。A：專家系統(tǒng)B：人工神經(jīng)網(wǎng)絡C：模式識別D：智能代理7：假設把學問依據(jù)作用來分類，下述不在分類的范圍內(nèi)。A：用掌握策略表示的學問，即掌握性學問。B：可以通過文字、語言、圖形、聲音等形式編碼記錄和傳播的學問，即顯性學問。C：用供給有關狀態(tài)變化、問題求解過程的操作、演算和行動的學問，即過程性學問。D：用供給概念和事實使人們知道是什么的學問，即陳述性。8：下述 不是學問的特征。A：簡單性和明確性 B：進化和相對性C：客觀性和依附性 D：可重用性和共享性9：下述 不是人工智能中常用的學問格式化表示方法。A：框架表示法 B：狀態(tài)空間表示法C：語義網(wǎng)絡表示法 D：形象描寫表示法10：關于“與/或”圖表示法的表達中，正確的選項是： 。A/ANO”連續(xù)各個局部的圖形，用來描述各局部的因果關系。B/ANO”連續(xù)各