《人工智能》題

1、測(cè) 試 題人工智能原理一、 填空題 1.人工智能作為一門學(xué)科，它研究的對(duì)象是_，而研究的近期目標(biāo)是_ _；遠(yuǎn)期目標(biāo)是_。2.人工智能應(yīng)用的主要領(lǐng)域有_，_，_，_，_和_。3.知識(shí)表示的方法主要有_，_，_，_和_。4.產(chǎn)生式系統(tǒng)由三個(gè)部分所組成，即_，_和_。5.用歸結(jié)反演方法進(jìn)行定理證明時(shí)，可采取的歸結(jié)策略有_、_、_、_、_和_。6.寬度優(yōu)先搜索對(duì)應(yīng)的數(shù)據(jù)結(jié)構(gòu)是_；深度優(yōu)先搜索是_。7.不確定知識(shí)處理的基本方法有_、_、_和_。8.AI研究的主要途徑有三大學(xué)派，它們是_學(xué)派、_學(xué)派和_學(xué)派。9.專家系統(tǒng)的瓶頸是_；它來(lái)自于兩個(gè)階段，第一階段是 ，第二階段是 。10.確定因子法中函數(shù)MB是

2、描述_、而函數(shù)MD是描述_。11.人工智能研究的主要領(lǐng)域有_、_、_、_、_和_。12.一階謂詞邏輯可以使用的連接詞有_、_、_和_。13.基于規(guī)則的演繹系統(tǒng)主要有_、_和_。14.D-S證據(jù)理論中函數(shù)Bel定義為_(kāi)、而函數(shù)Pl定義為_(kāi)。15.問(wèn)題的狀態(tài)空間，可以記為三元組<S, F, G >，其中S為_(kāi)，F(xiàn)為_(kāi)，G為_(kāi)。16.人工智能研究的主要內(nèi)容有_ _、_ _、_ _、_和_。17.知識(shí)表示的方法主要有_、_、_、_和_。18.世界上第一個(gè)專家系統(tǒng) 是在 年由 主持研制成功的；我國(guó)的第一個(gè)專家系統(tǒng) 是在 年研制成功的。19.神經(jīng)網(wǎng)絡(luò)可分為_(kāi)、_、_和廣泛前向網(wǎng)絡(luò)。20.在框架

3、表示法中，用若干個(gè)_描述對(duì)象的屬性，用若干個(gè)_描述屬性的各個(gè)方面。21.產(chǎn)生式系統(tǒng)的三個(gè)基本組成部分是_，_， _。 22.知識(shí)表示方法按照控制性知識(shí)的組織方式可分為_(kāi)和_。二、 選擇題1.非結(jié)構(gòu)化的知識(shí)的表示法是（ ）。A. 語(yǔ)義網(wǎng)絡(luò)表示 B. 謂詞邏輯表示C. 框架表示法中 D. 面向?qū)ο蟊硎?.歸結(jié)策略中，（ ）是完備的。. 線性輸入策略 . 支持集策略 . 單文字策略 . 祖先過(guò)濾策略A. , B. , C. , D. , 3.在證據(jù)理論中，信任函數(shù)與似然函數(shù)對(duì)（Bel（A），Pl（A）的值為（0，0）時(shí)，表示（ ）。A. A為真 B. 對(duì)A一無(wú)所知C. A為假 D. 對(duì)A為真有一定信

4、任 4.在主觀Bayes方法中，專家給出的Ln和LS值，不能出現(xiàn)下兩種情況（ ）。. LN<1, LS<1 . LN<1, LS>1 . LN>1, LS<1 . LN>1, LS>1A. , B. , C. , D. , 5.在證據(jù)理論中，信任函數(shù)與似然函數(shù)的關(guān)系為（ ）。A. Bel（A）Pl（A） B. Bel（A）Pl（A）C. Bel（A）Pl（A） D. Bel（A）Pl（A） 6.不完備的搜索過(guò)程是（ ）A廣度優(yōu)先搜索 B深度優(yōu)先搜索C有界深度優(yōu)先搜索 D代價(jià)樹(shù)廣度優(yōu)先搜索7.在主觀Bayes方法中，規(guī)則EH,有LS=LN=1,這意

5、味：（ ） A.E對(duì)H 沒(méi)有影響 B. E支持H C. -E支持H D. E支持-H8.在可信度方法中，若證據(jù)A的可信度CF（F）=0, 這意味：（ ） A. 證據(jù)A不可信 B. 對(duì)證據(jù)A一無(wú)所知 C. 證據(jù)A可信 D.沒(méi)有意義9.人工智能研究的領(lǐng)域不包括（ ）。A. 自然語(yǔ)言理解 B. 自動(dòng)程序設(shè)計(jì)C. 程序設(shè)計(jì)方法 D. 自動(dòng)定理證明 10.用歸結(jié)反演證明定理時(shí)，若當(dāng)前歸結(jié)式為（ ），則定理得證A.永真式 B.包孕式（subsumed） C.原子謂詞 D.空子句 11.在主觀 Bayes方法中，證據(jù)E支持結(jié)論H時(shí)，有（ ）。A. LS=0 B. LS<1C. LS=1 D. LS&g

6、t;112.在可信度方法中，證據(jù)E的出現(xiàn)增加結(jié)論H為真時(shí)，有（ ）。A. CF（H，E）>1 B. CF（H，E）>0C. CF（H，E）=0 D. CF（H，E）<0 13.謂詞公式中量詞"x的轄域是( )A B. P(x) C. D.14.設(shè)個(gè)體域?yàn)檎麛?shù)集，下列公式中其值為1的是( ) A. B.C. D.15.設(shè)L(x)：x是演員，J(x)：x是老師，A(x,y)：x佩服y. 那么命題“所有演員都佩服某些老師”符號(hào)化為( )A. B. C. D.16. 謂詞公式xA(x)ØxA(x)的類型是（ ）A.永真式 B.矛盾式C.非永真式的可滿足式 D.不屬

7、于(A),(B),(C)任何類型17.謂詞公式取真值為1的充分必要條件是( )A.對(duì)任意y，使P(y)都取真值1 B.存在一個(gè)y0，使P(y0)取真值1 C.存在某些y，使P(y)都取真值1 D.存在y0，使P(y0)取真值018.設(shè)GÛ"x$yP(x,y)®Q(z,w)，下面三個(gè)命題為真的是( )A.G是前束范式 B.G不是前束范式 C.G不是一階公式 D.G是永真式19.與命題公式P®（Q®R）等值的公式是( ) A.(PÚQ)®R B.(PÙQ)®R C.(P®Q)®R D. P

8、®(QÚR)20.命題公式(PÙQ)®P是( ) A.永真式 B.永假式 C.可滿足式 D.合取范式三、判斷題 1.與/或圖中結(jié)點(diǎn)的深度必大于其父輩的深度。（） 2.若問(wèn)題P可以歸結(jié)為與之等價(jià)的一組子問(wèn)題：,當(dāng)且僅當(dāng)這些子問(wèn)題全部可解時(shí)，原問(wèn)題P才可解。（） 3.目標(biāo)公式在邏輯上遵循，那么滿足的每個(gè)解釋也滿足。（） 4.在圖搜索算法中，如果按估價(jià)函數(shù)作為OPEN表中的結(jié)點(diǎn)排序的依據(jù)，則該算法就是算法。（） 5.在圖搜索中，若與結(jié)點(diǎn)的后繼結(jié)點(diǎn)并非全部不可解，則它是可解的。（） 6.任一表達(dá)式均可以轉(zhuǎn)換成與/或形式。（） 7. 。（） 8.專家系統(tǒng)的瓶頸是知

9、識(shí)的獲取。（ ） 9.對(duì)葉子結(jié)點(diǎn)進(jìn)行靜態(tài)估計(jì)后，為了計(jì)算非葉子結(jié)點(diǎn)的估計(jì)值，必須從葉子結(jié)點(diǎn)向上倒推計(jì)算。（） 10.人工智能所解決的問(wèn)題是一般的數(shù)值計(jì)算或數(shù)據(jù)處理問(wèn)題。11.第一個(gè)人工智能程序設(shè)計(jì)語(yǔ)言是表處理語(yǔ)言，它于1960年在美國(guó)設(shè)計(jì)實(shí)現(xiàn)。12.耦合性語(yǔ)言意為將具有規(guī)約語(yǔ)義的函數(shù)語(yǔ)言和具有歸結(jié)語(yǔ)義的邏輯型語(yǔ)言組合在一起，并在兩者間提供接口。13.一旦推出空子句，則說(shuō)明子句集S是可滿足的。、14.公式的合一唯一。、15.與或圖通常稱為狀態(tài)圖。16.歸結(jié)原理除了能用于對(duì)已知結(jié)果的證明外，還能用于對(duì)未知結(jié)果的求解。17.規(guī)則演繹系統(tǒng)，是一種基于謂詞邏輯的產(chǎn)生式系統(tǒng)。18.OPEN表的動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)

10、，用于專門登記已經(jīng)考查過(guò)的節(jié)點(diǎn)。19.在與或圖中，無(wú)子節(jié)點(diǎn)的節(jié)點(diǎn)稱為端節(jié)點(diǎn)。20.解樹(shù)的代價(jià)就是樹(shù)根的代價(jià)。21.模糊集合與其隸屬函數(shù)是等價(jià)的。22.公式的Skolem 標(biāo)準(zhǔn)型與原公式等值23.產(chǎn)生式就是邏輯蘊(yùn)涵式。24.正向推理是自底向上的綜合過(guò)程，而反向推理則是自頂向下的分析過(guò)程。25.框架適合表達(dá)結(jié)構(gòu)性的知識(shí)。26.語(yǔ)義網(wǎng)絡(luò)是由節(jié)點(diǎn)和邊組成的一種有向網(wǎng)，可用于表示事物間的關(guān)系。27.確定性理論是一種精確推理模型。28.基本概率分配函數(shù)之值是概率。29.黑板模型適于求解那些大型復(fù)雜且可分解為一系列層次化的子問(wèn)題的問(wèn)題。30.自然語(yǔ)言理解包括語(yǔ)音理解和文字理解。31.在謂詞邏輯中，由于子句中

11、含有變?cè)?，所以不能直接消去互補(bǔ)文字，需要用最一般合一對(duì)變?cè)M(jìn)行代換，然后才能進(jìn)行歸結(jié)四、 名詞解釋 1.可解結(jié)點(diǎn)2.專家系統(tǒng)3.狀態(tài)空間4.產(chǎn)生式系統(tǒng)5.圖靈測(cè)試（Turing Test）6.盲目搜索7.估價(jià)函數(shù)8.人工智能9.合適公式10.W的差異集合11.機(jī)器學(xué)習(xí)12.產(chǎn)生式13.啟發(fā)式搜索 14.歸結(jié)原理15.原子集五、論述題 簡(jiǎn)答題1.規(guī)則演繹系統(tǒng)和產(chǎn)生式系統(tǒng)有哪幾種推理方式？各自的特點(diǎn)為何？2.從概念結(jié)構(gòu)而言，專家系統(tǒng)有哪些部分構(gòu)成？各部分的作用是什么？3.人工智能的基本技術(shù)有哪些？并簡(jiǎn)述各種技術(shù)。4.不確定性推理與通常的確定性推理有哪些差別？證明題5. 設(shè)有子句集： 其中是目標(biāo)公式

12、否定后得到的子句?，F(xiàn)要求用線性輸入策略對(duì)子句集進(jìn)行歸結(jié)。6 已知F: G: 求證：G是F的邏輯結(jié)論7. 用海伯倫定理證明下列子句集不可滿足。8 用歸結(jié)方法證明下列公式為恒真。計(jì)算題 9用一階謂詞邏輯表示下列的英語(yǔ)句子（1）A computer system is intelligent if it can perform a task, which if performed by a human, requires intelligence.（2）A formula whose main connective is a is a equivalent to some formula whose

13、 main connective is a . （3）If the input to unification algorithm is a set of unifiable expressions, the output is the mgu; if the input is a set of non-unifiable expressions, the output is FALL. 10設(shè)有一組規(guī)則，推理網(wǎng)絡(luò)如圖所示。 Rule1: IF E1E2 THEN E3=a1, a2 CF=0.2, 0.6 Rule2: IF E5E8 THEN E4=b CF=0.8 Rule3: IF E3 THEN H=h1, h2, h3 CF=0.2, 0.5, 0.3 R