《人工智能導(dǎo)論》試卷

人工智能試卷四一、選擇題(1分,15分)1、AI的英文縮寫是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation2、反演歸結(jié)〔消解〕證明定理時,假設(shè)當(dāng)前歸結(jié)式是〔〕時,則定理得證。A)永真式 B)包孕式〔subsumed〕 C)空子句3、從事實動身,通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是A)正向推理 B)反向推理 C)雙向推理4、語義網(wǎng)絡(luò)表達(dá)學(xué)問時,有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點學(xué)問的〔。A)無悖性 B)可擴(kuò)大性 C)繼承性5、(A→B)∧A=>B是A)附加律 B)拒收律 C)假言推理 D)US6、命題是可以推斷真假的A)祈使句 B)疑問句 C)感慨句 7、僅個體變元被量化的謂詞稱為A)一階謂詞 B)原子公式 C)二階謂詞 8、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換、1997年５月,著名的“人機(jī)大戰(zhàn)”,3.52.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗,這臺計算機(jī)被稱為〔〕A〕深藍(lán) B〕IBM C〕深思 D〕藍(lán)天10、以下不在人工智能系統(tǒng)的學(xué)問包含的4個要素中A)事實 B)規(guī)章 C)把握和元學(xué)問 D)關(guān)系11、謂詞規(guī)律下,子句,C1=L∨C1‘,C2=?L∨C2‘, 假設(shè)σ是互補文字的〔最一般〕合一置換,則其歸結(jié)式C=〔〕A)C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’12、或圖通常稱為A〕框架網(wǎng)絡(luò)B)語義圖C)博亦圖D)狀態(tài)圖13、不屬于人工智能的學(xué)派是A)符號主義 B)時機(jī)主義 C)行為主義 D)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出,并且同時提出一個機(jī)器智能的測試模型,請問這個科學(xué)家是A)明斯基 B).扎德 C)圖林 D)馮.諾依曼機(jī)如何自動獵取學(xué)問和技能,實現(xiàn)自我完善,這門爭論分支學(xué)科叫〔。A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識別二、填空題(1.5分,30分)1、不確定性類型按性質(zhì)分：隨機(jī)性,模糊性,不完全性,不全都性。2、在刪除策略歸結(jié)的過程中刪除以下子句：含有 的子句;含有 的子句;子句集中被別的子句 的子句。3、對證據(jù)的可信度CACA1C〔A〕之間規(guī)定如下關(guān)系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕=4、圖：指由 和 組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的規(guī)律關(guān)系又可分為 和 。5、合一算法：求非空有限具有一樣謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中,從可觸發(fā)規(guī)章中選擇一個規(guī)章來執(zhí)行,被執(zhí)行的規(guī)章稱為 。7、P(B|A)表示在規(guī)章 中,證據(jù)A為真的作用下結(jié)論B為真的 。8、人工智能的遠(yuǎn)期目標(biāo)是 ,近期目標(biāo)是 。三、簡答及計算題(5分,25分)1、填寫下面的三值規(guī)律表。其中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))},MGU解：5、證明G是否是F的規(guī)律結(jié)論；F:x(P(x)Q(a)Q(x))G:x(P(x)Q(x))四、應(yīng)用題(30分)1、用語義網(wǎng)絡(luò)表示以下信息：胡途是思源公司的經(jīng)理,35歲,68號,89：102的比分完畢。答：2、圖示博弈樹,其中末一行的數(shù)字為假設(shè)的估值,α-β剪枝技術(shù)剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕1/93〔1〕假設(shè)x是y,y又是z的父親則x是z2〕老李是大李的父親3〕大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？解：答案：一、1、B 2、C 3、A 4、C 6、D 7、A 8、A 9、A 10、D11、A 12、D 13、B 14、C 15、B二、1、隨機(jī)性,模糊性,不完全性,不全都性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、制造智能機(jī)器,實現(xiàn)機(jī)器智能三、1、2、產(chǎn)生式規(guī)章根本形式：P→Q 或者IF P THEN QP是產(chǎn)生式的前提〔前件〕,用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作〔后件〕,P所指示的條件滿足時,應(yīng)當(dāng)?shù)贸龅慕Y(jié)論或應(yīng)當(dāng)執(zhí)行的操作產(chǎn)生式規(guī)章的語義：假設(shè)前提P被滿足,QQ所規(guī)定的操作3、1〕消去蘊含式和等價式→,<->,直到其作用于原子公式:適當(dāng)改名,使量詞間不含同名指導(dǎo)變元和約束變元。4.〕消去存在量詞〔形成Skolem標(biāo)準(zhǔn)型〕5〕消去全部全稱量詞6)化成合取范式適當(dāng)改名,使子句間無同名變元消去合取詞∧,用逗號代替,以子句為元素組成一個集合S4、解：k=0;S0=S;δ0=ε;S0不是單元素集,求得差異集D0={y,z},y是變元,z是項,yz中消滅。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é)論的否認(rèn)④┓Q(x) ．．．①③歸結(jié),{x/y}⑤□ ．．．②④歸結(jié),置換{a/x}得證。四、1、2、3、解:現(xiàn)定義如下謂詞F(x,y) x是y的父親;G(x,z) xy的祖父;:2/9(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｝得證,說明存在祖孫關(guān)系。為了求解用一個重言式④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的祖父,即老李是小李的祖父。一、選擇題(1分,15分)1、人工智能是一門A)數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科

人工智能試卷五2、語義網(wǎng)絡(luò)表達(dá)學(xué)問時,有向弧AKO鏈、ISA鏈?zhǔn)怯脕肀磉_(dá)節(jié)點學(xué)問的〔。A)無悖性 B)可擴(kuò)大性 C)繼承性3、(A->B)∧AB是A)附加律 B)拒收律 C)假言推理 D)US4、命題是可以推斷真假的A)祈使句 B)疑問句 C)感慨句 5、僅個體變元被量化的謂詞稱為A)一階謂詞B)原子公式C)A)一階謂詞B)原子公式C)二階謂詞6、MGU是A)最一般合一最一般合一B)最一般替換C)最一般謂詞7、以下不在人工智能系統(tǒng)的學(xué)問包含的4個要素中A)事實 B)規(guī)章 C)把握 D)關(guān)系8、當(dāng)前歸結(jié)式是〔〕時,則定理得證。A)永真式 C)空子句9、或圖通常稱為A〕框架網(wǎng)絡(luò) B)語義圖 C)博亦圖 10、不屬于人工智能的學(xué)派是A)符號主義 B)時機(jī)主義 C)行為主義 D)連接主義。11、所謂不確定性推理就是從( )的初始證據(jù)動身,通過運用( )的學(xué)問,最終推出具有確定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。A)不確定性,不確定性 B)確定性,確定性C)確定性,不確定性 D)不確定性確定性12.要想讓機(jī)器具有智能,必需讓機(jī)器具有學(xué)問。因此,在人工智能中有一個爭論領(lǐng)域,主要爭論計算機(jī)如何自動獵取學(xué)問和技能,實現(xiàn)自我完善,這門爭論分支學(xué)科叫〔。A)專家系統(tǒng) B)機(jī)器學(xué)習(xí) C)神經(jīng)網(wǎng)絡(luò) D)模式識別13、以下哪局部不是專家系統(tǒng)的組成局部〔 〕A.〕用戶 B〕綜合數(shù)據(jù)庫 C〕推理機(jī) D〕學(xué)問庫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、人工智能的含義最早由一位科學(xué)家于1950年提出,并且同時提出一個機(jī)器智能的測試模型,請問這個科學(xué)家是2、從事實動身,通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是。3、AI的英文縮寫是4、不確定性類型按性質(zhì)分：,。,,。5、在刪除策略歸結(jié)的過程中刪除以下子句：含有 的子句;含有的子句;子句集中被別的子句的子句。6、對證據(jù)的可信度CACA1C〔A〕之間規(guī)定如下關(guān)系：CF〔~A〕= 、CF〔A1∧A2〕= 、CF〔A1∨A2〕= 。7、圖：指由 組成的網(wǎng)絡(luò)。按連接同一節(jié)點的各邊的規(guī)律關(guān)系又可分為和。8、合一算法：求非空有限具有一樣謂詞名的原子公式集的 。9、1997年５月,著名的“人機(jī)大戰(zhàn)”,最終名為“ ”的計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是 ,近期目標(biāo)是 。三、簡答及計算題(每題5分,共25分)1、解釋以下模糊性學(xué)問：1)張三,體型,〔胖,0.9〕。2)(患者,病癥,(頭疼,0.95))(患者,病癥,(發(fā)燒,1.1))→(患者,疾病,(感冒,1.2))答：2、簡潔闡述產(chǎn)生式系統(tǒng)的組成：答：3、補齊產(chǎn)生式系統(tǒng)與圖搜尋的比照表3/9答：4、W={P(f(x,g(A,y)),z),P(f(x,z),z)},MGU解：5、證明G是否是F1、F2的規(guī)律結(jié)論；F1：x(P(x)(Q(x)R(x))F2：x(P(x)S(x))G：x(S(x)R(x))證:四、應(yīng)用題(30分)1、將命題：“某個學(xué)生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡(luò)表示答：2、圖示博弈樹,其中末一行的數(shù)字為假設(shè)的估值,α-β剪枝技術(shù)剪去不必要的分枝〔在節(jié)點及邊上直接加注釋〕3、利用謂詞規(guī)律表示以下學(xué)問〔包括和結(jié)論〕,然后化成子句集：但凡清潔的東西就有人寵愛；人們都不寵愛蒼蠅求證：蒼蠅是不清潔的。證：答案：一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、圖林 2、正向推理3、Artifical 4、隨機(jī)性,模糊性,不完全性,不全都性5、純文字,永真式,類含6、-CF(A),min{CF(A1),CF(A2)},max{CF(A1),CF(A2)})7、節(jié)點和有向邊,或圖,與或圖8、最一般合一〔MGU〕9、深藍(lán) 10、制造智能機(jī)器,實現(xiàn)機(jī)器智能三、1、答：1〕表示：命題“張三比較胖” 2〕解釋為：假設(shè)患者有些頭疼并且發(fā)高燒,則他患了重感冒。2、答：1〕產(chǎn)生式規(guī)章庫：描述相應(yīng)領(lǐng)域?qū)W問的產(chǎn)生式規(guī)章集〔事實的集合〕存放問題求解過程中當(dāng)前信息的數(shù)據(jù)構(gòu)造〔初始事實、外部數(shù)據(jù)庫輸入的事實、中間結(jié)果事實和最終結(jié)果事實〕〔把握系統(tǒng)〕包含推理方式和把握策略。3、答：4、解：k=0;S0=S;δ0=ε;S0不是單元素集,求得差異集D0={g(A,y)},z},其中z是變元,g(A,y)是項,且z不在g(A,y)中消滅。k=k+1=1S1=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èn)⑥R(a) ．．．②③歸結(jié)｛a/y｝⑦┓R(a) ．．．④⑤歸結(jié)｛a/z｝⑧□ ．．．⑥⑦歸結(jié)得證.四、1、答：謂詞公式表示：x(student(x)∧read(x,三國演義))語義網(wǎng)絡(luò)表示如圖：4/92、3、證：現(xiàn)定義如下謂詞L(x,y) 某人x寵愛某物y；P(y) 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) 得證。一、填空題〔30分〕歸結(jié)法中,可以通過 的方法得到問題的解答。

人工智能試卷八化成子句形式為： 。從事實動身,通過規(guī)章庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是AI是是 的英文縮寫人工智能的根本技術(shù)包括 、 、 、——、——。目前所用的學(xué)問表示形式有 、 、 等。產(chǎn)生式系統(tǒng)有三局部組成 , 和推理機(jī)。其中推理可分為 和 。在謂詞公式中,緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ,而在一個量詞的轄域中與該量詞的指導(dǎo)變元一樣的變元稱為 ,其他變元稱為9、1997年５月,著名的“人機(jī)大戰(zhàn)”,最終名為“ ”的計算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是 ,近期目標(biāo)是 。11、謂詞規(guī)律中,重言式〔tautlogy〕的值是 。12、利用歸結(jié)原理證明定理時,假設(shè)得到的歸結(jié)式為 ,則結(jié)論成立。13、假設(shè)C1=┐P∨Q,C2=P∨┐Q,則C1和C2的歸結(jié)式R〔C1,C2〕= 。14、假設(shè)C1=P(x)∨Q(x),C2=┐P(a)∨R(y),則C1和C2的歸結(jié)式R〔C1,C2〕= 。15、在歸結(jié)原理中,幾種常見的歸結(jié)策略并且具有完備性的是 , , 。16、在啟發(fā)式搜尋當(dāng)中,通常用 來表示啟發(fā)性信息。17、假言推理〔AB〕A ,假言三段論〔AB〕〔BC〕 .填空題1、修改證明樹2、 。3、正向推理4ArtificalInteligence5、搜尋技術(shù)推理技術(shù)學(xué)問表示和學(xué)問庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)6、框架語義網(wǎng)絡(luò)面對對象7、綜合數(shù)據(jù)庫學(xué)問庫正向推理反向推理8、轄域 約束變元 自由變元9、深藍(lán)10、 制造智能機(jī)器實現(xiàn)機(jī)器智能11、 真12、 空集13、 ┐P∨P或┐Q∨Q14、 Q〔a〕∨R〔y〕15、 刪除策略支持集策略線性歸結(jié)策略16、 啟發(fā)函數(shù)17、 B AC二、選擇題〔15小題,15分1.人工智能是一門數(shù)學(xué)和生理學(xué) B)心理學(xué)和生理學(xué) C)語言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科2、以下哪個不是人工智能的爭論領(lǐng)域〔〕機(jī)器證明模式識別人工生命編譯原理神經(jīng)網(wǎng)絡(luò)爭論屬于以下〔〕學(xué)派符號主義連接主義行為主義都不是初始問題的描述,通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到,從而解決了初始問題。這是學(xué)問表示法叫〔〕狀態(tài)空間法問題歸約法謂詞規(guī)律法5/9語義網(wǎng)絡(luò)法在公式中yxp(x,y)),存在量詞是在全稱量詞的轄域內(nèi),我們允許所存在的x可能依靠于y,y值映射到存在的那個x。這種函數(shù)叫做〔〕依靠函數(shù)Skolem函數(shù)打算函數(shù)多元函數(shù)子句~PQP經(jīng)過消解以后,得到〔〕PQ~PPQ7、8.A〔AB〕A稱為〔〕,~〔AB〕~A~B稱為〔〕A. 結(jié)合律B.安排律C.吸取律D.摩根律8、以下哪局部不是專家系統(tǒng)的組成局部〔 〕A.〕用戶 B〕綜合數(shù)據(jù)庫 C〕推理機(jī) D〕學(xué)問庫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)AutomaticeInformatio