人工智能考試答案人工智能考試試題及答案

人工智能考試答案人工智能考試試題及答案人工智能經(jīng)典考試試題及答案一、選擇題(每題1分，共15分)1、AI的英文縮寫(xiě)是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation2、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式B)包孕式（subsumed）C)空子句3、從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理B)反向推理C)雙向推理4、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）。A)無(wú)悖性B)可擴(kuò)充性C)繼承性5、(A→B)∧A=>B是A)附加律B)拒收律C)假言推理D)US6、命題是可以判斷真假的A)祈使句B)疑問(wèn)句C)感嘆句D)陳述句7、僅個(gè)體變?cè)涣炕闹^詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞8、MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱為（）A）深藍(lán)B）IBMC）深思D）藍(lán)天10、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí)B)規(guī)則C)控制和元知識(shí)D)關(guān)系11、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A)C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’12、或圖通常稱為A）框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖13、不屬于人工智能的學(xué)派是A)符號(hào)主義B)機(jī)會(huì)主義C)行為主義D)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A)明斯基B).扎德C)圖林D)馮.諾依曼15.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（）。A)專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別二、填空題(每空1.5分，共30分)1、不確定性類(lèi)型按性質(zhì)分：，，，。2、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=4、圖：指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過(guò)程中，從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P(B|A)表示在規(guī)則中，證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題(每題5分，共25分)1、填寫(xiě)下面的三值邏輯表。其中T，F(xiàn)，U分別表示真，假，不能判定2、什么是產(chǎn)生式？產(chǎn)生式規(guī)則的語(yǔ)義是什么？3、謂詞公式G通過(guò)８?jìng)€(gè)步驟所得的子句集合S，稱為G的子句集。請(qǐng)寫(xiě)出這些步驟。4、已知S={P(f(_),y,g(y)),P(f(_),z,g(_))}，求MGU5、證明G是否是F的邏輯結(jié)論；四、應(yīng)用題(共30分)1、用語(yǔ)義網(wǎng)絡(luò)表示下列信息：(1)胡途是思源公司的經(jīng)理，他35歲，住在飛天胡同68號(hào)(2)清華大學(xué)與北京大學(xué)進(jìn)行藍(lán)球比賽，最后以89：102的比分結(jié)束。答：2、圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋）3、設(shè)有如下關(guān)系：（1）如果_是y的父親，y又是z的父親，則_是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系？答案：一、1、B2、C3、A4、C5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機(jī)性，模糊性，不完全性，不一致性2、純文字，永真式，類(lèi)含3、-CF(A)，min{CF(A1),CF(A2)}，ma_{CF(A1),CF(A2)}4、節(jié)點(diǎn)，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發(fā)規(guī)則7、A→B，概率8、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、1、2、產(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ī)則的語(yǔ)義：如果前提P被滿足，則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作3、1）消去蘊(yùn)含式和等價(jià)式→，<->2）縮小否定詞的作用范圍，直到其作用于原子公式:3）適當(dāng)改名，使量詞間不含同名指導(dǎo)變?cè)图s束變?cè)?.）消去存在量詞（形成Skolem標(biāo)準(zhǔn)型）5）消去所有全稱量詞6)化成合取范式7).適當(dāng)改名，使子句間無(wú)同名變?cè)?).消去合取詞∧，用逗號(hào)代替，以子句為元素組成一個(gè)集合S4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={y,z},其中y是變?cè)?，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(_),z,g(z)),P(f(_),z,g(_))},S1不是單元素集，求得差異集D1=｛z,_｝,k=k+1=2;δ2=δ1·｛z/_｝=｛z/y,z/_｝,S2=S1·｛z/_｝=｛P(f(z),z,g(z))｝是單元素集。根據(jù)求MGU算法，MGU=δ2=｛z/y,z/_｝5、證:①P(_)．．．從F變換②Q(a)∨Q(_)．．．從F變換③┓P(y)∨┓Q(y)．．．結(jié)論的否定④┓Q(_)．．．①③歸結(jié),{_/y}⑤□．．．②④歸結(jié),置換{a/_}得證。四、2、3、解:現(xiàn)定義如下謂詞F(_,y)_是y的父親;G(_,z)_是y的祖父;用謂詞邏輯表示已知與求解:(1)F(_,y)∧F(y,z)→G(_,z)(2)F(L,D)(3)F(D,_)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,_表示小李。先證存在祖孫關(guān)系①┓F(_,y)∨┓F(y,z)∨G(_,z)．．．從(1)變換②F(L,D)．．．從(2)變換③F(D,_)．．．從(3)變換④┓G(u,v)．．．結(jié)論的否定⑤┓F(D,z)∨G(L,z)．．．①②歸結(jié),置換｛L/_,D/y｝⑥G(L,_)．．．③⑤歸結(jié),置換｛_/z｝⑦□．．．④⑥歸結(jié),置換｛L/u,_/v｝得證,說(shuō)明存在祖孫關(guān)系。為了求解用一個(gè)重言式④④┓G(u,v)∨G(u,v)．．．用重言式代替結(jié)論的否定,重言式恒為真⑤┓F(D,z)∨G(L,z)．．．①②歸結(jié),置換｛L/_,D/y｝⑥G(L,_)．．．③⑤歸結(jié),置換｛_/z｝⑦G(L,_)．．．④⑥歸結(jié),置換｛L/u,_/v｝得結(jié)果:L是_的祖父，即老李是小李的祖父。三、簡(jiǎn)答及計(jì)算題(每題5分，共25分)1、解釋下列模糊性知識(shí)：1)張三，體型，（胖，0.9））。2)(患者，癥狀，(頭疼，0.95))∧(患者，癥狀，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：2、簡(jiǎn)單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對(duì)比表答：4、已知W={P(f(_,g(A,y)),z),P(f(_,z),z)}，求MGU解：5、證明G是否是F1、F2的邏輯結(jié)論；四、應(yīng)用題(共30分)1、將命題：“某個(gè)學(xué)生讀過(guò)三國(guó)演義”分別用謂詞公式和語(yǔ)義網(wǎng)絡(luò)表示2、圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋）3、利用謂詞邏輯表示下列知識(shí)（包括已知和結(jié)論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林2、正向推理3、ArtificalIntelligence4、隨機(jī)性，模糊性，不完全性，不一致性5、純文字，永真式，類(lèi)含6、-CF(A)，min{CF(A1),CF(A2)}，ma_{CF(A1),CF(A2)})7、節(jié)點(diǎn)和有向邊，或圖，與或圖8、最一般合一（MGU）9、深藍(lán)10、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、1、答：1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答：1）產(chǎn)生式規(guī)則庫(kù)：描述相應(yīng)領(lǐng)域知識(shí)的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫(kù)：（事實(shí)的集合）存放問(wèn)題求解過(guò)程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫(kù)輸入的事實(shí)、中間結(jié)果事實(shí)和最后結(jié)果事實(shí)）3）推理機(jī)：（控制系統(tǒng)）是一個(gè)程序，控制協(xié)調(diào)規(guī)則庫(kù)與數(shù)據(jù)庫(kù)的運(yùn)行，包含推理方式和控制策略。3、答：4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變?cè)?，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(_,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法，MGU=δ1=｛g(A,y)/z｝5、證:①┓P(_)∨Q(_)．．．從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、答：謂詞公式表示：$_(student(_)∧read(_,三國(guó)演義))語(yǔ)義網(wǎng)絡(luò)表示如圖：2、3、證：現(xiàn)定義如下謂詞L(_,y)某人_喜歡某物y；P(y)某物y是清潔的東西(1)y_(P(y)→L(_,y))==>┓P(y)∨L(f(y),y)(2)_(┓L(_,Fly))==>┓L(_,Fly)(3)P(Fly)．．．結(jié)論的反(4)L(f(Fly),Fly)．．．(1)(3)歸結(jié),置換{Fly/y}(5)□．．．(2)(4)歸結(jié),{f(Fly)/_}得證。試題部分：一、選擇題（15小題，共15分）1、97年５月，著名的“人機(jī)大戰(zhàn)”，最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗，這臺(tái)計(jì)算機(jī)被稱為（）A）深藍(lán)B）IBMC）深思D）藍(lán)天2、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí)B)規(guī)則C)控制和元知識(shí)D)關(guān)系3、謂詞邏輯下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互補(bǔ)文字的（最一般）合一置換，則其歸結(jié)式C=（）A)C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’4、或圖通常稱為A）框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖5、不屬于人工智能的學(xué)派是A)符號(hào)主義B)機(jī)會(huì)主義C)行為主義D)連接主義。6、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是A)明斯基B).扎德C)圖林D)馮.諾依曼7、要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（）。A)專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫(kù)C）推理機(jī)D）知識(shí)庫(kù)9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡(jiǎn)單推理10、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度B)信度C)信任增長(zhǎng)度D)概率11、AI的英文縮寫(xiě)是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation12、反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式B)包孕式（subsumed）C)空子句13、在公式中“y$_p(_,y))，存在量詞是在全稱量詞的轄域內(nèi)，我們?cè)试S所存在的_可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)_。這種函數(shù)叫做（）A.依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PúQ和P經(jīng)過(guò)消解以后，得到（）A.PB.QC.~PD.PúQ15、如果問(wèn)題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解。A.廣度優(yōu)先搜索B.深度優(yōu)先搜索C.有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)嗤淖冊(cè)Q為，其他變?cè)Q為2、假言推理（A?B）ùAT，假言三段論（A?B）ù（B?C）T3、幾種常用的歸結(jié)策略：、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術(shù)稱為技術(shù)，解這類(lèi)問(wèn)題時(shí)，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表，這種圖稱為5.在啟發(fā)式搜索當(dāng)中，通常用來(lái)表示啟發(fā)性信息。6.在二人博弈問(wèn)題中，最常用的一種分析技術(shù)是，這種方法的思想是先生成一棵博弈樹(shù)，然后再計(jì)算其倒推值。但它的效率較低，因此人們?cè)诖嘶A(chǔ)上，又提出了7、不確定性類(lèi)型按性質(zhì)分：，，，。8、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。10、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開(kāi)發(fā)專家系統(tǒng)所要解決的基本問(wèn)題有三個(gè)，那就是知識(shí)的獲取、知識(shí)的表示和，知識(shí)表示的方法主要有，，和語(yǔ)義網(wǎng)絡(luò)等，在語(yǔ)義網(wǎng)絡(luò)表示知識(shí)時(shí)，所使用的推理方法有和三、簡(jiǎn)答與應(yīng)用題1、謂詞邏輯形式化下列描述“不存在最大的整數(shù)”(4分)2.α－β剪枝的條件是什么？3、某問(wèn)題由下列公式描述：(1)、試用歸結(jié)法證明(_)R(_)；4.專家系統(tǒng)的一般步驟有哪些？專家系統(tǒng)的開(kāi)發(fā)與一般的軟件系統(tǒng)開(kāi)發(fā)相比較，有哪些共同點(diǎn)和特點(diǎn)？（7分）5.何謂“圖靈實(shí)驗(yàn)”？簡(jiǎn)單描述之（5分）6、設(shè)有如下關(guān)系：（1）如果_是y的父親，y又是z的父親，則_是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問(wèn)上述人員中誰(shuí)和誰(shuí)是祖孫關(guān)系？(10分)7.給1～9九個(gè)數(shù)字排一個(gè)序列，使得該序列的前n(n=1,...,9)個(gè)數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識(shí)可以幫助該問(wèn)題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問(wèn)題.(15分)答案部分一、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變?cè)杂勺冊(cè)?、BA?C3、刪除策略4、圖搜索狀態(tài)空間圖（或狀態(tài)圖）5、啟發(fā)函數(shù)6、極大極小分析法a-b剪枝技術(shù)7、隨機(jī)性模糊性不一致性不確定性8、純文字永真類(lèi)含9、~CF（A）min{CF（A1），CF（A2）}ma_{CF（A1），CF（A2）}10、或圖與或圖11、最一般合一12、知識(shí)的運(yùn)用邏輯表示法（謂詞表示法）框架產(chǎn)生式AKOISA三、簡(jiǎn)答及應(yīng)用題1、定義謂詞G(_)：_為整數(shù)D(_,y)：_大于y形式化為：或者2、回答:α剪枝：若任一極小值層節(jié)點(diǎn)的β值小于或等于它任一先輩極大值節(jié)點(diǎn)的α值，即α（先輩層）≥β（后繼層），則可中止該極小值層中這個(gè)MIN節(jié)點(diǎn)以下的搜索過(guò)程。這個(gè)MIN節(jié)點(diǎn)最終的倒推值就確定為這個(gè)β值。β剪枝：若任一極大值層節(jié)點(diǎn)的α值大于或等于它任一先輩極小值層節(jié)點(diǎn)的β值，即α（后繼層）≥β（先輩層），則可以中止該極大值層中這個(gè)MA_節(jié)點(diǎn)以下的搜索過(guò)程。這個(gè)MA_節(jié)點(diǎn)的最終倒推值就確定為這個(gè)α值。3、化子句集如下：4、答：（１）專家系統(tǒng)與一般的軟件系統(tǒng)開(kāi)發(fā)無(wú)異，其開(kāi)發(fā)過(guò)程同樣要遵循軟件工程的步驟和原則，即也要進(jìn)行系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。（２）但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨(dú)特的地方，主要包括以下幾個(gè)步驟：１）系統(tǒng)總體分析與設(shè)計(jì)；２）知識(shí)獲取；３）知識(shí)表示與知識(shí)描述語(yǔ)言設(shè)計(jì)；４）知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)；５）推理機(jī)與解釋模塊設(shè)計(jì)；６）總控與界面設(shè)計(jì)７）編程與調(diào)試８）測(cè)試與評(píng)價(jià)９）運(yùn)行與維護(hù)（３）可以看出它有如下特點(diǎn)：１）知識(shí)獲取和知識(shí)表示設(shè)計(jì)是一切工作的起點(diǎn)；知識(shí)表示與知識(shí)描述語(yǔ)言確定后，其他設(shè)計(jì)可同時(shí)進(jìn)行；5、答：所謂“圖靈實(shí)驗(yàn)”，是為了判斷一臺(tái)機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成，分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問(wèn)，通過(guò)提問(wèn)的結(jié)果來(lái)判斷誰(shuí)是人，誰(shuí)是機(jī)器。如果主持人無(wú)法判斷誰(shuí)是人，誰(shuí)是機(jī)器，則這臺(tái)機(jī)器具備智能，即所謂的“智能機(jī)器”。6、解:現(xiàn)定義如下謂詞F(_,y)_是y的父親;G(_,z)_是y的祖父;用謂詞邏輯表示已知與求解:(1)F(_,y)∧F(y,z)→G(_,z)(2)F(L,D)(3)F(D,_)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,_表示小李。先證存在祖孫關(guān)系①～F(_,y)∨～F(y,z)∨G(_,z)．．．從(1)變換②F(L,D)．．．從(2)變換③F(D,_)．．．從(3)變換④～G(u,v)．．．結(jié)論的否定⑤～F(D,z)∨G(L,z)．．．①②歸結(jié),置換｛L/_,D/y｝⑥G(L,_)．．．③⑤歸結(jié),置換｛_/z｝⑦□．．．④⑥歸結(jié),置換｛L/u,_/v｝得證,說(shuō)明存在祖孫關(guān)系。為了求解用一個(gè)重言式④④～G(u,v)∨G(u,v)．．．用重言式代替結(jié)論的否定,重言式恒為真⑤～F(D,z)∨G(L,z)．．．①②歸結(jié),置換｛L/_,D/y｝⑥G(L,_)．．．③⑤歸結(jié),置換｛_/z｝⑦G(L,_)．．．④⑥歸結(jié),置換｛L/u,_/v｝得結(jié)果:L是_的祖父，即老李是小李的祖父。7、如下的知識(shí)可以幫助求解該問(wèn)題：（1）序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；（2）第五個(gè)數(shù)為5。綜合數(shù)據(jù)庫(kù)：用一個(gè)1到9的序列表示：N={_}，其中_為1到9的數(shù)字之一。規(guī)則集：r1:IFlen(N)=4THEN{_}∪{5}r2:IFlen(N)為偶數(shù)andn=In(1,3,7,9)THEN{_}∪{n}r3:IFlen(N)為奇數(shù)andn=In(2,4,6,8)THEN{_}∪{n}其中l(wèi)en(N)為求序列的長(zhǎng)度，In(a,b,c,d)為取a、b、c、d之一。初始狀態(tài)：{}結(jié)束條件：得到的序列N前i個(gè)數(shù)組成的整數(shù)能被i整除一、選擇題(每題1分，共15分)1、人工智能是一門(mén)A)數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué)C)語(yǔ)言學(xué)D)綜合性的交叉學(xué)科和邊緣學(xué)科2、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)，有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的（）。A)無(wú)悖性B)可擴(kuò)充性C)繼承性3、(A->B)∧A=>B是A)附加律B)拒收律C)假言推理D)US4、命題是可以判斷真假的A)祈使句B)疑問(wèn)句C)感嘆句D)陳述句5、僅個(gè)體變?cè)涣炕闹^詞稱為A)一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是A)最一般合一B)最一般替換C)最一般謂詞D)基替換最一般合一7、下列不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中A)事實(shí)B)規(guī)則C)控制D)關(guān)系8、當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。A)永真式B包孕式（subsumed）C)空子句9、或圖通常稱為A）框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖10、不屬于人工智能的學(xué)派是A)符號(hào)主義B)機(jī)會(huì)主義C)行為主義D)連接主義。11、所謂不確定性推理就是從()的初始證據(jù)出發(fā)，通過(guò)運(yùn)用()的知識(shí)，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過(guò)程。A)不確定性,不確定性B)確定性,確定性C)確定性,不確定性D)不確定性確定性12.要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門(mén)研究分支學(xué)科叫（）。A)專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別13、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫(kù)C）推理機(jī)D）知識(shí)庫(kù)14、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡(jiǎn)單推理15、C(B|A)表示在規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A)可信度B)信度C)信任增長(zhǎng)度D)概率二、填空題(每題1分，共30分)1、人工智能的含義最早由一位科學(xué)家于1950年提出，并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型，請(qǐng)問(wèn)這個(gè)科學(xué)家是2、從已知事實(shí)出發(fā)，通過(guò)規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫(xiě)是。4、不確定性類(lèi)型按性質(zhì)分：，，，。5、在刪除策略歸結(jié)的過(guò)程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。6、對(duì)證據(jù)的可信度CF（A）、CF（A1）、CF（A2）之間，規(guī)定如下關(guān)系：CF（~A）=、CF（A1∧A2）=、CF（A1∨A2）=。7、圖：指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。8、合一算法：求非空有限具有相同謂詞名的原子公式集的。9、1997年５月，著名的“人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題(每題5分，共25分)1、解釋下列模糊性知識(shí)：1)張三，體型，（胖，0.9））。2)(患者，癥狀，(頭疼，0.95))∧(患者，癥狀，(發(fā)燒，1.1))→(患者，疾病，(感冒，1.2))答：2、簡(jiǎn)單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的對(duì)比表答：4、已知W={P(f(_,g(A,y)),z),P(f(_,z),z)}，求MGU解：5、證明G是否是F1、F2的邏輯結(jié)論；證:四、應(yīng)用題(共30分)1、將命題：“某個(gè)學(xué)生讀過(guò)三國(guó)演義”分別用謂詞公式和語(yǔ)義網(wǎng)絡(luò)表示答：2、圖示博弈樹(shù)，其中末一行的數(shù)字為假設(shè)的估值，請(qǐng)利用α-β剪枝技術(shù)剪去不必要的分枝。（在節(jié)點(diǎn)及邊上直接加注釋）3、利用謂詞邏輯表示下列知識(shí)（包括已知和結(jié)論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林2、正向推理3、ArtificalIntelligence4、隨機(jī)性，模糊性，不完全性，不一致性5、純文字，永真式，類(lèi)含6、-CF(A)，min{CF(A1),CF(A2)}，ma_{CF(A1),CF(A2)})7、節(jié)點(diǎn)和有向邊，或圖，與或圖8、最一般合一（MGU）9、深藍(lán)10、制造智能機(jī)器，實(shí)現(xiàn)機(jī)器智能三、1、答：1）表示：命題“張三比較胖”2）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答：1）產(chǎn)生式規(guī)則庫(kù)：描述相應(yīng)領(lǐng)域知識(shí)的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫(kù)：（事實(shí)的集合）存放問(wèn)題求解過(guò)程中當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)（初始事實(shí)、外部數(shù)據(jù)庫(kù)輸入的事實(shí)、中間結(jié)果事實(shí)和最后結(jié)果事實(shí)）3）推理機(jī)：（控制系統(tǒng)）是一個(gè)程序，控制協(xié)調(diào)規(guī)則庫(kù)與數(shù)據(jù)庫(kù)的運(yùn)行，包含推理方式和控制策略。3、答：4、解：k=0;S0=S;δ0=ε;S0不是單元素集，求得差異集D0={g(A,y)},z},其中z是變?cè)?，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(_,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法，MGU=δ1=｛g(A,y)/z｝5、證:①┓P(_)∨Q(_)．．．從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、答：謂詞公式表示：$_(student(_)∧read(_,三國(guó)演義))語(yǔ)義網(wǎng)絡(luò)表示如圖：2、3、證：現(xiàn)定義如下謂詞L(_,y)某人_喜歡某物y；P(y)某物y是清潔的東西(1)y_(P(y)→L(_,y))==>┓P(y)∨L(f(y),y)(2)_(┓L(_,Fly))==>┓L(_,Fly)(3)P(Fly)．．．結(jié)論的反(4)L(f(Fly),Fly)．．．(1)(3)歸結(jié),置換{Fly/y}(5)□．．．(2)(4)歸結(jié),{f(Fly)/_}得證。一、單選題：1：人類(lèi)智能的特性表現(xiàn)在4個(gè)方面。A：聰明、靈活、學(xué)習(xí)、運(yùn)用。B：能感知客觀世界的信息、能對(duì)通過(guò)思維對(duì)獲得的知識(shí)進(jìn)行加工處理、能通過(guò)學(xué)習(xí)積累知識(shí)增長(zhǎng)才干和適應(yīng)環(huán)境變化、能對(duì)外界的刺激作出反應(yīng)傳遞信息。C：感覺(jué)、適應(yīng)、學(xué)習(xí)、創(chuàng)新。D：能捕捉外界環(huán)境信息、能夠利用利用外界的有利因素、能夠傳遞外界信息、能夠綜合外界信息進(jìn)行創(chuàng)新思維。2：人工智能的目的是讓機(jī)器能夠，以實(shí)現(xiàn)某些腦力勞動(dòng)的機(jī)械化。A：具有智能B：和人一樣工作C：完全代替人的大腦D：模擬、延伸和擴(kuò)展人的智能3：下列關(guān)于人工智能的敘述不正確的有：。A：人工智能技術(shù)它與其他科學(xué)技術(shù)相結(jié)合極大地提高了應(yīng)用技術(shù)的智能化水平。B：人工智能是科學(xué)技術(shù)發(fā)展的趨勢(shì)。C：因?yàn)槿斯ぶ悄艿南到y(tǒng)研究是從上世紀(jì)五十年代才開(kāi)始的，非常新，所以十分重要。D：人工智能有力地促進(jìn)了社會(huì)的發(fā)展。4：人工智能研究的一項(xiàng)基本內(nèi)容是機(jī)器感知。以下列舉中的不屬于機(jī)器感知的領(lǐng)域。A：使機(jī)器具有視覺(jué)、聽(tīng)覺(jué)、觸覺(jué)、味覺(jué)、嗅覺(jué)等感知能力。B：讓機(jī)器具有理解文字的能力。C：使機(jī)器具有能夠獲取新知識(shí)、學(xué)習(xí)新技巧的能力。D：使機(jī)器具有聽(tīng)懂人類(lèi)語(yǔ)言的能力5：自然語(yǔ)言理解是人工智能的重要應(yīng)用領(lǐng)域，下面列舉中的不是它要實(shí)現(xiàn)的目標(biāo)。A：理解別人講的話。B：對(duì)自然語(yǔ)言表示的信息進(jìn)行分析概括或編輯。C：欣賞音樂(lè)。D：機(jī)器翻譯。6：為了解決如何模擬人類(lèi)的感性思維，例如視覺(jué)理解、直覺(jué)思維、悟性等，研究者找到一個(gè)重要的信息處理的機(jī)制是：。A：專家系統(tǒng)B：人工神經(jīng)網(wǎng)絡(luò)C：模式識(shí)別D：智能代理7：如果把知識(shí)按照作用來(lái)分類(lèi)，下述不在分類(lèi)的范圍內(nèi)。A：用控制策略表示的知識(shí)，即控制性知識(shí)。B：可以通過(guò)文字、語(yǔ)言、圖形、聲音等形式編碼記錄和傳播的知識(shí)，即顯性知識(shí)。C：用提供有關(guān)狀態(tài)變化、問(wèn)題求解過(guò)程的操作、演算和行動(dòng)的知識(shí)，即過(guò)程性知識(shí)。D：用提供概念和事實(shí)使人們知道是什么的知識(shí)，即陳述性。8：下述不是知識(shí)的特征。A：復(fù)雜性和明確性B：進(jìn)化和相對(duì)性C：客觀性和依附性D：可重用性和共享性9：下述不是人工智能中常用的知識(shí)格式化表示方法。A：框架表示法B：狀態(tài)空間表示法C：語(yǔ)義網(wǎng)絡(luò)表示法D：形象描寫(xiě)表示法10：關(guān)于“與/或”圖表示法的敘述中，正確的是：。A：“與/或”圖就是用“AND”和“OR”連續(xù)各個(gè)部分的圖形，用來(lái)描述各部分的因果關(guān)系。B：“與/或”圖就是用“AND”和“OR”連續(xù)各個(gè)部分的圖形，用來(lái)描述各部分之間的不確定關(guān)系。C：“與/或”圖就是用“與”節(jié)點(diǎn)和“或”節(jié)點(diǎn)組合起來(lái)的樹(shù)形圖，用來(lái)描述某類(lèi)問(wèn)題的層次關(guān)系。D：“與/或”圖就是用“與”節(jié)點(diǎn)和“或”節(jié)點(diǎn)組合起來(lái)的樹(shù)形圖，用來(lái)描述某類(lèi)問(wèn)題的求解過(guò)程。11：構(gòu)成狀態(tài)空間的4個(gè)要素是：。A：開(kāi)始狀態(tài)、目標(biāo)狀態(tài)、規(guī)則和操作B：初始狀態(tài)、中間狀態(tài)、目標(biāo)狀態(tài)和操作C：空間、狀態(tài)、規(guī)則和操作D：開(kāi)始狀態(tài)、中間狀態(tài)、結(jié)束狀態(tài)和其他狀態(tài)12：關(guān)于“與/或”圖表示知識(shí)的敘述，錯(cuò)誤的有。A：用“與/或”圖表示知識(shí)方便使用程序設(shè)計(jì)語(yǔ)言表達(dá)，也便于計(jì)算機(jī)存儲(chǔ)處理。B：“與/或”圖表示知識(shí)時(shí)一定同時(shí)有“與節(jié)點(diǎn)”和“或節(jié)點(diǎn)”。C：“與/或”圖能方便地表示陳述性知識(shí)和過(guò)程性知識(shí)。D：能用“與/或”圖表示的知識(shí)不適宜用其他方法表示。13：下列不是知識(shí)表示法的是。A：計(jì)算機(jī)表示法B：“與/或”圖表示法C：狀態(tài)空間表示法D：產(chǎn)生式規(guī)則表示法14：一般來(lái)講，下列語(yǔ)言屬于人工智能語(yǔ)言的是。A：VBB：PascalC：LogoD：Prolog15：Prolog語(yǔ)言的三種基本語(yǔ)句是：。A：順序、循環(huán)、分支B：陳述、詢問(wèn)、感嘆C：事實(shí)、規(guī)則、詢問(wèn)D：肯定、疑問(wèn)、感嘆16：匹配是將兩個(gè)知識(shí)模式進(jìn)行比較。A：相同性B：一致性C：可比性D：同類(lèi)性17：下列程序的運(yùn)行結(jié)果是。A：ellenB：johnC：ericD：ellen、john、ericpredicateslikes(symbol,symbol)clauseslikes(ellen,reading).likes(john,puters).likes(john,swimming).likes(leonard,badminton).likes(eric,swimming).likes(eric,reading).goallikes(Person,reading),likes(Person,swimming).18：下列Prolog程序的運(yùn)行結(jié)果是：。A：_iaohuaB：_iaomingC：_iaofangDpingpongpredicateslikes(symbol,symbol)friend(symbol,symbol)clauseslikes(_iaofang,swimming).likes(_iaoming,pingpong).friend(_,_iaohua):-likes(_,pingpong).goalfriend(_,_iaohua).19：下列程序的運(yùn)行結(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)是一個(gè)復(fù)雜的智能軟件，它處理的對(duì)象是用符號(hào)表示的知識(shí)，處理的過(guò)程是的過(guò)程。A：思維B：思考C：推理D：遞推21：進(jìn)行專家系統(tǒng)的開(kāi)發(fā)通常采用的方法是。A：逐步求精B：實(shí)驗(yàn)法C：原型法D：遞推法22：在專家系統(tǒng)的開(kāi)發(fā)過(guò)程中使用的專家系統(tǒng)工具一般分為專家系統(tǒng)的和通用專家系統(tǒng)工具兩類(lèi)。A：模型工具B：外殼C：知識(shí)庫(kù)工具D：專用工具23：專家系統(tǒng)是以為基礎(chǔ)，以推理為核心的系統(tǒng)。A：專家B：軟件C：知識(shí)D：解決問(wèn)題24：是專家系統(tǒng)的重要特征之一。A：具有某個(gè)專家的經(jīng)驗(yàn)B：能模擬人類(lèi)解決問(wèn)題C：看上去像一個(gè)專家D：能解決復(fù)雜的問(wèn)題25：一般的專家系統(tǒng)都包括個(gè)部分。A：4B：2C：8D：626：人類(lèi)專家知識(shí)通常包括兩大類(lèi)：。A：理科知識(shí)和文科知識(shí)B：書(shū)本知識(shí)和經(jīng)驗(yàn)知識(shí)C：基礎(chǔ)知識(shí)和專業(yè)知識(shí)D：理論知識(shí)和操作知識(shí)27：確定性知識(shí)是指知識(shí)。A：可以精確表示的B：正確的C：在大學(xué)中學(xué)到的知識(shí)D：能夠解決問(wèn)題的28：下列關(guān)于不確定性知識(shí)描述錯(cuò)誤的是。A：不確定性知識(shí)是不可以精確表示的B：專家知識(shí)通常屬于不確定性知識(shí)C：不確定性知識(shí)是經(jīng)過(guò)處理過(guò)的知識(shí)D：不確定性知識(shí)的事實(shí)與結(jié)論的關(guān)系不是簡(jiǎn)單的“是”或“不是”。29：知識(shí)獲取的目的是將人類(lèi)專家的知識(shí)轉(zhuǎn)換為專家系統(tǒng)知識(shí)庫(kù)中的知識(shí)，知識(shí)獲取的方法通常有種。A：2B：3C：4D：530：專家系統(tǒng)的推理機(jī)的最基本的方式是。A：直接推理和間接推理B：正向推理和反向推理C：邏輯推理和非邏輯推理D：準(zhǔn)確推理和模糊推理31：專家系統(tǒng)的正向推理是以作為出發(fā)點(diǎn)，按照一定的策略，應(yīng)用知識(shí)庫(kù)中的知識(shí)，推斷出結(jié)論的過(guò)程。A：需要解決的問(wèn)題B：已知事實(shí)C：證明結(jié)論D：表示目標(biāo)的謂詞或命題32:下列關(guān)于不精確推理過(guò)程的敘述錯(cuò)誤的是。A：不精確推理過(guò)程是從不確定的事實(shí)出發(fā)B：不精確推理過(guò)程最終能夠推出確定的結(jié)論C：不精確推理過(guò)程是運(yùn)用不確定的知識(shí)D：不精確推理過(guò)程最終推出不確定性的結(jié)論33：下列不屬于專家系統(tǒng)的解釋功能的主要作用是。A：對(duì)用戶說(shuō)明為什么得到這個(gè)結(jié)論B：對(duì)用戶說(shuō)明如何得到這個(gè)結(jié)論C：提高專家系統(tǒng)的信賴程度D：對(duì)用戶說(shuō)明專家系統(tǒng)的知識(shí)結(jié)構(gòu)34：在重排九宮問(wèn)題的狀態(tài)樹(shù)中（如下圖），以下選項(xiàng)中全是分支節(jié)點(diǎn)的是。A：B2、C2、D2、E2B：B4、C2、D3、D8C：B3、C5、D7、E7D：C6、D1、E5、E1435：在重排九宮問(wèn)題中，啟發(fā)函數(shù)H（_）+D（_）中的D（_）表示。A：節(jié)點(diǎn)_與目標(biāo)狀態(tài)位置不同的棋子個(gè)數(shù)B：節(jié)點(diǎn)_與目標(biāo)狀態(tài)位置相同的棋子個(gè)數(shù)C：節(jié)點(diǎn)_的子節(jié)點(diǎn)數(shù)D：節(jié)點(diǎn)_所在的層數(shù)36：有一個(gè)農(nóng)夫帶一匹狼、一只羊和一棵白菜過(guò)河（從河的北岸到南岸）。如果沒(méi)有農(nóng)夫看管，則狼要吃羊，羊要吃白菜。但是船很小，只夠農(nóng)夫帶一樣?xùn)|西過(guò)河。用0和1表示狼、羊、白菜分別運(yùn)到南岸的狀態(tài)，0表示不在南岸，1表示在南岸，（如：100表示只有狼運(yùn)到南岸）。初始時(shí)，南岸狀態(tài)為000，表示狼、羊、白菜都沒(méi)運(yùn)到南岸，最終狀態(tài)為111，表示狼、羊、白菜都運(yùn)到了南岸。用狀態(tài)空間為農(nóng)夫找出過(guò)河方法，以下狼、羊、白菜在南岸出現(xiàn)的序列可能是。A：000-010-100--111B：000-010-001--111C：000-100-110-111D：000-001-011-11137：下圖是一個(gè)迷宮，S0是入口，Sg是出口，把入口作為初始節(jié)點(diǎn)，出口作為目標(biāo)節(jié)點(diǎn)，通道作為分支，畫(huà)出從入口S0出發(fā)，尋找出口Sg的狀態(tài)樹(shù)。根據(jù)深度優(yōu)先搜索方法搜索的路徑是。A：s0-s4-s5-s6-s9-sgB：s0-s4-s1-s2-s3-s6-s9-sgC：s0-s4-s1-s2-s3-s5-s6-s8-s9-sgD：s0-s4-