西安科技大學(xué)人工智能題庫3

人工智能試卷八一、填空題(共30分)歸結(jié)法中，可以通過的方法得到問題的解答。(四(雌，亍1削口礎(chǔ)耳，刃化成子句形式為：從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式AI是是的英文縮寫—人工智能的基本技術(shù)包括、、、一、一。目前所用的知識表示形式有、、等。產(chǎn)生式系統(tǒng)有三部分組成，和推理機。其中推理可分為和。在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導(dǎo)變元相同的變元稱為，其他變元稱為9、1997年5月，著名的“人機大戰(zhàn)”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是，近期目標(biāo)是O11、謂詞邏輯中，重言式(tautlogy)的值是。12、利用歸結(jié)原理證明定理時，若得到的歸結(jié)式為，則結(jié)論成立。13、若C1=^PVQ，C2=PVqQ，貝9C1和C2的歸結(jié)式R(C1，C2)=。14、若C1=P(x)VQ(x)，C2=nP(a)VR(y)，則C1和C2的歸結(jié)式R(C1,C2)=15、在歸結(jié)原理中，幾種常見的歸結(jié)策略并且具有完備性的，，o16、在啟發(fā)式搜索當(dāng)中，通常用來表示啟發(fā)性信息。17、假言推理(A-B)△小，假言三段論(A-B)△(BtC)—.填空題1、修改證明樹2、Qn(w)uAbg(“)。3、正向推理4、ArtificalInteligence5、搜索技術(shù)推理技術(shù)知識表示和知識庫技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)6、框架語義網(wǎng)絡(luò)面向?qū)ο?、綜合數(shù)據(jù)庫知識庫正向推理反向推理8、轄域約束變元自由變元9、深藍(lán)10、制誥智能機器實現(xiàn)機器智能11、真12、空集13、qPVP^QVQ14、Q(a)VR(y)15、刪除策略支持集策略線性歸結(jié)策略16、啟發(fā)函數(shù)17、BAtC、選擇題(15小題，共15分

人工智能是一門A）數(shù)學(xué)和生理學(xué)B）M理學(xué)和生理學(xué)C）語言學(xué)D）綜合性的交叉學(xué)科和邊緣學(xué)科下列哪個不是人工智能的研究領(lǐng)域（）機器證明模式識別人工生命編譯原理神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派符號主義連接主義行為主義都不是已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）狀態(tài)空間法問題歸約法謂詞邏輯法語義網(wǎng)絡(luò)法在公式中V歸xp（x,y）），存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)子句~PvQ和P經(jīng)過消解以后，得到（）TOC\o"1-5"\h\zPQ~PPvQ7、8.Aa（AvB）oA稱為（），~（AaB）o~Av~B稱為（）A.結(jié)合律B.分配律C.吸收律D.摩根律8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理10、C（B|A）表示在規(guī)則A->B中，C）推理機D）知識庫A）可信度B）信度11、AI的英文縮寫是A）AutomaticIntelligenceC）AutomaticeInformation12、反演歸結(jié)（消解）證明定理時0雙向推理DA.）用戶B）綜合數(shù)據(jù)庫9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理10、C（B|A）表示在規(guī)則A->B中，C）推理機D）知識庫A）可信度B）信度11、AI的英文縮寫是A）AutomaticIntelligenceC）AutomaticeInformation12、反演歸結(jié)（消解）證明定理時0雙向推理D）簡單推理證據(jù)A為真的作用下結(jié)論B為真的D）概率C）信任增長度A）永真式B）包孕式（subsumed）B）ArtificalIntelligenceD）ArtificalInformation若當(dāng)前歸結(jié)式是（）時，則定理得證。C）空子句依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)14、子句~PvQ和P經(jīng)過消解以后，得到()TOC\o"1-5"\h\zPQ~PPvQ15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，()必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索三、簡答與應(yīng)用題深度優(yōu)先方法的特點是什么？6什么是置換？置換是可交換的嗎？6分某問題由下列公式描述：⑴?%)⑵(處XV刎推偵7涎,駕聚狀](4)(V■對加成b,司)]〔5)(次)(Vy)[Q0駕⑦m財)](1)、試用歸結(jié)法證明(3x)R(x)；8分下圖所示博弈樹，按從左到右的順序進(jìn)行a-p剪枝搜索，試標(biāo)明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分5.10分設(shè)有如下關(guān)系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老李是大李的父親；(3)大李是小李的父親；問上述人員中誰和誰是祖孫關(guān)系？(10分)張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“趙與錢中至少有一人作案”；偵察員D說：“錢與孫至少有一人作案”；偵察員C說：“孫與李中至少有一個作案”；偵察員D說“趙與孫至少一個與案無關(guān)”；偵察員E說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。(10分)選擇題123456789101112131415CDBBBBCADBBCBBA三、簡答與應(yīng)用題1.解答：(1)屬于圖搜索；(2)是一個通用的搜索方法；(3)如果深度限制不合適，有可能找不到問題的解；(4)不能保證找到最優(yōu)解。回答：通常用有序?qū)Φ募蟬={t1/v1,t2/v2,…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項ti來替換，用s對表達(dá)式E作置換后的例簡記為Es。一般來說，置換是不可交換的，即兩個置換合成的結(jié)果與置換使用的次序有關(guān)。3.⑴*)⑵(VXC杭[斗:玖T涎，驀y))]=>(VxX7y)[P(y)VQ(bJ取或瓦y))]=>吊再攻罵另)⑶(V砌P頃耽](Vx)[P(x)AQCbn匚,A沖硼=>(Vx)[^(P(x)AQ(b,Cjx))VR(h(x))]=>W或司司\/即*泣|=>①VRj(XO(VxXVy)[Q(bn寫g叫犯附))]=>(VzXVy)[~Q(U或y)VQ(br%睨』=>芝y)VQ(h,與ffy))目標(biāo)求反M?印取=>(Vx)~R(x)=>?Rj(x)變童換名后，得子句集：汽於功,~F(x3)V~頃旗匚,婦)VR(峪礪-Q(br凱y4)VQCb?對明5?、解:現(xiàn)定義如下謂詞F(x,y)x是y的父親；G(x,z)------x是y的祖父；用謂詞邏輯表示已知與求解：(1)F(x"F(y,z)一G(x,z)⑵F(L,D)F(D,X)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(L,z)...①②歸結(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(L,z)...①②歸結(jié)，置換{L/x,D/y}G(L,X)...③⑤歸結(jié)，置換{X/z}G(L,X)...④⑥歸結(jié)，置換{L/u,X/v}得結(jié)果:L是X的祖父，即老李是小李的祖父。6.解：設(shè)用T(x)表示x是作案者，則偵察員A的話可表示：T(趙)、7(錢)偵察員B的話可表示