人工智能試卷四一、選擇題（每題1分，共15分）1、AI的英文縮寫是A）AutomaticIntelligence B）ArtificalIntelligenceC）AutomaticeInformation D）ArtificalInformation2、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A）永真式 B）包孕式（subsumed） C）空子句3、從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是A）正向推理 B）反向推理 C）雙向推理4、語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的（）oA）無悖性 B）可擴充性 C）繼承性5、（AtB）AA=>B是A）附加律B）拒收律 C）假言推理 D）US6、命題是可以判斷真假的A）祈使句 B）疑問句 C）感嘆句 D）述句7、僅個體變元被量化的謂詞稱為A）一階謂詞 B）原子公式 C）二階謂詞 D）全稱量詞8、MGU是A）最一般合一 B）最一般替換 C）最一般謂詞 D）基替換9、1997年5月，著名的“人機大戰”，最終計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為（）A）深藍B）IBMC）深思D）10、下列不在人工智能系統的知識包含的4個要素中A）事實 B）規則 C）控制和元知識 D）關系11、謂詞邏輯下，子句，C1=LVC1',C2=「LVC2;若。是互補文字的（最一般）合一置換，則其歸結式C=（）A）C1,aVC2,a B）C1%C2， C）C1,aAC2,a D）C1'AC2'12、或圖通常稱為A）框架網絡 B）語義圖 C）博亦圖 D）狀態圖13、不屬于人工智能的學派是A）符號主義 B）機會主義 C）行為主義 D）連接主義。14、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A）明斯基 B）.扎德 C）圖林 D）.諾依曼15.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫（）oA）專家系統 B）機器學習 C）神經網絡 D）模式識別二、填空題（每空1.5分，共30分）1、不確定性類型按性質分： 隨機性,模糊性,不完全性,不一致性。2、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據的可信度CF（A）、CF（A1）、CF（A2）之間，規定如下關系：CF（-A）=、CF（A1AA2）=、CF（A1VA2）= 4、圖：指由和組成的網絡。按連接同一節點的各邊的邏輯關系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產生式系統的推理過程中，從可觸發規則中選擇一個規則來執行，被執行的規則稱為。7、P（B|A）表示在規則中，證據A為真的作用下結論B為真的。8、人工智能的遠期目標是，近期目標是。三、簡答及計算題（每題5分，共25分）1、填寫下面的三值邏輯表。其中T，F，U分別表示真，假，不能判定2、什么是產生式？產生式規則的語義是什么？答：3、謂詞公式G通過8個步驟所得的子句集合S，稱為G的子句集。請寫出這些步驟。4、已知S={P（f（x）,y,g（y））,P（f（x）,z,g（x））}，求MGU解：5、證明G是否是F的邏輯結論；F:V%（P（%）aQ（a）vQ（x））G:3%（P（x）aQ（x））四、應用題（共30分）1、用語義網絡表示下列信息：⑴胡途是思源公司的經理，他35歲，住在飛天胡同68號（2）清華大學與大學進行藍球比賽，最后以89：102的比分結束。答：2、圖示博弈樹，其中末一行的數字為假設的估值，請利用af剪枝技術剪去不必要的分枝。（在節點及邊上直接加注釋）3、設有如下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老是大的父親；（3）大是小的父親；問上述人員中誰和誰是祖關系？解：答案： -1、B2、C 3、A4、C5、C6、D7、A8、A9、A10、D11、A12、D13、B14、C15、B二、1、隨機性，模糊性，不完全性，不一一致性2、純文字，永真式，類含3、-CF（A），min{CF（A1）,CF（A2）}，max{CF（A1）,CF（A2）}4、節點，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發規則7、A-B，概率8、制造智能機器，實現機器智能P是產生式的前提(前件)，用于指出該產生式是否可用的條件Q是一組結論或操作(后件)，用于指出當前提P所指示的條件滿足時，應該得出的結論或應該執行的操作產生式規則的語義：如果前提P被滿足，則可推出結論Q或執行Q所規定的操作3、1)消去蘊含式和等價式一，<>2)縮小否定詞的作用圍，直到其作用于原子公式：3)適當改名，使量詞間不含同名指導變元和約束變元。4.)消去存在量詞(形成Skolem標準型)5)消去所有全稱量詞6)化成合取式.適當改名，使子句間無同名變元.消去合取詞八，用逗號代替，以子句為元素組成一個集合S4、解：k=0;S0=S;60=s;S0不是單元素集，求得差異集D0={y,z},其中y是變元，z是項，且y不在z中出現。k=k+1=1有{z/y}=￡-{z/y}={z/y},S1=S0-{z/y}={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是單元素集，求得差異集D1={z,x},k=k+1=2;62=61-{z/x}={z/y,z/x},S2=S1-{z/x}={P(f(z),z,g(z))}是單元素集。根據求MGU算法，MGU=62={z/y,z/x}5、證:①P(x) ...從F變換?Q(a)VQ(x) ...從F變換③1P(y)VnQ(y)?..結論的否定@nQ(x) ...①③歸結,{x/y}⑤口 .??②④歸結，置換{a/x}得證。四、2、W-33、解:現定義如下謂詞F(x,y)——x是y的父親；G(x,z)----x是y的祖父；用謂詞邏輯表示已知與求解：F(x,y)AF(y,z)-G(x,z)F(L,D)F(D,X)G(u,v),u=?,v=?其中,L表示老,D表示大,X表示小。先證存在祖關系①nF(x,y)VnF(y,z)VG(x,z)...從(1)變換②F(L,D) ...從(2)變換③F(D,X) .一從(3)變換④nG(u,v) ...結論的否定⑤nF(D,z)VG(L,z)…①②歸結，置換{L/x,D/y}⑥G(L,X) ...③⑤歸結，置換{X/z}⑦口 …④⑥歸結，置換{L/u,X/v}得證，說明存在祖關系。為了求解用一個重言式④④nG(u,v)VG(u,v)..?用重言式代替結論的否定,重言式恒為真⑤nF(D,z)VG(L,z)…①②歸結，置換{L/x,D/y}⑥G(L,X) ...③⑤歸結，置換{X/z}⑦G(L,X) ...④⑥歸結，置換{L/u,X/v}得結果:L是X的祖父，即老是小的祖父。人工智能試卷五一、選擇題(每題1分，共15分)1、人工智能是一門A)數學和生理學 B-心理學和生理學 C)語言學D)綜合性的交叉學科和邊緣學科2、語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的()。A)無悖性 B)可擴充性 C)繼承性3、(A->B)AA=>B是A)附加律B)拒收律 C)假言推理 D)US4、命題是可以判斷真假的A)祈使句 B)疑問句 C)感嘆句 D)述句5、僅個體變元被量化的謂詞稱為A)一階謂詞 B)原子公式 C)二階謂詞 D)全稱量詞6、MGU是A)最一般合一 B)最一般替換 C)最一般謂詞 D)基替換最一般合一7、下列不在人工智能系統的知識包含的4個要素中A）事實 B）規則 C）控制 D）關系8、當前歸結式是（）時，則定理得證。A）永真式 B包孕式（subsumed）C）空子句9、或圖通常稱為A）框架網絡 B）語義圖 C）博亦圖D）狀態圖10、不屬于人工智能的學派是A）符號主義 B）機會主義 C）行為主義 D）連接主義。11、所謂不確定性推理就是從（）的初始證據出發，通過運用（）的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A）不確定性，不確定性 B）確定性，確定性C）確定性，不確定性 D）不確定性確定性.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫（）oA）專家系統 B）機器學習 C）神經網絡 D）模式識別13、下列哪部分不是專家系統的組成部分（）A.）用戶B）綜合數據庫C）推理機D）知識庫14、產生式系統的推理不包括（）A）正向推理 B）逆向推理C）雙向推理D）簡單推理15、C（B|A）表示在規則A->B中，證據A為真的作用下結論B為真的A）可信度B）信度 C）信任增長度 D）概率二、填空題（每題1分，共30分）1、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是一2、從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是3、AI的英文縮寫是 4、不確定性類型按性質分：,，O5、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。6、對證據的可信度CF（A）、CF（Al）、CF（A2）之間，規定如下關系：CF（~A）=、CF（A1AA2）=、CF（A1VA2）=。7、圖：指由組成的網絡。按連接同一節點的各邊的邏輯關系又可分為和。8、合一算法：求非空有限具有相同謂詞名的原子公式集的。9、1997年5月，著名的“人機大戰”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。三、簡答及計算題（每題5分，共25分）1、解釋下列模糊性知識：1）三，體型，（胖，0.9））。2）（患者，癥狀，（頭疼，0.95））A（患者，癥狀，（發燒，1.1））一（患者，疾病，（感冒，1.2））2、簡單闡述產生式系統的組成：答：3、補齊產生式系統與圖搜索的對比表產生式系統圈搜索初始節點II標條件狀態轉換規則問題變換規則規則庫操作集節點（狀態/問題）控制策略答：4、已知W={P（f（x,g（A,y））,z）,P（f（x,z）,z）}，求MGU解：5、證明G是否是F1、F2的邏輯結論；F1：Vx（P（x）f（Q（x）△R（x））F2：3x（P（x）△S（x））G：3x（S（x）△R（x））證：四、應用題（共30分）1、將命題：“某個學生讀過三國演義”分別用謂詞公式和語義網絡表示答：2、圖示博弈樹，其中末一行的數字為假設的估值，請利用af剪枝技術剪去不必要的分枝。（在節點及邊上直接加注釋）3、利用謂詞邏輯表示下列知識（包括已知和結論），然后化成子句集：（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：TOC\o"1-5"\h\z一、1、D 2、C 3、C 4、D 5、A6、A 7、D 8、C 9、D 10、B、A 12、B 13、A. 14、D 15、B二、1、圖林2、正向推理3、ArtificalIntelligence4、隨機性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、-CF（A），min{CF（A1）,CF（A2）}，max{CF（A1）,CF（A2）}）7、節點和有向邊，或圖，與或圖8、最一般合一（MGU）9、深藍 10、制造智能機器，實現機器智能三、1、答：1）表示：命題“三比較胖”2）解釋為：如果患者有些頭疼并且發高燒，則他患了重感冒。2、答：1）產生式規則庫：描述相應領域知識的產生式規則集2）數據庫：（事實的集合）存放問題求解過程中當前信息的數據結構（初始事實、外部數據庫輸入的事實、中間結果事實和最后結果事實）

產生式系統圖搜索初始事實數據初始節點目標條件產生式規則狀態轉換規則同胞變換規則規則庫操作集動態數據庫節點(狀態/問題)控制策潞搜索策略3)推理機：(控制系統)是一個程序，控制協調規則庫與數據庫的運行，包含推理方式和控制策略。3、答：4、解：k=O;SO=S;60f;S0不是單元素集，求得差異集DO={g(A,y)},z},3)推理機：(控制系統)是一個程序，控制協調規則庫與數據庫的運行，包含推理方式和控制策略。3、答：4、解：k=O;SO=S;60f;S0不是單元素集，求得差異集DO={g(A,y)},z},其中z是變元，g(A,y)是項,且z不在g(A,y)中出現。k=k+1=1根據求MGU算法，MGU=61={g(A,y)/z)5、證:①P(x)VQ(x)②iP(y)VR(y)'③P(a)@S(a)⑤-iS(z)VnR(z).⑥R(a)⑦iR(a).⑧口...從...從F1變換...從F1變換...從F2變換...從F2變換.結論的否定...②③歸結{a/y}.④⑤歸結(a/z}...⑥⑦歸結四、1、答：謂詞公式表示:3x(student(x)Aread(x,三國演義))語義網絡表示如圖：

一、填空題(共30分).歸結法中，可以通過 的方法得到問題的解答。.化成子句形式為：。.從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是 .AI是是的英文縮寫一.人工智能的基本技術包括、、、一、一。.目前所用的知識表示形式有、、等。.產生式系統有三部分組成,和推理機。其中推理可分為和。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的,而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為9、1997年5月，著名的“人機大戰”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是,近期目標是。11、謂詞邏輯中，重言式(tautlogy)的值是。12、利用歸結原理證明定理時，若得到的歸結式為，則結論成立。13、若C1=nPVQ,C2=PV^Q,則C1和C2的歸結式R(C1,C2)=。14、若C1=P(x)VQ(x),C2=~|P(a)VR(y),則C1和C2的歸結式R(C1,C2)=。15、在歸結原理中，幾種常見的歸結策略并且具有完備性的是 ,,。16、在啟發式搜索當中，通常用來表示啟發性信息。17、假言推理(A-B)^An,假言三段論(A-B)△(B-C)=.填空題1、修改證明樹2、。3、正向推理4、ArtificalInteligence5、搜索技術推理技術知識表示和知識庫技術、歸納技術、聯想技術6、語義網絡面向對象7、綜合數據庫知識庫正向推理反向推理8、轄域 約束變元 自由變元9、深藍制造智能機器實現機器智能直空集~|PVP或1QVQQ(a)VR(y)刪除策略支持集策略線性歸結策略啟發函數B A—C)C)語言學3、證：現定義如下謂詞L(x,y)——某人x喜歡某物y；P(y)----某物y是清潔的東西Vy3x(P(y)-L(x,y))==>nP(y)VL(f(y),y)VxQL(x,Fly))==>nL(x,Fly)P(Fly)...結論的反L(f(Fly),Fly)...(1)(3)歸結，置換{Fly/y}⑸口...(2)(4)歸結,{f(Fly)/x}得證。人工智能試卷八

二、選擇題(15小題，共15分1.人工智能是一門A)數學和生理學 B-心理學和生理學D)綜合性的交叉學科和邊緣學科2、下列哪個不是人工智能的研究領域()A.機器證明B.模式識別C.人工生命D.編譯原理

3.神經網絡研究屬于下列（）學派A.符號主義B.連接主義C.行為主義D.都不是4.已知初始問題的描述，通過一系列變換把此問題最終變為一個子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）A.狀態空間法B.問題歸約法C.謂詞邏輯法D.語義網絡法5.在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個X。這種函數叫做（）A.依賴函數B.Skolem函數C.決定函數D.多元函數6.子句~PvQ和P經過消解以后，得到（）PQ~PPvQ7、8.Aa（AvB）=A稱為（），~（AaB）=~Av~B稱為（）A.結合律B.分配律C.吸收律D.摩根律8、下列哪部分不是專家系統的組成部分（）A.）用戶B）綜合數據庫 C）推理機D）知識庫9、產生式系統的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡單推理10、C（B|A）表示在規則A->B中，證據A為真的作用下結論B為真的A）可信度B）信度C）信任增長度D）概率11、AI的英文縮寫是A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(消解)證明定理時A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(消解)證明定理時D）ArtificalInformation若當前歸結式是（）時，則定理得證。A）永真式 B）包孕式（subsumed）C）空子句13、在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個X。這種函數叫做（）A.依賴函數B.Skolem函數C.決定函數D.多元函數14、子句~PvQ和P經過消解以后，得到（）PQ~PE.PvQ15、如果問題存在最優解，則下面幾種搜索算法中，（）必然可以得到該最優解。C.有界深度優先搜索D.啟發式搜索三、簡答與應用題深度優先方法的特點是什么？6什么是置換？置換是可交換的嗎？6分某問題由下列公式描述：⑴、試用歸結法證明（x）R（x）；8分4.下圖所示博弈樹，按從左到右的順序進行剪枝搜索，試標明各生成節點的到推值，何處發生剪枝,及應選擇的走步。10分5.10分設有如下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老是大的父親;（3）大是小的父親；問上述人員中誰和誰是祖關系？（10分）6.某被盜，公安局派了五個偵察員去調查。研究案情時，偵察員A說：“與錢中至少有一人作案”；偵察員D說：“錢與至少有一人作案”；偵察員C說：“與中至少有一個作案”；偵察員D說“與至少一個與案無關”；偵察員E說“錢與中至少有一人與此案無關”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（10分）123123456789101112131415CDBBBBCADBBCBBA選擇題.解答：（1）屬于圖搜索；（2）是一個通用的搜索方法；（3）如果深度限制不合適，有可能找不到問題的解；（4）不能保證找到最優解。.回答：通常用有序對的集合s={t1/v1,t2/v2,…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達式中的變量vi處處以項ti來替換，用s對表達式E作置換后的例簡記為Es。一般來說，置換是不可交換的，即兩個置換合成的結果與置換使用的次序有關。A.廣度優先搜索B.深度優先搜索A.廣度優先搜索B.深度優先搜索⑴倒3)⑵(VXKV*1KHy)TQCb,區0,y?]=>(Vs)CVy)[P(y)VQ(b,漢或顯瑣]=nP(y)VQS,凡gfcy))(3)^)[P(^)1=>W)⑷NX)3何八Q&% RX項=>(Vk)MP^)AQ(b,c,啕)翩]=>(V&[?R?V?QQc,x)VR(h(^]=>~RXiV~Q(h工的VR<a出)⑴小顏V咖QQ,垓fQ電Mfiy?]=>伊團Ty)[~Q8,^y)VQg,&fij))]=>-Q(bn區y)VQ(b,及屯))目標求反；M五)W藥=.=(Yk)-Rj(^=>~Rj(x)變量換名后，得子句集：LH。Ptyl)VQg如內立了以P(哈班~P(X5V-QS,j電VFW笈身,~QSx4.y4)VQM朗，fiy4?.?.、解:現定義如下謂詞F(x,y)——x是y的父親；G(x,z)——x是y的祖父；用謂詞邏輯表示已知與求解：F(x,y)AF(y,z)-G(x,z)F(L,D)F(D,X)G(u,v),u=?,v=?其中,L表示老,D表示大,X表示小。先證存在祖關系①?F(x,y)V?F(y,z)VG(x,z。..從⑴變換②F(L,D) ...從(2)變換③F(D,X) .一從(3)變換④?G(u,v) ...結論的否定⑤?F(D,z)VG(L,z)…①②歸結，置換{L/x,D/y}⑥G(L,X) .一③⑤歸結，置換{X/z}⑦口 …④⑥歸結，置換{L/u,X/v}得證，說明存在祖關系。為了求解用一個重言式④④?G(u,v)VG(u,v)..?用重言式代替結論的否定,重言式恒為真⑤?F(D,z)VG(L,z)…①②歸結，置換{L/x,D/y}⑥G(L,X) .一③⑤歸結，置換{X/z}⑦G(L,X) .一④⑥歸結，置換{L/u,X/v}得結果:L是X的祖父，即老是小的祖父。.解：設用T(x)表示x是作案者，則偵察員A的話可表示：T()T(錢)偵察員B的話可表示：T(錢)T()偵察員C的話可表示：T()T()偵察員D的話可表示：T()T()偵察員E的話可表示：T(錢)T()上面五個組成子句集S,求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x)然后利用消解原理對S1進行消解可得答案：錢和是作案者。人工智能試卷九試題部分：一、選擇題(15小題，共15分)1.人工智能產生于哪一年()。A.1957B.1962C.1956D.1979.下列哪個不是人工智能的研究領域()A.機器證明B.模式識別C.人工生命D.編譯原理.神經網絡研究屬于下列()學派A.符號主義B.連接主義C.行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變為一個子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫()A.狀態空間法B.問題歸約法C.謂詞邏輯法D.語義網絡法.在公式中Vymxp(x,y)),存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個x。這種函數叫做()A.依賴函數B.Skolem函數C.決定函數D.多元函數6.子句~PvQ和P經過消解以后，得到()PQ~PF.PvQ7、8.Aa(AvB)=A稱為(),~(AaB)o~Av~B稱為()B.結合律B.分配律C.吸收律D.摩根律9、10.如果問題存在最優解，則下面幾種搜索算法中，()必然可以得到該最優解，()可以認為是“智能程度相對比較高”的算法。D.廣度優先搜索E.深度優先搜索F.有界深度優先搜索

G.啟發式搜索.產生式系統的推理不包括（）A.正向推理B.逆向推理C.雙向推理D.簡單推理.下列哪部分不是專家系統的組成部分（）A.用戶B.綜合數據庫C.推理機D.知識庫13.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫（）oA.專家系統B.機器學習C.神經網絡D.模式識別14、人工智能是一門A）數學和生理學 B）心理學和生理學 C）語言學D）綜合性的交叉學科和邊緣學科15、語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的（）oA）無悖性 B）可擴充性 C）繼承性二、填空題（共30分）：.歸結法中，可以通過 的方法得到問題的解答。.化成子句形式為：o.從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是.AI是是的英文縮寫一.人工智能的基本技術包括、、、歸納技術、聯想技術。.目前所用的知識表示形式有、、等。.產生式系統有三部分組成，和推理機。其中推理可分為和。8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為9、1997年5月，著名的“人機大戰”，最終名為“”的計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是，近期目標是。11、謂詞邏輯中，重言式（tautlogy）的值是。12、利用歸結原理證明定理時，若得到的歸結式為，則結論成立。13、若C1=nPVQ，C2=PVqQ，則C1和C2的歸結式R（C1，C2）=。14、若C1=P（x）VQ（x），C2-P（a）VR（y），則C1和C2的歸結式R（C1,C2）=。15、在歸結原理中，幾種常見的歸結策略并且具有完備性的是 ，，。16、在啟發式搜索當中，通常用來表示啟發性信息。17、假言推理（AfB）、小，假言三段論（AfB）△（BfC）n.三、簡答與應用題1、剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉最佳走步。這種說法是否正確？（6分）2.將下列謂詞公式化成子句集3xVy（vz（PQ）a~Q（x,z））.RQ,y，f（a）））。（6分）3、解釋下列模糊性知識：1）三，體型，（胖，0.9））。2）（患者，癥狀，（頭疼，0.95） ）A （患者，癥狀，（發燒，1.1））一（患者，疾病，（感冒，1.2））（6分）4.寫出圖中樹的結點兩個訪問序列，（1）深度優先搜索（2）廣度優先搜索要求分別滿足以下兩個搜索策略：（6分要求分別滿足以下兩個搜索策略：（6分）.某被盜，公安局派了五個偵察員去調查。研究案情時，偵察員A說：“與錢中至少有一人作案”；偵察員D說：“錢與至少有一人作案”；偵察員C說：“與中至少有一個作案”；偵察員D說“與至少一個與案無關”；偵察員E說“錢與中至少有一人與此案無關”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分）.下圖所示博弈樹，按從左到右的順序進行a-p剪枝搜索，試標明各生成節點的到推值，何處發生剪枝，及應選擇的走步。答案部分、選擇題123456789101112131415CDBBBBCDADDABDC填空題.修改證明樹.。.正向推理.ArtificalInteligence.搜索技術推理技術知識表示和知識庫技術.框架語義網絡面向對象.綜合數據庫知識庫正向推理反向推理.轄域約束變元自由變元.深藍.制造智能機器實現機器智能.真.空集.~|PvP或1QvQ

.Q(a)vR(y).刪除策略支持集策略線性歸結策略.啟發函數.BA—C三、簡答與應用題1不正確。一剪枝方法利用已經搜索的信息，剪掉哪些對于搜索最佳走步沒有意義的分枝，其找到的最佳走步與極小極大方法找到的結果是一樣的。而且搜索效率有很大提高。2、3xVy(Vz(P(z)A~qQ,z))fRQ,y,/G)))3xVy(qVz(P(z)△qQ(x,z))vR(x,y,f(a)))3xVy6z(~P(z)vQ(x,z))vR(x,y,f(a)))Vy(3z(~P(z)vQ(b,z))vR(b,y,f(a)))Vy((~P(g(y)vQ(b,g(y)))vR(b,y,f(a)))1~P(g(y))vQ(b,g(y)vR(b,y,f(a))}3、答：1)表示：命題“三比較胖”2)解釋為：如果患者有些頭疼并且發高燒，則他患了重感冒。4、解：(1)深度優先搜索：1—2—5—6—10—11—3—7—12—13—4—8—9(2)廣度優先搜索：1—2—3—4—5—6—7—8—9—10—11—12—13—145解答：組成產生式系統的三要素：(1)綜合數據庫；(2)一組產生式規則(或者規則集)；(3)一個控制系統(或者控制策略)6、解：設用T(x)表示x是作案者，則偵察員A的話可表示：T()T(錢)偵察員B的話可表示：T(錢)T()偵察員C的話可表示：T()T()偵察員D的話可表示：T()T()偵察員E的話可表示：T(錢)T()上面五個組成子句集S,求誰是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一個子句：T(x)ANSWER(x)然后利用消解原理對S1進行消解可得答案：錢和是作案者。人工智能試卷十一、選擇題(15小題，共15分)1、97年5月，著名的“人機大戰”，最終計算機以3.5比2.5的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為()A)深藍 B)IBMC)深思 D)2、下列不在人工智能系統的知識包含的4個要素中A)事實 B)規則 C)控制和元知識 D)關系3、謂詞邏輯下，子句，C1=LVC11,C2=-LVC21,若。是互補文字的(最一般)合一置換，則其歸結式C=()A)C1‘aVC2,a B)C1'VC2' C)C1‘aAC2,a D)C1'AC2'4、或圖通常稱為A)框架網絡 B)語義圖 C)博亦圖 D)狀態圖5、不屬于人工智能的學派是A)符號主義 B)機會主義 C)行為主義 D)連接主義。6、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A)明斯基 B).扎德 C)圖林 D).諾依曼7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫()。A)專家系統 B)機器學習C)神經網絡 D)模式識別8、下列哪部分不是專家系統的組成部分()A.)用戶B)綜合數據庫 C)推理機 D)知識庫9、產生式系統的推理不包括()A)正向推理B)逆向推理C)雙向推理 D)簡單推理10、C(B|A)表示在規則A->B中，證據A為真的作用下結論B為真的A)可信度 B)信度C)信任增長度 D)概率11、AI的英文縮寫是A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(消解)證明定理時A)AutomaticIntelligenceC)AutomaticeInformation12、反演歸結(消解)證明定理時D)ArtificalInformation若當前歸結式是()時，則定理得證。A)永真式 B)包孕式(subsumed)C)空子句13、在公式中Vy3xp(x,y)),存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個x。這種函數叫做()A.依賴函數Skolem函數C.決定函數D.多元函數14、子句~PvQ和P經過消解以后，得到()PQ~PG.PvQ15、如果問題存在最優解，則下面幾種搜索算法中，()必然可以得到該最優解。H.廣度優先搜索I.深度優先搜索J.有界深度優先搜索D.啟發式搜索、填空題(共30分):1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為，其他變元稱為2、假言推理(A-B)^An,假言三段論(A-B)△(B-C)n3、幾種常用的歸結策略：、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略4、在諸如走迷宮、下棋、八數碼游戲等游戲中，常用到的一種人工智能的核心技術稱為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數碼所排成的形勢用圖來表，這種圖稱為—.在啟發式搜索當中，通常用來表示啟發性信息。.在二人博弈問題中，最常用的一種分析技術是,這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了7、不確定性類型按性質分：,,,。8、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。9、對證據的可信度CF(A)、CF(A1)、CF(A2)之間，規定如下關系：CF(~A)=、CF(A1AA2)=、CF(A1VA2)=。10、圖：指由組成的網絡。按連接同一節點的各邊的邏輯關系又可分為和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的。12、開發專家系統所要解決的基本問題有三個，那就是知識的獲取、知識的表示和,知識表示的方法主要有,,和語義網絡等，在語義網絡表示知識時，所使用的推理方法有和三、簡答與應用題1、謂詞邏輯形式化下列描述“不存在最大的整數”(4分)2.a-p剪枝的條件是什么？(6分)3、某問題由下列公式描述：(1)、試用歸結法證明(x)R(x)；(8分).專家系統的一般步驟有哪些？專家系統的開發與一般的軟件系統開發相比較，有哪些共同點和特點？(7分).何謂“圖靈實驗”？簡單描述之(5分)6、設有如下關系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老是大的父親；(3)大是小的父親；問上述人員中誰和誰是祖關系？(10分).給1?9九個數字排一個序列，使得該序列的前n(n=1,...,9)個數字組成的整數能被n整除。(1)、討論哪些知識可以幫助該問題的求解。(2)、用產生式系統描述該問題.(15分)答案部分、選擇題ADADBCBADBBCBBA二、填空題1、轄域約束變元 自由變元B AfC3、刪除策略4、圖搜索狀態空間圖(或狀態圖)5、啟發函數6、極大極小分析法a-B剪枝技術7、隨機性模糊性不一致性不確定性8、純文字永真類含9、~CF(A)min(CF(A1),CF(A2)}max{CF(A1),CF(A2)}10、或圖與或圖11、最一般合一12、知識的運用邏輯表示法(謂詞表示法)框架產生式AKOISA三、簡答及應用題1、定義謂詞G(x)：x為整數D(x,y)：x大于y形式化為：q3x(G(x)△Vy(G(y).D(x,y)))或者Vx(G(x).3y(G(y)△D(y,x)))2、回答:a剪枝：若任一極小值層節點的B值小于或等于它任一先輩極大值節點的a值，即。(先輩層)邛(后繼層)，則可中止該極小值層中這個MIN節點以下的搜索過程。這個MIN節點最終的倒推值就確定為這個B值。B剪枝：若任一極大值層節點的a值大于或等于它任一先輩極小值層節點的B值，即。(后繼層)？B(先輩層)，則可以中止該極大值層中這個MAX節點以下的搜索過程。這個MAX節點的最終倒推值就確定為這個a值。3、化子句集如下：d=>巴y)VQ由6鼠罌叼)=>4代知=>(V勾[UFV0AQ(也c,OjVWMXO]=> c,鼓7雙現&)]⑸6項先鞏Q8,區也工=>(Vx)(Vy)[-Q(br紋y)VQ也七號))]=>~Q8,風力VQ電說f&))目標求反：Y荻)取用=>(W@?網為=>堂量換客后m得子句集：~Q色M74)VQ(br必電幻),4、答：(1)專家系統與一般的軟件系統開發無異，其開發過程同樣要遵循軟件工程的步驟和原則，即也要進行系統分析、系統設計等幾個階段的工作。(2)但由于它是專家系統，而不是一般的軟件系統，所以，又有其獨特的地方，主要包括以下幾個步驟：)系統總體分析與設計；)知識獲取；3)知識表示與知識描述語言設計；)知識庫設計、知識庫管理系統設計；)推理機與解釋模塊設計；6)總控與界面設計7)編程與調試8)測試與評價9)運行與維護(3)可以看出它有如下特點：1)知識獲取和知識表示設計是一切工作的起點；知識表示與知識描述語言確定后，其他設計可同時進行；5、答：所謂“圖靈實驗”，是為了判斷一臺機器是否具備智能的實驗。實驗由三個封閉的房間組成，分別放置主持人、參與人和機器。主持人向參與人和機器提問，通過提問的結果來判斷誰是人，誰是機器。如果主持人無法判斷誰是人,誰是機器，則這臺機器具備智能，即所謂的“智能機器”。6、解:現定義如下謂詞F(x,y)——x是y的父親；G(x,z)——x是y的祖父；用謂詞邏輯表示已知與求解：F(x,y)AF(y,z)-G(x,z)F(L,D)F(D,X)G(u,v),u=?,v=?其中,L表示老,D表示大,X表示小。先證存在祖關系①?F(x,y)V?F(y,z)VG(x,z)...從⑴變換②F(L,D) ...從⑵變換③F(D,X) ...從⑶變換④?G(u,v) ...結論的否定⑤?F(D,z)VG(L,z)...①②歸結，置換{L/x,D/y}⑥G(L,X) ...③⑤歸結，置換{X/z}⑦口 ...④⑥歸結，置換(L/u,X/v}得證，說明存在祖關系。為了求解用一個重言式④④?G(u,v)VG(u,v)...用重言式代替結論的否定,重言式恒為真⑤?F(D,z)VG(L,z)...①②歸結，置換{L/x,D/y}⑥G(L,X) ...③⑤歸結，置換{X/z}⑦G(L,X) ...④⑥歸結，置換{L/u,X/v}得結果:L是X的祖父，即老是小的祖父。7、如下的知識可以幫助求解該問題：(1)序列中，偶數在偶數位置，奇數在奇數位置；(2)第五個數為5。綜合數據庫：用一個1到9的序列表示：N={x},其中x為1到9的數字之一。規則集：r1:IFIen(N)=4THEN{x}U{5}2:IFlen(N)為偶數andn=ln(1,3,7,9)THEN{x}u{n}⑶IFlen(N)為奇數andn=ln(2,4,6,8)THEN{x}u{n}其中len(N)為求序列的長度，ln(a,b,c,d)為取a、b、c、d之一。初始狀態：{}結束條件：得到的序列N前i個數組成的整數能被i整除人工智能試卷十三.什么是人工智能？人工智能與計算機程序的區別？答：AI是研究如何制造人造的智能機器或智能系統來模擬人類智能活動的能力以延伸人類智能的科學，它與計算機程序的區別是：eai研究的是符號表示的知識而不是數值數據為研究對象eai采用啟發式搜索方法而不是普通的算法。控制結構與知識是分離的。允許出現不正確的答案.化下列邏輯表達式為不含存在量詞的前束式6x)Gy)KvZ)Pa,Z)fR(X,Y,f(aJA答：6x)Gy)l3z(p(x,z)fGxX/yhz(?P(X,Z)vR(X,YJ(cl)))\3XVK3zLP(X,Z)vR(X,Y,f(a^VK3zLP(b,Z)7R(b,Y,f(aJAVyLP(Z?,f(y))vR(b,YJ(alA.求下列謂詞公式的子句集VxVy((P(x,y)v(Q(x,y)fR(x,y)))答：■Vy(~(P(x,y)v(Q(x,y)vR(x,y)))VxVy((?P(x,y)A?(Q(x,y))vR(x,y)))VxVy((?P(x,y)vR(x,y))a(?Q(x,y)vR(x,y)))所以子句集為：{?P(x,y)v尺(九y),?Q(x,y)vR(x,y)).若有梯形ABCD,將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結原理證明錯角=證明：設梯形頂點依次為a,b,c,d,定義謂詞：T(x,y,u,v):表示xy為上底,uv為下底的梯形.P(x,y,u,v):表示xy||uvE(x,y,z,u,v,w)表示Nxyz=Nuvw,問題的描述和相應的子句集為xyuv[T(x,y,u,v)一P(x,y,u,v)]…梯形上下底平行子句:?T(x,y,u,v)VP(x,y,u,v)xyuv[P(x,y,u,v)一E(x,y,v,u,v,y)]…平行則錯交相等子句：T(a,b,c,d)…已知子句：T(a,b,c,d)E(a,b,d,c,d,b)…要證明的結論子句:?E(a,b,d,c,d,b)C(27)C(27)EA(51)E擴展節點父節點A(0)NULLC(28)AE(29)CD(38)EB(43)DA(31)BCLOSE表7.用框架表示下述報導的沙塵暴災害事件子句集S為?T(x,y,u,v)VP(x,y,u,v)?P(x,y,u,v)VE(x,y,v,u,v,y)T(a,b,c,d)?E(a,b,d,c,d,b)下面利用歸結原理證明P(a,b,c,d) (1)和(3)歸結，置換｛a/x,b/y,c/u,d/v｝E(a,b,d,c,d,b) (2)和(5)歸結，置換｛a/x,b/y,c/u,d/v｝NIL (4)和(6)歸結根據歸結原理得證。.求子句集S=.(x,a,f(g(y)),P(z,h(z,u),f(u))｝的MGU解：解：解：k=0SO=S 楔單元素集，求得差異集D0={a/z},其中z是變元，a是項，且z不在a中出現。k=k+1=1有{a/z}=￡-{a/z}={a/z},S1=S0-{a/z}={P(a,x,f(g(y)),P(a,h(a,u),f(u))),S1不是單元素集，求得差異集D1={x,h(a,u)},k=k+1=262=61{h(a,u)/x}=(a/z,h(a,u)/x},S2=S1-{h(a,u)/x}={P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u))),S2不是單元素集，求得差異集D2={g(y),u},k=k+1=363=62-{g(y)/u}={a/z,h(a,u)/x}-(g(y)/u}={a/z,h(a,g(y))/x,g(y)/u)S3=S2-{g(y)/u}={P(a,h(a,g(y)),f(g(y)))}是單元素集。根據求MGU算法，MGU=63={a/z,h(a,g(y))/x,g(y)/u}.用代價優先算法求解下圖的旅行推銷員問題，請找一條從出發能遍歷各城市的最佳路徑(旅行費最少)，每條弧上的數字表示城市間的旅行費用。并用CLOSED表記錄遍歷過的結點，OPEN表記錄待遍歷的結點。畫出closed和open表的變化過程，然后根據closed表找出最佳路徑。OPEN表擴展節點父節點A(0)NULLB(31)AC(28)AD(43)BC(54)BE(38)DC(59)D［虛擬新華社3月16日電］昨日，沙塵暴襲擊國漢城，機場與高速公路被迫關閉，造成的損失不詳。國官方示，如果需要直接損失情況，可待一周后的官方公布的字。此次沙塵暴起因中日專家認為是由于中國區過分墾牧破壞植被所致。 提示：分析概括用下劃線標出的要點，經過概念化形成槽(Slot)并擬出槽的名稱，選填側面(face)值。側面包含“值(value)"，“默認值(default)"，“如果需要值(if-needed)"，“如果附加值(if-added)”幾個方面，用不到的側面值可刪除。FRAME：Slot1：Value：Default：If-needed：If-added：Slot2：Value：Default：If-needed：If-added：Slot3：Value：Default：If-needed：If-added：FRAME：沙塵暴Slot1：時間Slot2：地點Slot3：損失Slot4：起因Value：3月15Value：國漢城Value：不詳Default：中國區日Default：Default：Default：If-needed：If-needed：一周后If-needed：If-added：官方公布數字If-added：If-added：人工智能試卷十八一、選擇題：(13小題，共13分)1.人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是(C)。A.明斯基B.扎德C.圖靈D..諾依曼2.下列哪個不是人工智能的研究領域(D)A.機器證明B.模式識別C.人工生命D.編譯原理3.神經網絡研究屬于下列(B)學派A.符號主義B.連接主義C.行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變為一個子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫(B)A.狀態空間法B.問題歸約法C.謂詞邏輯法D.語義網絡法.在公式中Vymxp(x,y)),存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個X。這種函數叫做(B)A.依賴函數B.Skolem函數C.決定函數D.多元函數6.子句~PvQ和P經過消解以后，得到(B)PQ~PH.PvQ7,8.Aa(AvB)oA稱為(C),~(AaB)o~Av~B稱為(D)三、結合律B.分配律C.吸收律D.摩根律9,10.如果問題存在最優解，則下面幾種搜索算法中，(A)必然可以得到該最優解，(D)可以認為在這幾種算法中是“智能程度相對比較高”的算法。K.廣度優先搜索.深度優先搜索M.有界深度優先搜索N.啟發式搜索.產生式系統的推理不包括(D)A.正向推理B.逆向推理C.雙向推理D.簡單推理.下列哪部分不是專家系統的組成部分(A)A.用戶B.綜合數據庫C.推理機D.知識庫.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫(B)。A.專家系統B.機器學習C.神經網絡D.模式識別！二、填空題：(12小題，共30分).人工智能三大學派是符號主義、聯結主義、行為主義。.化成子句形式為口.從已知事實出發，通過規則庫求得結論的產生式系統的推理方式是正向推理.AI的英文縮寫是ArtificalInteligence.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的轄域」，而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為約束變元 ，其他變元稱為自由變元6、假言推理(A-B)AAn B，假言三段論(A-B)a(B-C)n A-C7、幾種常用的歸結策略： 刪除策略、支持集策略、線形歸結策略、輸入歸結策略、單元歸結策略8、在諸如走迷宮、下棋、八數碼游戲等游戲中，常用到的一種人工智能的核心技術稱為圖搜索技術，解這類問題時，常把在迷宮的位置、棋的布局、八數碼所排成的形勢用圖來表，這種圖稱為狀態空間圖(或狀態圖).在啟發式搜索當中，通常用啟發函數來表示啟發性信息。.在二人博弈問題中，最常用的一種分析技術是極大極小分析法，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了a-8剪枝技術.某產生式系統中的一條規則：A(x)-B(X)，則前件是A(X)，后件是B(X).在框架和語義網絡兩種知識表示方法中，3^適合于表示結構性強的知識，而語義網絡則適合表示一些復雜的關系和聯系的知識。面向對象不僅僅是一種知識表示方法，也是一種流行的軟件設計和開發技術。三、簡答題：(3小題，共27分).把下列謂詞公式分別化成相應的子句集：x(yP(x,y)T?y(Q(x,y)-R(x,y)))(9分)解：x(yP(x,y)T?y(Q(x,y)-R(x,y)))==>x(yP(x,y)-y?(?Q(x,y)VR(x,y)))==>x(yP(x,y)-y(Q(x,y)八?R(x,y)))==>x(?yP(x,y)Vy(Q(x,y)八?R(x,y)))==>x(y?P(x,y)Vy(Q(x,y)八?R(x,y)))......改名)==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))……y=f(x),z=g(x)消去存在量詞y,z==>x(?P(x,f(x))V(Q(x,g(x))八?R(x,g(x))))==>x((?P(x,f(x))V(Q(x,g(x))八(?P(x,f(x))V?R(x,g(x))))從而謂詞公式的子句集是1?P(x,f(x))V(Q(x,g(x)，?P(x,f(x))V?R(x,g(x))).專家系統的一般步驟有哪些？專家系統的開發與一般的軟件系統開發相比較，有哪些共同點和特點？(5分)答：(1)專家系統與一般的軟件系統開發無異，其開發過程同樣要遵循軟件工程的步驟和原則，即也要進行系統分析、系統設計等幾個階段的工作。(2)但由于它是專家系統，而不是一般的軟件系統，所以，又有其獨特的地方，主要包括以下幾個步驟：系統總體分析與設計；知識獲取；知識表示與知識描述語言設計；知識庫設計、知識庫管理系統設計；推理機與解釋模塊設計；總控與界面設計編程與調試測試與評價運行與維護(3)可以看出它有如下特點：2)知識獲取和知識表示設計是一切工作的起點；知識表示與知識描述語言確定后，其他設計可同時進行；2、八數碼游戲，初始棋局和目標棋局如圖，定義啟發函數h(X)表示某狀態下與目標數碼不同的位置個數，用全局擇優法畫出搜索的過程。(8分)初始狀態:，目標狀態：解：4、試實現一個“大學教師”的框架，大學教師類屬于教師，包括以下屬性：學歷（學士、碩士、博士）、專業（計算機、電子、自動化、……）、職稱（助教、講師、副教授、教授）（5分）解：框架名：〈大學教師,類屬：＜教師,學歷：（學士、碩士、博士）專業：（計算機、電子、自動化、…..）職稱：（助教、講師、副教授、教授）四、應用題：（2小題，共30分）.某被盜，公安局派了五個偵察員去調查。研究案情時，偵察員A說：“與錢中至少有一人作案”；偵察員D說：“錢與至少有一人作案”；偵察員C說：“與中至少有一個作案”；偵察員D說“與至少一個與案無關”；偵察員E說“錢與中至少有一人與此案無關”。如果這五個偵察員的話都是可信的，試用消解原理推理求出誰是盜竊犯。（15分）解：設用T（x）表示x是作案者，則偵察員A的話可表示：T（）T（錢）偵察員B的話可表示：T（錢）T（）偵察員C的話可表示：T（）T（）偵察員D的話可表示：T（）T（）偵察員E的話可表示：T（錢）T（）上面五個組成子句集S,求誰是作案者，把T（x）ANSWER（x）并入S1得到。即比S1多出如下一個子句：T（x）ANSWER（x）然后利用消解原理對S1進行消解可得答案：錢和是作案者。.某企業欲招聘一個JAVA程序員，定義如下產生式規則（要求）：r1:IF有工作經驗or（本科以上學歷and有相關知識背景then錄用（0.9）r2:IF工作兩年以上and作過相關工作then有工作經驗（0.8）r3:IF學過數據結構and學過JAVAand學過數據庫and學過軟件工程then有相關知識背景（0.9）r4:學過數據結構（相關課程的成績/100）⑸學過JAVA（相關課程的成績/100）r6:學過數據庫（相關課程的成績/100）r7:學過軟件工程（相關課程的成績/100）⑻做過相關工作：JAVA程序員：1,項目經理：1,數據庫開發工程師：0.9,數據庫管理員：0.7,網絡管理員：0.6,客服人員：0.4設有一本科畢業生甲，其相關課程的成績為數據結構=85,JAVA=80,數據庫=40，軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數據庫管理員和數據庫開發人員根據確定性理論，問該公司應該招聘誰？如果你是該本科生，為了能在招聘中勝出，你應該加強哪門課程，并使該門課程的成績至少達到多少？（15分）解：（1）對于本科畢業生，由r4,r5,r6,r7：CF（學過數據結構）=0.6CF（學過JAVA）=0.8CF（學過數據庫）=0.4CF（學過軟件工程）=0.9由r3,CF（有相關知識背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36CF（本科學歷）=1由r1,CF（錄用）=0.9*min{0.36,1}=0.324（2）對于社會招聘人員，由r8,CF（相關工作）=0.9CF（工作兩年以上）=1由r2,CF（有工作經驗）=0.8*min{1,0.9}=0.72由r1,CF（錄用）=0.9*0.72=0.648所以，該公司應錄用社會招聘人員乙。（3）可以看出，應該加強數據庫的學習，并使該門課程達到80分以上。工智能試卷十九一、選擇題（每題1分，共15分）1、人工智能是一門A）數學和生理學 B-心理學和生理學 C）語言學D）綜合性的交叉學科和邊緣學科2、語義網絡表達知識時，有向弧AKO鏈、ISA鏈是用來表達節點知識的（）。A）無悖性 B）可擴充性C）繼承性3、(A->B)AA=>B是A）附加律 B）拒收律 C）假言推理4、命題是可以判斷真假的D)USA）祈使句 B）疑問句 C）感嘆句5、僅個體變元被量化的謂詞稱為D）述句A）一階謂詞 B）原子公式 C）二階謂詞6、MGU是D）全稱量詞A）最一般合一 8）最一般替換 C）最一般謂詞最一般合一7、下歹|」不在人工智能系統的知識包含的4個要素中D）基替換A）事實 B）規則 C）控制8、當前歸結式是（）時，則定理得證。D）關系A）永真式 B包孕式（subsumed）9、或圖通常稱為C）空子句A）框架網絡 B）語義圖 C）博亦圖 D）狀態圖10、不屬于人工智能的學派是A）符號主義 B）機會主義 C）行為主義 D）連接主義。11、所謂不確定性推理就是從（）的初始證據出發，通過運用（）的知識，最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A）不確定性，不確定性 B）確定性，確定性C）確定性，不確定性 D）不確定性確定性.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現自我完善，這門研究分支學科叫（）oA）專家系統 B）機器學習 C）神經網絡 D）模式識別13、下列哪部分不是專家系統的組成部分（）A.）用戶B）綜合數據庫 C）推理機D）知識庫14、產生式系統的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡單推理15、C（B|A）表示在規則A->B中，證據A為真的作用下結論B為真的A）可信度B）信度C）信任增長度 D）概率二、填空題（每空1.5分，共30分）1、不確定性類型按性質分：，,,。2、在刪除策略歸結的過程中刪除以下子句：含有的子句;含有的子句;子句集中被別的子句的子句。3、對證據的可信度CF（A）、CF（Al）、CF（A2）之間，規定如下關系：CF（~A）=、CF（A1AA2）=、CF（A1VA2）= 4、圖：指由和組成的網絡。按連接同一節點的各邊的邏輯關系又可分為和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的6、產生式系統的推理過程中，從可觸發規則中選擇一個規則來執行，被執行的規則稱為。7、P（B|A）表示在規則中，證據A為真的作用下結論B為真的。8、人工智能的遠期目標是，近期目標是。三、簡答及計算題1、將下列自然語言轉化為謂詞表示形式：（1）所有的人都是要呼吸的。（2）每個學生都要參加考試。（3）任何整數或是正的或是負的。（12分）2、人工智能主要有哪幾種研究途徑和技術方法，簡單說明之。（8分）答：（1）符號智能：主要以符號知識為基礎，通過符號推理進行問題求解而實現的智能，主要包括知識工程和符號處理技術；（2）計算智能：是以數據計算為基礎，通過數值計算進行問題求解而實現的智能，包括人工神經網絡，進化計算，模糊技術等。3、設已知：（1）能閱讀者是識字的；（2）海豚不識字；（3）有些海豚是聰明的；求證:有些聰明者并不能閱讀.（10分）4、下列謂詞公式分別化成相應的子句集。（10分）x（yP（x,y）T?y（Q（x,y）-R（x,y）））5、某企業欲招聘一個JAVA程序員，定義如下產生式規則（要求）：r1：IF有工作經驗or（本科以上學歷and有相關知識背景then錄用（0.9）r2:IF工作兩年以上and作過相關工作then有工作經驗（0.8）⑶IF學過數據結構and學過JAVAand學過數據庫and學過軟件工程 then 有相關知識背景（0.9）r4:學過數據結構（相關課程的成績/100）⑸學過JAVA（相關課程的成績/100）r6:學過數據庫（相關課程的成績/100）r7:學過軟件工程（相關課程的成績/100）r8:做過相關工作：JAVA程序員：1,項目經理：1,數據庫開發工程師：0.9,數據庫管理員：0.7,網絡管理員：0.6,客服人員：0.4設有一本科畢業生甲，其相關課程的成績為數據結構=85,JAVA=80,數據庫=40，軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數據庫管理員和數據庫開發人員根據確定性理論，問該公司應該招聘誰？如果你是該本科生，為了能在招聘中勝出，你應該加強哪門課程，并使該門課程的成績至少達到多少？（15分）解：（1）對于本科畢業生，由r4，r5，r6，r7：CF（學過數據結構）=0.6CF（學過JAVA）=0.8CF（學過數據庫）=0.4CF（學過軟件工程）=0.9由r3，CF（有相關知識背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36CF（本科學歷）=1由r1，CF（錄用）=0.9*min{0.36,1}=0.324（2）對于社會招聘人員，由r8,CF（相關工作）=0.9CF（工作兩年以上）=1由r2,CF（有工作經驗）=0.8*min{1,0.9}=0.72由r1,CF（錄用）=0.9*0.72=0.648所以，該公司應錄用社會招聘人員乙。（3）可以看出，應該加強數據庫的學習，并使該門課程達到80分以上。答案：TOC\o"1-5"\h\z一、1、D 2、C 3、C 4、D 5、A6、A 7、D 8、C 9、D 10、B11、A 12、B 13、A. 14、D 15、B二、1、隨機性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-CF（A）,min{CF（A1）,CF（A2）},max{CF（A1）,CF（A2）}4、節點，有向邊，或圖，與或圖5、最一般合一（MGU）6、被觸發規則7、A—B,概率8、制造智能機器，實現機器智能三、簡答及計算題1、將下列自然語言轉化為謂詞表示形式：（3）所有的人都是要呼吸的。（4）每個學生都要參加考試。（3）任何整數或是正的或是負的。（12分）解：設M（x）：x是人，H（x）：x要呼吸。P(x)：x是學生， Q(x)：x要參加考試。J(x)：x是整數，R(x)：x是正數，N(x)：x是負數。則上述三題就記為：V-x(M(x)^H(x))V-x(P(x)-Q(x))⑶V-x(l(x)-R(x)VN(x)))2、人工智能主要有哪幾種研究途徑和技術方法，簡單說明之。(8分)答：(1)符號智能：主要以符號知識為基礎，通過符號推理進行問題求解而實現的智能，主要包括知識工程和符號處理技術；(2)計算智能：是以數據計算為基礎，通過數值計算進行問題求解而實現的智能，包括人工神經網絡，進化計算,模糊技術等。3、設已知：(1)能閱讀者是識字的；(2)海豚不識字；(3)有些海豚是聰明的；求證:有些聰明者并不能閱讀.(10分)證:定義如下命題：R(x):x能閱讀；L(x):x識字；l(x):x是聰明的；D(x):x是海豚；把已知條件及求證結論翻譯成謂詞公式為x(R(x)-L(x))…已知x(D(x)t?L(x))…已知x(D(x)八l(x))…已知x(l(x)八?R(x))…求證結論將已知條件，求證結論的反化成子句集①?R(x)VL(x)②?D(y)V?L(y)③D(a)@l(a)⑤?l(z)VR(z)⑥?L(a)……2,3歸結(a/y}⑦?R(a)……1,6歸結(a/x}⑧R(a)……4,5歸結(a/z}⑨口……7,8歸結得證.5、下列謂詞公式分別化成相應的子句集。(10分)⑴x(yP(x,y)T?y(Q(x,y)-R(x,y)))解：x(yP(x,y)T?y(Q(x,y)-R(x,y)))==>x(yP(x,y)-y?(?Q(x,y)VR(x,y)))==>x(yP(x,y)-y(Q(x,y)八?R(x,y)))==>x(?yP(x,y)Vy(Q(x,y)八?R(x,y)))==>x(y?P(x,y)Vy(Q(x,y)八?R(x,y)))......改名)==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))==>x(y?P(x,y)Vz(Q(x,z)八?R(x,z)))......y=f(x),z=g(x)消去存在量詞y,z==>x(?P(x,f(x))V(Q(x,g(x))八?R(x,g(x))))==>x((?P(x,f(x))V(Q(x,g(x))八(?P(x,f(x))V?R(x,g(x))))從而謂詞公式的子句集是1?P(x,f(x))V(Q(x,g(x),?P(x,f(x))V?R(x,g(x)))5、某企業欲招聘一個JAVA程序員，定義如下產生式規則(要求)：r1:IF有工作經驗or(本科以上學歷and有相關知識背景then錄用(0.9)r2:IF 工作兩年以上and作過相關工作then有工作經驗(0.8)⑶IF學過數據結構and學過JAVAand學過數據庫and學過軟件工程then 有相關知識背景(0.9)r4:學過數據結構(相關課程的成績/100)⑸學過JAVA(相關課程的成績/100)r6:學過數據庫(相關課程的成績/100)r7:學過軟件工程(相關課程的成績/100)r8:做過相關工作：JAVA程序員：1,項目經理：1,數據庫開發工程師：0.9,數據庫管理員：0.7,網絡管理員：0.6,客服人員：0.4設有一本科畢業生甲，其相關課程的成績為數據結構=85,JAVA=80,數據庫=40，軟件工程=90另有一社會招聘人員乙，參加工作三年，曾做過數據庫管理員和數據庫開發人員根據確定性理論，問該公司應該招聘誰？如果你是該本科生，為了能在招聘中勝出，你應該加強哪門課程，并使該門課程的成績至少達到多少？(15分)解：(1)對于本科畢業生，由r4,r5,r6,r7：CF(學過數據結構)=0.6CF(學過JAVA)=0.8CF(學過數據庫)=0.4CF(學過軟件工程)=0.9由r3,CF(有相關知識背景)=0.9*min{0.85,0.8,0.4,0.9}=0.36CF(本科學歷)=1由r1,CF(錄用)=0.9*min{0.36,1}=0.324(2)對于社會招聘人員，由r8,CF(相關工作)=0.9CF(工作兩年以上)=1由r2,CF(有工作經驗)=0.8*min{1,0.9}=0.72由r1,CF(錄用)=0.9*0.72=0.648所以，該公司應錄用社會招聘人員乙。(3)可以看出，應該加強數據庫的學習，并使該門課程達到80分以上。人工智能試卷二十一、選擇題：(13小題，共13分).人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是(C)。A.明斯基B.扎德C.圖靈D..諾依曼.下列哪個不是人工智能的研究領域(D)A.機器證明B.模式識別C.人工生命D.編譯原理3.神經網絡研究屬于下列(B)學派A.符號主義B.連接主義C.行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變為一個子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（B）A.狀態空間法B.問題歸約法C.謂詞邏輯法D.語義網絡法.在公式中Vymxp（x,y））,存在量詞是在全稱量詞的轄域，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數所定義，它把每個y值映射到存在的那個X。這種函數叫做（B）A.依賴函數B.Skolem函數C.決定函數D.多元函數6.子句~PvQ和P經過消解以后，得到（B）PQ~PI.PvQ7,8.Aa（AvB）oA稱為（C）,~（AaB）o~Av~B稱為（D）四、結合律B.分配律C.吸收律D.摩根律如果問題存在最優解，則下面幾種搜索算法中，（A）必然可以得到該最優解，（D）可以認為在這幾種算法中是“智能程度相對比較高”的算法。0.廣度優先搜索P.深度優先搜索Q.有界深度優先搜索R.