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

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

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

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