人工智能導(dǎo)論試卷

-.z.人工智能試卷四一、選擇題(每題1分共15分)1、AI的英文縮寫是AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation2、反演歸結(jié)消解證明定理時(shí)假設(shè)當(dāng)前歸結(jié)式是時(shí)則定理得證。永真式B)包孕式subsumedC)空子句3、從事實(shí)出發(fā)通過規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理B)反向推理C)雙向推理4、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的。無(wú)悖性B)可擴(kuò)大性C)繼承性5、(A→B)∧A=>B是附加律B)拒收律C)假言推理D)US6、命題是可以判斷真假的祈使句B)疑問句C)感慨句D)述句7、僅個(gè)體變?cè)涣炕闹^詞稱為一階謂詞B)原子公式C)二階謂詞D)全稱量詞8、MGU是最一般合一B)最一般替換C)最一般謂詞D)基替換9、1997年月著名的"人機(jī)大戰(zhàn)"最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗這臺(tái)計(jì)算機(jī)被稱為A深藍(lán)BIBMC深思D10、以下不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中事實(shí)B)規(guī)則C)控制和元知識(shí)D)關(guān)系11、謂詞邏輯下子句,C1=L∨C1",C2="L∨假設(shè)ζ是互補(bǔ)文字的最一般合一置換則其歸結(jié)式C=C1"ζ∨C2"ζB)C1"∨C2"C)C1"ζ∧C2"ζD)C1"∧C2"12、或圖通常稱為A框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖13、不屬于人工智能的學(xué)派是符號(hào)主義B)時(shí)機(jī)主義C)行為主義D)連接主義。14、人工智能的含義最早由一位科學(xué)家于1950年提出并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型請(qǐng)問這個(gè)科學(xué)家是明斯基B).扎德C)圖林D).諾依曼15.要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫。專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別二、填空題(每空1.5分共30分)1、不確定性類型按性質(zhì)分隨機(jī)性模糊性不完全性不一致性。2、在刪除策略歸結(jié)的過程中刪除以下子句含有的子句;含有的子句;子句集中被別的子句的子句。純文字永真式類含3、對(duì)證據(jù)的可信度CFA、CFA1、CFA2之間規(guī)定如下關(guān)系CF~A=、CFA1∧A2=、CFA1∨A2=-CF(A)min{CF(A1),CF(A2)}ma*{CF(A1),CF(A2)}4、圖指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。節(jié)點(diǎn)有向邊或圖與或圖5、合一算法求非空有限具有一樣謂詞名的原子公式集的最一般合一MGU6、產(chǎn)生式系統(tǒng)的推理過程中從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行被執(zhí)行的規(guī)則稱為。被觸發(fā)規(guī)則7、P(B|A)表示在規(guī)則A→B中證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠(yuǎn)期目標(biāo)是制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題(每題5分共25分)1、填寫下面的三值邏輯表。其中TFU分別表示真假不能判定2、什么是產(chǎn)生式產(chǎn)生式規(guī)則的語(yǔ)義是什么答產(chǎn)生式規(guī)則根本形式P→Q或者IFPTHENQP是產(chǎn)生式的前提前件用于指出該產(chǎn)生式是否可用的條件Q是一組結(jié)論或操作后件用于指出當(dāng)前提P所指示的條件滿足時(shí)應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作產(chǎn)生式規(guī)則的語(yǔ)義如果前提P被滿足則可推出結(jié)論Q或執(zhí)行Q所規(guī)定的操作謂詞公式G通過個(gè)步驟所得的子句集合S稱為G的子句集。請(qǐng)寫出這些步驟。1消去蘊(yùn)含式和等價(jià)式→<->2縮小否認(rèn)詞的作用圍直到其作用于原子公式:3適當(dāng)改名使量詞間不含同名指導(dǎo)變?cè)图s束變?cè)?.消去存在量詞形成Skolem標(biāo)準(zhǔn)型5消去所有全稱量詞6)化成合取式7).適當(dāng)改名使子句間無(wú)同名變?cè)?).消去合取詞∧用逗號(hào)代替以子句為元素組成一個(gè)集合S4、S={P(f(*),y,g(y)),P(f(*),z,g(*))}求MGU解k=0;S0=S;δ0=ε;S0不是單元素集求得差異集D0={y,z},其中y是變?cè)獄是項(xiàng)且y不在z中出現(xiàn)。k=k+1=1有δ1=δ0·z/y=ε·z/y=z/yS1=S0·z/y={P(f(*),z,g(z)),P(f(*),z,g(*))},S1不是單元素集求得差異集D1=z,*,k=k+1=2;δ2=δ1·z/*=z/y,z/*,S2=S1·z/*=P(f(z),z,g(z))是單元素集。根據(jù)求MGU算法MGU=δ2=z/y,z/*1、人工智能是一門數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué)C)語(yǔ)言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科2、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的。無(wú)悖性B)可擴(kuò)大性C)繼承性3、(A->B)∧A=>B是附加律B)拒收律C)假言推理D)US4、命題是可以判斷真假的祈使句B)疑問句C)感慨句D)述句5、僅個(gè)體變?cè)涣炕闹^詞稱為一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是.docin.A)最一般合一B)最一般替換C)最一般謂詞D)基替換最一般合一7、以下不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中事實(shí)B)規(guī)則C)控制D)關(guān)系8、當(dāng)前歸結(jié)式是時(shí)則定理得證。永真式B包孕式subsumedC)空子句9、或圖通常稱為A框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖10、不屬于人工智能的學(xué)派是符號(hào)主義B)時(shí)機(jī)主義C)行為主義D)連接主義。11、所謂不確定性推理就是從()的初始證據(jù)出發(fā)通過運(yùn)用()的知識(shí)最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。不確定性,不確定性B)確定性,確定性C)確定性,不確定性D)不確定性確定性12.要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫。專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別13、以下哪局部不是專家系統(tǒng)的組成局部用戶B綜合數(shù)據(jù)庫(kù)C推理機(jī)D知識(shí)庫(kù)14、產(chǎn)生式系統(tǒng)的推理不包括A正向推理B逆向推理C雙向推理D簡(jiǎn)單推理15、C(B|A)表示在規(guī)則A->B中證據(jù)A為真的作用下結(jié)論B為真的可信度B)信度C)信任增長(zhǎng)度D)概率二、填空題(每題1分共30分)1、人工智能的含義最早由一位科學(xué)家于1950年提出并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型請(qǐng)問這個(gè)科學(xué)家是2、從事實(shí)出發(fā)通過規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理。3、AI的英文縮寫是ArtificalIntelligence。4、不確定性類型按性質(zhì)分隨機(jī)性模糊性不完全性不一致性。5、在刪除策略歸結(jié)的過程中刪除以下子句含有的子句;含有的子句;子句集中被別的子句的子句。純文字永真式類含6、對(duì)證據(jù)的可信度CFA、CFA1、CFA2之間規(guī)定如下關(guān)系CF~A=、CFA1∧A2=、CFA1∨A2=。-CF(A)min{CF(A1),CF(A2)}ma*{CF(A1),CF(A2)})7、圖指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。節(jié)點(diǎn)和有向邊或圖與或圖8、合一算法求非空有限具有一樣謂詞名的原子公式集的。最一般合一MGU9、1997年月著名的"人機(jī)大戰(zhàn)"最終名為""的計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋、深藍(lán)棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是近期目標(biāo)是。制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能三、簡(jiǎn)答及計(jì)算題(每題5分共25分)1、解釋以下模糊性知識(shí)三體型胖0.9。(患者病癥(頭疼0.95))∧(患者病癥(發(fā)燒1.1))→(患者疾病(感冒1.2))答2、簡(jiǎn)單闡述產(chǎn)生式系統(tǒng)的組成答3、補(bǔ)齊產(chǎn)生式系統(tǒng)與圖搜索的比照表答4、W={P(f(*,g(A,y)),z),P(f(*,z),z)}求MGU解k=0;S0=S;δ0=ε;S0不是單元素集求得差異集D0={g(A,y)},z},其中z是變?cè)猤(A,y)是項(xiàng)且z不在g(A,y)中出現(xiàn)。k=k+1=1有δ1=δ0·g(A,y)/z=ε·g(A,y)/z=g(A,y)/zS1=S0·g(A,y)/z={P(f(*,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法MGU=δ1=g(A,y)/z一、填空題共30分歸結(jié)法中可以通過---------的方法得到問題的解答?；勺泳湫问綖椤氖聦?shí)出發(fā)通過規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是AI是是的英文縮寫人工智能的根本技術(shù)包括、、、--、--。目前所用的知識(shí)表示形式有、、等。產(chǎn)生式系統(tǒng)有三局部組成和推理機(jī)。其中推理可分為和。在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)粯拥淖冊(cè)Q為其他變?cè)Q為9、1997年月著名的"人機(jī)大戰(zhàn)"最終名為""的計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是近期目標(biāo)是。11、謂詞邏輯中重言式tautlogy的值是。12、利用歸結(jié)原理證明定理時(shí)假設(shè)得到的歸結(jié)式為則結(jié)論成立。13、假設(shè)C1=┐P∨QC2=P∨┐Q則C1和C2的歸結(jié)式RC1C2=。14、假設(shè)C1=P(*)∨Q(*)C2=┐P(a)∨R(y)則C1和C2的歸結(jié)式RC1C2=。15、在歸結(jié)原理中幾種常見的歸結(jié)策略并且具有完備性的是。16、在啟發(fā)式搜索當(dāng)中通常用來(lái)表示啟發(fā)性信息。17、假言推理ABA假言三段論ABBC.填空題1、修改證明樹2、。3、正向推理4、ArtificalInteligence5、搜索技術(shù)推理技術(shù)知識(shí)表示和知識(shí)庫(kù)技術(shù)、歸納技術(shù)、聯(lián)想技術(shù)6、框架語(yǔ)義網(wǎng)絡(luò)面向?qū)ο?、綜合數(shù)據(jù)庫(kù)知識(shí)庫(kù)正向推理反向推理8、轄域約束變?cè)杂勺冊(cè)?、深藍(lán)10、制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能11、真12、空集13、┐P∨P或┐Q∨Q14、Qa∨Ry15、刪除策略支持集策略線性歸結(jié)策略16、啟發(fā)函數(shù)17、BAC二、選擇題15小題共15分人工智能是一門數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué)C)語(yǔ)言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科2、以下哪個(gè)不是人工智能的研究領(lǐng)域機(jī)器證明.docin.B.模式識(shí)別C.人工生命D.編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于以下學(xué)派符號(hào)主義連接主義行為主義都不是4.初始問題的描述通過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合這些子問題的解可以直接得到從而解決了初始問題。這是知識(shí)表示法叫狀態(tài)空間法問題歸約法謂詞邏輯法語(yǔ)義網(wǎng)絡(luò)法5.在公式中y*p(*,y))存在量詞是在全稱量詞的轄域我們?cè)试S所存在的*可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義它把每個(gè)y值映射到存在的那個(gè)*。這種函數(shù)叫做依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)6.子句~PQ和P經(jīng)過消解以后得到PQ~PPQ7、8.AABA稱為~AB~A~B稱為結(jié)合律B.分配律C.吸收律D.摩根律8、以下哪局部不是專家系統(tǒng)的組成局部用戶B綜合數(shù)據(jù)庫(kù)C推理機(jī)D知識(shí)庫(kù)9、產(chǎn)生式系統(tǒng)的推理不包括A正向推理B逆向推理C雙向推理D簡(jiǎn)單推理10、C(B|A)表示在規(guī)則A->B中證據(jù)A為真的作用下結(jié)論B為真的可信度B)信度C)信任增長(zhǎng)度D)概率11、AI的英文縮寫是AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation12、反演歸結(jié)消解證明定理時(shí)假設(shè)當(dāng)前歸結(jié)式是時(shí)則定理得證。永真式B)包孕式subsumedC)空子句13、在公式中y*p(*,y))存在量詞是在全稱量詞的轄域我們?cè)试S所存在的*可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義它把每個(gè)y值映射到存在的那個(gè)*。這種函數(shù)叫做依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)14、子句~PQ和P經(jīng)過消解以后得到PQ~PE.PQ15、如果問題存在最優(yōu)解則下面幾種搜索算法中必然可以得到該最優(yōu)解。廣度優(yōu)先搜索深度優(yōu)先搜索有界深度優(yōu)先搜索啟發(fā)式搜索三、簡(jiǎn)答與應(yīng)用題i.深度優(yōu)先方法的特點(diǎn)是什么6ii.什么是置換置換是可交換的嗎6分*問題由以下公式描述(1)、試用歸結(jié)法證明(*)R(*)8分4.以下圖所示博弈樹按從左到右的順序進(jìn)展α-β剪枝搜索試標(biāo)明各生成節(jié)點(diǎn)的到推值何處發(fā)生剪枝及應(yīng)選擇的走步。10分5.10分設(shè)有如下關(guān)系1如果*是y的父親y又是z的父親則*是z的祖父2老是大的父親3大是小的父親問上述人員中誰(shuí)和誰(shuí)是祖關(guān)系(10分)6.*被盜公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)偵察員說"與錢中至少有一人作案"偵察員說"錢與至少有一人作案"偵察員說"與中至少有一個(gè)作案"偵察員說"與至少一個(gè)與案無(wú)關(guān)"偵察員說"錢與中至少有一人與此案無(wú)關(guān)"。如果這五個(gè)偵察員的話都是可信的試用消解原理推理求出誰(shuí)是盜竊犯。10分選擇題23456789101112131415CDBBBBCADBBCBBA三、簡(jiǎn)答與應(yīng)用題解答:1屬于圖搜索2是一個(gè)通用的搜索方法3如果深度限制不適宜有可能找不到問題的解4不能保證找到最優(yōu)解。答復(fù):通常用有序?qū)Φ募蟬{t1/v1t2/v2...tn/vn}來(lái)表示任一置換置換集的元素ti/vi的含義是表達(dá)式中的變量vi處處以項(xiàng)ti來(lái)替換用s對(duì)表達(dá)式E作置換后的例簡(jiǎn)記為Es。一般來(lái)說置換是不可交換的即兩個(gè)置換合成的結(jié)果與置換使用的次序有關(guān)。.docin.3.5.、解:現(xiàn)定義如下謂詞F(*,y)------*是y的父親;G(*,z)------*是y的祖父;用謂詞邏輯表示與求解:(1)F(*,y)∧F(y,z)→G(*,z)(2)F(L,D)(3)F(D,*)(4)G(u,v),u=",v="其中,L表示老,D表示大,*表示小。先證存在祖關(guān)系①F(*,y)∨F(y,z)∨G(*,z)從(1)變換②F(L,D)從(2)變換③F(D,*)從(3)變換④G(u,v)結(jié)論的否認(rèn)⑤F(D,z)∨G(L,z)①②歸結(jié),置換L/*,D/y⑥G(L,*)③⑤歸結(jié),置換*/z⑦□④⑥歸結(jié),置換L/u,*/v得證,說明存在祖關(guān)系。為了求解用一個(gè)重言式④④G(u,v)∨G(u,v)用重言式代替結(jié)論的否認(rèn),重言式恒為真⑤F(D,z)∨G(L,z)①②歸結(jié),置換L/*,D/y⑥G(L,*)③⑤歸結(jié),置換*/z⑦G(L,*)④⑥歸結(jié),置換L/u,*/v得結(jié)果:L是*的祖父即老是小的祖父。6.解設(shè)用T(*)表示*是作案者則偵察員A的話可表示T()T(錢)偵察員B的話可表示T(錢)T()偵察員C的話可表示T()T()偵察員D的話可表示T()T()偵察員E的話可表示T(錢)T()上面五個(gè)組成子句集S求誰(shuí)是作案者把T(*)ANSWER(*)并入S1得到。即比S1多出如下一個(gè)子句T(*)ANSWER(*)然后利用消解原理對(duì)S1進(jìn)展消解可得答案錢和是作案者。人工智能試卷九試題局部一、選擇題15小題共15分人工智能產(chǎn)生于哪一年。19571962195619792.以下哪個(gè)不是人工智能的研究領(lǐng)域機(jī)器證明模式識(shí)別人工生命編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于以下學(xué)派符號(hào)主義連接主義行為主義都不是4.初始問題的描述通過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合這些子問題的解可以直接得到從而解決了初始問題。這是知識(shí)表示法叫狀態(tài)空間法問題歸約法謂詞邏輯法語(yǔ)義網(wǎng)絡(luò)法5.在公式中y*p(*,y))存在量詞是在全稱量詞的轄域我們?cè)试S所存在的*可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義它把每個(gè)y值映射到存在的那個(gè)*。這種函數(shù)叫做依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)6.子句~PQ和P經(jīng)過消解以后得到PQ~PF.PQ7、8.AABA稱為~AB~A~B稱為結(jié)合律B.分配律C.吸收律D.摩根律9、10.如果問題存在最優(yōu)解則下面幾種搜索算法中必然可以得到該最優(yōu)解可以認(rèn)為是"智能程度相比照擬高"的算法。廣度優(yōu)先搜索深度優(yōu)先搜索.docin.F.有界深度優(yōu)先搜索G.啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括正向推理逆向推理雙向推理簡(jiǎn)單推理12.以下哪局部不是專家系統(tǒng)的組成局部用戶綜合數(shù)據(jù)庫(kù)推理機(jī)知識(shí)庫(kù)13.要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫。專家系統(tǒng)機(jī)器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識(shí)別14、人工智能是一門數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué)C)語(yǔ)言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科15、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的。無(wú)悖性B)可擴(kuò)大性C)繼承性二、填空題共30分歸結(jié)法中可以通過---------的方法得到問題的解答?；勺泳湫问綖?。從事實(shí)出發(fā)通過規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是AI是是的英文縮寫人工智能的根本技術(shù)包括、、、歸納技術(shù)、聯(lián)想技術(shù)。目前所用的知識(shí)表示形式有、、等。產(chǎn)生式系統(tǒng)有三局部組成和推理機(jī)。其中推理可分為和。在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)粯拥淖冊(cè)Q為其他變?cè)Q為9、1997年月著名的"人機(jī)大戰(zhàn)"最終名為""的計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠(yuǎn)期目標(biāo)是近期目標(biāo)是。11、謂詞邏輯中重言式tautlogy的值是。12、利用歸結(jié)原理證明定理時(shí)假設(shè)得到的歸結(jié)式為則結(jié)論成立。13、假設(shè)C1=┐P∨QC2=P∨┐Q則C1和C2的歸結(jié)式RC1C2=。14、假設(shè)C1=P(*)∨Q(*)C2=┐P(a)∨R(y)則C1和C2的歸結(jié)式RC1C2=。15、在歸結(jié)原理中幾種常見的歸結(jié)策略并且具有完備性的是。16、在啟發(fā)式搜索當(dāng)中通常用來(lái)表示啟發(fā)性信息。17、假言推理ABA假言三段論ABBC.三、簡(jiǎn)答與應(yīng)用題1、剪枝方法只是極小極大方法的一種近似剪枝可能會(huì)遺漏掉最正確走步。這種說法是否正確(6分)將以下謂詞公式化成子句集afy*Rz*QzPzy*,,,~。6分3、解釋以下模糊性知識(shí)三體型胖0.9。(患者病癥(頭疼0.95))∧(患者病癥(發(fā)燒1.1))→(患者疾病(感冒1.2))(6分)4.寫出圖中樹的結(jié)點(diǎn)兩個(gè)訪問序列要求分別滿足以下兩個(gè)搜索策略(6分)(1)深度優(yōu)先搜索(2)廣度優(yōu)先搜索5、產(chǎn)生式系統(tǒng)由哪些局部組成6.*被盜公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)偵察員說"與錢中至少有一人作案"偵察員說"錢與至少有一人作案"偵察員說"與中至少有一個(gè)作案"偵察員說"與至少一個(gè)與案無(wú)關(guān)"偵察員說"錢與中至少有一人與此案無(wú)關(guān)"。如果這五個(gè)偵察員的話都是可信的試用消解原理推理求出誰(shuí)是盜竊犯。15分7.以下圖所示博弈樹按從左到右的順序進(jìn)展α-β剪枝搜索試標(biāo)明各生成節(jié)點(diǎn)的到推值何處發(fā)生剪枝及應(yīng)選擇的走步。答案局部一、選擇題23456789101112131415CDBBBBCDADDABDC二、填空題修改證明樹。正向推理ArtificalInteligence搜索技術(shù)推理技術(shù)知識(shí)表示和知識(shí)庫(kù)技術(shù)框架語(yǔ)義網(wǎng)絡(luò)面向?qū)ο缶C合數(shù)據(jù)庫(kù)知識(shí)庫(kù)正向推理反向推理轄域約束變?cè)杂勺冊(cè)?143678910111213.docin.9.深藍(lán)10.制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能11.真12.空集13.┐P∨P或┐Q∨Q14.Qa∨Ry15.刪除策略支持集策略線性歸結(jié)策略16.啟發(fā)函數(shù)17.BAC三、簡(jiǎn)答與應(yīng)用題1不正確。剪枝方法利用已經(jīng)搜索的信息剪掉哪些對(duì)于搜索最正確走步?jīng)]有意義的分枝其找到的最正確走步與極小極大方法找到的結(jié)果是一樣的。而且搜索效率有很大提高。2、afy*Rz*QzPzy*,,,~))a(f,y,*(Rz,*┐Q)z(Pz┐y*))a(f,y,*(R)z,*(Q)z(P~zy*))a(f,y,b(R)z,b(Q)z(P~zy))a(f,y,b(R)yg,b(Q)yg(P~y))a(f,y,b(R)yg,b(Q)yg(P~3、答1表示命題"三比擬胖"2解釋為如果患者有些頭疼并且發(fā)高燒則他患了重感冒。4、解深度優(yōu)先搜索廣度優(yōu)先搜索5解答:組成產(chǎn)生式系統(tǒng)的三要素:1綜合數(shù)據(jù)庫(kù)2一組產(chǎn)生式規(guī)則或者規(guī)則集3一個(gè)控制系統(tǒng)或者控制策略6、解設(shè)用T(*)表示*是作案者則偵察員A的話可表示T()T(錢)偵察員B的話可表示T(錢)T()偵察員C的話可表示T()T()偵察員D的話可表示T()T()偵察員E的話可表示T(錢)T()上面五個(gè)組成子句集S求誰(shuí)是作案者把T(*)ANSWER(*)并入S1得到。即比S1多出如下一個(gè)子句T(*)ANSWER(*)然后利用消解原理對(duì)S1進(jìn)展消解可得答案錢和是作案者。人工智能試卷十一、選擇題15小題共15分1、97年月著名的"人機(jī)大戰(zhàn)"最終計(jì)算機(jī)以3.5比2.5的總比分將世界國(guó)際象棋棋王卡斯帕羅夫擊敗這臺(tái)計(jì)算機(jī)被稱為A深藍(lán)BIBMC深思D2、以下不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中事實(shí)B)規(guī)則C)控制和元知識(shí)D)關(guān)系3、謂詞邏輯下子句,C1=L∨C1",C2="L∨假設(shè)ζ是互補(bǔ)文字的最一般合一置換則其歸結(jié)式C=C1"ζ∨C2"ζB)C1"∨C2"C)C1"ζ∧C2"ζD)C1"∧C2"4、或圖通常稱為A框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖5、不屬于人工智能的學(xué)派是符號(hào)主義B)時(shí)機(jī)主義C)行為主義D)連接主義。6、人工智能的含義最早由一位科學(xué)家于1950年提出并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型請(qǐng)問這個(gè)科學(xué)家是明斯基B).扎德C)圖林D).諾依曼7、要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫。專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別8、以下哪局部不是專家系統(tǒng)的組成局部用戶B綜合數(shù)據(jù)庫(kù)C推理機(jī)D知識(shí)庫(kù)9、產(chǎn)生式系統(tǒng)的推理不包括A正向推理B逆向推理C雙向推理D簡(jiǎn)單推理10、C(B|A)表示在規(guī)則A->B中證據(jù)A為真的作用下結(jié)論B為真的可信度B)信度C)信任增長(zhǎng)度D)概率11、AI的英文縮寫是AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation12、反演歸結(jié)消解證明定理時(shí)假設(shè)當(dāng)前歸結(jié)式是時(shí)則定理得證。永真式B)包孕式subsumedC)空子句13、在公式中y*p(*,y))存在量詞是在全稱量詞的轄域我們?cè)试S所存在的*可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義它把每個(gè)y值映射到存在的那個(gè)*。這種函數(shù)叫做依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)14、子句~PQ和P經(jīng)過消解以后得到PQ~PG.PQ15、如果問題存在最優(yōu)解則下面幾種搜索算法中必然可以得到該最優(yōu)解。H.廣度優(yōu)先搜索I.深度優(yōu)先搜索J.有界深度優(yōu)先搜索啟發(fā)式搜索二、填空題共30分在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)粯拥淖冊(cè)Q為其他變?cè)Q為2、假言推理ABA假言三段論ABBC.docin.3、幾種常用的歸結(jié)策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中常用到的一種人工智能的核心技術(shù)稱為技術(shù)解這類問題時(shí)常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表這種圖稱為5.在啟發(fā)式搜索當(dāng)中通常用來(lái)表示啟發(fā)性信息。6.在二人博弈問題中最常用的一種分析技術(shù)是這種方法的思想是先生成一棵博弈樹然后再計(jì)算其倒推值。但它的效率較低因此人們?cè)诖烁咨嫌痔岢隽?、不確定性類型按性質(zhì)分。8、在刪除策略歸結(jié)的過程中刪除以下子句含有的子句;含有的子句;子句集中被別的子句的子句。9、對(duì)證據(jù)的可信度CFA、CFA1、CFA2之間規(guī)定如下關(guān)系CF~A=、CFA1∧A2=、CFA1∨A2=。10、圖指由組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。11、合一算法求非空有限具有一樣謂詞名的原子公式集的。12、開發(fā)專家系統(tǒng)所要解決的根本問題有三個(gè)那就是知識(shí)的獲取、知識(shí)的表示和知識(shí)表示的方法主要有和語(yǔ)義網(wǎng)絡(luò)等在語(yǔ)義網(wǎng)絡(luò)表示知識(shí)時(shí)所使用的推理方法有和三、簡(jiǎn)答與應(yīng)用題1、謂詞邏輯形式化以下描述"不存在最大的整數(shù)"(4分)αβ剪枝的條件是什么6分3、*問題由以下公式描述(1)、試用歸結(jié)法證明(*)R(*)8分4.專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比擬有哪些共同點(diǎn)和特點(diǎn)7分5.何謂"圖靈實(shí)驗(yàn)"簡(jiǎn)單描述之5分6、設(shè)有如下關(guān)系1如果*是y的父親y又是z的父親則*是z的祖父2老是大的父親3大是小的父親問上述人員中誰(shuí)和誰(shuí)是祖關(guān)系(10分)7.給19九個(gè)數(shù)字排一個(gè)序列使得該序列的前n(n=1,...,9)個(gè)數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識(shí)可以幫助該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案局部一、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變?cè)杂勺冊(cè)?、BAC3、刪除策略4、圖搜索狀態(tài)空間圖或狀態(tài)圖5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術(shù)7、隨機(jī)性模糊性不一致性不確定性8、純文字永真類含9、~CFAmin{CFA1CFA2}ma*{CFA1CFA2}10、或圖與或圖11、最一般合一12、知識(shí)的運(yùn)用邏輯表示法謂詞表示法框架產(chǎn)生式AKOISA三、簡(jiǎn)答及應(yīng)用題1、定義謂詞G(*)*為整數(shù)D(*,y)*大于y形式化為),()()(y*DyGy*G*┐或者),()()(*yDyGy*G*2、答復(fù):α剪枝假設(shè)任一極小值層節(jié)點(diǎn)的β值小于或等于它任一先輩極大值節(jié)點(diǎn)的α值即α先輩層≥β后繼層則可中止該極小值層中這個(gè)MIN節(jié)點(diǎn)以下的搜索過程。這個(gè)MIN節(jié)點(diǎn)最終的倒推值就確定為這個(gè)β值。β剪枝假設(shè)任一極大值層節(jié)點(diǎn)的α值大于或等于它任一先輩極小值層節(jié)點(diǎn)的β值即α后繼層≥β先輩層則可以中止該極大值層中這個(gè)MA*節(jié)點(diǎn)以下的搜索過程。這個(gè)MA*節(jié)點(diǎn)的最終倒推值就確定為這個(gè)α值。3、化子句集如下.docin.4、答專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無(wú)異其開發(fā)過程同樣要遵循軟件工程的步驟和原則即也要進(jìn)展系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。但由于它是專家系統(tǒng)而不是一般的軟件系統(tǒng)所以又有其獨(dú)特的地方主要包括以下幾個(gè)步驟系統(tǒng)總體分析與設(shè)計(jì)知識(shí)獲取知識(shí)表示與知識(shí)描述語(yǔ)言設(shè)計(jì)知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)推理機(jī)與解釋模塊設(shè)計(jì)總控與界面設(shè)計(jì)編程與調(diào)試測(cè)試與評(píng)價(jià)運(yùn)行與維護(hù)可以看出它有如下特點(diǎn)知識(shí)獲取和知識(shí)表示設(shè)計(jì)是一切工作的起點(diǎn)知識(shí)表示與知識(shí)描述語(yǔ)言確定后其他設(shè)計(jì)可同時(shí)進(jìn)展5、答所謂"圖靈實(shí)驗(yàn)"是為了判斷一臺(tái)機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問通過提問的結(jié)果來(lái)判斷誰(shuí)是人誰(shuí)是機(jī)器。如果主持人無(wú)法判斷誰(shuí)是人誰(shuí)是機(jī)器則這臺(tái)機(jī)器具備智能即所謂的"智能機(jī)器"。6、解:現(xiàn)定義如下謂詞F(*,y)------*是y的父親;G(*,z)------*是y的祖父;用謂詞邏輯表示與求解:(1)F(*,y)∧F(y,z)→G(*,z)(2)F(L,D)(3)F(D,*)(4)G(u,v),u=",v="其中,L表示老,D表示大,*表示小。先證存在祖關(guān)系①F(*,y)∨F(y,z)∨G(*,z)從(1)變換②F(L,D)從(2)變換③F(D,*)從(3)變換④G(u,v)結(jié)論的否認(rèn)⑤F(D,z)∨G(L,z)①②歸結(jié),置換L/*,D/y⑥G(L,*)③⑤歸結(jié),置換*/z⑦□④⑥歸結(jié),置換L/u,*/v得證,說明存在祖關(guān)系。為了求解用一個(gè)重言式④④G(u,v)∨G(u,v)用重言式代替結(jié)論的否認(rèn),重言式恒為真⑤F(D,z)∨G(L,z)①②歸結(jié),置換L/*,D/y⑥G(L,*)③⑤歸結(jié),置換*/z⑦G(L,*)④⑥歸結(jié),置換L/u,*/v得結(jié)果:L是*的祖父即老是小的祖父。7、如下的知識(shí)可以幫助求解該問題1序列中偶數(shù)在偶數(shù)位置奇數(shù)在奇數(shù)位置2第五個(gè)數(shù)為5。綜合數(shù)據(jù)庫(kù)用一個(gè)1到9的序列表示N={*}其中*為1到9的數(shù)字之一。規(guī)則集r1:IFlen(N)=4THEN{*}∪{5}r2:IFlen(N)為偶數(shù)andn=In(1,3,7,9)THEN{*}∪{n}r3:IFlen(N)為奇數(shù)andn=In(2,4,6,8)THEN{*}∪{n}其中l(wèi)en(N)為求序列的長(zhǎng)度In(a,b,c,d)為取a、b、c、d之一。初始狀態(tài){}完畢條件得到的序列N前i個(gè)數(shù)組成的整數(shù)能被i整除人工智能試卷十三什么是人工智能人工智能與計(jì)算機(jī)程序的區(qū)別答AI是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來(lái)模擬人類智能活動(dòng)的能力以延伸人類智能的科學(xué)它與計(jì)算機(jī)程序的區(qū)別是AI研究的是符號(hào)表示的知識(shí)而不是數(shù)值數(shù)據(jù)為研究對(duì)象AI采用啟發(fā)式搜索方法而不是普通的算法控制構(gòu)造與知識(shí)是別離的允許出現(xiàn)不正確的答案化以下邏輯表達(dá)式為不含存在量詞的前束式afY*RZ*PZY*,,,答),,,(afY*RZ*PZY*),,,(~afY*RZ*PZY*afY*RZ*PZY*,,,~afYbRZbPZY,,,~afYbRYfbPY,,)(,~求以下謂詞公式的子句集))),(),((),(((y*Ry*Qy*Py*答))),(),((),(((~y*Ry*Qy*Py*))),()),((~),(((~y*Ry*Qy*Py*))),(),((~)),(),(((~y*Ry*Qy*Ry*Py*所以子句集為{),(),(~),,(),(~y*Ry*Qy*Ry*P}假設(shè)有梯形ABCD將其中的假設(shè)干定理形式化即定義一些謂詞公式然后利用歸結(jié)原理證明錯(cuò)角CDBABD證明設(shè)梯形頂點(diǎn)依次為a,b,c,d,定義謂詞:T(*,y,u,v):表示*y為上底,uv為下底的梯形.ABDC.docin.P(*,y,u,v):表示*y||uvE(*,y,z,u,v,w)表示∠*yz=∠uvw問題的描述和相應(yīng)的子句集為*yuv[T(*,y,u,v)→P(*,y,u,v)]...梯形上下底平行子句T(*,y,u,v)∨P(*,y,u,v)*yuv[P(*,y,u,v)→E(*,y,v,u,v,y)]...平行則錯(cuò)交相等子句T(a,b,c,d)...子句T(a,b,c,d)E(a,b,d,c,d,b)...要證明的結(jié)論子句E(a,b,d,c,d,b)子句集S為T(*,y,u,v)∨P(*,y,u,v)P(*,y,u,v)∨E(*,y,v,u,v,y)T(a,b,c,d)E(a,b,d,c,d,b)下面利用歸結(jié)原理證明P(a,b,c,d)1和3歸結(jié)置換{a/*,b/y,c/u,d/v}E(a,b,d,c,d,b)2和5歸結(jié)置換{a/*,b/y,c/u,d/v}NIL4和6歸結(jié)根據(jù)歸結(jié)原理得證。求子句集f(u))u),h(z,P(z,f(g(y)),a,P(*,S的MGU解k=0;S0=S;δ0=ε;S0不是單元素集求得差異集D0=a/z,其中z是變?cè)猘是項(xiàng)且z不在a中出現(xiàn)。k=k+1=1有δ1=δ0·a/z=ε·a/z=a/zS1=S0·a/z=P(a,*,f(g(y)),P(a,h(a,u),f(u))),S1不是單元素集求得差異集D1=*,h(a,u),k=k+1=2;δ2=δ1·h(a,u)/*=a/z,h(a,u)/*,S2=S1·h(a,u)/*=P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u)))S2不是單元素集求得差異集D2=g(y),u,k=k+1=3δ3=δ2·g(y)/u=a/z,h(a,u)/*·g(y)/u=a/z,h(a,g(y))/*,g(y)/uS3=S2·g(y)/u=P(a,h(a,g(y)),f(g(y)))是單元素集。根據(jù)求MGU算法MGU=δ3=a/z,h(a,g(y))/*,g(y)/u用代價(jià)優(yōu)先算法求解以下圖的旅行推銷員問題請(qǐng)找一條從出發(fā)能遍歷各城市的最正確路徑旅行費(fèi)最少每條弧上的數(shù)字表示城市間的旅行費(fèi)用。并用CLOSED表記錄遍歷過的結(jié)點(diǎn)OPEN表記錄待遍歷的結(jié)點(diǎn)。畫出closed和open表的變化過程然后根據(jù)closed表找出最正確路徑。解OPEN表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A0NULLB31AC28AD43BC54BE38DC59DC27EA51ECLOSE表擴(kuò)展節(jié)點(diǎn)父節(jié)點(diǎn)A0NULLC28AE29CD38EB43DA31B用框架表示下述報(bào)導(dǎo)的沙塵暴災(zāi)害事件[虛擬新華社3月16日電]昨日沙塵暴襲擊國(guó)漢城機(jī)場(chǎng)與高速公路被迫關(guān)閉造成的損失不詳。國(guó)官方示如果需要直接損失情況可待一周后的官方公布的字。此次沙塵暴起因中日專家認(rèn)為是由于中國(guó)區(qū)過分墾牧破壞植被所致。提示分析概括用下劃線標(biāo)出的要點(diǎn)經(jīng)過概念化形成槽Slot并擬出槽的名稱選填側(cè)面face值。側(cè)面包含"值value""默認(rèn)值default""如果需要值if-needed""如果附加值if-added"幾個(gè)方面用不到的側(cè)面值可刪除。FRAMESlot1ValueDefaultIf-neededIf-addedSlot2ValueDefaultIf-neededIf-addedSlot3ValueDefaultIf-neededIf-added......解FRAME沙塵暴Slot1時(shí)間Value3月15日DefaultIf-neededIf-addedSlot2地點(diǎn)Value國(guó)漢城DefaultIf-neededIf-addedSlot3損失Value不詳DefaultIf-needed一周后官方公布數(shù)字If-addedSlot4起因Default中國(guó)蒙古區(qū)人工智能試卷十八一、選擇題13小題共13分人工智能的含義最早由一位科學(xué)家于1950年提出并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型請(qǐng)問這個(gè)科學(xué)家是C。明斯基扎德.docin.C.圖靈D..諾依曼2.以下哪個(gè)不是人工智能的研究領(lǐng)域D機(jī)器證明模式識(shí)別人工生命編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于以下B學(xué)派符號(hào)主義連接主義行為主義都不是4.初始問題的描述通過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合這些子問題的解可以直接得到從而解決了初始問題。這是知識(shí)表示法叫B狀態(tài)空間法問題歸約法謂詞邏輯法語(yǔ)義網(wǎng)絡(luò)法5.在公式中y*p(*,y))存在量詞是在全稱量詞的轄域我們?cè)试S所存在的*可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義它把每個(gè)y值映射到存在的那個(gè)*。這種函數(shù)叫做B依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)6.子句~PQ和P經(jīng)過消解以后得到BPQ~PH.PQ7,8.AABA稱為C~AB~A~B稱為D三、結(jié)合律B.分配律C.吸收律D.摩根律9,10.如果問題存在最優(yōu)解則下面幾種搜索算法中A必然可以得到該最優(yōu)解D可以認(rèn)為在這幾種算法中是"智能程度相比照擬高"的算法。K.廣度優(yōu)先搜索L.深度優(yōu)先搜索M.有界深度優(yōu)先搜索N.啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括D正向推理逆向推理雙向推理簡(jiǎn)單推理12.以下哪局部不是專家系統(tǒng)的組成局部A用戶綜合數(shù)據(jù)庫(kù)推理機(jī)知識(shí)庫(kù)13.要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫B。專家系統(tǒng)機(jī)器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識(shí)別二、填空題12小題共30分人工智能三大學(xué)派是符號(hào)主義、聯(lián)結(jié)主義、行為主義。化成子句形式為。從事實(shí)出發(fā)通過規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理AI的英文縮寫是ArtificalInteligence在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)粯拥淖冊(cè)Q為約束變?cè)渌冊(cè)Q為自由變?cè)?、假言推理ABAB假言三段論ABBCAC7、幾種常用的歸結(jié)策略刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略8、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中常用到的一種人工智能的核心技術(shù)稱為圖搜索技術(shù)解這類問題時(shí)常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表這種圖稱為狀態(tài)空間圖或狀態(tài)圖9.在啟發(fā)式搜索當(dāng)中通常用啟發(fā)函數(shù)來(lái)表示啟發(fā)性信息。10.在二人博弈問題中最常用的一種分析技術(shù)是極大極小分析法這種方法的思想是先生成一棵博弈樹然后再計(jì)算其倒推值。但它的效率較低因此人們?cè)诖烁咨嫌痔岢隽?剪枝技術(shù)11.*產(chǎn)生式系統(tǒng)中的一條規(guī)則A*B*則前件是A*后件是B*12.在框架和語(yǔ)義網(wǎng)絡(luò)兩種知識(shí)表示方法中框架適合于表示構(gòu)造性強(qiáng)的知識(shí)而語(yǔ)義網(wǎng)絡(luò)則適合表示一些復(fù)雜的關(guān)系和聯(lián)系的知識(shí)。面向?qū)ο蟛粌H僅是一種知識(shí)表示方法也是一種流行的軟件設(shè)計(jì)和開發(fā)技術(shù)。三、簡(jiǎn)答題3小題共27分把以下謂詞公式分別化成相應(yīng)的子句集9分解*(yP(*,y)→y(Q(*,y)→R(*,y)))==>*(yP(*,y)→y(Q(*,y)∨R(*,y)))==>*(yP(*,y)→y(Q(*,y)∧R(*,y)))==>*(yP(*,y)∨y(Q(*,y)∧R(*,y)))==>*(yP(*,y)∨y(Q(*,y)∧R(*,y)))......改名==>*(yP(*,y)∨z(Q(*,z)∧R(*,z)))==>*(yP(*,y)∨z(Q(*,z)∧R(*,z)))......y=f(*),z=g(*)消去存在量詞y,z==>*(P(*,f(*))∨(Q(*,g(*))∧R(*,g(*))))==>*((P(*,f(*))∨(Q(*,g(*))∧(P(*,f(*))∨R(*,g(*))))從而謂詞公式的子句集是P(*,f(*))∨(Q(*,g(*)P(*,f(*))∨R(*,g(*)))專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比擬有哪些共同點(diǎn)和特點(diǎn)5分答專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無(wú)異其開發(fā)過程同樣要遵循軟件工程的步驟和原則即也要進(jìn)展系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等幾個(gè)階段的工作。但由于它是專家系統(tǒng)而不是一般的軟件系統(tǒng)所以又有其獨(dú)特的地方主要包括以下幾個(gè)步驟系統(tǒng)總體分析與設(shè)計(jì)知識(shí)獲取.docin.知識(shí)表示與知識(shí)描述語(yǔ)言設(shè)計(jì)知識(shí)庫(kù)設(shè)計(jì)、知識(shí)庫(kù)管理系統(tǒng)設(shè)計(jì)推理機(jī)與解釋模塊設(shè)計(jì)總控與界面設(shè)計(jì)編程與調(diào)試測(cè)試與評(píng)價(jià)運(yùn)行與維護(hù)可以看出它有如下特點(diǎn)知識(shí)獲取和知識(shí)表示設(shè)計(jì)是一切工作的起點(diǎn)知識(shí)表示與知識(shí)描述語(yǔ)言確定后其他設(shè)計(jì)可同時(shí)進(jìn)展2、八數(shù)碼游戲初始棋局和目標(biāo)棋局如圖定義啟發(fā)函數(shù)h*表示*狀態(tài)下與目標(biāo)數(shù)碼不同的位置個(gè)數(shù)用全局擇優(yōu)法畫出搜索的過程。8分初始狀態(tài)目標(biāo)狀態(tài)解4、試實(shí)現(xiàn)一個(gè)"大學(xué)教師"的框架大學(xué)教師類屬于教師包括以下屬性學(xué)歷學(xué)士、碩士、博士、專業(yè)計(jì)算機(jī)、電子、自動(dòng)化、......、職稱助教、講師、副教授、教授5分解框架名<大學(xué)教師>類屬<教師>學(xué)歷(學(xué)士、碩士、博士)專業(yè)計(jì)算機(jī)、電子、自動(dòng)化、.....職稱助教、講師、副教授、教授四、應(yīng)用題2小題共30分*被盜公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)偵察員說"與錢中至少有一人作案"偵察員說"錢與至少有一人作案"偵察員說"與中至少有一個(gè)作案"偵察員說"與至少一個(gè)與案無(wú)關(guān)"偵察員說"錢與中至少有一人與此案無(wú)關(guān)"。如果這五個(gè)偵察員的話都是可信的試用消解原理推理求出誰(shuí)是盜竊犯。15分解設(shè)用T(*)表示*是作案者則偵察員A的話可表示T()T(錢)偵察員B的話可表示T(錢)T()偵察員C的話可表示T()T()偵察員D的話可表示T()T()偵察員E的話可表示T(錢)T()上面五個(gè)組成子句集S求誰(shuí)是作案者把T(*)ANSWER(*)并入S1得到。即比S1多出如下一個(gè)子句T(*)ANSWER(*)然后利用消解原理對(duì)S1進(jìn)展消解可得答案錢和是作案者。*企業(yè)欲招聘一個(gè)JAVA程序員定義如下產(chǎn)生式規(guī)則(要求)r1:IF有工作經(jīng)歷or(本科以上學(xué)歷and有相關(guān)知識(shí)背景then錄用0.9)r2:IF工作兩年以上and作過相關(guān)工作then有工作經(jīng)歷0.8r3:IF學(xué)過數(shù)據(jù)構(gòu)造and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫(kù)and學(xué)過軟件工程then有相關(guān)知識(shí)背景(0.9)r4:學(xué)過數(shù)據(jù)構(gòu)造相關(guān)課程的成績(jī)/100r5:學(xué)過JAVA相關(guān)課程的成績(jī)/100r6:學(xué)過數(shù)據(jù)庫(kù)相關(guān)課程的成績(jī)/100r7:學(xué)過軟件工程相關(guān)課程的成績(jī)/100r8:做過相關(guān)工作JAVA程序員1工程經(jīng)理1數(shù)據(jù)庫(kù)開發(fā)工程師0.9數(shù)據(jù)庫(kù)管理員0.7,網(wǎng)絡(luò)管理員0.6客服人員0.4設(shè)有一本科畢業(yè)生甲其相關(guān)課程的成績(jī)?yōu)閿?shù)據(jù)構(gòu)造=85,JAVA=80,數(shù)據(jù)庫(kù)=40,軟件工程=90另有一社會(huì)招聘人員乙參加工作三年曾做過數(shù)據(jù)庫(kù)管理員和數(shù)據(jù)庫(kù)開發(fā)人員根據(jù)確定性理論問該公司應(yīng)該招聘誰(shuí)如果你是該本科生為了能在招聘中勝出你應(yīng)該加強(qiáng)哪門課程并使該門課程的成績(jī)至少到達(dá)多少15分解1對(duì)于本科畢業(yè)生由r4r5r6r7CF學(xué)過數(shù)據(jù)構(gòu)造=0.6CF學(xué)過JAVA=0.8CF學(xué)過數(shù)據(jù)庫(kù)=0.4CF學(xué)過軟件工程=0.9由r3CF有相關(guān)知識(shí)背景=0.9*min{0.85,0.8,0.4,0.9}=0.36CF本科學(xué)歷=1由r1CF錄用=0.9*min{0.361}=0.3242對(duì)于社會(huì)招聘人員由r8CF相關(guān)工作=0.9CF工作兩年以上=1由r2CF有工作經(jīng)歷=0.8*min{10.9}=0.72由r1CF錄用=0.9*0.72=0.648所以該公司應(yīng)錄用社會(huì)招聘人員乙。3可以看出應(yīng)該加強(qiáng)數(shù)據(jù)庫(kù)的學(xué)習(xí)并使該門課程到達(dá)80分以上。工智能試卷十九一、選擇題(每題1分共15分)1、人工智能是一門數(shù)學(xué)和生理學(xué)B)心理學(xué)和生理學(xué)C)語(yǔ)言學(xué)D)綜合性的穿插學(xué)科和邊緣學(xué)科2、語(yǔ)義網(wǎng)絡(luò)表達(dá)知識(shí)時(shí)有向弧AKO鏈、ISA鏈?zhǔn)怯脕?lái)表達(dá)節(jié)點(diǎn)知識(shí)的。無(wú)悖性B)可擴(kuò)大性C)繼承性.docin.3、(A->B)∧A=>B是附加律B)拒收律C)假言推理D)US4、命題是可以判斷真假的祈使句B)疑問句C)感慨句D)述句5、僅個(gè)體變?cè)涣炕闹^詞稱為一階謂詞B)原子公式C)二階謂詞D)全稱量詞6、MGU是最一般合一B)最一般替換C)最一般謂詞D)基替換最一般合一7、以下不在人工智能系統(tǒng)的知識(shí)包含的4個(gè)要素中事實(shí)B)規(guī)則C)控制D)關(guān)系8、當(dāng)前歸結(jié)式是時(shí)則定理得證。永真式B包孕式subsumedC)空子句9、或圖通常稱為A框架網(wǎng)絡(luò)B)語(yǔ)義圖C)博亦圖D)狀態(tài)圖10、不屬于人工智能的學(xué)派是符號(hào)主義B)時(shí)機(jī)主義C)行為主義D)連接主義。11、所謂不確定性推理就是從()的初始證據(jù)出發(fā)通過運(yùn)用()的知識(shí)最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過程。不確定性,不確定性B)確定性,確定性C)確定性,不確定性D)不確定性確定性12.要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫。專家系統(tǒng)B)機(jī)器學(xué)習(xí)C)神經(jīng)網(wǎng)絡(luò)D)模式識(shí)別13、以下哪局部不是專家系統(tǒng)的組成局部用戶B綜合數(shù)據(jù)庫(kù)C推理機(jī)D知識(shí)庫(kù)14、產(chǎn)生式系統(tǒng)的推理不包括A正向推理B逆向推理C雙向推理D簡(jiǎn)單推理15、C(B|A)表示在規(guī)則A->B中證據(jù)A為真的作用下結(jié)論B為真的可信度B)信度C)信任增長(zhǎng)度D)概率二、填空題(每空1.5分共30分)1、不確定性類型按性質(zhì)分。2、在刪除策略歸結(jié)的過程中刪除以下子句含有的子句;含有的子句;子句集中被別的子句的子句。3、對(duì)證據(jù)的可信度CFA、CFA1、CFA2之間規(guī)定如下關(guān)系CF~A=、CFA1∧A2=、CFA1∨A2=4、圖指由和組成的網(wǎng)絡(luò)。按連接同一節(jié)點(diǎn)的各邊的邏輯關(guān)系又可分為和。5、合一算法求非空有限具有一樣謂詞名的原子公式集的6、產(chǎn)生式系統(tǒng)的推理過程中從可觸發(fā)規(guī)則中選擇一個(gè)規(guī)則來(lái)執(zhí)行被執(zhí)行的規(guī)則稱為。7、P(B|A)表示在規(guī)則中證據(jù)A為真的作用下結(jié)論B為真的。8、人工智能的遠(yuǎn)期目標(biāo)是近期目標(biāo)是。三、簡(jiǎn)答及計(jì)算題1、將以下自然語(yǔ)言轉(zhuǎn)化為謂詞表示形式(1)所有的人都是要呼吸的。(2)每個(gè)學(xué)生都要參加考試。(3)任何整數(shù)或是正的或是負(fù)的。12分2、人工智能主要有哪幾種研究途徑和技術(shù)方法簡(jiǎn)單說明之。8分答符號(hào)智能主要以符號(hào)知識(shí)為根底通過符號(hào)推理進(jìn)展問題求解而實(shí)現(xiàn)的智能主要包括知識(shí)工程和符號(hào)處理技術(shù)計(jì)算智能是以數(shù)據(jù)計(jì)算為根底通過數(shù)值計(jì)算進(jìn)展問題求解而實(shí)現(xiàn)的智能包括人工神經(jīng)網(wǎng)絡(luò)進(jìn)化計(jì)算模糊技術(shù)等。3、設(shè):(1)能閱讀者是識(shí)字的;(2)海豚不識(shí)字;(3)有些海豚是聰明的;求證:有些聰明者并不能閱讀.(10分)4、以下謂詞公式分別化成相應(yīng)的子句集。(10分)5、*企業(yè)欲招聘一個(gè)JAVA程序員定義如下產(chǎn)生式規(guī)則(要求)r1:IF有工作經(jīng)歷or(本科以上學(xué)歷and有相關(guān)知識(shí)背景then錄用0.9)r2:IF工作兩年以上and作過相關(guān)工作then有工作經(jīng)歷0.8r3:IF學(xué)過數(shù)據(jù)構(gòu)造and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫(kù)and學(xué)過軟件工程then有相關(guān)知識(shí)背景(0.9)r4:學(xué)過數(shù)據(jù)構(gòu)造相關(guān)課程的成績(jī)/100r5:學(xué)過JAVA相關(guān)課程的成績(jī)/100r6:學(xué)過數(shù)據(jù)庫(kù)相關(guān)課程的成績(jī)/100r7:學(xué)過軟件工程相關(guān)課程的成績(jī)/100r8:做過相關(guān)工作JAVA程序員1工程經(jīng)理1數(shù)據(jù)庫(kù)開發(fā)工程師0.9數(shù)據(jù)庫(kù)管理員0.7,網(wǎng)絡(luò)管理員0.6客服人員0.4設(shè)有一本科畢業(yè)生甲其相關(guān)課程的成績(jī)?yōu)閿?shù)據(jù)構(gòu)造=85,JAVA=80,數(shù)據(jù)庫(kù)=40,軟件工程=90另有一社會(huì)招聘人員乙參加工作三年曾做過數(shù)據(jù)庫(kù)管理員和數(shù)據(jù)庫(kù)開發(fā)人員根據(jù)確定性理論問該公司應(yīng)該招聘誰(shuí)如果你是該本科生為了能在招聘中勝出你應(yīng)該加強(qiáng)哪門課程并使該門課程的成績(jī)至少到達(dá)多少15分解1對(duì)于本科畢業(yè)生由r4r5r6r7CF學(xué)過數(shù)據(jù)構(gòu)造=0.6CF學(xué)過JAVA=0.8CF學(xué)過數(shù)據(jù)庫(kù)=0.4CF學(xué)過軟件工程=0.9由r3CF有相關(guān)知識(shí)背景=0.9*min{0.85,0.8,0.4,0.9}=0.36CF本科學(xué)歷=1由r1CF錄用=0.9*min{0.361}=0.3242對(duì)于社會(huì)招聘人員由r8CF相關(guān)工作=0.9CF工作兩年以上=1由r2CF有工作經(jīng)歷=0.8*min{10.9}=0.72由r1CF錄用=0.9*0.72=0.648所以該公司應(yīng)錄用社會(huì)招聘人員乙。3可以看出應(yīng)該加強(qiáng)數(shù)據(jù)庫(kù)的學(xué)習(xí)并使該門課程到達(dá)80分以上。答案.docin.一、1、D2、C3、C4、D5、A6、A7、D8、C9、D10、B11、A12、B13、A.14、D15、B二、1、隨機(jī)性模糊性不完全性不一致性2、純文字永真式類含3、-CF(A)min{CF(A1),CF(A2)}ma*{CF(A1),CF(A2)}4、節(jié)點(diǎn)有向邊或圖與或圖5、最一般合一MGU6、被觸發(fā)規(guī)則7、A→B概率8、制造智能機(jī)器實(shí)現(xiàn)機(jī)器智能三、簡(jiǎn)答及計(jì)算題1、將以下自然語(yǔ)言轉(zhuǎn)化為謂詞表示形式(3)所有的人都是要呼吸的。(4)每個(gè)學(xué)生都要參加考試。(3)任何整數(shù)或是正的或是負(fù)的。12分解設(shè)M(*)*是人H(*)*要呼吸。P(*)*是學(xué)生Q(*)*要參加考試。J(*)*是整數(shù)R(*)*是正數(shù)N(*)*是負(fù)數(shù)。則上述三題就記為(1)V-*(M(*)→H(*))(2)V-*(P(*)→Q(*))(3)V-*(I(*)→R(*)∨N(*)))2、人工智能主要有哪幾種研究途徑和技術(shù)方法簡(jiǎn)單說明之。8分答符號(hào)智能主要以符號(hào)知識(shí)為根底通過符號(hào)推理進(jìn)展問題求解而實(shí)現(xiàn)的智能主要包括知識(shí)工程和符號(hào)處理技術(shù)計(jì)算智能是以數(shù)據(jù)計(jì)算為根底通過數(shù)值計(jì)算進(jìn)展問題求解而實(shí)現(xiàn)的智能包括人工神經(jīng)網(wǎng)絡(luò)進(jìn)化計(jì)算模糊技術(shù)等。3、設(shè):(1)能閱讀者是識(shí)字的;(2)海豚不識(shí)字;(3)有些海豚是聰明的;求證:有些聰明者并不能閱讀.(10分)證:定義如下命題:R(*):*能閱讀;L(*):*識(shí)字;I(*):*是聰明的;D(*):*是海豚;把條件及求證結(jié)論翻譯成謂詞公式為*(R(*)→L(*))...*(D(*)→L(*))...*(D(*)∧I(*))...*(I(*)∧R(*))...求證結(jié)論將條件,求證結(jié)論的反化成子句集①R(*)∨L(*)②D(y)∨L(y)③D(a)④I(a)⑤I(z)∨R(z)⑥L(a)......2,3歸結(jié)a/y⑦R(a)......1,6歸結(jié)a/*⑧R(a)......4,5歸結(jié)a/z⑨□......7,8歸結(jié)得證.5、以下謂詞公式分別化成相應(yīng)的子句集。(10分)1解*(yP(*,y)→y(Q(*,y)→R(*,y)))==>*(yP(*,y)→y(Q(*,y)∨R(*,y)))==>*(yP(*,y)→y(Q(*,y)∧R(*,y)))==>*(yP(*,y)∨y(Q(*,y)∧R(*,y)))==>*(yP(*,y)∨y(Q(*,y)∧R(*,y)))......改名==>*(yP(*,y)∨z(Q(*,z)∧R(*,z)))==>*(yP(*,y)∨z(Q(*,z)∧R(*,z)))......y=f(*),z=g(*)消去存在量詞y,z==>*(P(*,f(*))∨(Q(*,g(*))∧R(*,g(*))))==>*((P(*,f(*))∨(Q(*,g(*))∧(P(*,f(*))∨R(*,g(*))))從而謂詞公式的子句集是P(*,f(*))∨(Q(*,g(*)P(*,f(*))∨R(*,g(*)))5、*企業(yè)欲招聘一個(gè)JAVA程序員定義如下產(chǎn)生式規(guī)則(要求)r1:IF有工作經(jīng)歷or(本科以上學(xué)歷and有相關(guān)知識(shí)背景then錄用0.9)r2:IF工作兩年以上and作過相關(guān)工作then有工作經(jīng)歷0.8r3:IF學(xué)過數(shù)據(jù)構(gòu)造and學(xué)過JAVAand學(xué)過數(shù)據(jù)庫(kù)and學(xué)過軟件工程then有相關(guān)知識(shí)背景(0.9)r4:學(xué)過數(shù)據(jù)構(gòu)造相關(guān)課程的成績(jī)/100r5:學(xué)過JAVA相關(guān)課程的成績(jī)/100r6:學(xué)過數(shù)據(jù)庫(kù)相關(guān)課程的成績(jī)/100r7:學(xué)過軟件工程相關(guān)課程的成績(jī)/100r8:做過相關(guān)工作JAVA程序員1工程經(jīng)理1數(shù)據(jù)庫(kù)開發(fā)工程師0.9數(shù)據(jù)庫(kù)管理員0.7,網(wǎng)絡(luò)管理員0.6客服人員0.4設(shè)有一本科畢業(yè)生甲其相關(guān)課程的成績(jī)?yōu)閿?shù)據(jù)構(gòu)造=85,JAVA=80,數(shù)據(jù)庫(kù)=40,軟件工程=90另有一社會(huì)招聘人員乙參加工作三年曾做過數(shù)據(jù)庫(kù)管理員和數(shù)據(jù)庫(kù)開發(fā)人員根據(jù)確定性理論問該公司應(yīng)該招聘誰(shuí)如果你是該本科生為了能在招聘中勝出你應(yīng)該加強(qiáng)哪門課程并使該門課程的成績(jī)至少到達(dá)多少15分解1對(duì)于本科畢業(yè)生由r4r5r6r7CF學(xué)過數(shù)據(jù)構(gòu)造=0.6CF學(xué)過JAVA=0.8CF學(xué)過數(shù)據(jù)庫(kù)=0.4CF學(xué)過軟件工程=0.9由r3CF有相關(guān)知識(shí)背景=0.9*min{0.85,0.8,0.4,0.9}=0.36.docin.CF本科學(xué)歷=1由r1CF錄用=0.9*min{0.361}=0.3242對(duì)于社會(huì)招聘人員由r8CF相關(guān)工作=0.9CF工作兩年以上=1由r2CF有工作經(jīng)歷=0.8*min{10.9}=0.72由r1CF錄用=0.9*0.72=0.648所以該公司應(yīng)錄用社會(huì)招聘人員乙。3可以看出應(yīng)該加強(qiáng)數(shù)據(jù)庫(kù)的學(xué)習(xí)并使該門課程到達(dá)80分以上。人工智能試卷二十一、選擇題13小題共13分人工智能的含義最早由一位科學(xué)家于1950年提出并且同時(shí)提出一個(gè)機(jī)器智能的測(cè)試模型請(qǐng)問這個(gè)科學(xué)家是C。明斯基扎德圖靈.諾依曼2.以下哪個(gè)不是人工智能的研究領(lǐng)域D機(jī)器證明模式識(shí)別人工生命編譯原理3.神經(jīng)網(wǎng)絡(luò)研究屬于以下B學(xué)派符號(hào)主義連接主義行為主義都不是4.初始問題的描述通過一系列變換把此問題最終變?yōu)橐粋€(gè)子問題集合這些子問題的解可以直接得到從而解決了初始問題。這是知識(shí)表示法叫B狀態(tài)空間法問題歸約法謂詞邏輯法語(yǔ)義網(wǎng)絡(luò)法5.在公式中y*p(*,y))存在量詞是在全稱量詞的轄域我們?cè)试S所存在的*可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義它把每個(gè)y值映射到存在的那個(gè)*。這種函數(shù)叫做B依賴函數(shù)Skolem函數(shù)決定函數(shù)多元函數(shù)6.子句~PQ和P經(jīng)過消解以后得到BPQ~PI.PQ7,8.AABA稱為C~AB~A~B稱為D四、結(jié)合律B.分配律C.吸收律D.摩根律9,10.如果問題存在最優(yōu)解則下面幾種搜索算法中A必然可以得到該最優(yōu)解D可以認(rèn)為在這幾種算法中是"智能程度相比照擬高"的算法。O.廣度優(yōu)先搜索P.深度優(yōu)先搜索Q.有界深度優(yōu)先搜索R.啟發(fā)式搜索11.產(chǎn)生式系統(tǒng)的推理不包括D正向推理逆向推理雙向推理簡(jiǎn)單推理12.以下哪局部不是專家系統(tǒng)的組成局部A用戶綜合數(shù)據(jù)庫(kù)推理機(jī)知識(shí)庫(kù)13.要想讓機(jī)器具有智能必須讓機(jī)器具有知識(shí)。因此在人工智能中有一個(gè)研究領(lǐng)域主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能實(shí)現(xiàn)自我完善這門研究分支學(xué)科叫B。專家系統(tǒng)機(jī)器學(xué)習(xí)神經(jīng)網(wǎng)絡(luò)模式識(shí)別二、填空題12小題共30分3.人工智能三大學(xué)派是符號(hào)主義、聯(lián)結(jié)主義、行為主義。4.化成子句形式為。3.從事實(shí)出發(fā)通過規(guī)則庫(kù)求得結(jié)論的產(chǎn)生式系統(tǒng)的推理方式是正向推理4.AI的英文縮寫是ArtificalInteligence5.在謂詞公式中緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域而在一個(gè)量詞的轄域中與該量詞的指導(dǎo)變?cè)粯拥淖冊(cè)Q為約束變?cè)渌冊(cè)Q為自由變?cè)?、假言推理ABAB假言三段論ABBCAC7、幾種常用的歸結(jié)策略刪除策略、支持集策略、線形歸結(jié)策略、輸入歸結(jié)策略、單元?dú)w結(jié)策略8、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中常用到的一種人工智能的核心技術(shù)稱為圖搜索技術(shù)解這類問題時(shí)常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形勢(shì)用圖來(lái)表這種圖稱為狀態(tài)空間圖或狀態(tài)圖9.在啟發(fā)式搜索當(dāng)中通常用啟發(fā)函數(shù)來(lái)表示啟發(fā)性信息。10.在二人博弈問題中最常用的一種分析技術(shù)是極大極小分析法這種方法的思想是先生成一棵博弈樹然后再計(jì)算其倒推值。但它的效率較低因此人們?cè)诖烁咨嫌痔岢隽?剪枝技術(shù)11.*產(chǎn)生式系統(tǒng)中的一條規(guī)則A*B*則前件是A*后件是B*12.在框架和語(yǔ)義網(wǎng)絡(luò)兩種知識(shí)表示方法中框架適合于表示構(gòu)造性強(qiáng)的知識(shí)而語(yǔ)義網(wǎng)絡(luò)則適合表示一些復(fù)雜的關(guān)系和聯(lián)系的知識(shí)。面向?qū)ο蟛粌H僅是一種知識(shí)表示方法也是一種流行的軟件設(shè)計(jì)和開發(fā)技術(shù)。三、簡(jiǎn)答題3小題共27分將以下自然語(yǔ)言轉(zhuǎn)化為謂詞表示形式(5)所有的人都是要呼吸的。(6)每個(gè)學(xué)生都要參加考試。(7)任何整數(shù)或是正的或是負(fù)的。9分解設(shè)M(*)*是人H(*)*要呼吸。P(*)*是學(xué)生Q(*)*要參加考試。J(*)*是整數(shù)R(*)*是正數(shù)N(*)*是負(fù)數(shù)。.docin.則上述三題就記為(1)V-*(M(*)→H(*))(2)V-*(P(*)→Q(*))V-*(I(*)→R(*)∨N(*)))何謂"圖靈實(shí)驗(yàn)"簡(jiǎn)單描述之5分答所謂"圖靈實(shí)驗(yàn)"是為了判斷一臺(tái)機(jī)器是否具備智能的實(shí)驗(yàn)。實(shí)驗(yàn)由三個(gè)封閉的房間組成分別放置主持人、參與人和機(jī)器。主持人向參與人和機(jī)器提問通過提問的結(jié)果來(lái)判斷誰(shuí)是人誰(shuí)是機(jī)器。如果主持人無(wú)法判斷誰(shuí)是人誰(shuí)是機(jī)器則這臺(tái)機(jī)器具備智能即所謂的"智能機(jī)器"。寫出圖中樹的結(jié)點(diǎn)兩個(gè)訪問序列要求分別滿足以下兩個(gè)搜索策略(8分)(3)深度優(yōu)先搜索(4)廣度優(yōu)先搜索解深度優(yōu)先搜索廣度優(yōu)先搜索試實(shí)現(xiàn)一個(gè)"大學(xué)教師"的框架大學(xué)教師類屬于教師包括以下屬性學(xué)歷學(xué)士、碩士、博士、專業(yè)計(jì)算機(jī)、電子、自動(dòng)化、......、職稱助教、講師、副教授、教授5分解框架名<大學(xué)教師>類屬<教師>學(xué)歷(學(xué)士、碩士、博士)專業(yè)計(jì)算機(jī)、電子、自動(dòng)化、.....職稱助教、講師、副教授、教授四、應(yīng)用題2小題共30分設(shè)有ABC三人中有人從不說真話也有人從不說假話*人向這三人分別提出同一個(gè)問題誰(shuí)是說謊者A答"B和C都是說謊者"B答"A和C都是說謊者"C答"A和B中至少有一個(gè)是說謊者"。求誰(shuí)是老實(shí)人誰(shuí)是說謊者15分解設(shè)用(*)表示*說真話。如果說的是真話則有如果說的是假話則有對(duì)和說的話作一樣的處理可得把上面這些公式化成子句集得到下面首先求誰(shuí)是老實(shí)人。把并入得到。即比多如下一個(gè)子句應(yīng)用消解原理對(duì)進(jìn)展消解所以是老實(shí)人即從不說假話除此之外無(wú)論如何對(duì)進(jìn)展消解都推不出ANSWER(B)和ANSWER(A)。下面來(lái)證明和不是老實(shí)人。設(shè)不是老實(shí)人則有把它否認(rèn)并入中得到子句集即比多如下一個(gè)子句應(yīng)用消解原理對(duì)2進(jìn)展消解所以不是老實(shí)人。同理可以證明也不是老實(shí)人。設(shè):(1)能閱讀者是識(shí)字的;(2)海豚不識(shí)字;(3)有些海豚是聰明的;求證:有些聰明者并不能閱讀.(15分)證:定義如下命題:R(*):*能閱讀;L(*):*識(shí)字;I(*):*是聰明的;D(*):*是海豚;把條件及求證結(jié)論翻譯成謂詞公式為*(R(*)→L(*))...*(D(*)→L(*))...*(D(*)∧I(*))...*(I(*)∧R(*))...求證結(jié)論將條件,求證結(jié)論的反化成子句集①R(*)∨L(*)②D(y)∨L(