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

..一、選擇題<每題1分,共15分>1、AI的英文縮寫是A>AutomaticIntelligence B>ArtificalIntelligenceC>AutomaticeInformation D>ArtificalInformation2、反演歸結(jié)〔消解證明定理時,若當前歸結(jié)式是〔時,則定理得證。A>永真式 B>包孕式〔subsumed C>空子句3、從已知事實出發(fā),通過規(guī)則庫求得結(jié)論的產(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深藍BIBM C深思 D藍天10、下列不在人工智能系統(tǒng)的知識包含的4個要素中A>事實 B>規(guī)則 C>控制和元知識 D>關系11、謂詞邏輯下,子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補文字的〔最一般合一置換,則其歸結(jié)式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年提出,并且同時提出一個機器智能的測試模型,請問這個科學家是A>明斯基 B>.扎德 C>圖林 D>馮.諾依曼15.要想讓機器具有智能,必須讓機器具有知識。因此,在人工智能中有一個研究領域,主要研究計算機如何自動獲取知識和技能,實現(xiàn)自我完善,這門研究分支學科叫〔。A>專家系統(tǒng) B>機器學習 C>神經(jīng)網(wǎng)絡 D>模式識別二、填空題<每空1.5分,共30分>1、不確定性類型按性質(zhì)分：,,,。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據(jù)的可信度CF〔A、CF〔A1、CF〔A2之間,規(guī)定如下關系：CF〔~A=、CF〔A1∧A2=、CF〔A1∨A2=4、圖：指由和組成的網(wǎng)絡。按連接同一節(jié)點的各邊的邏輯關系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中,從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行,被執(zhí)行的規(guī)則稱為。7、P<B|A>表示在規(guī)則中,證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠期目標是,近期目標是。三、簡答及計算題<每題5分,共25分>1、填寫下面的三值邏輯表。其中T,F,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是否是F的邏輯結(jié)論；四、應用題<共30分>1、用語義網(wǎng)絡表示下列信息：<1>胡途是思源公司的經(jīng)理,他35歲,住在飛天胡同68號<2>清華大學與北京大學進行藍球比賽,最后以89：102的比分結(jié)束。答：2、圖示博弈樹,其中末一行的數(shù)字為假設的估值,請利用α-β剪枝技術剪去不必要的分枝?！苍诠?jié)點及邊上直接加注釋3、設有如下關系：〔1如果x是y的父親,y又是z的父親,則x是z的祖父；〔2老李是大李的父親；〔3大李是小李的父親；問上述人員中誰和誰是祖孫關系？答案：一、1、B2、C 3、A 4、C 5、C6、D7、A 8、A 9、A 10、D11、A12、D 13、B14、C 15、B二、1、隨機性,模糊性,不完全性,不一致性2、純文字,永真式,類含3、-CF<A>,min{CF<A1>,CF<A2>},max{CF<A1>,CF<A2>}4、節(jié)點,有向邊,或圖,與或圖5、最一般合一〔MGU6、被觸發(fā)規(guī)則7、A→B,概率8、制造智能機器,實現(xiàn)機器智能三、1、2、產(chǎn)生式規(guī)則基本形式：P→Q或者IFPTHENQP是產(chǎn)生式的前提〔前件,用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作〔后件,用于指出當前提P所指示的條件滿足時,應該得出的結(jié)論或應該執(zhí)行的操作產(chǎn)生式規(guī)則的語義：如果前提P被滿足,則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作3、1消去蘊含式和等價式→,<->2縮小否定詞的作用范圍,直到其作用于原子公式:3適當改名,使量詞間不含同名指導變元和約束變元。4.消去存在量詞〔形成Skolem標準型5消去所有全稱量詞6>化成合取范式7>. 適當改名,使子句間無同名變元8>. 消去合取詞∧,用逗號代替,以子句為元素組成一個集合S4、解：k=0;S0=S;δ0=ε;S0不是單元素集,求得差異集D0={y,z},其中y是變元,z是項,且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>>｝是單元素集。根據(jù)求MGU算法,MGU=δ2=｛z/y,z/x｝5、證:①P<x> ．．．從F變換②Q<a>∨Q<x> ．．．從F變換③┓P<y>∨┓Q<y> ．．．結(jié)論的否定④┓Q<x> ．．．①③歸結(jié),{x/y}⑤□．．．②④歸結(jié),置換{a/x}得證。四、2、3、解:現(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表示小李。先證存在祖孫關系①┓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｝得證,說明存在祖孫關系。為了求解用一個重言式④④┓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的祖父,即老李是小李的祖父。三、簡答及計算題<每題5分,共25分>1、解釋下列模糊性知識：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、F2的邏輯結(jié)論；四、應用題<共30分>1、將命題："某個學生讀過三國演義"分別用謂詞公式和語義網(wǎng)絡表示2、圖示博弈樹,其中末一行的數(shù)字為假設的估值,請利用α-β剪枝技術剪去不必要的分枝。〔在節(jié)點及邊上直接加注釋3、利用謂詞邏輯表示下列知識〔包括已知和結(jié)論,然后化成子句集：〔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、最一般合一〔MGU9、深藍 10、制造智能機器,實現(xiàn)機器智能三、1、答：1表示：命題"張三比較胖"2解釋為：如果患者有些頭疼并且發(fā)高燒,則他患了重感冒。2、答：1產(chǎn)生式規(guī)則庫：描述相應領域知識的產(chǎn)生式規(guī)則集2數(shù)據(jù)庫：〔事實的集合存放問題求解過程中當前信息的數(shù)據(jù)結(jié)構(gòu)〔初始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實和最后結(jié)果事實3推理機：〔控制系統(tǒng)是一個程序,控制協(xié)調(diào)規(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> ．．．結(jié)論的否定⑥R<a> ．．．②③歸結(jié)｛a/y｝⑦┓R<a> ．．．④⑤歸結(jié)｛a/z｝⑧□．．．⑥⑦歸結(jié)得證.四、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>．．．結(jié)論的反<4>L<f<Fly>,Fly>．．．<1><3>歸結(jié),置換{Fly/y}<5>□．．．<2><4>歸結(jié),{f<Fly>/x}得證。試題部分：一、選擇題〔15小題,共15分1、97年５月,著名的"人機大戰(zhàn)",最終計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗,這臺計算機被稱為〔A深藍BIBM C深思 D藍天2、下列不在人工智能系統(tǒng)的知識包含的4個要素中A>事實 B>規(guī)則 C>控制和元知識 D>關系3、謂詞邏輯下,子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補文字的〔最一般合一置換,則其歸結(jié)式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為真的作用下結(jié)論B為真的A>可信度 B>信度 C>信任增長度 D>概率11、AI的英文縮寫是A>AutomaticIntelligence B>ArtificalIntelligenceC>AutomaticeInformation D>ArtificalInformation12、反演歸結(jié)〔消解證明定理時,若當前歸結(jié)式是〔時,則定理得證。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、假言推理〔ABA,假言三段論〔AB〔BC3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元歸結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中,常用到的一種人工智能的核心技術稱為技術,解這類問題時,常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢用圖來表,這種圖稱為5.在啟發(fā)式搜索當中,通常用來表示啟發(fā)性信息。6.在二人博弈問題中,最常用的一種分析技術是,這種方法的思想是先生成一棵博弈樹,然后再計算其倒推值。但它的效率較低,因此人們在此基礎上,又提出了7、不確定性類型按性質(zhì)分：,,,。8、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。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)絡表示知識時,所使用的推理方法有和三、簡答與應用題謂詞邏輯形式化下列描述"不存在最大的整數(shù)"<4分>2.α－β剪枝的條件是什么？3、某問題由下列公式描述：<1>、試用歸結(jié)法證明<x>R<x>；4.專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較,有哪些共同點和特點？〔7分5.何謂"圖靈實驗"？簡單描述之〔5分6、設有如下關系：〔1如果x是y的父親,y又是z的父親,則x是z的祖父；〔2老李是大李的父親；〔3大李是小李的父親；問上述人員中誰和誰是祖孫關系？<10分>7.給1～9九個數(shù)字排一個序列,使得該序列的前n<n=1,...,9>個數(shù)字組成的整數(shù)能被n整除。

<1>、討論哪些知識可以幫助該問題的求解。

<2>、用產(chǎn)生式系統(tǒng)描述該問題.<15分>答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變元自由變元2、BAC3、刪除策略4、圖搜索狀態(tài)空間圖〔或狀態(tài)圖5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術7、隨機性模糊性不一致性不確定性8、純文字永真類含9、~CF〔Amin{CF〔A1,CF〔A2}max{CF〔A1,CF〔A2}10、或圖與或圖11、最一般合一12、知識的運用邏輯表示法〔謂詞表示法框架產(chǎn)生式AKOISA三、簡答及應用題1、定義謂詞G<x>：x為整數(shù)D<x,y>：x大于y形式化為：或者2、回答:α剪枝：若任一極小值層節(jié)點的β值小于或等于它任一先輩極大值節(jié)點的α值,即α〔先輩層≥β〔后繼層,則可中止該極小值層中這個MIN節(jié)點以下的搜索過程。這個MIN節(jié)點最終的倒推值就確定為這個β值。

β剪枝：若任一極大值層節(jié)點的α值大于或等于它任一先輩極小值層節(jié)點的β值,即α〔后繼層≥β〔先輩層,則可以中止該極大值層中這個MAX節(jié)點以下的搜索過程。這個MAX節(jié)點的最終倒推值就確定為這個α值。3、化子句集如下：4、答：〔１專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異,其開發(fā)過程同樣要遵循軟件工程的步驟和原則,即也要進行系統(tǒng)分析、系統(tǒng)設計等幾個階段的工作?！玻驳捎谒菍＜蚁到y(tǒng),而不是一般的軟件系統(tǒng),所以,又有其獨特的地方,主要包括以下幾個步驟：系統(tǒng)總體分析與設計；知識獲??；知識表示與知識描述語言設計；知識庫設計、知識庫管理系統(tǒng)設計；推理機與解釋模塊設計；總控與界面設計編程與調(diào)試測試與評價運行與維護〔３可以看出它有如下特點：知識獲取和知識表示設計是一切工作的起點；知識表示與知識描述語言確定后,其他設計可同時進行；5、答：所謂"圖靈實驗",是為了判斷一臺機器是否具備智能的實驗。實驗由三個封閉的房間組成,分別放置主持人、參與人和機器。主持人向參與人和機器提問,通過提問的結(jié)果來判斷誰是人,誰是機器。如果主持人無法判斷誰是人,誰是機器,則這臺機器具備智能,即所謂的"智能機器"。6、解:現(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表示小李。先證存在祖孫關系①～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｝得證,說明存在祖孫關系。為了求解用一個重言式④④～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的祖父,即老李是小李的祖父。7、如下的知識可以幫助求解該問題：

〔1序列中,偶數(shù)在偶數(shù)位置,奇數(shù)在奇數(shù)位置；

〔2第五個數(shù)為5。

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

用一個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個數(shù)組成的整數(shù)能被i整除一、選擇題<每題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、當前歸結(jié)式是〔時,則定理得證。A>永真式 B包孕式〔subsumed C>空子句9、或圖通常稱為A框架網(wǎng)絡 B>語義圖 C>博亦圖 D>狀態(tài)圖10、不屬于人工智能的學派是A>符號主義 B>機會主義 C>行為主義 D>連接主義。11、所謂不確定性推理就是從<>的初始證據(jù)出發(fā),通過運用<>的知識,最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。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為真的作用下結(jié)論B為真的A>可信度 B>信度 C>信任增長度 D>概率二、填空題<每題1分,共30分>1、人工智能的含義最早由一位科學家于1950年提出,并且同時提出一個機器智能的測試模型,請問這個科學家是2、從已知事實出發(fā),通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫是。4、不確定性類型按性質(zhì)分：,,,。5、在刪除策略歸結(jié)的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。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)",最終名為""的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是,近期目標是。三、簡答及計算題<每題5分,共25分>1、解釋下列模糊性知識：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、F2的邏輯結(jié)論；證:四、應用題<共30分>1、將命題："某個學生讀過三國演義"分別用謂詞公式和語義網(wǎng)絡表示答：2、圖示博弈樹,其中末一行的數(shù)字為假設的估值,請利用α-β剪枝技術剪去不必要的分枝?！苍诠?jié)點及邊上直接加注釋3、利用謂詞邏輯表示下列知識〔包括已知和結(jié)論,然后化成子句集：〔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、最一般合一〔MGU9、深藍 10、制造智能機器,實現(xiàn)機器智能三、1、答：1表示：命題"張三比較胖"2解釋為：如果患者有些頭疼并且發(fā)高燒,則他患了重感冒。2、答：1產(chǎn)生式規(guī)則庫：描述相應領域知識的產(chǎn)生式規(guī)則集2數(shù)據(jù)庫：〔事實的集合存放問題求解過程中當前信息的數(shù)據(jù)結(jié)構(gòu)〔初始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實和最后結(jié)果事實3推理機：〔控制系統(tǒng)是一個程序,控制協(xié)調(diào)規(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> ．．．結(jié)論的否定⑥R<a> ．．．②③歸結(jié)｛a/y｝⑦┓R<a> ．．．④⑤歸結(jié)｛a/z｝⑧□．．．⑥⑦歸結(jié)得證.四、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>．．．結(jié)論的反<4>L<f<Fly>,Fly>．．．<1><3>歸結(jié),置換{Fly/y}<5>□．．．<2><4>歸結(jié),{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：人工智能技術它與其他科學技術相結(jié)合極大地提高了應用技術的智能化水平。B：人工智能是科學技術發(fā)展的趨勢。C：因為人工智能的系統(tǒng)研究是從上世紀五十年代才開始的,非常新,所以十分重要。D：人工智能有力地促進了社會的發(fā)展。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：如果把知識按照作用來分類,下述不在分類的范圍內(nèi)。A：用控制策略表示的知識,即控制性知識。B：可以通過文字、語言、圖形、聲音等形式編碼記錄和傳播的知識,即顯性知識。C：用提供有關狀態(tài)變化、問題求解過程的操作、演算和行動的知識,即過程性知識。D：用提供概念和事實使人們知道是什么的知識,即陳述性。8：下述不是知識的特征。A：復雜性和明確性 B：進化和相對性 C：客觀性和依附性 D：可重用性和共享性9：下述不是人工智能中常用的知識格式化表示方法。A：框架表示法 B：狀態(tài)空間表示法 C：語義網(wǎng)絡表示法 D：形象描寫表示法10：關于"與/或"圖表示法的敘述中,正確的是：。A："與/或"圖就是用"AND"和"OR"連續(xù)各個部分的圖形,用來描述各部分的因果關系。B："與/或"圖就是用"AND"和"OR"連續(xù)各個部分的圖形,用來描述各部分之間的不確定關系。C："與/或"圖就是用"與"節(jié)點和"或"節(jié)點組合起來的樹形圖,用來描述某類問題的層次關系。D："與/或"圖就是用"與"節(jié)點和"或"節(jié)點組合起來的樹形圖,用來描述某類問題的求解過程。11：構(gòu)成狀態(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)、結(jié)束狀態(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：下列程序的運行結(jié)果是。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程序的運行結(jié)果是：。A：xiaohua B：xiaoming C：xiaofang Dpingpongpredicates likes<symbol,symbol>friend<symbol,symbol>clauseslikes<xiaofang,swimming>.likes<xiaoming,pingpong>.friend<X,xiaohua>:-likes<X,pingpong>.goalfriend<X,xiaohua>.19：下列程序的運行結(jié)果是。A：billtammysueB：tammyjoesueC：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：具有某個專家的經(jīng)驗 B：能模擬人類解決問題C：看上去像一個專家 D：能解決復雜的問題25：一般的專家系統(tǒng)都包括個部分。A：4B：2C：8D：626：人類專家知識通常包括兩大類：。A：理科知識和文科知識B：書本知識和經(jīng)驗知識C：基礎知識和專業(yè)知識D：理論知識和操作知識27：確定性知識是指知識。A：可以精確表示的B：正確的C：在大學中學到的知識D：能夠解決問題的28：下列關于不確定性知識描述錯誤的是。A：不確定性知識是不可以精確表示的 B：專家知識通常屬于不確定性知識C：不確定性知識是經(jīng)過處理過的知識D：不確定性知識的事實與結(jié)論的關系不是簡單的"是"或"不是"。29：知識獲取的目的是將人類專家的知識轉(zhuǎn)換為專家系統(tǒng)知識庫中的知識,知識獲取的方法通常有種。A：2B：3C：4D：530：專家系統(tǒng)的推理機的最基本的方式是。A：直接推理和間接推理B：正向推理和反向推理C：邏輯推理和非邏輯推理D：準確推理和模糊推理31：專家系統(tǒng)的正向推理是以作為出發(fā)點,按照一定的策略,應用知識庫中的知識,推斷出結(jié)論的過程。A：需要解決的問題 B：已知事實 C：證明結(jié)論 D：表示目標的謂詞或命題32:下列關于不精確推理過程的敘述錯誤的是。A：不精確推理過程是從不確定的事實出發(fā)B：不精確推理過程最終能夠推出確定的結(jié)論C：不精確推理過程是運用不確定的知識D：不精確推理過程最終推出不確定性的結(jié)論33：下列不屬于專家系統(tǒng)的解釋功能的主要作用是。A：對用戶說明為什么得到這個結(jié)論 B：對用戶說明如何得到這個結(jié)論C：提高專家系統(tǒng)的信賴程度 D：對用戶說明專家系統(tǒng)的知識結(jié)構(gòu)34：在重排九宮問題的狀態(tài)樹中〔如下圖,以下選項中全是分支節(jié)點的是。A：B2、C2、D2、E2 B：B4、C2、D3、D8C：B3、C5、D7、E7D：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)夫帶一樣東西過河。用0和1表示狼、羊、白菜分別運到南岸的狀態(tài),0表示不在南岸,1表示在南岸,〔如：100表示只有狼運到南岸。初始時,南岸狀態(tài)為000,表示狼、羊、白菜都沒運到南岸,最終狀態(tài)為111,表示狼、羊、白菜都運到了南岸。用狀態(tài)空間為農(nóng)夫找出過河方法,以下狼、羊、白菜在南岸出現(xiàn)的序列可能是。A：000-010-100-101-111 B：000-010-001-101-111 C：000-100-110-111 D：000-001-011-11137：下圖是一個迷宮,S0是入口,Sg是出口,把入口作為初始節(jié)點,出口作為目標節(jié)點,通道作為分支,畫出從入口S0出發(fā),尋找出口Sg的狀態(tài)樹。根據(jù)深度優(yōu)先搜索方法搜索的路徑是。A：s0-s4-s5-s6-s9-sg B：s0-s4-s1-s2