(人工智能)人工智能試卷

1.1.人工智能是壹門【最新卓西管第摞舸自蝴制（人工智能）人工智能試卷壹、填空題(共30分).歸結(jié)法中，能夠通過的方法得到問題的解答。.化成子句形式為：。.從已知事實(shí)出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是.AI是是的英文縮寫—.人工智能的基本技術(shù)包括、、、——、——。.目前所用的知識表示形式有、、等。.產(chǎn)生式系統(tǒng)有三部分組成，和推理機(jī)。其中推理可分為和。.于謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而于壹個量詞的轄域中和該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為9、1997年5月，著名的“人機(jī)大戰(zhàn)”，最終名為“”的計(jì)算機(jī)以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是,近期目標(biāo)11、謂詞邏輯中，重言式(tautlogy)的值是。12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為，則結(jié)論成立。13、若C1=iPvQ,C2=Pv]Q,則C1和C2的歸結(jié)式R(C1,C2)=。14、若C1=P(x)vQ(x),C2=[P(a)vR(y)，貝UC1和C2的歸結(jié)式R(C1,C2)=15、于歸結(jié)原理中，幾種常見的歸結(jié)策略且且具有完備性的是,,。16、于啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。17、假言推理(A-B)aAo，假言三段論(A-B)a(B-C)n.二、選擇題(15小題，共15分A）數(shù)學(xué)和生理學(xué)8）心理學(xué)和生理學(xué)C）語言學(xué)D）綜合性的交叉學(xué)科和邊緣學(xué)科2、下列哪個不是人工智能的研究領(lǐng)域（）A.機(jī)器證明B.模式識別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派A.符號主義B.連接主義G行為主義D.均不是4.已知初始問題的描述，通過壹系列變換把此問題最終變?yōu)橐紓€子問題集合；這些子問題的解能夠直接得到，從而解決了初始問題。這是知識表示法叫（）A.狀態(tài)空間法B.問題歸約法C.謂詞邏輯法D.語義網(wǎng)絡(luò)法.于公式中Vy?p（x,y）），存于量詞是于全稱量詞的轄域內(nèi)，我們允許所存于的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存于的那個x。這種函數(shù)叫做（）A/依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù).子句~PvQ和P經(jīng)過消解以后，得到（）A.PB.QC.~PPvQ7、8.Aa（AvB）oA稱為（），~（AaB）o~Av~B稱為（）A.結(jié)合律B.分配律C.吸收律D.摩根律8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫C）推理機(jī)D）知識庫9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡單推理10、q8A）表示于規(guī)則A->B中，證據(jù)A為真的作用下結(jié)論B為真的A）可信度B）信度C）信任增長度D）概率11、AI的英文縮寫是A）AutomaticIntelligenceB）ArtificalIntelligenceC）AutomaticeInformationD）ArtificalInformation12、反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。A）永真式B）包孕式（subsumed）C）空子句13、于公式中Vymxp（x,y）），存于量詞是于全稱量詞的轄域內(nèi)，我們允許所存于的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存于的那個x。這種函數(shù)叫做()A/依賴函數(shù)B.Skolem函數(shù)C.決定函數(shù)D.多元函數(shù)14、子句~PvQ和P經(jīng)過消解以后，得到()A.PB.QC.~PPvQ15、如果問題存于最優(yōu)解，則下面幾種搜索算法中，()必然能夠得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索D.啟發(fā)式搜索三、簡答和應(yīng)用題深度優(yōu)先方法的特點(diǎn)是什么？6什么是置換？置換是可交換的嗎？6分某問題由下列公式描述：(1)、試用歸結(jié)法證明(x)R(x)；8分(2)F(L,D)(2)F(L,D)(2)F(L,D)(2)F(L,D)1111、真4.下圖所示博弈樹，按從左到右的順序進(jìn)行a-0剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分5.10分設(shè)有如下關(guān)系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？（10分）6.張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“趙和錢中至少有壹人作案”；偵察員D說：“錢和孫至少有壹人作案”；偵察員C說：“孫和李中至少有壹個作案”；偵察員D說“趙和孫至少壹個和案無關(guān)”；偵察員E說“錢和李中至少有壹人和此案無關(guān)”。如果這五個偵察員的話均是可信的，試用消解原理推理求出誰是盜竊犯。（10分）填空題1、修改證明樹2、。3、正向推理4、ArtificalInteligence5、搜索技術(shù)推理技術(shù)知識表示和知識庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)6、框架語義網(wǎng)絡(luò)面向?qū)ο?、綜合數(shù)據(jù)庫知識庫正向推理反向推理8、轄域約束變元自由變元9、深藍(lán)10、制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能空集iPvP或iQvQQ(a)vR(y)刪除策略支持集策略線性歸結(jié)策略啟發(fā)函數(shù)BA-C選擇題1,2,3,4,5,6,7,8,9,10,11,12,13,14,15C,D,B,B,B,B,C,A,D,B,B,C,B,B,A三、簡答和應(yīng)用題.解答:(1)屬于圖搜索；(2)是壹個通用的搜索方法；(3)如果深度限制不合適，有可能找不到問題的解；(4)不能保證找到最優(yōu)解。.回答:通常用有序?qū)Φ募蟬={t1/v1,t2/v2，…，tn/vn}來表示任壹置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項(xiàng)ti來替換，用s對表達(dá)式E作置換后的例簡記為Es。壹般來說，置換是不可交換的，即倆個置換合成的結(jié)果和置換使用的次序有關(guān)。...、解:現(xiàn)定義如下謂詞F(x,y)x是y的父親；G(x,z)——x是y的祖父；用謂詞邏輯表示已知和求解:(1)F(x,y)八F(y,z)-G(x,z)(3)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先證存于祖孫關(guān)系①~F(x,y)v~F(y,z)vG(x,z)…從(1)變換②F(L,D).?.從(2)變換③F(D,X)…從(3)變換@~G(u,v)…結(jié)論的否定⑤~F(D,z)vG(Lz)…①②歸結(jié)，置換{L/x,D/y}⑥G(L,X)...③⑤歸結(jié)，置換{X/z}⑦□.?.④⑥歸結(jié)，置換{L/u,X/v}得證,說明存于祖孫關(guān)系。為了求解用壹個重言式④@~G(u,v)vG(u,v)..?用重言式代替結(jié)論的否定,重言式恒為真⑤~F(D,z)vG(Lz)…①②歸結(jié)，置換{L/x,D/y}⑥G(L,X)...③⑤歸結(jié)，置換{X/z}⑦G(L,X)…④⑥歸結(jié)，置換{L/u,X/v}得結(jié)果:L是X的祖父，即老李是小李的祖父。.解：設(shè)用丁岡表示x是作案者，則偵察員A的話可表示：T(趙)T(錢)偵察員B的話可表示：T(錢)T