人工智能試卷-8

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

2、”，最終名名為“”的計(jì)算機(jī)機(jī)以3.55比2.55的總比分分將世界國(guó)國(guó)際象棋棋棋王卡斯帕帕羅夫擊敗敗。10、人工工智能的遠(yuǎn)遠(yuǎn)期目標(biāo)是是，近近期目標(biāo)是是。11、謂詞詞邏輯中，重重言式（ttautllogy）的的值是 。12、利用用歸結(jié)原理理證明定理理時(shí)，若得得到的歸結(jié)結(jié)式為 ，則則結(jié)論成立立。13、若CC1=PQ，C22=PQ，則CC1和C22的歸結(jié)式式R（C11，C2）= 。14、若CC1=P(x) Q(x)，C2=P(a) R(y)，則則C1和CC2的歸結(jié)結(jié)式R（CC1，C22）= 。15、在歸歸結(jié)原理中中，幾種常常見(jiàn)的歸結(jié)結(jié)策略并且且具有完備備性的是 ， ， 。16、在啟啟發(fā)式搜索索當(dāng)中，通

3、通常用 來(lái)表表示啟發(fā)性性信息。17、假言言推理（AAB）A ，假言三三段論（AAB）（BC） .二、選擇題題（15小小題，共115分1.人工智智能是一門(mén)門(mén)A)數(shù)學(xué)和和生理學(xué) B)心理理學(xué)和生理理學(xué) C)語(yǔ)言言學(xué)D)綜合性性的交叉學(xué)學(xué)科和邊緣緣學(xué)科 2、下列哪哪個(gè)不是人人工智能的的研究領(lǐng)域域（ ） AA.機(jī)器器證明 BB.模式式識(shí)別 CC. 人工工生命 D. 編譯譯原理3.神經(jīng)網(wǎng)網(wǎng)絡(luò)研究屬屬于下列（ ）學(xué)派 AA. 符號(hào)號(hào)主義 BB. 連接接主義 CC. 行為為主義 D. 都不不是4.已知初初始問(wèn)題的的描述，通通過(guò)一系列列變換把此此問(wèn)題最終終變?yōu)橐粋€(gè)個(gè)子問(wèn)題集集合；這些些子問(wèn)題的的解可以直直接得

4、到，從從而解決了了初始問(wèn)題題。這是知知識(shí)表示法法叫（ ） AA. 狀態(tài)態(tài)空間法 BB. 問(wèn)題題歸約法 CC. 謂詞詞邏輯法 D. 語(yǔ)義義網(wǎng)絡(luò)法5.在公式式中yxp(xx,y)，存在量量詞是在全全稱(chēng)量詞的的轄域內(nèi)，我我們?cè)试S所所存在的xx可能依賴(lài)賴(lài)于y值。令這種依依賴(lài)關(guān)系明明顯地由函函數(shù)所定義義，它把每每個(gè)y值映映射到存在在的那個(gè)xx。這種函函數(shù)叫做（ ） AA. 依賴(lài)賴(lài)函數(shù) BB. Skkolemm函數(shù) CC. 決定定函數(shù) D. 多元元函數(shù)6.子句PQ和PP經(jīng)過(guò)消解解以后，得得到（ ） AA. P BB. Q CC. PPQ7、8.AA（AB）A 稱(chēng)稱(chēng)為（ ），（AAB）AB稱(chēng)稱(chēng)為（ ）結(jié)合律

5、 B.分配配律 CC.吸收律律 D.摩根律8、下列哪哪部分不是是專(zhuān)家系統(tǒng)統(tǒng)的組成部部分（ ）A.）用戶(hù)戶(hù) B）綜合合數(shù)據(jù)庫(kù) C）推理理機(jī) D）知識(shí)識(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、AII的英文縮縮寫(xiě)是A)Auttomattic IIntellligeence B)Arrtifiical InteelliggenceeC)Auttomattice Infoormattion D)Arrti

6、fiical Infoormattion12、反演演歸結(jié)（消消解）證明明定理時(shí)，若若當(dāng)前歸結(jié)結(jié)式是（ ）時(shí)，則則定理得證證。A)永真式式B)包孕孕式（suubsummed）C)空子子句13、在公公式中yxp(xx,y)，存在量量詞是在全全稱(chēng)量詞的的轄域內(nèi)，我我們?cè)试S所所存在的xx可能依賴(lài)賴(lài)于y值。令這種依依賴(lài)關(guān)系明明顯地由函函數(shù)所定義義，它把每每個(gè)y值映映射到存在在的那個(gè)xx。這種函函數(shù)叫做（ ） AA. 依賴(lài)賴(lài)函數(shù) BB. Skkolemm函數(shù) CC. 決定定函數(shù) D. 多元元函數(shù)14、子句句PQ和和P經(jīng)過(guò)消消解以后，得得到（ ） AA. P BB. Q CC. PPQ15、如果果問(wèn)題存在在

7、最優(yōu)解，則則下面幾種種搜索算法法中，（ ）必然然可以得到到該最優(yōu)解解。廣度優(yōu)先搜搜索深度優(yōu)先搜搜索有界深度優(yōu)優(yōu)先搜索D. 啟發(fā)發(fā)式搜索三、簡(jiǎn)答與與應(yīng)用題深度優(yōu)先方方法的特點(diǎn)點(diǎn)是什么？6什么是置換換？置換是是可交換的的嗎？6分分 某問(wèn)問(wèn)題由下列列公式描述述：(1)、試試用歸結(jié)法法證明(xx)R(xx)；8分分 4. 下圖所示示博弈樹(shù)，按按從左到右右的順序進(jìn)進(jìn)行-剪枝搜索索，試標(biāo)明明各生成節(jié)節(jié)點(diǎn)的到推推值，何處處發(fā)生剪枝枝，及應(yīng)選選擇的走步步。10分分 55.10分分 設(shè)設(shè)有如下關(guān)關(guān)系：（11）如果xx是y的父父親，y又又是z的父父親，則xx是z的祖祖父；（22）老李是是大李的父父親；（33）大李

8、是是小李的父父親；問(wèn)上上述人員中中誰(shuí)和誰(shuí)是是祖孫關(guān)系系？(100分)6. 張某某被盜，公公安局派了了五個(gè)偵察察員去調(diào)查查。研究案案情時(shí)，偵偵察員說(shuō)說(shuō)：“趙與與錢(qián)中至少少有一人作作案”；偵偵察員說(shuō)說(shuō)：“錢(qián)與與孫至少有有一人作案案”；偵察察員說(shuō)：“孫與李李中至少有有一個(gè)作案案”；偵察察員說(shuō)“趙與孫至至少一個(gè)與與案無(wú)關(guān)”；偵察員員說(shuō)“錢(qián)錢(qián)與李中至至少有一人人與此案無(wú)無(wú)關(guān)”。如如果這五個(gè)個(gè)偵察員的的話(huà)都是可可信的，試試用消解原原理推理求求出誰(shuí)是盜盜竊犯。（110分）填空題修改證明樹(shù)樹(shù)。正向推理 Artifficall Intteliggencee搜索技術(shù) 推理技技術(shù) 知識(shí)表示示和知識(shí)庫(kù)庫(kù)技術(shù)、歸歸納技

9、術(shù)、聯(lián)想技術(shù)術(shù)框架 語(yǔ)語(yǔ)義網(wǎng)絡(luò) 面向?qū)?duì)象綜合數(shù)據(jù)庫(kù)庫(kù) 知識(shí)庫(kù)庫(kù) 正向推推理 反向推推理轄域 約束變變?cè)?自由變變?cè)钏{(lán)制造智能機(jī)機(jī)器 實(shí)現(xiàn)機(jī)機(jī)器智能真空集PP或或QQ Q（a）R（y）刪除策略 支持集集策略 線(xiàn)性歸結(jié)結(jié)策略啟發(fā)函數(shù) B AAC 選擇題123456789101112131415CDBBBBCADBBCBBA三、簡(jiǎn)答與與應(yīng)用題解答: （11）屬于圖圖搜索；（22）是一個(gè)個(gè)通用的搜搜索方法；（3）如如果深度限限制不合適適，有可能能找不到問(wèn)問(wèn)題的解；（4）不不能保證找找到最優(yōu)解解。2. 回回答: 通通常用有序序?qū)Φ募虾蟬tt1/v11，t2/v2，tn/vn來(lái)來(lái)表示任一一置換，置置

10、換集的元元素ti/vi的含含義是表達(dá)達(dá)式中的變變量vi處處處以項(xiàng)tti來(lái)替換換，用s對(duì)對(duì)表達(dá)式EE作置換后后的例簡(jiǎn)記記為Es。一般來(lái)說(shuō)說(shuō)，置換是是不可交換換的，即兩兩個(gè)置換合合成的結(jié)果果與置換使使用的次序序有關(guān)。3.4.5. 、解解:現(xiàn)定義義如下謂詞詞F(x,yy)- x是y的的父親;G(x,zz)- x是y的的祖父;用謂詞邏輯輯表示已知知與求解:(1) F(x,y)F(y,z)G(x,z)(2) FF(L,DD)(3) FF(D,XX)(4) GG(u,vv),u=?,v=?其中,L表表示老李,D表示大大李,X表表示小李。先證存在祖祖孫關(guān)系 F(x,y)F(yy,z)G(x,z)從(11)變

11、換 F(LL,D)從從(2)變變換 F(DD,X)從從(3)變變換 G(u,v)結(jié)結(jié)論的否定定 F(D,z)G(L,z)歸結(jié),置置換L/x,D/y G(LL,X)歸結(jié),置換換X/zz 歸結(jié),置置換L/u,X/v得證,說(shuō)明明存在祖孫孫關(guān)系。為了求解用用一個(gè)重言言式 G(u,v)G(u,v) 用重重言式代替替結(jié)論的否否定,重言言式恒為真真 F(D,z)G(L,z)歸結(jié),置置換L/x,D/y G(LL,X)歸結(jié),置置換X/z G(LL,X)歸結(jié),置置換L/u,X/v得結(jié)果:LL是X的祖祖父，即老老李是小李李的祖父。6. 解：設(shè)用T(x)表示示x是作案案者，則偵偵察員A的的話(huà)可表示示：T(趙趙)T(錢(qián)錢(qián))偵偵察員B的的話(huà)可表示示：T(錢(qián)錢(qián))T(孫孫)偵偵察員C的的