《人工智能導論》試卷

1、人工智能試卷四8、MG遢B)Artifical IntelligenceD)Artifical InformationA）一階謂詞B）原子公式C）二階謂詞D）全稱量詞15.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域,、選擇題（每題1分，共15分）1、AI的英文縮寫是A)Automatic IntelligenceC)Automatice Information2、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證A）永真式B）包孕式（subsume。 C）空子句3、從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是A）正向推理B）反向推理C）雙向

2、推理4、語義網(wǎng)絡表達知識時，有向弧 AKO鏈、ISA鏈是用來表達節(jié)點知識的（）A）無悖性B）可擴充性C）繼承性5、（A-B）AA = B 是A）附加律B）拒收律C）假言推理D）US6、命題是可以判斷真假的A）祈使句B）疑問句C）感嘆句D）陳述句7、僅個體變元被量化的謂詞稱為A）最一般合一 B）最一般替換C）最一般謂詞D）基替換9、1997年5月，著名的“人機大戰(zhàn)”，最終計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為（）A）深藍B） IBMC）深思 D）藍天10、下列不在人工智能系統(tǒng)的知識包含的 4個要素中A）事實 B）規(guī)則C）控制和元知識D）關系11、謂詞邏輯下，子句，C

3、1=LVC1 , C2= ? LVC2 ，若是互補文字的（最一般）合一置換，則其歸結式C=（）A） C1（rVC2 （TB）C1 VC2 C）C1b A C2 oD）C1 AC212、或圖通常稱為A）框架網(wǎng)絡B）語義圖 C）博亦圖D）狀態(tài)圖13、不屬于人工智能的學派是A）符號主義B）機會主義C）行為主義D）連接主義。14、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A）明斯基 B）.扎德C）圖林D）馮.諾依曼主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫(三、簡答及計算題(每題5分，共25分)A)專家系統(tǒng)B)機器學

4、習C)神經(jīng)網(wǎng)絡D)模式識別1、填寫下面的三值邏輯表。二、填空題(每空分，共30分)其中T, F, U分別表示真，假,不能判定1、不確定性類型按性質(zhì)分：隨機性，模糊性，不完全性，不一致性。2、在刪除策略歸結的過程中刪除以下子句：含有 的子句；含有 的子句；子句集中被別的子句 的子句。3、對證據(jù)的可信度CF(A)、CF (A1)、CF(A2)之間，規(guī)定如下關系：CF (A)=、CF (A1AA2 ) =、CF (A1VA2 ) =4、圖：指由 和 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的邏輯關系又可分為 和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的 6、產(chǎn)生式系統(tǒng)的推理過程中，從可觸發(fā)規(guī)則中

5、選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P(B|A)表示在規(guī)則 中，證據(jù)A為真的作用下結論B為真的。8、人工智能的遠期目標是,近期目標是。2、什么是產(chǎn)生式產(chǎn)生式規(guī)則的語義是什么答：3、謂詞公式G通過8個步驟所得的子句集合 S,稱為G的子句集。請寫出這些步驟。4、已知 S=P(f(x),y,g(y),P(f(x),z,g(x),求 MGU解：5、證明G是否是F的邏輯結論；F : x(P(x) Q(a) Q(x)G: x(P(x) Q(x)四、應用題(共30分)1、用語義網(wǎng)絡表示下列信息：(1)胡途是思源公司的經(jīng)理，他 35歲，住在飛天胡同68號(2)清華大學與北京大學進行藍球比賽，最后以 89

6、: 102的比分結束。答：2、圖示博弈樹，其中末一行的數(shù)字為假設的估值，請利用% - B剪枝技術剪去不必要6、被觸發(fā)規(guī)則的分枝。（在節(jié)點及邊上直接加注釋）3、設有如下關系：（1）如果x是y的父親，y又是z的父親，則x是z的祖父；（2）老李是大李的父親；（3）大李是小李的父親；問上述人員中誰和誰是祖孫關系解：答案：一、1、B 2、C3、A 4、C5、C6、D 7、A 8、A9、A 10、D11、A 12、D 13、B 14、C 15、B二、1、隨機性，模糊性，不完全性，不一致性2、純文字，永真式，類含3、-CF（A） , minCF（A1）,CF（A2） , maxCF（A1）,CF（A2）4、

7、節(jié)點，有向邊，或圖，與或圖5、最一般合一（MGU7、A- B,概率8、制造智能機器，實現(xiàn)機器智能2、產(chǎn)生式規(guī)則基本形式：PQQ 或者IF P THEN QP是產(chǎn)生式的前提（前件），用于指出該產(chǎn)生式是否可用的條件Q是一組結論或操作（后件），用于指出當前提P所指示的條件滿足時，應該得出的結 論或應該執(zhí)行的操作產(chǎn)生式規(guī)則的語義：如果前提 P被滿足，則可推出結論Q或執(zhí)行Q所規(guī)定的操作3、1 ）消去蘊含式和等價式一,2）縮小否定詞的作用范圍，直到其作用于原子公式 ：3）適當改名，使量詞間不含同名指導變元和約束變元。4.）消去存在量詞（形成 Skolem標準型）5）消去所有全稱量詞6）化成合取范式2、3、

8、解：現(xiàn)定義如下謂詞F(x,y) x是y的父親；G(x,z)x是y的祖父；用謂詞邏輯表示已知與求解：F(x,y) A F(y,z) -G(x,z)F(L,D) F(D,X) G(u,v),u=,v=. 適當改名，使子句間無同名變元. 消去合取詞A ,用逗號代替，以子句為元素組成一個集合S4、解：k=0;S0=S; S 0= e ;S0不是單元素集，求得差異集 D0=y,z,其中y是變元，z是項，且y不在z中出現(xiàn)。k=k+1=1有 S 1 = S 0 z/y = e z/y = z/y ,S1=S0- z/y =P(f(x),z,g(z),P(f(x),z,g(x),S1不是單元素集，求得差異集

9、D1= z,x ,k=k+1=2; S2=S 1 - z/x = z/y,z/x ,S2=S1- z/x = P(f(z),z,g(z)是單元素集。根據(jù)求 MG法，MGU =2= z/y,z/x 5、證：P(x).從F變換Q(a) V Q(x).從 F 變換n P(y) V1 Q(y) .結論的否定n Q(x).歸結,x/y口.歸結，置換a/x得證。四、其中,L表示老李，D表示大李,X表示小李。先證存在祖孫關系 n F(x,y) Vn F(y,z) F(L,D) F(D,X) n G(u,v) n F(D,z) VG(L,z) G(L,X)口V G(x,z) .從(1)變換.從變換.從變換.結

10、論的否定.歸結，置換 L/x,D/y.歸結，置換 X/z 歸結，置換 L/u,X/v )得證，說明存在祖孫關系。為了求解用一個重言式n G(u,v) VG(u,v) .用重言式代替結論的否定，重言式恒為真 n F(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）數(shù)學和生理學B）心理學和生理學C）語言學D）綜合性的交叉學科和邊緣學科2、語義網(wǎng)絡表達知識時，有向弧 AKO鏈、ISA鏈是用來表達節(jié)點知識的（）A

11、）無悖性B）可擴充性C）繼承性3、（A-B）AA= B 是A）附加律B）拒收律C）假言推理D）US4、命題是可以判斷真假的A）祈使句B）疑問句C）感嘆句D）陳述句5、僅個體變元被量化的謂詞稱為A）一階謂詞B）原子公式C）二階謂詞D）全稱量詞6、MG遢A）最一般合一B）最一般替換 C）最一般謂詞D）基替換最一般合一7、下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實B）規(guī)則C）控制D）關系 8、當前歸結式是（）時，則定理得證A）永真式B包孕式（subsumedC）空子句9、或圖通常稱為A框架網(wǎng)絡 B）語義圖C）博亦圖D）狀態(tài)圖10、不屬于人工智能的學派是A）符號主義B）機會主義C）行為主義D）

12、連接主義。11、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運用（）的知識，最終推出具 有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A）不確定性，不確定性B）確定性，確定性C）確定性，不確定性D）不確定性 確定性12.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。A）專家系統(tǒng)B）機器學習C）神經(jīng)網(wǎng)絡D）模式識別13、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫C）推理機 D）知識庫14、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡單推

13、理15、C（B|A）表示在規(guī)則A-B中，證據(jù)A為真的作用下結論B為真的二、填空題（每題1分，共30分）1、人工智能的含義最早由一位科學家于 1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是 2、從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是 3、AI的英文縮寫是4、不確定性類型按性質(zhì)分：,.5、在刪除策略歸結的過程中刪除以下子句：含有 的子句；含有 的子句；子句集中被別的子句 的子句。6、對證據(jù)的可信度CF （A）、CF（A1）、CF （A2）之間，規(guī)定如下關系：CF （A） =、CF （A1AA2 ） =、CF （A1VA2 ） =。7、圖：指由 組成的網(wǎng)絡。

14、按連接同一節(jié)點的各邊的邏輯關 系又可分為 和。8、合一算法：求非空有限具有相同謂詞名的原子公式集的 。9、1997年5月，著名的“人機大戰(zhàn)”，最終名為“ ”的計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗A）可信度B）信度C）信任增長度D）概率10、人工智能的遠期目標是 ,近期目標是。三、簡答及計算題（每題5分，共25分）1、解釋下列模糊性知識：1）張三，體型，（胖，）。2）（患者，癥狀，（頭疼，）入（患者，癥狀，（發(fā)燒，）一（患者，疾病，（感冒，）答：證：四、應用題（共30分）1、將命題：“某個學生讀過三國演義”分別用謂詞公式和語義網(wǎng)絡表示答：2、圖示博弈樹，其中末一行的數(shù)字為假設的估值

15、，請利用 - （3剪枝技術剪去不必要的分枝。（在節(jié)點及邊上直接加注釋）2、簡單闡述產(chǎn)生式系統(tǒng)的組成：答：3、補齊產(chǎn)生式系統(tǒng)與圖搜索的對比表答:產(chǎn)生式系統(tǒng)圖搜索初始節(jié)點口標條件狀態(tài)轉換規(guī)則 問題變換規(guī)則規(guī)則庫操作集節(jié)點（狀態(tài)/問腮）控制策略4、已知 W=P（f（x,g（A,y）,z）,P（f（x,z）,z）,求 MGU解：5、證明G是否是F1、F2的邏輯結論；3、利用謂詞邏輯表示下列知識（包括已知和結論），然后化成子句集:（1）凡是清潔的東西就有人喜歡；（2）人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：答案：一、1、D 2、C 3、C 4、D 5、A6、A 7、D 8、C 9、D 10、BF1:

16、x(P(x) (Q(x) R(x)F2: x(P(x) S(x)G: x(S(x) R(x)11、A 12、B 13、A.14、D 15、B二、1、圖林2、正向推理 3、Artifical Intelligence4、隨機性，模糊性，不完全性，不一致性5、純文字，永真式，類含6、-CF（A） , minCF（A1）,CF（A2） , maxCF（A1）,CF（A2）7、節(jié)點和有向邊，或圖，與或圖 8、最一般合一（MGU9、深藍10、制造智能機器，實現(xiàn)機器智能三、1、答：1）表示：命題“張三比較胖2 ）解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。2、答：1）產(chǎn)生式規(guī)則庫：描述相應領域知識

17、的產(chǎn)生式規(guī)則集2）數(shù)據(jù)庫：（事實的集合）存放問題求解過程中當前信息的數(shù)據(jù)結構（初始事實、外部 數(shù)據(jù)庫輸入的事實、中間結果事實和最后結果事實）3）推理機：（控制系統(tǒng)）是一個程序，控制協(xié)調(diào)規(guī)則庫與數(shù)據(jù)庫的運行，包含推理方式 和控制策略。3、答：元，g(A,y)是項，且z不在g(A,y)中出現(xiàn)。k=k+1=1有 5 1 = 5 0 g(A,y)/z =). g(A,y)/z = g(A,y)/z ,S1=S0- g(A,y)/z =P(f(x,g(A,y),g(A,y),S1是單元素集。根據(jù)求 MG境法,MGU = 1= g(A,y)/z 5、證：n P(x) V Q(x)n P(y) V R(y)

18、 P(a) S(a)n S(z) R(z) R(a)n R(a)口得證.從F1變換.從F1變換.從F2變換.從F2變換.結論的否定.歸結 a/y.歸結 a/z .歸結四、1、答：謂詞公式表示:x(student (x) A read(x,三國演義)語義網(wǎng)絡表示如圖:產(chǎn)生式系統(tǒng)圖搜索初始事實數(shù)據(jù)初始節(jié)點1目標條件目標節(jié)點產(chǎn)生式規(guī)則狀態(tài)轉換規(guī)則 何做變換規(guī)則現(xiàn)則岸操作集動態(tài)數(shù)據(jù)陣行點（狀態(tài)/問密）抻制策格搜索策略2、4、解：k=0;S0=S; S0= ;S0不是單元素集，求得差異集 D0=g（A,y）,z, 其中z是變3、證：現(xiàn)定義如下謂詞L(x,y) 某人x喜歡某物y;P(y)-某物y是清潔的東

19、西y x(P(y) -L(x,y) = n P(y) V L(f(y),y) x( n L(x,Fly) = n L(x,Fly)P(Fly) .結論的反 L(f(Fly), Fly) . (1)(3)歸結，置換Fly/y口 . .(2)(4)歸結,f(Fly)/x得證。人工智能試卷八一、填空題(共30分).歸結法中，可以通過 的方法得到問題的解答。.”須為9崢,響以財化成子句形式為： .從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是是是 的英文縮寫_5. 人工智能的基本技術包括 、。.目前所用的知識表示形式有 、等。.產(chǎn)生式系統(tǒng)有三部分組成 , 和推理機。其中推理可分為 和。.在

20、謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ,而在 一個量詞的轄域中與該量詞的指導變元相同的變元稱為 ,其他變元稱為 9、1997年5月，著名的“人機大戰(zhàn)”，最終名為“ ”的計算機以比 的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是 ,近期目標是。11、謂詞邏輯中，重言式(tautlogy )的值是。12、利用歸結原理證明定理時，若得到的歸結式為 ,則結論成立。13、若 C1=n PVQ C2=Wn Q 貝U C1 和 C2的歸結式 R (C1, C0 =。14、若 C1=P(x) VQ(x) , C2/ P(a) VR(y),則 C1 和 C2的歸結式

21、R(C1, C0 =。15、在歸結原理中，幾種常見的歸結策略并且具有完備性的是 ,。16、在啟發(fā)式搜索當中，通常用 來表示啟發(fā)性信息。17、假言才t理(A B) A ，假言三段論(A B)(B C).填空題1、修改證明樹o vAbovefc2、 o3、正向推理4、Artifical Inteligence5、搜索技術推理技術知識表示和知識庫技術、歸納技術、聯(lián)想技術6、框架語義網(wǎng)絡 面向?qū)ο?、綜合數(shù)據(jù)庫知識庫正向推理反向推理8、轄域約束變元自由變元9、深藍制造智能機器實現(xiàn)機器智能 TOC o 1-5 h z 鬼空集l PVP 或 1Q QQ （a） V R（y）刪除策略支持集策略 線件歸結策略

22、啟發(fā)函數(shù)B AC二、選擇題（15小題，共15分.人工智能是一門A）數(shù)學和生理學B）心理學和生理學C）語言學D）綜合性的交叉學科和邊緣學科2、下列哪個不是人工智能的研究領域（）機器證明模式識別人工生命D.編譯原理.神經(jīng)網(wǎng)絡研究屬于下列（）學派符號主義連接主義行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）狀態(tài)空間法問題歸約法C.謂詞邏輯法9、產(chǎn)生式系統(tǒng)的推理不包括（）D.語義網(wǎng)絡法.在公式中y xp（x,y）,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯

23、地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）依賴函數(shù)Skolem 函數(shù)決定函數(shù)D.多元函數(shù).子句P Q和P經(jīng)過消解以后，得到（）PQPd. P Q7、（A B）A 稱為（）， （AB）A B 稱為（）a.結合律B.分配律C.吸收律D.摩根律8、下列哪部分不是專家系統(tǒng)的組成部分（）A正向推理B）逆向推理C）雙向推理D）簡單推理10、C（B|A）表示在規(guī)則A-B中，證據(jù)A為真的作用下結論B為真的A）可信度B）信度C）信任增長度D）概率11、AI的英文縮寫是A）Automatic IntelligenceB）Artifical IntelligenceC）Automatice I

24、nformationD）Artifical Information12、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A）永真式B）包孕式（subsume。C）空子句13、在公式中 y xp（x,y）,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）依賴函數(shù)Skolem 函數(shù)決定函數(shù)D.多元函數(shù)A.）用戶B）綜合數(shù)據(jù)庫C）推理機D）知識庫A. P14、子句-P Q和P經(jīng)過消解以后，得到（）QPe. P Q15、如果問題存在最優(yōu)解，則下面幾種搜索算法中，()必然可以得到該最優(yōu)解a.廣

25、度優(yōu)先搜索B.深度優(yōu)先搜索C.有界深度優(yōu)先搜索D.啟發(fā)式搜索三、簡答與應用題深度優(yōu)先方法的特點是什么6什么是置換置換是可交換的嗎6分某問題由下列公式描述：8歐卡現(xiàn)也瑞y)(Vx)P(W(Vk)F(匈門Qb,即)(Vz)CVy)Q(b,耳 瓦況心(1)、試用歸結法證明(3x)R(x) ; 8分下圖所示博弈樹，按從左到右的順序進行 - (3剪枝搜索，試標明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應選擇的走步。10分23-4 10 2 5 7 S-5 ID 5 -6 -1 -2 1 T 5 6 3 B T 4 7 4分 設有如下關系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老李是大

26、李的父親；(3)大李是小李的父親；問上述人員中誰和誰是祖孫關系(10分)6.張某被盜，公安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“趙 與錢中至少有一人作案”；偵察員D說：“錢與孫至少有一人作案”；偵察員c 說：“孫與李中至少有一個作案”；偵察員D說“趙與孫至少一個與案無關”； 偵察員E說“錢與李中至少有一人與此案無關”。如果這五個偵察員的話都是可 信的，試用消解原理推理求出誰是盜竊犯。(10分)選擇題123456789101112131415CDBBBBCADBBCBBA三、簡答與應用題1.解答：(1)屬于圖搜索；(2)是一個通用的搜索方法；(3)如果深度限制不合適,用謂詞邏輯表示已

27、知與求解：有可能找不到問題的解；(4)不能保證找到最優(yōu)解(1) F(x ,y) A F(y,z) -G(x,z)2.回答：通常用有序?qū)Φ募蟬 = t1/v1 , t2/v2 ,，tn/vn來表示任一置換，置換(2) F(L,D)(3) F(D,X)集的元素ti/vi的含義是表達式中的變量vi處處以項ti來替換，用s對表達式E作置 換后的例簡記為Es。3.其中,L表示老李，D表示大李,X表示小李。T (Vx)CVyXPty)V QQ,匕或瑞 y)= P(y)V Qg, % 咸W y) CVX)P(fKM=迎醐陽(VWP(幻八Q(b,C,省TRIM動= N磯YP(對八 QM C,疝VR(X切)=

28、 (V見用分j, wvwm)=(切瑪 W= (Vx)CVyXQ( & y) v Q(瓦再西)i= Q(b,瑪力VQ(b,駕用力目標求反m= (Vx)R(x)=(芯)變量換包后，得子句集:(守(nP(yl)VQ電乩 QL y 1江P(fi功,P(同VQ出小力)VR(Mk或, 泗,網(wǎng)V 09 M 5,一網(wǎng)空5.、解：現(xiàn)定義如下謂詞先證存在祖孫關系F(x,y) V F(y,z)F(L,D)F(D,X)G(u,v)F(D,z) VG(L,z) G(L,X)V G(x,z) .從(1)變換.從(2)變換.從(3)變換.結論的否定.歸結,置換 L/x,D/y.歸結，置換 X/z 口.歸結，置換 L/u,X

29、/v 得證，說明存在祖孫關系。為了求解用一個重言式F(x,y) x是y的父親;G(x,z)是y的祖父;G(u,v) VG(u,v) .用重言式代替結論的否定，重言式恒為真般來說，置換是不可交換的，即兩個置換合成的結果與置換使用的次序有關 G(u,v),u=,v=1.人工智能產(chǎn)生于哪一年（A.狀態(tài)空間法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（趙）、?。ㄥX）偵察員B的話可表示：T（錢）1（孫）偵察員C的

30、話可表示：T（孫）k（李）偵察員D的話可表示：T（趙）“T（孫）偵察員E的話可表示：T（錢）T（李）上面五個組成子句集S,求誰是作案者，把-T（x） ANSWER（初入Si得到。即比S 多出如下一個子句：T（x） ANSWER（x）然后利用消解原理對S進行消解可得答案：錢和孫是作案者。人工智能試卷九試題部分：一、選擇題（15小題，共15分）A.1957B.1962C.1956D.1979.下列哪個不是人工智能的研究領域（）機器證明模式識別人工生命D.編譯原理.神經(jīng)網(wǎng)絡研究屬于下列（）學派符號主義連接主義行為主義D.都不是.已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子

31、問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）問題歸約法謂詞邏輯法D.語義網(wǎng)絡法.在公式中 y xp（x,y）,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）依賴函數(shù)Skolem 函數(shù)決定函數(shù)D.多元函數(shù).子句P Q和P經(jīng)過消解以后，得到（）PQPf. P Q7、（A B）A 稱為（）， （AB）A B 稱為（）b.結合律B.分配律C.吸收律D.摩根律9、10.如果問題存在最優(yōu)解，則下面幾種搜索算法中，（）必然可以得到該最優(yōu)解，（） 可以認為是“智能程度相對比較高”的算法。D.廣

32、度優(yōu)先搜索E.深度優(yōu)先搜索F.有界深度優(yōu)先搜索G.啟發(fā)式搜索.產(chǎn)生式系統(tǒng)的推理不包括（）正向推理逆向推理雙向推理D.簡單推理.下列哪部分不是專家系統(tǒng)的組成部分（）用戶綜合數(shù)據(jù)庫推理機D.知識庫.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域, 主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）專家系統(tǒng)機器學習神經(jīng)網(wǎng)絡D.模式識別14、人工智能是一門A）數(shù)學和生理學B）心理學和生理學C）語言學D）綜合性的交叉學科和邊緣學科15、語義網(wǎng)絡表達知識時，有向弧 AKO鏈、ISA鏈是用來表達節(jié)點知識的（）。A）無悖性B）可擴充性C）繼承性二、填空題（共3

33、0分）：.歸結法中，可以通過 的方法得到問題的解答。.”須 為（。崢,y）T詆峭x,刻化成子句形式為： 。.從已知事實出發(fā)，通過規(guī)則庫求得結論的產(chǎn)生式系統(tǒng)的推理方式是 8.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 ,而在 一個量詞的轄域中與該量詞的指導變元相同的變元稱為 ,其他變元稱為 9、1997年5月，著名的“人機大戰(zhàn)”，最終名為“ ”的計算機以比 的總比分將世界國際象棋棋王卡斯帕羅夫擊敗。10、人工智能的遠期目標是 ,近期目標 是。11、謂詞邏輯中，重言式（tautlogy ）的值是。12、利用歸結原理證明定理時，若得到的歸結式為 ,則結論成立。13、若 C1/PVQ

34、 C2=PVI Q 貝U C1 和 C2的歸結式 R （C1, C0 =。14、若 C1=P（x） VQ（x） , C2/ P（a） VR（y）,則 C1 和 C2的歸結式 R（C1, C0 =。15、在歸結原理中，幾種常見的歸結策略并且具有完備性的是 ,。16、在啟發(fā)式搜索當中，通常用 來表示啟發(fā)性信息。17、假言才t理（A B）A ，假言三段論（A B）（B C）.三、簡答與應用題是是 的英文縮寫_.人工智能的基本技術包括 、歸納技術、聯(lián)想技術。.目前所用的知識表示形式有 、等。.產(chǎn)生式系統(tǒng)有三部分組成, 和推理機。其中推理可分為 和1、剪枝方法只是極小極大方法的一種近似，剪枝可能會遺漏掉

35、最佳走步。這種說法是 否正確（6分）2.將下列謂詞公式化成子句集xy zPz Qx,z Rx,y, fa 。（6 分）3-4 10 2 5 7 B -5 10i 5 -6 -1 -2 1 -2 5 & 3 5 -4 4-3 43、解釋下列模糊性知識: 1）張三，體型，（胖，） 2）（患者，癥狀，（頭疼，）入（患者，癥狀，（發(fā)燒，）一（患者，疾病，（感冒，）（6分）4.寫出圖中樹的結點兩個訪問序列，要求分別滿足以下兩個搜索策略：（6分）深度優(yōu)先搜索（2）廣度優(yōu)先搜索答案部分一、選擇題123456789101112131415CDBBBBCDADDABDC5、產(chǎn)生式系統(tǒng)由哪些部分組成.張某被盜，公

36、安局派了五個偵察員去調(diào)查。研究案情時，偵察員A說：“趙與錢中 至少有一人作案”；偵察員D說：“錢與孫至少有一人作案”；偵察員C說：“孫與李 中至少有一個作案”；偵察員D說“趙與孫至少一個與案無關”；偵察員E說“錢與李 中至少有一人與此案無關”。如果這五個偵察員的話都是可信的，試用消解原理推理求 出誰是盜竊犯。（15分）.下圖所示博弈樹，按從左到右的順序進行-（3剪枝搜索，試標明各生成節(jié)點的到推值，何處發(fā)生剪枝，及應選擇的走步。填空題.修改證明樹.?？趨^(qū)噸.正向推理. Artifical Inteligence.搜索技術推理技術知識表示和知識庫技術. 框架 語文網(wǎng)絡 面向?qū)ο?綜合數(shù)據(jù)庫知識庫正

37、向推理 反向推理. 轄域 約束變元 自由變元.深藍.制造智能機器實現(xiàn)機器智能. M.空集. 1 PV P 或 1 Q Q. Q (a) VR (y).刪除策略支持集策略線性歸結策略.啟發(fā)函數(shù). B A C三、簡答與應用題1不正確。-剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對于搜索最佳走步?jīng)]有意義的 分枝，其找到的最佳走步與極小極大方法找到的結果是一樣的。而且搜索效率有很大提 高。2、 xyzPz Q x,z R x,y, f ax y 1 z P(z) 1 Q x,z R(x,y,f(a)x y z P(z) Q(x,z) R(x,y,f (a)y z P(z) Q(b,z) R(b,y,f(a)

38、y P(g y ) Q(b,g y ) R(b, y,f (a)P(gy) Q(b,gy) R(b,y,f(a)3、答：1)表示：命題“張三比較胖2 )解釋為：如果患者有些頭疼并且發(fā)高燒，則他患了重感冒。4、解：(1 )深度優(yōu)先搜索：1 一 2 5 6 1 0 1 1 3 7 - 1 2 1 3 4 一 8 1 9(2)廣度優(yōu)先搜索：1 一 2 - 3 4 5 6 7 8 9 1 0 1 1 1 2 1 3 145解答：組成產(chǎn)生式系統(tǒng)的三要素：(1)綜合數(shù)據(jù)庫；(2) 一組產(chǎn)生式規(guī)則(或者規(guī)則 集)；(3) 一個控制系統(tǒng)(或者控制策略)6、解：設用T(x)表示x是作案者，則偵察員A的話可表示：

39、T(趙NT(錢)偵察員B的話可表示：T(錢卜T(孫)偵察員C的話可表示：T(孫)T(李)偵察員D的話可表示：T(趙)”T(孫)偵察員E的話可表示：T(錢)“T(李)上面五個組成子句集S,求誰是作案者，把T(x)討ANSWER(替入S得到。即比Si 多出如下一個子句：T(x) ANSWER(x)然后利用消解原理對S進行消解可得答案：錢和孫是作案者。3-1I12 5 T S-blU 5 -e -I i -2 5 ft 3 B -1 1-3 47.人工智能試卷葉一、選擇題（15小題，共15分）1、97年5月，著名的“人機大戰(zhàn)”，最終計算機以比的總比分將世界國際象棋棋王卡斯帕羅夫擊敗，這臺計算機被稱為

40、（）A）深藍B） IBMC）深思D）藍天2、下列不在人工智能系統(tǒng)的知識包含的 4個要素中A）事實 B）規(guī)則C）控制和元知識D）關系3、謂詞邏輯下，子句，C1=LVC1 , C2= ? LVC2, 若是互補文字的（最一般）合一置換，則其歸結式C=（）A） C1（rVC2 （TB）CT VC2C）C1b A C2 oD）C1 AC24、或圖通常稱為A）框架網(wǎng)絡B）語義圖C）博亦圖D）狀態(tài)圖5、不屬于人工智能的學派是A）符號主義B）機會主義C）行為主義D）連接主義。6、人工智能的含義最早由一位科學家于1950年提出，并且同時提出一個機器智能的測試模型，請問這個科學家是A）明斯基B）.扎德C）圖林D）

41、馮.諾依曼7、要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）A）專家系統(tǒng)B）機器學習C）神經(jīng)網(wǎng)絡D）模式識別8、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫C）推理機D）知識庫9、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理C）雙向推理D）簡單推理10、C（B|A）表示在規(guī)則A-B中，證據(jù)A為真的作用下結論B為真的A）可信度B）信度C）信任增長度D）概率11、AI的英文縮寫是A）Automatic IntelligenceB）Artifical IntelligenceC

42、）Automatice InformationD）Artifical Information12、反演歸結（消解）證明定理時，若當前歸結式是（）時，則定理得證。A）永真式B）包孕式（subsume。C）空子句13、在公式中y xp（x,y）,存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的可能依賴于y值。令這種依賴關系明顯地由函數(shù)所定義，它把每個y值映射到存在的那個x。這種函數(shù)叫做（）依賴函數(shù)Skolem 函數(shù)決定函數(shù)D.多元函數(shù)14、子句P Q和P經(jīng)過消解以后，得到（）PQPG. P Q15、如果問題存在最優(yōu)解，則下面幾種搜索算法中， （）必然可以得到該最優(yōu)解。H.廣度優(yōu)先搜索I.深度優(yōu)先搜索

43、J.有界深度優(yōu)先搜索D.啟發(fā)式搜索二、填空題（共30分）：1.在謂詞公式中，緊接于量詞之后被量詞作用的謂詞公式稱為該量詞的 , 而在一個量詞的轄域中與該量詞的指導變元相同的變元稱為 ,其他變元稱 為2、假言推理（A B） A ，假言三段論（A B）（B C） 3、幾種常用的歸結策略： 、支持集策略、線形歸結策略、輸入歸結策略、 單元歸結策略4、在諸如走迷宮、下棋、八數(shù)碼游戲等游戲中，常用到的一種人工智能的核心技術稱 為技術，解這類問題時，常把在迷宮的位置、棋的布局、八數(shù)碼所排成的形 勢用圖來表，這種圖稱為5.在啟發(fā)式搜索當中，通常用 來表示啟發(fā)性信息。6.在二人博弈問題中，最常用的一種分析技術

44、是 ,這種方法的思想是先生 成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出 了7、不確定性類型按性質(zhì)分： , ,8、在刪除策略歸結的過程中刪除以下子句：含有 的子句；含有 的子句；子句集中被別的子句 的子句。9、對證據(jù)的可信度CF （A）、CF（A1）、CF （A2）之間，規(guī)定如下關系：CF (A)=、CF (A1AA2 ) =、CF (A1VA2 ) =。10、圖：指由 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的邏輯關系又可分為 和。11、合一算法：求非空有限具有相同謂詞名的原子公式集的 。12、開發(fā)專家系統(tǒng)所要解決的基本問題有三個，那就是知識的獲取、知識的表示和 知識

45、表示的方法主要有 , , 和語義網(wǎng)絡等，在語義網(wǎng)絡表示知識時, 所使用的推理方法有 和三、簡答與應用題1、謂詞邏輯形式化下列描述“不存在最大的整數(shù)” (4分)% B剪枝的條件是什么？(6分)3、某問題由下列公式描述：0) 5位頤卡洌田刃T中,工歐y) (3)(VX)P1(力以即儂c, T咽功5理Q(b,蒼撲氫b,蒼屯(1)、試用歸結法證明(3x)R(x);(8分).專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些 共同點和特點(7分).何謂“圖靈實驗”簡單描述之(5分)6、設有如下關系：(1)如果x是y的父親，y又是z的父親，則x是z的祖父；(2)老 李是大李的父親；(

46、3)大李是小李的父親；問上述人員中誰和誰是祖孫關系(10分)7.給19九個數(shù)字排一個序列，使得該序列的前 n(n=1,9)個數(shù)字組成的整數(shù)能被n整除。(1)、討論哪些知識可以幫助該問題的求解。(2)、用產(chǎn)生式系統(tǒng)描述該問題.(15分)答案部分一、選擇題ADADBCBADBBCBBA.、填空題1、轄域約束變元自由變元2、B A C3、刪除策略4、圖搜索 狀態(tài)空間圖(或狀態(tài)圖)5、啟發(fā)函數(shù)6、極大極小分析法-剪枝技術7、隨機性模糊性不一致性不確定性8、純文字永真 類含9、CF (AminCF(A1), CF(A2) maxCF(A1),CF (A2)10、或圖與或圖11、最般合、12、知識的運用邏

47、輯表示法(謂詞表示法)框架 產(chǎn)生式 AKO ISA三、簡答及應用題1、定義謂詞G(x) : x為整數(shù)D(x,y) : x 大于 y形式化為：1x G(x) y G(y) D(x, y)或者 xG(x) y G(y) D(y,x)2、回答：口剪枝：若任一極小值層節(jié)點的(3值小于或等于它任一先輩極大值節(jié) 點的0c值，即0c (先輩層) (3 (后繼層)，則可中止該極小值層中這個 MIN節(jié)點B剪枝：若任一極大值層節(jié)點的 口值大于或等于它任一先輩極小值層節(jié)點的 B 值，即0c (后繼層)3 (先輩層)，則可以中止該極大值層中這個 MAX?點以下的 搜索過程。這個MAX?點的最終倒推值就確定為這個 值。

48、3、化子句集如下:卬田4以乂產(chǎn)幻伊力P(力-QX虱 f N歡(巾 VQM K, gx, y)(3)(VX)W)(4X)PA QQ, 0 冷tROiOO)= CVx)KP(H)AQ(b. c, k)VR(M4) fV火% 即VR(1X期(5XVxXVy)q(t 江 y)TQb. & 陽)= ERNyXytU & 科皿 & f(y)= Q(b, k 協(xié)VQ(b,應 f(y) 目標求反二= 寸用一網(wǎng)x)殳量換名后，得子句集:(田 a). P&l) V Q(b, xl, g(zU yl),P(功 P(x3)VFM c, xA)VR x( VyP(x,y) V =1 y(Q(x,y) A R(x,y)=

49、 x(|3 yP(x,y) V3 y(Q(x,y) A R(x,y) 改名)= x(m y P(x,y) V 3 z(Q(x,z) A R(x,z)= x(m y P(x,y) V m z(Q(x,z) A R(x,z)y=f(x),z=g(x)消去存在量詞y,z,這種圖稱為 狀態(tài)空間圖(或狀態(tài)圖).在啟發(fā)式搜索當中，通常用啟發(fā)函數(shù) 來表示啟發(fā)性信息。.在二人博弈問題中，最常用的一種分析技術是極大極小分析法，這種方法的思想是先生成一棵博弈樹，然后再計算其倒推值。但它的效率較低，因此人們在此基礎上，又提出了-剪枝技術.某產(chǎn)生式系統(tǒng)中的一條規(guī)則：A (x) B (x),則前件是A (x),后件是B

50、 (x).在框架和語義網(wǎng)絡兩種知識表示方法中，框架 適合于表示結構性強的知識、而語義網(wǎng)絡則適合表示一些復雜的關系和聯(lián)系的知識。面向?qū)ο蟛粌H僅是一種知識表示方法，也是一種流行的軟件設計和開發(fā)技術。三、簡答題：(3小題，共27分).把下列謂詞公式分別化成相應的子句集：x( yP(x,y) y(Q(x,y) -R(x,y)(9分)解：Vx(，yp(x,y) f Vy(Q(x,y) -R(x,y)= *x(yP(x,y) fmy(Q(x,y) V R(x,y)=里x( kyP(x,y) 一 3 y(Q(x,y) A R(x,y)= x( P(x,f(x) V (Q(x,g(x) A R(x,g(x)

51、= x(P(x,f(x) V (Q(x,g(x) A (P(x,f(x) V R(x,g(x)從而謂詞公式的子句集是P(x,f(x) V (Q(x,g(x),P(x,f(x) V R(x,g(x).專家系統(tǒng)的一般步驟有哪些專家系統(tǒng)的開發(fā)與一般的軟件系統(tǒng)開發(fā)相比較，有哪些 共同點和特點(5分)答：(1)專家系統(tǒng)與一般的軟件系統(tǒng)開發(fā)無異，其開發(fā)過程同樣要遵循軟件工程的步 驟和原則，即也要進行系統(tǒng)分析、系統(tǒng)設計等幾個階段的工作。(2)但由于它是專家系統(tǒng)，而不是一般的軟件系統(tǒng)，所以，又有其獨特的地方，主要 包括以下幾個步驟：1。)系統(tǒng)總體分析與設計；知識獲?。? )知識表示與知識描述語言設計；13)知

52、識庫設計、知識庫管理系統(tǒng)設計;1 4 ）推理機與解釋模塊設計;1 5 ）總控與界面設計1 6 ） 編程與調(diào)試1 7 ） 測試與評價1 8 ） 運行與維護（3）可以看出它有如下特點:2）知識獲取和知識表示設計是一切工作的起點；知識表示與知識描述語言確定后，其他設計可同時進行;2、八數(shù)碼游戲，初始棋局和目標棋局如圖，定義啟發(fā)函數(shù)h （x）表示某狀態(tài)下與目標數(shù)碼不同的位置個數(shù)，用全局擇優(yōu)法畫出搜索的過程。（8分）初始狀態(tài)：小目，目標狀態(tài):解:4、試實現(xiàn)一個“大學教師”的框架，大學教師類屬于教師，包括以下屬性：學歷（學 士、碩士、博士）、專業(yè)（計算機、電子、自動化、）、職稱（助教、講師、副教授、 教授

53、）（5分）解：框架名： 大學教師,類屬： B）AA= B 是A）附加律B）拒收律4、命題是可以判斷真假的A）祈使句B）疑問句5、僅個體變元被量化的謂詞稱為A）一階謂詞B）原子公式6、MG遢A）最一般合一B）最一般替換最一般合一B）可擴充性C）繼承性C）假言推理D）USC）感嘆句D）陳述句C）二階謂詞D）全稱量詞C）最一般謂詞 D）基替換7、下列不在人工智能系統(tǒng)的知識包含的4個要素中A）事實B）規(guī)則C）控制D）關系8、當前歸結式是（）時，則定理得證。A）永真式B包孕式（subsume。 C）空子句9、或圖通常稱為A）框架網(wǎng)絡B）語義圖C）博亦圖D）狀態(tài)圖10、不屬于人工智能的學派是A）符號主義B

54、）機會主義C）行為主義D）連接主義。11、所謂不確定性推理就是從（）的初始證據(jù)出發(fā)，通過運用（）的知識，最終推出具 有一定程度的不確定性但卻是合理或者近乎合理的結論的思維過程。A）不確定性，不確定性B）確定性，確定性C）確定性，不確定性D）不確定性 確定性.要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。A）專家系統(tǒng)B）機器學習C）神經(jīng)網(wǎng)絡D）模式識別13、下列哪部分不是專家系統(tǒng)的組成部分（）A.）用戶B）綜合數(shù)據(jù)庫C）推理機 D）知識庫14、產(chǎn)生式系統(tǒng)的推理不包括（）A）正向推理B）逆向推理

55、C）雙向推理D）簡單推理15、C（B|A）表示在規(guī)則A-B中，證據(jù)A為真的作用下結論B為真的A）可信度B）信度C）信任增長度D）概率二、填空題（每空分，共30分）1、不確定性類型按性質(zhì)分： , ,2、在刪除策略歸結的過程中刪除以下子句：含有 的子句；含有 的子句；子句集中被別的子句 的子句。3、對證據(jù)的可信度CF （A）、CF（A1）、CF （A2）之間，規(guī)定如下關系：CF （A） =、CF （A1AA2 ） =、CF （A1VA2 ） =4、圖：指由 和 組成的網(wǎng)絡。按連接同一節(jié)點的各邊的邏輯關系又可分為 和。5、合一算法：求非空有限具有相同謂詞名的原子公式集的 6、產(chǎn)生式系統(tǒng)的推理過程中，

56、從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行，被執(zhí)行的規(guī)則稱為。7、P（B|A）表示在規(guī)則 中，證據(jù)A為真的作用下結論B為真的。8、人工智能的遠期目標是,近期目標是。三、簡答及計算題1、將下列自然語言轉化為謂詞表示形式：所有的人都是要呼吸的。（2）每個學生都要參加考試。（3）任何整數(shù)或是正的或是負的。（12分）2、人工智能主要有哪幾種研究途徑和技術方法，簡單說明之。 （8分）答：（1）符號智能：主要以符號知識為基礎，通過符號推理進行問題求解而實現(xiàn)的智能，主要包括知識工程和符號處理技術；（2）計算智能：是以數(shù)據(jù)計算為基礎，通過數(shù)值計算進行問題求解而實現(xiàn)的智能，包 括人工神經(jīng)網(wǎng)絡，進化計算，模糊技術等。3、設

57、已知：（1）能閱讀者是識字的；（2）海豚不識字；（3）有些海豚是聰明的；求證：有些聰明者并不能閱讀.（10分）4、下列謂詞公式分別化成相應的子句集。（10分）x（ yP（x,y）-y（Q（x,y） - R（x,y）5、某企業(yè)欲招聘一個JAVA程序員，定義如下產(chǎn)生式規(guī)則（要求）：r1: IF有工作經(jīng)驗 or （本科以上學歷 and有相關知識背景then 錄用（r3:IF學過數(shù)據(jù)結構and學過JAVA and學過數(shù)據(jù)庫and 學過軟件工程 then有相關知識背景r4:學過數(shù)據(jù)結構（相關課程的成績/100 ） 學過JAVA （相關課程的成績/100 ）r6:學過數(shù)據(jù)庫（相關課程的成績/100 ）r7

58、:學過軟件工程（相關課程的成績/100 ）r8:做過相關工作：JAVA程序員：1,項目經(jīng)理：1,數(shù)據(jù)庫開發(fā)工程師：，數(shù)據(jù)庫管理員：，網(wǎng)絡管理員：， 客服人員：設有一本科畢業(yè)生甲，其相關課程的成績?yōu)閿?shù)據(jù)結構=85,JAVA=80,數(shù)據(jù)庫=40,軟件工程二90另有一社會招聘人員乙，參加工作三年，曾做過數(shù)據(jù)庫管理員和數(shù)據(jù)庫開發(fā)人員根據(jù)確定性理論，問該公司應該招聘誰如果你是該本科生，為了能在招聘中勝出，你應 該加強哪門課程，并使該門課程的成績至少達到多少（15分）解：（1）對于本科畢業(yè)生，由r4, r5, r6, r7:CF （學過數(shù)據(jù)結構）=CF （學過 JAVA =r2:IF工作兩年以上and 作

59、過相關工作then有工作經(jīng)驗（）CF （學過數(shù)據(jù)庫）CF （學過軟件工程） 由3,CF （有相關知識背景）=*min,=CF （本科學歷）=1由r1 ,CF （錄用）=*min , 1=（2）對于社會招聘人員，由8,CF （相關工作）=CF （工作兩年以上）=1由2,CF （有工作經(jīng)驗）=*min1 , =由r1 ,CF （錄用）=*=所以，該公司應錄用社會招聘人員乙。80分以上（3）可以看出，應該加強數(shù)據(jù)庫的學習，并使該門課程達到答案：、1、D2、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、隨機性，模糊性，不完全

60、性，不一致性2、純文字，永真式，類含3、-CF(A) , minCF(A1),CF(A2) , maxCF(A1),CF(A2)4、節(jié)點，有向邊，或圖，與或圖5、最一般合一(MGJU6、被觸發(fā)規(guī)則7、KB,概率8、制造智能機器，實現(xiàn)機器智能三、簡答及計算題1、將下列自然語言轉化為謂詞表示形式：所有的人都是要呼吸的。(4)每個學生都要參加考試。(3)任何整數(shù)或是正的或是負的。(12分)解:R(x):x能閱讀;設M(x) : x是人， H(x) : x要呼吸。P(x) : x是學生，Q(x) : x要參加考試。J(x) : x是整數(shù)，R(x) : x是正數(shù)，N(x) : x是負數(shù)。則上述三題就記為