人工智能復(fù)習(xí)題及答案(同名6660)

1、黑龍江大學(xué)電腦科學(xué)技術(shù)學(xué)院1. 智能智能是一種認(rèn)識客觀事物和運用知識解決問題的綜合能力。2. 什么叫知識？知識是人們在改造客觀世界的實踐中積累起來的認(rèn)識和經(jīng)驗3. 確定性推理指推理所使用的知識和推出的結(jié)論都是可以精確表示的， 其真值要么為真、 要么為假。4. 推理 推理是指按照某種策略從事實出發(fā)利用知識推出所需結(jié)論的過程。5. 不確定性推理 指推理所使用的知識和推出的結(jié)論可以是不確定的。所謂不確定性是對非精確性、模 糊型和非完備性的統(tǒng)稱。6. 人工智能 人工智能就是用人工的方法在機器電腦上實現(xiàn)的智能，或稱機器智能7. 搜索是指為了到達(dá)某一目標(biāo)，不斷尋找推理線路，以引導(dǎo)和控制推理，使問題得以解決

2、的 過程。8. 規(guī)劃 是指從某個特定問題狀態(tài)出發(fā)，尋找并建立一個操作序列，直到求得目標(biāo)狀態(tài)為止的 一個行動過程的描述。9. 機器感知 就是要讓電腦具有類似于人的感知能力，如視覺、聽覺、觸覺、嗅覺、味覺10. 模式識別 是指讓電腦能夠?qū)o定的事務(wù)進(jìn)行鑒別，并把它歸入與其相同或相似的模式中。11. 機器行為 就是讓電腦能夠具有像人那樣地行動和表達(dá)能力，如走、跑、拿、說、唱、寫畫等。12. 知識表示 是對知識的描述，即用一組符號把知識編碼成電腦可以接受的某種結(jié)構(gòu)。13. 事實是斷言一個語言變量的值或斷言多個語言變量之間關(guān)系的陳述句14. 綜合數(shù)據(jù)庫存放求解問題的各種當(dāng)前信息15. 規(guī)那么庫用于存放與

3、求解問題有關(guān)的所有規(guī)那么的集合16. 人工智能有哪些應(yīng)用？17. 人工智能的研究目標(biāo)遠(yuǎn)期目標(biāo) 揭示人類智能的根本機理，用智能機器去模擬、延伸和擴(kuò)展人類的智能 涉及到腦科學(xué)、認(rèn)知科學(xué)、電腦科學(xué)、系統(tǒng)科學(xué)、控制論等多種學(xué)科，并依賴于它們 的共同開展近期目標(biāo) 研究如何使現(xiàn)有的電腦更聰明，即使它能夠運用知識去處理問題，能夠模擬人類的智 能行為。18. 智能包含哪些能力？(1)感知能力(2)記憶和思維能力(3)學(xué)習(xí)和自適應(yīng)能力(4)行為能力知識有哪幾種表示方法？(1)一階謂詞邏輯表示法(2)產(chǎn)生式表示法(3)語義網(wǎng)絡(luò)表示法(4)框架表示法(5)過程表示法20. 演繹推理與歸納推理的區(qū)別 演繹推理是在領(lǐng)域

4、內(nèi)的一般性知識的前提下，通過演繹求解一個具體問題或者證 明一個結(jié)論的正確性。 它所得出的結(jié)論實際上早已蘊含在一般性知識的前提中， 演繹推理只 不過是將已有事實揭露出來，因此它不能增殖新知識。歸納推理所推出的結(jié)論是沒有包含在前提內(nèi)容中的。這種由個別事物或現(xiàn)象推出 一般性知識的過程，是增殖新知識的過程。21. 子句集的化簡的步驟1)消去連接詞n和“?2)減少否認(rèn)符號的轄域3)對變元標(biāo)準(zhǔn)化4)化為前束范式5)消去存在量詞6)化為 Skolem 標(biāo)準(zhǔn)形7)消去全稱量詞8)消去合取詞9)更換變量名稱22. 魯濱遜歸結(jié)原理根本思想首先把欲證明問題的結(jié)論否認(rèn)，并參加子句集，得到一個擴(kuò)充的子句集S'。

5、然后設(shè)法檢驗子句集S'是否含有空子句，假設(shè)含有空子句，那么說明S'是不可滿足的；假設(shè)不含有空子 句，那么繼續(xù)使用歸結(jié)法， 在子句集中選擇適宜的子句進(jìn)行歸結(jié)， 直至導(dǎo)出空子句或不能繼續(xù) 歸結(jié)為止。23. 全局擇優(yōu)搜索 A 算法描述：(1) 把初始節(jié)點 S0 放入 Open 表中， f(S0)=g(S0)+h(S0) ；(2) 如果 Open 表為空，那么問題無解，失敗退出；(3) 把 Open 表的第一個節(jié)點取出放入 Closed 表，并記該節(jié)點為 n；(4) 考察節(jié)點 n 是否為目標(biāo)節(jié)點。假設(shè)是，那么找到了問題的解，成功退出；(5) 假設(shè)節(jié)點 n 不可擴(kuò)展，那么轉(zhuǎn)第 (2)步；

6、擴(kuò)展節(jié)點n,生成其子節(jié)點ni(i=1,2,，計算每一個子節(jié)點的估價值f(ni)(i=1,2,)并為每一個子節(jié)點設(shè)置指向父節(jié)點的指針，然后將這些子節(jié)點放入Open表中；(7) 根據(jù)各節(jié)點的估價函數(shù)值,對 Open 表中的全部節(jié)點按從小到大的順序重新進(jìn)行排序；(8) 轉(zhuǎn)第 (2)步。24. 命題邏輯的歸結(jié)法與謂詞邏輯的歸結(jié)法的不同之處是什么？答：謂詞邏輯比命題邏輯更復(fù)雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結(jié)之前需要對變量進(jìn)行重命名即變量標(biāo)準(zhǔn)化，而在命題邏輯中的歸結(jié)那么不需要。25. 產(chǎn)生式系統(tǒng)的推理過程(1) 初始化綜合數(shù)據(jù)庫，即把欲解決問題的事實送入綜合數(shù)據(jù)庫中；(2) 檢查規(guī)那么庫中是否

7、有未使用過的規(guī)那么，假設(shè)無轉(zhuǎn)(7)；(3) 檢查規(guī)那么庫的未使用規(guī)那么中是否有其前提可與綜合數(shù)據(jù)庫中事實相匹配的規(guī) 那么，假設(shè)有，形成當(dāng)前可用規(guī)那么集；否那么轉(zhuǎn) (6)；(4) 按照沖突消解策略，從當(dāng)前可用規(guī)那么集中選擇一個規(guī)那么執(zhí)行，并對該規(guī)那么作上標(biāo)記。把執(zhí)行該規(guī)那么后所得到的結(jié)論作為新的事實放入綜合數(shù)據(jù)庫；如果該規(guī)那么的結(jié)論是一些操作，那么執(zhí)行這些操作；(5) 檢查綜合數(shù)據(jù)庫中是否包含了該問題的解，假設(shè)已包含，說明解已求出，問題求 解過程結(jié)束；否那么，轉(zhuǎn)(2)；(6) 當(dāng)規(guī)那么庫中還有未使用規(guī)那么，但均不能與綜合數(shù)據(jù)庫中的已有事實相匹配時，要求用戶進(jìn)一步提供關(guān)于該問題的事實，假設(shè)能提供，

8、那么轉(zhuǎn)(2);否那么，執(zhí)行下一步；(7) 假設(shè)知識庫中不再有未使用規(guī)那么，也說明該問題無解，終止問題求解過程。26. 列出以下列圖中樹的節(jié)點訪問序列以滿足下面的2個搜索策略(在所有情況中都選擇最左分枝優(yōu)先訪問)1)深度優(yōu)先搜索；答：1深度優(yōu)先：1,2,5,6,10,11,3,7,12,13,4,8,92廣度優(yōu)先：1 , 2 , 3 , 4 ,5 , 6 , 7 , 8 , 9 , 10 , 11, 12 , 13A*算法解決該問題27. 八數(shù)碼問題。問題的初態(tài)和目標(biāo)狀態(tài)如以下列圖所示，要求用28314765初始狀態(tài)12384765目標(biāo)狀態(tài)28. 圖4-32是5個城市的交通圖，城市之間的連線旁邊

9、的數(shù)字是城市之間路程的費用。要求從A城出發(fā)，經(jīng)過其它各城市一次且僅一次，最后回到A城，請找出一條最優(yōu)線路。解：這個問題又稱為旅行商問題travelling salesmanproblem, TSP或貨郎擔(dān)問題，是一個較有普遍性的實際 應(yīng)用問題。根據(jù)數(shù)學(xué)理論，對n個城市的旅行商問題，其封閉路徑的排列總數(shù)為：(n!)/n=(n-1)!其計算量相當(dāng)大。例如，當(dāng) n=20時，要窮舉其所有路徑， 即使用一個每秒一億次的電腦來算也需要350年的時間。因此，對這類問題只能用搜索的方法來解決。以下列圖是對圖4-32按最小代價搜索所得到的搜索樹，樹中的節(jié)點為城市名稱，節(jié)點邊上的數(shù)字為該節(jié)點的代價g。其計算公式為

10、g( ni+1)=g( n i )+c( ni, n i+1)c z 8/ J4 E3JD212231D 9 T25E I 卩 9d8 4?一22一 /石c 86283 E048568 8D、 3TC9282012B 321112B 3424626* B 8r296*DrD2849 w- I 6 T B713J厶6 b20;*B2q 6+ E226C3223B 31其中，c(ni,ni+1)為節(jié)點ni到ni+1節(jié)點的邊代價。A 30A 30圖4.32的最小代價搜索樹可以看出，其最短路經(jīng)是A-C-D-E-B-AA-B-E-D-C-A其實，它們是同一條路經(jīng)。29. 設(shè)有如圖4-34的與/或/樹，請

11、分別按和代價法及最大代價法求解樹的代價。ti圖4.34習(xí)題4.14的與/或樹解：假設(shè)按和代價法，那么該解樹的代價為:h(A)=2+3+2+5+2+1+6=21假設(shè)按最大代價法，那么該解樹的代價為：h(A)=maxh(B)+5, h(C)+6 = max(h(E)+2)+5, h(C)+6 =max(max(2, 3)+2)+5, max(2, 1)+6=max(5+5, 2+6)=1030.判斷以下公式是否為可合一，假設(shè)可合一，那么求出其最一般合一。(1)P(a, b), P(x, y)(2)P(f(x), b), P(y, z)(3)P(f(x), y), P(y, f(b)(4)P(f(y

12、), y, x), P(x, f(a), f(b)(5)P(x, y), P(y, x)解: (1)可合一，其最一般和一為=a/x, b/y可合一，其最一般和一為=y/f(x), b/z。 可合一，其最一般和一為= f(b)/y, b/x。不可合一。 可合，其最般和為= y/x o5.判斷以下子句集中哪些是不可滿足的：(1) ?PV Q, ?Q, P, ?P(2) P V Q , ?PV Q, PV?Q, ?PV?Q (3) P(y) V Q(y) , ?P(f(x) V R(a)(4) ?P(x) V Q(x) , ?P(y) V R(y), P(a), S(a), ?S(z) V? R(z

13、)(5) ?P(x) V Q(f(x),a) , ?P(h(y) V Q(f(h(y), a)V? P(z)(6) P(x) V Q(x) V R(x) , ?P(y) V R(y), ?Q(a), ?R(b) 解：(1)不可滿足，其歸結(jié)過程為：?PVQ?QNIL(2) 不可滿足，其歸結(jié)過程為:(3) 不是不可滿足的，原因是不能由它導(dǎo)出空子句。(4) 不可滿足，其歸結(jié)過程略不是不可滿足的，原因是不能由它導(dǎo)出空子句。 不可滿足，其歸結(jié)過程略P(x)vQ(x)vR(x)?Q(a)31. 設(shè)：(1) 如果x是y的父親，y是z的父親，貝U x是z的祖父；(2) 每個人都有一個父親。使用歸結(jié)演繹推理證明

14、：對于某人U, 定存在一個人 v, v是U的祖父。解：先定義謂詞F(x,y): x是y的父親GF(x,z): x是z的祖父P(x): x是一個人再用謂詞把問題描述出來： F1 ： ( x) ( y) (z)( F(x,y) A F(y,z) GF(x,z)F2: (y)(P(x) t F(x,y)求證結(jié)論 G : ( u) (v)( P(u) t GF(v,u)然后再將F1 , F2和？ G化成子句集： ?F(x,y) V?F(y,z) V 申x,z) ?P(r) V F(s,r) P(u) ？GF(v,u)對上述擴(kuò)充的子句集，其歸結(jié)推理過程如下：由于導(dǎo)出了空子句，故結(jié)論得證。32. 設(shè)有如下

15、語句，請用相應(yīng)的謂詞公式分別把他們表示出來：(1)有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花 解：定義謂詞P(x): x是人L(x,y) : x 喜歡 y其中，y的個體域是梅花，菊花。將知識用謂詞表示為：(x )(P(x) t L(x,梅花)V L(x,菊花)V L(x,梅花)A L(x,菊花)(2)有人每天下午都去打籃球。解：定義謂詞P(x): x是人B(x) : x打籃球A(y) : y是下午將知識用謂詞表示為:(x )( y) (A(y) T B(x) A P(x)(3) 新型電腦速度又快，存儲容量又大。 解：定義謂詞NC(x) : x是新型電腦F(x): x速度快B(x

16、) : x容量大將知識用謂詞表示為：(x) (NC(x) t F(x) A B(x)(4) 不是每個電腦系的學(xué)生都喜歡在電腦上編程序。 解：定義謂詞S(x): x是電腦系學(xué)生L(x, pragramming) : x 喜歡編程序U(x,computer) : x 使用電腦將知識用謂詞表示為：? ( x) (S(x) tL(x, pragramming) A U(x,computer)(5) 但凡喜歡編程序的人都喜歡電腦。 解：定義謂詞P(x): x是人L(x, y) : x 喜歡 y將知識用謂詞表示為：(x) (P(x) A L(x,pragramming) t L(x, computer)3

17、3. 機器人移盒子冋題分別定義描述狀態(tài)和動作的謂詞描述狀態(tài)的謂詞：Lfl2 c b設(shè)在房間，c處有一個機器人，a和b處有一張桌子，分別稱為 a桌和b桌，a桌上有 一盒子，如以下列圖所示，要求機器人從 c處出發(fā)把盒子從a桌上拿到b桌上，然后再回到 c 處。請用謂詞邏輯來描述機器人的行動過程。TABLE(x) : x 是桌子 EMPTY(y) : y手中是空的 AT(y, z): y 在 z 處 HOLDS(y, w) : y 拿著 w ON(w, x) : w在x桌面上變元的個體域：x的個體域是a, by的個體域是robot z的個體域是a, b, cw的個體域是box 問題的初始狀態(tài)：AT(r

18、obot, c)EMPTY(robot)ON(box, a)TABLE (a)TABLE(b)問題的目標(biāo)狀態(tài)：AT(robot, c)EMPTY(robot)ON(box, b)TABLE (a)TABLE(b)機器人行動的目標(biāo)把問題的初始狀態(tài)轉(zhuǎn)換為目標(biāo)狀態(tài)，而要實現(xiàn)問題狀態(tài)的轉(zhuǎn)換需要 完成一系列的操作需要定義的操作：Goto(x, y):從x處走到y(tǒng)處。 Pickup(x):在x處拿起盒子。Setdow n(x):在x處放下盒子各操作的條件和動作:Goto(x， y)條件：AT(robot，x)動作：刪除表：AT(robot，x)添加表：AT(robot， y)Pickup(x)條件：ON(

19、box，x)，TABLE(x)，AT(robot，x)，EMPTY(robot) 動作：刪除表： EMPTY(robot)，ON(box，x)添加表：HOLDS(robot，box)Setdow n(x)條件：AT(robot，x)，TABLE(x)，HOLDS(robot，box) 動作：刪除表： HOLDS(robot，box)添加表：EMPTY(robot)，ON(box，x)這個機器人行動規(guī)劃問題的求解過程如下：狀態(tài)1(初始狀態(tài))AT(robot, c)開始EMPTY(robot)=> ON(box, a)TABLE(a)TABLE(b)狀態(tài)2AT(robot, a)Goto(c

20、, a)Pickup (a)EMPTY(robot)ON(box, a)TABLE (a)TABLE(b)狀態(tài)3AT(robot, a)HOLDS(robot,box)TABLE (a)TABLE(b)狀態(tài)4AT(robot, b)Goto(a, b)>HOLDS(robot,box)TABLE (a)TABLE(b) 狀態(tài)5AT(robot, b)Setdow n(b)>EMPTY(robot)ON(box, b)TABLE (a)TABLE(b)狀態(tài)6( 目標(biāo)狀態(tài))AT(robot, c)Goto(b, c)>EMPTY(robot)ON(box, b)TABLE(a)T

21、ABLE(b)34. 用謂詞表示法求解機器人摞積木問題。設(shè)機器人有一只機械手，要處理的世界有一張桌 子，桌上可堆放假設(shè)干相同的方積木塊。機械手有4個操作積木的典型動作：從桌上揀起一塊積木；將手中的積木放到桌之上；在積木上再摞上一塊積木；從積木上面揀起一 塊積木。積木世界的布局如以下列圖所示。圖機器人摞積木問題解：(1)先定義描述狀態(tài)的謂詞CLEAR(x):積木x上面是空的。ON(x, y):積木x在積木y的上面。ONTABLE(x):積木x在桌子上。 HOLDING(x):機械手抓住X。 HANDEMPTY :機械手是空的。其中，x和y的個體域都是A, B, C。 問題的初始狀態(tài)是：ONTAB

22、LE(A)ONTABLE(B)ON(C, A)CLEAR(B)CLEAR(C)HANDEMPTY問題的目標(biāo)狀態(tài)是：ONTABLE(C)ON(B, C)ON(A, B)CLEAR(A)HANDEMPTY(2) 再定義描述操作的謂詞在本問題中，機械手的操作需要定義以下4個謂詞:Pickup(x):從桌面上揀起一塊積木X。Putdown(x):將手中的積木放到桌面上。Stack(x, y):在積木x上面再摞上一塊積木 y。Upstack(x, y):從積木x上面揀起一塊積木 y。其中，每一個操作都可分為條件和動作兩局部，具體描述如下:Pickup(x)條件：ONTABLE(x)，HANDEMPTY

23、，CLEAR(x)動作：刪除表：ONTABLE(x)，HANDEMPTY添加表：HOLDING(x)Putdow n(x)條件：HOLDING(x)動作：刪除表：HOLDING(x)添加表：ONTABLE(x)，CLEAR(x) ，HANDEMPTY Stack(x, y)條件：CLEAR(y) ，HOLDING(y)動作：刪除表：HOLDING(y)，CLEAR(y)添加表：HANDEMPTY ，ON(x, y) ，CLEAR(x)Upstack(x, y)條件：動作：刪除表：添加表:(3)問題求解過程 利用上述謂詞和操作,HANDEMPTY ，CLEAR(y) ，ON(y,x)HANDEM

24、PTY ，ON(y, x)其求解過程為:HOLDING(y) ，CLEAR(x)ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTYUpstack(A,C)ONTABLE(A) ONTABLE(B) HOLDING(C) CLEAR(A) CLEAR(B) CLEAR(C)Putdow n(C)ONTABLE(A)ONTABLE(B) ONTABLE(C)CLEAR(A)CLEAR(B)CLEAR(C) HANDEMPTYPickup(B)ONTABLE(A)ONTABLE(C)HOLDING(B)ONTABLE(A)Stack(

25、C,B) ONTABLE(C):f ON(B,C)3CLEA對以下命題分別寫出它CL的ARA網(wǎng)絡(luò):CLEAR(每個學(xué)生都有一臺電CLEAR(B) CLEAR(C)Pickup(A)HANDEMPTONTABLE(C)Stack(B,A)ON(B,C):-CLEAR(A)CLEAR(B)HOLDING(AONTABLE(C)ON(B,C)ON(A,B) CLEAR(A)HANDEMPT解：35請對以下命題分別寫出它們的語義網(wǎng)絡(luò): (1)每個學(xué)生都有一臺電腦。(2) 高老師從3月到7月給電腦系學(xué)生講?電腦網(wǎng)絡(luò)?課。 解：ISA老師v(5) 紅隊與藍(lán)隊進(jìn)行足球比賽，最后以 3： 2的比分結(jié)束。解：3

26、6. 請把以下命題用一個語義網(wǎng)絡(luò)表示出來:(1) 樹和草都是植物;解:樹草樹和草都有葉和根;解:(3) 水草是草，且生長在水中;解：(4) 果樹是樹，且會結(jié)果; 解：(5) 梨樹是果樹中的一種，它會結(jié)梨。 解：37. 用語義網(wǎng)絡(luò)表示：動物能運動、會吃。鳥是一種動物，鳥有翅膀、會飛。魚是一種動物，魚生活在水中、會游泳。38. 假設(shè)有以下一段天氣預(yù)報：“北京地區(qū)今天白天晴，偏北風(fēng) 3級，最高氣溫12。，最低氣溫-2。，降水概率15% 請用框架表示這一知識。解：Frame天氣預(yù)報地域北京時段今天白天天氣晴風(fēng)向偏北風(fēng)力3級氣溫最高：12度最低：-2度降水概率：15%39. 按“師生框架、“教師框架、“

27、學(xué)生框架的形式寫出一個框架系統(tǒng)的描述。 解：師生框架Frame <Teachers-Stude nts>Name： UnitLast-name， First-nameSex： Areamale， femaleDefault: maleAge: UnitYearsTeleph one： Home Un it NumberMobile Un it Number 教師框架Frame <Teachers >AKO<Teachers-Stude nts >Major: Un it Major-NameLectures: Unit Course-NameField :

28、Un it Field-NameProject : AreaNational， Provincial， OtherDefault: ProvincialPaper： Area SCI， El， Core， GeneralDefault: Core學(xué)生框架Frame <Stude nts>AKO< Teachers-Stude nts >Major: Un it Major-NameClasses： Un it Classes-NameDegree： Areadoctor， mastor, bachelorDefault: bachelor40. 設(shè)有如下一段知識： “張

29、、王和李都屬于高山協(xié)會。該協(xié)會的每個成員不是滑雪運發(fā)動，就是登山運發(fā)動， 其中不喜歡雨的運發(fā)動是登山運發(fā)動， 不喜歡雪的運發(fā)動不是滑雪運發(fā)動。 王不喜歡張所喜 歡的一切東西，而喜歡張所不喜歡的一切東西。張喜歡雨和雪。 試用謂詞公式集合表示這段知識，這些謂詞公式要適合一個逆向的基于規(guī)那么的演繹系 統(tǒng)。試說明這樣一個系統(tǒng)怎樣才能答復(fù)以下問題：“高山俱樂部中有沒有一個成員，他是一個登山運發(fā)動，但不是一個滑雪運發(fā)動？ 解： (1) 先定義謂詞A(x) 表示 x 是高山協(xié)會會員S(x) 表示 x 是滑雪運發(fā)動C(x) 表示 x 是登山運發(fā)動L(x,y) 表示 x 喜歡 y(2) 將問題用謂詞表示出來 “

30、張、王和李都屬于高山協(xié)會A(Zhang) A A(Wang) A A(Li) 高山協(xié)會的每個成員不是滑雪運發(fā)動，就是登山運發(fā)動(x)(A(x) A?S(x) tC(x) 高山協(xié)會中不喜歡雨的運發(fā)動是登山運發(fā)動(x)(?L(x, Rain) tC(x)高山協(xié)會中不喜歡雪的運發(fā)動不是滑雪運發(fā)動(x)(?L(x, Snow) t? S(x)王不喜歡張所喜歡的一切東西(y)( L(Zhang, y) t? L(Wang ,y)王喜歡張所不喜歡的一切東西(y)(? L(Zhang, y)tL(Wang, y)張喜歡雨和雪L(Zhang , Rain) A L(Zhang , Snow)(3) 將問題要求

31、的答案用謂詞表示出來 高山俱樂部中有沒有一個成員，他是一個登山運發(fā)動，但不是一個滑雪運發(fā)動？( x)( A(x) tC(x)A? S(x)(4) 為了進(jìn)行推理，把問題劃分為事實和規(guī)那么兩大局部。假設(shè)，劃分如下： 事實：A(Zhang)A A(Wang)A A(Li)L(Zhang , Rain) A L(Zhang , Snow) 規(guī)那么：(x)(A(x) A? S(x)tC(x)(x)(?L(x, Rain) tC(x)(x)(?L(x, Snow) t? S(x)(y)( L(Zhang, y) t? L(Wang ,y)(y)(? L(Zhang, y)tL(Wang, y)(5) 把事實、規(guī)那么和目標(biāo)化成推理所需要的形式 事實已經(jīng)是文字的合取形式：fi： A(Zhang) A A(Wang) A A(Li)f2： L (Zhang , Rain) A L(Zhang , Snow)將規(guī)那么轉(zhuǎn)化為后件為單文字的形式：ri： A(x) A?S(x) t C(x)r2： ?L(x, Rain) t C(x)3： ?L(x, Snow) t? S(x)r4： L(Zhang, y) t? L(Wang ,y)r5： ? L(Zhang, y) t L(Wang , y)將目標(biāo)公式轉(zhuǎn)換為與/或形式?