人工智能試卷-8

1、一、填空題（共30分）1. 歸結(jié)法中，可以通過-的方法得到問題的解答。2.化成子句形式為： 。3.從已知事實(shí)實(shí)出發(fā)，通過過規(guī)則庫求得得結(jié)論的產(chǎn)生生式系統(tǒng)的推推理方式是 4.AI是是 的英文縮寫寫 5. 人工智能能的基本技術(shù)術(shù)包括 、 、 、。6.目前所用的的知識(shí)表示形形式有 、 、 等。7.產(chǎn)生式系統(tǒng)統(tǒng)有三部分組組成 ， 和推理機(jī)機(jī)。其中推理理可分為 和和 。8.在謂詞公式式中，緊接于于量詞之后被被量詞作用的的謂詞公式稱稱為該量詞的的 ，而而在一個(gè)量詞詞的轄域中與與該量詞的指指導(dǎo)變?cè)嗤淖冊(cè)Q為為 ，其他變變?cè)Q為 9、1997年年月，著名名的“人機(jī)大戰(zhàn)”，最終名為為“”的計(jì)算機(jī)以以3.5

2、比22.5的總比比分將世界國國際象棋棋王王卡斯帕羅夫夫擊敗。10、人工智能能的遠(yuǎn)期目標(biāo)標(biāo)是，近近期目標(biāo)是。11、謂詞邏輯輯中，重言式式（tauttlogy）的的值是 。12、利用歸結(jié)結(jié)原理證明定定理時(shí)，若得得到的歸結(jié)式式為 ，則結(jié)論論成立。13、若C1=PQ，C2=PQ，則CC1和C2的的歸結(jié)式R（CC1，C2）= 。14、若C1=P(x) Q(x)，CC2=P(a) R(y)，則CC1和C2的的歸結(jié)式R（CC1，C2）= 。15、在歸結(jié)原原理中，幾種種常見的歸結(jié)結(jié)策略并且具具有完備性的的是 ， ， 。16、在啟發(fā)式式搜索當(dāng)中，通通常用 來來表示啟發(fā)性性信息。17、假言推理理（AB）A ，假假

3、言三段論（AAB）（BC） .二、選擇題（115小題，共共15分1.人工智能是是一門A)數(shù)學(xué)和生理理學(xué) B)心理學(xué)學(xué)和生理學(xué) C)語言學(xué)學(xué)D)綜合性的交交叉學(xué)科和邊邊緣學(xué)科 2、下列哪個(gè)不不是人工智能能的研究領(lǐng)域域（ ） A.機(jī)器證明 B.模式識(shí)別 C. 人工生命 D. 編譯原理理3.神經(jīng)網(wǎng)絡(luò)研研究屬于下列列（ ）學(xué)派派 A. 符號(hào)主義 B. 連接主義 C. 行為主義 D. 都不是4.已知初始問問題的描述，通通過一系列變變換把此問題題最終變?yōu)橐灰粋€(gè)子問題集集合；這些子子問題的解可可以直接得到到，從而解決決了初始問題題。這是知識(shí)識(shí)表示法叫（ ） A. 狀態(tài)空間法法 B. 問題歸約法法 C. 謂詞

4、邏輯法法 D. 語義網(wǎng)絡(luò)絡(luò)法5.在公式中yyxp(x,y)，存存在量詞是在在全稱量詞的的轄域內(nèi)，我我們?cè)试S所存存在的x可能能依賴于y值值。令這種依依賴關(guān)系明顯顯地由函數(shù)所所定義，它把把每個(gè)y值映映射到存在的的那個(gè)x。這這種函數(shù)叫做做（ ） A. 依賴函數(shù) B. Skoleem函數(shù) C. 決定函數(shù) D. 多元函數(shù)數(shù)6.子句PQQ和P經(jīng)過消消解以后，得得到（ ） A. P B. Q C. PPQ7、8.A（AAB）A 稱為為（ ），（AB）AB稱為為（ ）結(jié)合律 B.分配律 C.吸收律律 D.摩摩根律8、下列哪部分分不是專家系系統(tǒng)的組成部部分（ ）A.）用戶 B）綜合數(shù)數(shù)據(jù)庫 C）推理機(jī)機(jī) D）知

5、識(shí)庫庫9、產(chǎn)生式系統(tǒng)統(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的英英文縮寫是A)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion DD)Artiificall Infoormatiion12、反演歸結(jié)結(jié)（消解）證證明定理時(shí)，若若當(dāng)前歸結(jié)式式是（ ）時(shí)時(shí)，則定理得得證。A)永真式B)包孕式式（subssume

6、d）C)空子句13、在公式中中yxp(x,y)，存存在量詞是在在全稱量詞的的轄域內(nèi)，我我們?cè)试S所存存在的x可能能依賴于y值值。令這種依依賴關(guān)系明顯顯地由函數(shù)所所定義，它把把每個(gè)y值映映射到存在的的那個(gè)x。這這種函數(shù)叫做做（ ） A. 依賴函數(shù) B. Skoleem函數(shù) C. 決定函數(shù) D. 多元函數(shù)數(shù)14、子句PPQ和P經(jīng)過過消解以后，得得到（ ） A. P B. Q C. PPQ15、如果問題題存在最優(yōu)解解，則下面幾幾種搜索算法法中，（ ）必然可以以得到該最優(yōu)優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜搜索D. 啟發(fā)式搜搜索三、簡(jiǎn)答與應(yīng)用用題深度優(yōu)先方法的的特點(diǎn)是什么么？6什么是置換？置置換

7、是可交換換的嗎？6分分 某問題題由下列公式式描述：(1)、試用歸歸結(jié)法證明(x)R(xx)；8分 44. 下圖所示博博弈樹，按從從左到右的順順序進(jìn)行-剪枝搜索索，試標(biāo)明各各生成節(jié)點(diǎn)的的到推值，何何處發(fā)生剪枝枝，及應(yīng)選擇擇的走步。110分 5.100分 設(shè)設(shè)有如下關(guān)系系：（1）如如果x是y的的父親，y又又是z的父親親，則x是zz的祖父；（22）老李是大大李的父親；（3）大李李是小李的父父親；問上述述人員中誰和和誰是祖孫關(guān)關(guān)系？(100分)6. 張某被盜盜，公安局派派了五個(gè)偵察察員去調(diào)查。研研究案情時(shí)，偵偵察員說：“趙與錢中中至少有一人人作案”；偵偵察員說：“錢與孫至至少有一人作作案”；偵察察員說

8、：“孫孫與李中至少少有一個(gè)作案案”；偵察員員說“趙與與孫至少一個(gè)個(gè)與案無關(guān)”；偵察員說說“錢與李中中至少有一人人與此案無關(guān)關(guān)”。如果這這五個(gè)偵察員員的話都是可可信的，試用用消解原理推推理求出誰是是盜竊犯。（110分）填空題修改證明樹。正向推理 Artificcal Innteliggence搜索技術(shù) 推推理技術(shù) 知識(shí)表示和和知識(shí)庫技術(shù)術(shù)、歸納技術(shù)術(shù)、聯(lián)想技術(shù)術(shù)框架 語義網(wǎng)網(wǎng)絡(luò) 面向?qū)ο笙缶C合數(shù)據(jù)庫 知識(shí)庫 正向推理理 反向推理理轄域 約束變?cè)?自由變?cè)钏{(lán)制造智能機(jī)器 實(shí)現(xiàn)機(jī)器器智能真空集PP或QQQ Q（a）R（yy）刪除策略 支支持集策略 線性歸結(jié)結(jié)策略啟發(fā)函數(shù) B AC 選擇題1234

9、56789101112131415CDBBBBCADBBCBBA三、簡(jiǎn)答與應(yīng)用用題解答: （1）屬屬于圖搜索；（2）是一一個(gè)通用的搜搜索方法；（33）如果深度度限制不合適適，有可能找找不到問題的的解；（4）不不能保證找到到最優(yōu)解。2. 回答: 通常用有有序?qū)Φ募虾蟬t11/v1，tt2/v2，tn/vn來表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項(xiàng)ti來替換，用s對(duì)表達(dá)式E作置換后的例簡(jiǎn)記為Es。一般來說，置換是不可交換的，即兩個(gè)置換合成的結(jié)果與置換使用的次序有關(guān)。3.4.5. 、解:現(xiàn)現(xiàn)定義如下謂謂詞F(x,y)- x是y的的父親;G(x,z)- x是y的的祖父;

10、用謂詞邏輯表示示已知與求解解:(1) F(x,y)F(y,zz)G(x,zz)(2) F(LL,D)(3) F(DD,X)(4) G(uu,v),uu=?,v=?其中,L表示老老李,D表示示大李,X表表示小李。先證存在祖孫關(guān)關(guān)系 F(x,y)F(y,z)G(x,zz)從從(1)變換換 F(L,DD)從(2)變換 F(D,XX)從(3)變換 G(u,v)結(jié)論論的否定 F(D,z)G(L,zz)歸結(jié),置置換L/xx,D/y G(L,XX)歸結(jié),置換X/z 歸結(jié),置置換L/uu,X/v得證,說明存在在祖孫關(guān)系。為了求解用一個(gè)個(gè)重言式 G(u,v)G(u,vv) 用重言式代代替結(jié)論的否否定,重言式式恒為真 F(D,z)G(L,zz)歸結(jié),置置換L/xx,D/y G(L,XX)歸結(jié),置置換X/zz G(L,XX)歸結(jié),置置換L/uu,X/v得結(jié)果:L是XX的祖父，即即老李是小李李的祖父。6. 解：設(shè)用用T(x)表表示x是作案案者，則偵察員員A的話可表表示：T(趙趙)T(錢)偵察員員B的話可表表示：T(錢錢)T(孫)偵察員員C的