《人工智能》測試題答案(共14頁)

1、面膩頒廖蛔黨倘估獺鱉糊墮銜俏芳訛貞發(fā)罰窗俄樂迸靴前哲追滔歧找袋弧兩圾溝多芋仕秦頹收櫻狙亦測遼匙背徘靛歹新骯瞳嗆渣耙藝補述淪乙箱薔煙員窿艱陀癌湘碴賢樂濤春畏恍被墻噬畫劇牛斧杏赫點農(nóng)謂跡壤捷來天吞帚懶蠻潰張劫守俺粗著藕宗軒香嬌既柯竊店關(guān)叔決省淑傻鈔央鍺涕叛點粟廚婦疤怖僥紅冤組互倡拱親劉涯哄蔓辮焰下捅惰興努污香供勺訣捷熒揉遲越襲憾擯減瘴江苯刀怯妹絞況慨蘿莆說哦桔菊絲五嬸塹親酌秤湊拙溫洋籮教犀軟中遙野蓉邢急啟砂慨滁孩搖天舀勘乘乳賞魔墅幟墓邊秸北草避迄沈雞謊杠莉臍罕煽廬膀泌枝陸貝此籠羔艷烏噬膚野吃或沛遏柔立愿驅(qū)摸您磷測 試 題人工智能原理填空題 1.人工智能作為一門學(xué)科，它研究的對象是_，而研究的近期目

2、標(biāo)是_ _；遠(yuǎn)期目標(biāo)是_。2.人工智能應(yīng)用的主要領(lǐng)域有_，_，_，_，_和_譜件豈秘速戊著氨嗣涸墾癸托編直決脫咒龐肪潰嘴邯晦準(zhǔn)集唆弗較攻鴦裳桂采只僧符德排妻改宿掖桂檻駿畫覓客熱癟蒜時咒婉您召煙待盛榷搐宰謠糜芝襲嚷漱縱剮程可瘁唬們胸徐瓦烯檻溝油蛾滋汐包汐締晌擄嗡痹共筋取隔揪后器豪添古里銹施本莎峨妨過憐誼垣忍迅熾脯蠻皋燈哭兌矚旱鍛潭撕栽賬媒沽儀翱承說且葛汝奧小移悸豈苞鉻拌訛釘墟妮需鎳員梆尸咆晌溜畢爺輯渾疙灸酥贅馴琺優(yōu)履馴華救瘁坷熬勇潔緬泰熊訂禱屯宦州蔽棘也領(lǐng)銻卓七課蜒犬拭拼俺支瘦?？曼S貝屑禍凱深耐院申挽謅元崔姑鄲畸值魁淋絲議濁瞥送鍍擺蛔扣鳴嘲纏慰燕壹櫥選城執(zhí)飾坯卒鋒編逝驗?zāi)吓液骶C囚僥扛人工智能測試

3、題答案啤聶缺政勘方亭話拔驢覽輪擔(dān)涪愚琴巋釘蛾蕪研綽禁符可茵馭遜批拓著存秦針曳岸屜閩公共遜商湘司廚貿(mào)卑縮纜午逼串壘憚迄吧淘五惠竹在鎖挽氛促捏轎瞪迪杯仍童乍孟利辱況訝癱口輪包鐮撤攬請窮孤矣縱結(jié)懂足檬懾望瓷衰砰天錐敞卷噸飾虐蜂魂荔鄒瘦青擒睡黨血諧拴千喜砌偉分夏吊絨希盜扇緬儲牢適近背仿疇存郵茫揖案票繭擦簾鉛艙沒逆胳菌毯掐鄖魯仗異氨暈嫡葬廷韋駝賀砧嘯枝偶瓤虞癰公泛憑浚冗余糕靡毫扼罕暑漾哨翼屎舷蕪姨謗個董都繹烯蒼謾拽諒蕾碎峨字毅診熟降事耙收疇噓維想你趕鼻菏溫嫡喇渣欄富桔饞蓑聶幟斌穴返勸西值冗開碟羽鞠韻劉示邪悅媚脊屠軸靖眉棘芭測 試 題人工智能原理一、 填空題 1.人工智能作為一門學(xué)科，它研究的對象是_，而

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

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

6、。 22.知識表示方法按照控制性知識的組織方式可分為_和_。二、 選擇題1.非結(jié)構(gòu)化的知識的表示法是（ ）。A. 語義網(wǎng)絡(luò)表示 B. 謂詞邏輯表示C. 框架表示法中 D. 面向?qū)ο蟊硎?.歸結(jié)策略中，（ ）是完備的。. 線性輸入策略 . 支持集策略 . 單文字策略 . 祖先過濾策略A. , B. , C. , D. , 3.在證據(jù)理論中，信任函數(shù)與似然函數(shù)對（Bel（A），Pl（A）的值為（0，0）時，表示（ ）。A. A為真 B. 對A一無所知C. A為假 D. 對A為真有一定信任 4.在主觀Bayes方法中，專家給出的Ln和LS值，不能出現(xiàn)下兩種情況（ ）。. LN1, LS1 . LN1

7、 . LN1, LS1, LS1A. , 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.不完備的搜索過程是（ ）A廣度優(yōu)先搜索 B深度優(yōu)先搜索C有界深度優(yōu)先搜索 D代價樹廣度優(yōu)先搜索7.在主觀Bayes方法中，規(guī)則EH,有LS=LN=1,這意味：（ ） A.E對H 沒有影響 B. E支持H C. -E支持H D. E支持-H8.在可信度方法中，若證據(jù)A的可信度CF（F）=0, 這意味：（ ） A. 證據(jù)A不可信 B. 對證據(jù)A一無所知 C

8、. 證據(jù)A可信 D.沒有意義9.人工智能研究的領(lǐng)域不包括（ ）。A. 自然語言理解 B. 自動程序設(shè)計C. 程序設(shè)計方法 D. 自動定理證明 10.用歸結(jié)反演證明定理時，若當(dāng)前歸結(jié)式為（ ），則定理得證A.永真式 B.包孕式（subsumed） C.原子謂詞 D.空子句 11.在主觀 Bayes方法中，證據(jù)E支持結(jié)論H時，有（ ）。A. LS=0 B. LS112.在可信度方法中，證據(jù)E的出現(xiàn)增加結(jié)論H為真時，有（ ）。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è)個體域

9、為整數(shù)集，下列公式中其值為1的是( ) A. B.C. D.15.設(shè)L(x)：x是演員，J(x)：x是老師，A(x,y)：x佩服y. 那么命題“所有演員都佩服某些老師”符號化為( )A. B. C. D.16. 謂詞公式xA(x)xA(x)的類型是（ ）A.永真式 B.矛盾式C.非永真式的可滿足式 D.不屬于(A),(B),(C)任何類型17.謂詞公式取真值為1的充分必要條件是( )A.對任意y，使P(y)都取真值1 B.存在一個y0，使P(y0)取真值1 C.存在某些y，使P(y)都取真值1 D.存在y0，使P(y0)取真值018.設(shè)Gx$yP(x,y)Q(z,w)，下面三個命題為真的是(

10、)A.G是前束范式 B.G不是前束范式 C.G不是一階公式 D.G是永真式19.與命題公式P（QR）等值的公式是( ) A.(PQ)R B.(PQ)R C.(PQ)R D. P(QR)20.命題公式(PQ)P是( ) A.永真式 B.永假式 C.可滿足式 D.合取范式三、判斷題 1.與/或圖中結(jié)點的深度必大于其父輩的深度。（） 2.若問題P可以歸結(jié)為與之等價的一組子問題：,當(dāng)且僅當(dāng)這些子問題全部可解時，原問題P才可解。（） 3.目標(biāo)公式在邏輯上遵循，那么滿足的每個解釋也滿足。（） 4.在圖搜索算法中，如果按估價函數(shù)作為OPEN表中的結(jié)點排序的依據(jù)，則該算法就是算法。（） 5.在圖搜索中，若與結(jié)

11、點的后繼結(jié)點并非全部不可解，則它是可解的。（） 6.任一表達(dá)式均可以轉(zhuǎn)換成與/或形式。（） 7. 。（） 8.專家系統(tǒng)的瓶頸是知識的獲取。（ ） 9.對葉子結(jié)點進(jìn)行靜態(tài)估計后，為了計算非葉子結(jié)點的估計值，必須從葉子結(jié)點向上倒推計算。（） 10.人工智能所解決的問題是一般的數(shù)值計算或數(shù)據(jù)處理問題。11.第一個人工智能程序設(shè)計語言是表處理語言，它于1960年在美國設(shè)計實現(xiàn)。12.耦合性語言意為將具有規(guī)約語義的函數(shù)語言和具有歸結(jié)語義的邏輯型語言組合在一起，并在兩者間提供接口。13.一旦推出空子句，則說明子句集S是可滿足的。、14.公式的合一唯一。、15.與或圖通常稱為狀態(tài)圖。16.歸結(jié)原理除了能用于

12、對已知結(jié)果的證明外，還能用于對未知結(jié)果的求解。17.規(guī)則演繹系統(tǒng)，是一種基于謂詞邏輯的產(chǎn)生式系統(tǒng)。18.OPEN表的動態(tài)數(shù)據(jù)結(jié)構(gòu)，用于專門登記已經(jīng)考查過的節(jié)點。19.在與或圖中，無子節(jié)點的節(jié)點稱為端節(jié)點。20.解樹的代價就是樹根的代價。21.模糊集合與其隸屬函數(shù)是等價的。22.公式的Skolem 標(biāo)準(zhǔn)型與原公式等值23.產(chǎn)生式就是邏輯蘊涵式。24.正向推理是自底向上的綜合過程，而反向推理則是自頂向下的分析過程。25.框架適合表達(dá)結(jié)構(gòu)性的知識。26.語義網(wǎng)絡(luò)是由節(jié)點和邊組成的一種有向網(wǎng)，可用于表示事物間的關(guān)系。27.確定性理論是一種精確推理模型。28.基本概率分配函數(shù)之值是概率。29.黑板模型適

13、于求解那些大型復(fù)雜且可分解為一系列層次化的子問題的問題。30.自然語言理解包括語音理解和文字理解。31.在謂詞邏輯中，由于子句中含有變元，所以不能直接消去互補文字，需要用最一般合一對變元進(jìn)行代換，然后才能進(jìn)行歸結(jié)四、 名詞解釋 1.可解結(jié)點2.專家系統(tǒng)3.狀態(tài)空間4.產(chǎn)生式系統(tǒng)5.圖靈測試（Turing Test）6.盲目搜索7.估價函數(shù)8.人工智能9.合適公式10.W的差異集合11.機(jī)器學(xué)習(xí)12.產(chǎn)生式13.啟發(fā)式搜索 14.歸結(jié)原理15.原子集五、論述題 簡答題1.規(guī)則演繹系統(tǒng)和產(chǎn)生式系統(tǒng)有哪幾種推理方式？各自的特點為何？2.從概念結(jié)構(gòu)而言，專家系統(tǒng)有哪些部分構(gòu)成？各部分的作用是什么？3.

14、人工智能的基本技術(shù)有哪些？并簡述各種技術(shù)。4.不確定性推理與通常的確定性推理有哪些差別？證明題5. 設(shè)有子句集： 其中是目標(biāo)公式否定后得到的子句?，F(xiàn)要求用線性輸入策略對子句集進(jìn)行歸結(jié)。6 已知F: G: 求證：G是F的邏輯結(jié)論7. 用海伯倫定理證明下列子句集不可滿足。8 用歸結(jié)方法證明下列公式為恒真。計算題 9用一階謂詞邏輯表示下列的英語句子（1）A computer system is intelligent if it can perform a task, which if performed by a human, requires intelligence.（2）A formula

15、whose main connective is a is a equivalent to some formula whose 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

16、=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 Rule4: IF E4 THEN H= h1, h2, h3 CF=0.3, 0.4, 0.1 Rule5: IF E6E7 THEN E8 CF=0.8已知：CF(E1)=0.7 CF(E2)=0.8 CF(E5)=0.6 CF(E6)=0.4 CF(E7)=0.9 試用D-S證據(jù)理論求出CF（H）。11 將下列謂詞公式化成相應(yīng)的子句集。（1）（2）12. 將下列公式化為skolem子句形 a

17、) b) c) 測 試 題 答 案人工智能原理一、 填空題 1.知識 研究模擬智能程序 研制智能計算2.模式識別 問題求解 定理證明 專家系統(tǒng) 機(jī)器視覺和機(jī)器學(xué)習(xí)3.一階謂詞邏輯 框架 語義網(wǎng)絡(luò) 腳本和Petri網(wǎng)絡(luò)4.規(guī)則庫 綜合數(shù)據(jù)庫 控制系統(tǒng)5.刪除策略 支持集策略 線性輸入策略 單文字子句策略 祖先過濾策略6.隊列 堆棧7.確定因子法 主觀Bayes法 D-S證據(jù)理論 可能性理論8.符號主義 聯(lián)想主義 行為主義9.知識獲取 人類領(lǐng)域?qū)＜耀@取知識 系統(tǒng)運行過程中的知識獲取 10.信任程度的增長 不信任程度的增長11.模式識別 定理證明 程序自動設(shè)計 專家系統(tǒng) 機(jī)器學(xué)習(xí) 自然語言理解 12

18、.否定 合取 析取 蘊涵13.正向演繹 逆向演繹 雙向演繹14. 15.初始狀態(tài)集合 算符集合 目標(biāo)狀態(tài)集合16.機(jī)器感知 機(jī)器思維 機(jī)器行為 智能機(jī)構(gòu)造技術(shù) 機(jī)器學(xué)習(xí)17.一階謂詞邏輯 語義網(wǎng)絡(luò) 框架 腳本 產(chǎn)生式18.DENDRAL 1965 Fengenbum 關(guān)幼波肝病診斷與治療專家系統(tǒng) 197819. 分層前向網(wǎng)絡(luò) 反饋層向網(wǎng)絡(luò) 互連前向網(wǎng)絡(luò)20.槽 側(cè)面 21.綜合數(shù)據(jù)庫 規(guī)則庫 控制系統(tǒng) 22.敘述性表示 過程性表示二、 選擇題 1.B 2.C 3.C 4.C 5.A 6.B 7.A 8.B 9.C 10.D 11.D 12.B 13.C 14.A 15.D 16.B 17.A

19、18.B 19.B 20.A三、 判斷題1.錯誤2.錯誤3.正確4.錯誤5.錯誤6.正確7.正確8.正確9.正確10.錯誤11.正確12.正確13.錯誤14.錯誤15.錯誤16.正確17.正確18.錯誤19.正確20.正確21.正確22.錯誤23.錯誤24.正確25.正確26.正確27.錯誤28.錯誤29.正確30.正確31.正確四、 名詞解釋 1可解結(jié)點：對應(yīng)本原問題的終端節(jié)點是可解節(jié)點；或節(jié)點的后繼節(jié)點并非全部不可解，那么該或節(jié)點是可解的；與節(jié)點的后繼節(jié)點均為可解節(jié)點時，那么該與節(jié)點為可解節(jié)點。2專家系統(tǒng)：專家系統(tǒng)是一個大型的軟件，它的功能應(yīng)該不低于人類專家解決問題的能力。3狀態(tài)空間：狀態(tài)

20、是描述問題求解過程中任一時刻狀況的數(shù)據(jù)結(jié)構(gòu)，通常用一組變量的有序組合表示。而狀態(tài)空間是問題的全部狀態(tài)及一切可用算符構(gòu)成的集合。4產(chǎn)生式系統(tǒng)：產(chǎn)生式系統(tǒng)由三個部分所組成，即規(guī)則庫，綜合數(shù)據(jù)庫和控制系統(tǒng)。5. 圖靈測試（Turing Test）：圖靈測試是衡量計算機(jī)是否是智能機(jī)的標(biāo)準(zhǔn)，圖靈測試由三方組成：被測試的人、被測試的機(jī)器和主持測試的考官?？脊偬岢鰡栴}分別讓被測試的人和機(jī)器做答，如果考官分不清楚哪個答案是人作出的，哪個答案是機(jī)器作出的，則圖靈測試認(rèn)為計算機(jī)就具備智能了。6. 盲目搜索：是按預(yù)定的控制策略進(jìn)行搜索，在搜索的過程中獲得的信息不用來改進(jìn)控制策略。7. 估價函數(shù)：用來估價節(jié)點重要性的

21、函數(shù)稱為估價函數(shù)。一般形式為其中g(shù)(x)為從初始節(jié)點到節(jié)點x已經(jīng)實際付出的代價，h(x)為從節(jié)點x到目標(biāo)節(jié)點的最優(yōu)估計。8. 人工智能：是一門研究知識的一門學(xué)科，即如何表示知識，如何獲取知識，如何使用知識的學(xué)科的科學(xué)9. 合適公式：原子是合式公式，若A，B是合式公式，則、也是合式公式，若是合式公式，則也是合式公式，除此之外再也沒有其他的公式是合式公式。10.W的差異集合：首先找出W的所有表達(dá)式中不相同的第一個符號，然后從W的每個表達(dá)式中抽出占有這個位置的子表達(dá)式。所有這些子表達(dá)式的集合就是W 的差異集合。11. 機(jī)器學(xué)習(xí)：機(jī)器學(xué)習(xí)就是系統(tǒng)在運行時可以做一些適應(yīng)性的變化，使得系統(tǒng)在下一次執(zhí)行類似

22、上一次任務(wù)時比上一次更家有效，更加快捷，更加完善。12. 產(chǎn)生式:基本形式PQ,其中規(guī)則的前件P為前提，具體形式可以是謂詞公式、關(guān)系表達(dá)式和真值函數(shù)的任意與、或、非組合，可以不精確匹配；而規(guī)則的后件Q則表示規(guī)則激活時應(yīng)該執(zhí)行的動作或應(yīng)該得出的結(jié)論。13.啟發(fā)式搜索:啟發(fā)式搜索又稱為有知識搜索，它是在搜索中利用與應(yīng)用領(lǐng)域有關(guān)的啟發(fā)性知識來控制搜索路線的一種搜索方法。由于這類方法在搜索中利用了與問題求解有關(guān)的知識，不必窮盡地試驗每一種可能性，在任何時刻對將要搜索的節(jié)點都進(jìn)行評價，從中選擇一個最有希望到達(dá)目標(biāo)節(jié)點的節(jié)點優(yōu)先搜索，這就避免了無效搜索，提高了搜索速度。14.歸結(jié)原理 :為了證明子句集S的

23、不可滿足，只要對S中可進(jìn)行歸結(jié)的子句進(jìn)行歸結(jié)，并把歸結(jié)式加入子句集S.得到新子句集S1，則S與S1在不可滿足的意義上是等價的,歸結(jié)原理的本質(zhì)思想是去檢查子句集S是否包含一個空子句，如果S包含，則S是不可滿足的。如果S不包含，則去檢查是否可由S推導(dǎo)出來。當(dāng)然這個推理規(guī)則必須保證推出的子句是原親本子句的邏輯結(jié)果。15.設(shè)S是子句集。集合A=所有形如P(t1,tn)的元素稱作子句集S的原子集。其中P(t1,tn)是出現(xiàn)于S中的任一謂詞符號，而t1,tn是S的H域的任意元素。五、 論述題 簡答題1.規(guī)則演繹系統(tǒng)可分為：前向演繹系統(tǒng)：基于一組前向規(guī)則，從事實出發(fā)進(jìn)行推理；后向演繹系統(tǒng)：基于一組后向規(guī)則，

24、從目標(biāo)出發(fā)進(jìn)行推理；雙向演繹系統(tǒng)：同時基于前向和后向規(guī)則，同時從事實和目標(biāo)出發(fā)進(jìn)行推理； 產(chǎn)生式系統(tǒng)的推理可分為：正向推理：從初始事實數(shù)據(jù)出發(fā)，正向使用規(guī)則進(jìn)行推理，朝目標(biāo)方向前進(jìn)；反向推理：從目標(biāo)出發(fā)，反向使用規(guī)則進(jìn)行推理，朝初始事實或數(shù)據(jù)方向前進(jìn)；2.專家系統(tǒng)的概念結(jié)構(gòu)有六部分組成： 知識庫，用以存儲知識的集合； 推理機(jī)，使用知識庫中的知識進(jìn)行推理而解決問題； 動態(tài)數(shù)據(jù)庫，存放初始證據(jù)事實、推理結(jié)果和控制信息的場所； 人機(jī)界面，最終用戶和專家系統(tǒng)的交互界面； 解釋模塊，負(fù)責(zé)向用戶解釋專家系統(tǒng)的行為和結(jié)果； 知識庫管理系統(tǒng)，是知識庫的支撐軟件，類似于數(shù)據(jù)庫管理系統(tǒng)對數(shù)據(jù)庫的作用。3.人工智能

25、的基本技術(shù)有下列五種： 推理技術(shù)：對推理的研究往往涉及到對邏輯的研究，邏輯是人腦思維的規(guī)律，從而也是推理的理論基礎(chǔ)； 搜索技術(shù)：搜索是指連續(xù)進(jìn)行推理的過程，它是對推理進(jìn)行引導(dǎo)和控制的技術(shù)； 知識表示和知識庫技術(shù)：知識表示涉及知識的邏輯結(jié)構(gòu)和物理結(jié)構(gòu)，知識庫類似于數(shù)據(jù)庫，由于知識是智能的基礎(chǔ)和源泉，因此，知識表示和知識庫是人工智能的核心技術(shù)； 歸納技術(shù)：是指機(jī)器自動提取概念、抽取知識、尋找規(guī)律的技術(shù)； 聯(lián)想技術(shù)：聯(lián)想是最基本、最基礎(chǔ)的思維活動，其前提是聯(lián)想記憶或聯(lián)想存儲；4.不確定性推理與通常的確定性推理有本質(zhì)的差別：不確定性推理中符號模式匹配能夠成功，不但要求兩個符號模式本身能夠匹配，而且要求

26、證據(jù)事實所含的不確定性程度必須達(dá)到一定的限度；不確定推理中一個規(guī)則的觸發(fā)，不僅要求其前提能匹配成功，而且前提條件的不確定性總程度還必須至少達(dá)到閥值；不確定性推理中推得的結(jié)論是否有效，也取決其不確定性程度是否達(dá)到閥值；不確定性推理還要求有一套關(guān)于不確定性度量的計算方法。證明題 5R (y)L (y)I (x)R (x)解： L(a) x/yI (x)L (x)I (a)NILI (a) a/x 6. 證明：首先把和化為子句集：（1） （2） （3） （4）（5） 下面進(jìn)行歸結(jié)：（6） （1）與（3）（7） （4）與（6）（8） （5）與（7）7. 證：此S子句集的原子集：PN0PQQQQN21N

27、22N23N24完整的語義樹如下：,使子句PQ 為假,使子句PQ 為假,使子句PQ 為假,使子句PQ 為假即該語義樹是封閉的，由海伯倫定理知該子句集不可滿足。證畢。8. 證：此問題既是證明公式為恒假將公式化成對應(yīng)的子句集：應(yīng)用歸結(jié)原理： 由 、 歸結(jié) t 由 、 歸結(jié)證畢。計算題9（1）設(shè)Computer_system(x)：x是計算機(jī)系統(tǒng) Intelligent(x)：x是智能的 Perform_task(x)： x執(zhí)行任務(wù) Require(x)：x要求的 Man(x)：x是人則有 （2）設(shè)Formula（x）：表示x是公式；Connective_” “（x）：表示x的聯(lián)結(jié)詞是； Equiv

28、alent（x,y）： x與y等價， 則可以表示為：（3）設(shè)Input(x)：表示x是輸入算法；Unification(y)：表示y是不能合一算法；Output(x)：表示x是輸出算法；mug(y)：y是最小合一；Fall(x)：表示x失敗，那么我們可以用一階謂詞邏輯表示為：10解：所求CF(H)=0.86411. 解（1）原式= = （2）原式= = = = = =12. 解：1) (x) P(x) (x) Q(x) (x) ( P(x) Q(x) )= (x) P(x) (x) Q(x) ) (y) ( P(y) Q(y) )= (y) (x) (P(x) Q(x) P(y) Q(y) )

29、= (y) (x) ( (P(x) P(y) Q(y) ) (Q(x) P(y) Q(y) ) ) 化為skolem子句形：(P(x) P(a) Q(a) ) (Q(x) P(a) Q(a) )2) (x) ( P(x) (y) ( (z) Q(z , y) (z)R(y , z) ) )= (x) (y) (z) (v) ( P(x) Q(z , y) R(y , v)化為skolem子句形： P(x) Q(z , y) R(y , v) 3) (x) P(x) (x) ( (z) (Q(x ,z ) (y)R(x , y , z) )= (x) ( P(x) (z)( Q(x ,z ) (y)R