人工智能復習試題和答案

.z.大學計算機科學技術(shù)學院智能智能是一種認識客觀事物和運用知識解決問題的綜合能力。什么叫知識？知識是人們在改造客觀世界的實踐中積累起來的認識和經(jīng)歷確定性推理指推理所使用的知識和推出的結(jié)論都是可以準確表示的，其真值要么為真、要么為假。推理推理是指按照*種策略從事實出發(fā)利用知識推出所需結(jié)論的過程。不確定性推理指推理所使用的知識和推出的結(jié)論可以是不確定的。所謂不確定性是對非準確性、模糊型和非完備性的統(tǒng)稱。人工智能人工智能就是用人工的方法在機器〔計算機〕上實現(xiàn)的智能，或稱機器智能搜索是指為了到達*一目標，不斷尋找推理線路，以引導和控制推理，使問題得以解決的過程。規(guī)劃是指從*個特定問題狀態(tài)出發(fā)，尋找并建立一個操作序列，直到求得目標狀態(tài)為止的一個行動過程的描述。機器感知就是要讓計算機具有類似于人的感知能力，如視覺、聽覺、觸覺、嗅覺、味覺模式識別是指讓計算機能夠?qū)o定的事務(wù)進展鑒別，并把它歸入與其一樣或相似的模式中。機器行為就是讓計算機能夠具有像人那樣地行動和表達能力，如走、跑、拿、說、唱、寫畫等。知識表示是對知識的描述，即用一組符號把知識編碼成計算機可以承受的*種構(gòu)造。事實是斷言一個語言變量的值或斷言多個語言變量之間關(guān)系的述句綜合數(shù)據(jù)庫存放求解問題的各種當前信息規(guī)則庫用于存放與求解問題有關(guān)的所有規(guī)則的集合人工智能有哪些應用？人工智能的研究目標遠期目標提醒人類智能的根本機理，用智能機器去模擬、延伸和擴展人類的智能涉及到腦科學、認知科學、計算機科學、系統(tǒng)科學、控制論等多種學科，并依賴于它們的共同開展近期目標研究如何使現(xiàn)有的計算機更聰明，即使它能夠運用知識去處理問題，能夠模擬人類的智能行為。智能包含哪些能力？感知能力記憶和思維能力學習和自適應能力行為能力知識有哪幾種表示方法？一階謂詞邏輯表示法產(chǎn)生式表示法語義網(wǎng)絡(luò)表示法框架表示法過程表示法演繹推理與歸納推理的區(qū)別演繹推理是在領(lǐng)域的一般性知識的前提下，通過演繹求解一個具體問題或者證明一個結(jié)論的正確性。它所得出的結(jié)論實際上早已蘊含在一般性知識的前提中，演繹推理只不過是將已有事實揭露出來，因此它不能增殖新知識。歸納推理所推出的結(jié)論是沒有包含在前提容中的。這種由個別事物或現(xiàn)象推出一般性知識的過程，是增殖新知識的過程。子句集的化簡的步驟消去連接詞“→〞和“?〞減少否認符號的轄域?qū)ψ冊獦藴驶癁榍笆较ゴ嬖诹吭~化為Skolem標準形消去全稱量詞消去合取詞更換變量名稱魯濱遜歸結(jié)原理根本思想首先把欲證明問題的結(jié)論否認，并參加子句集，得到一個擴大的子句集S'。然后設(shè)法檢驗子句集S'是否含有空子句，假設(shè)含有空子句，則說明S'是不可滿足的；假設(shè)不含有空子句，則繼續(xù)使用歸結(jié)法，在子句集中選擇適宜的子句進展歸結(jié)，直至導出空子句或不能繼續(xù)歸結(jié)為止。全局擇優(yōu)搜索A算法描述：(1)把初始節(jié)點S0放入Open表中，f(S0)=g(S0)+h(S0)；(2)如果Open表為空，則問題無解，失敗退出；(3)把Open表的第一個節(jié)點取出放入Closed表，并記該節(jié)點為n；(4)考察節(jié)點n是否為目標節(jié)點。假設(shè)是，則找到了問題的解，成功退出；(5)假設(shè)節(jié)點n不可擴展，則轉(zhuǎn)第(2)步；(6)擴展節(jié)點n，生成其子節(jié)點ni(i=1,2,…)，計算每一個子節(jié)點的估價值f(ni)(i=1,2,…)，并為每一個子節(jié)點設(shè)置指向父節(jié)點的指針，然后將這些子節(jié)點放入Open表中；(7)根據(jù)各節(jié)點的估價函數(shù)值，對Open表中的全部節(jié)點按從小到大的順序重新進展排序；(8)轉(zhuǎn)第(2)步。命題邏輯的歸結(jié)法與謂詞邏輯的歸結(jié)法的不同之處是什么？答：謂詞邏輯比命題邏輯更復雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結(jié)之前需要對變量進展重命名即變量標準化，而在命題邏輯中的歸結(jié)則不需要。產(chǎn)生式系統(tǒng)的推理過程(1)初始化綜合數(shù)據(jù)庫，即把欲解決問題的事實送入綜合數(shù)據(jù)庫中；(2)檢查規(guī)則庫中是否有未使用過的規(guī)則，假設(shè)無轉(zhuǎn)(7)；(3)檢查規(guī)則庫的未使用規(guī)則中是否有其前提可與綜合數(shù)據(jù)庫中事實相匹配的規(guī)則，假設(shè)有，形成當前可用規(guī)則集；否則轉(zhuǎn)(6)；(4)按照沖突消解策略，從當前可用規(guī)則集中選擇一個規(guī)則執(zhí)行，并對該規(guī)則作上標記。把執(zhí)行該規(guī)則后所得到的結(jié)論作為新的事實放入綜合數(shù)據(jù)庫；如果該規(guī)則的結(jié)論是一些操作，則執(zhí)行這些操作；(5)檢查綜合數(shù)據(jù)庫中是否包含了該問題的解，假設(shè)已包含，說明解已求出，問題求解過程完畢；否則，轉(zhuǎn)(2)；(6)當規(guī)則庫中還有未使用規(guī)則，但均不能與綜合數(shù)據(jù)庫中的已有事實相匹配時，要求用戶進一步提供關(guān)于該問題的事實，假設(shè)能提供，則轉(zhuǎn)(2)；否則，執(zhí)行下一步；(7)假設(shè)知識庫中不再有未使用規(guī)則，也說明該問題無解，終止問題求解過程。列出以下圖中樹的節(jié)點訪問序列以滿足下面的２個搜索策略(在所有情況中都選擇最左分枝優(yōu)先訪問)1)深度優(yōu)先搜索；２)廣度優(yōu)先搜索。答：〔１〕深度優(yōu)先：1,2,5,6,10,11,3,7,12,13,4,8,9〔２〕廣度優(yōu)先：1，2，3，4，5，6，7，8，9，10，11，12，13八數(shù)碼問題。問題的初態(tài)和目標狀態(tài)如以下圖所示，要求用A*算法解決該問題初始狀態(tài)目標狀態(tài)圖4-32是5個城市的交通圖，城市之間的連線旁邊的數(shù)字是城市之間路程的費用。要求從A城出發(fā)，經(jīng)過其它各城市一次且僅一次，最后回到A城，請找出一條最優(yōu)線路。解：這個問題又稱為旅行商問題〔travellingsalesmanproblem,TSP〕或貨郎擔問題，是一個較有普遍性的實際應用問題。根據(jù)數(shù)學理論，對n個城市的旅行商問題，其封閉路徑的排列總數(shù)為：(n!)/n=(n-1)!其計算量相當大。例如，當n=20時，要窮舉其所有路徑，即使用一個每秒一億次的計算機來算也需要350年的時間。因此，對這類問題只能用搜索的方法來解決。以下圖是對圖4-32按最小代價搜索所得到的搜索樹，樹中的節(jié)點為城市名稱，節(jié)點邊上的數(shù)字為該節(jié)點的代價g。其計算公式為g(ni+1)=g(ni)+c(ni,ni+1)其中，c(ni,ni+1)為節(jié)點ni到ni+1節(jié)點的邊代價。0A0A119210119210102119BDCE102119BDCE9869312838612898693128386128201917CDB181221ECB10105EDB1201917CDB181221ECB10105EDB16E2218DC331288933128892312386886896912612923123868868969126129883C32B222925DC2020EBB16D191622DE31C32B222925DC2020EBB16D191622DE31E25C9838E12912BD272426CB2720C1417BE2524DC2621DE9838E12912BD272426CB2720C1417BE2524DC2621DE68126666812666E3133E9328D31B926B26E831B28DD273E3133E9328D31B926B26E831B28DD27323E35ED27D32C34B30282023E35ED27D32C34B302820E28CBE28CB21021030A30A30A30A圖4.32的最小代價搜索樹圖4.32的最小代價搜索樹可以看出，其最短路經(jīng)是A-C-D-E-B-A或A-B-E-D-C-A其實，它們是同一條路經(jīng)。設(shè)有如圖4-34的與/或/樹，請分別按和代價法及最大代價法求解樹的代價。AABCDt2t3t4t1圖4.34習題4.14的與/或樹56217223E解：假設(shè)按和代價法，則該解樹的代價為：h(A)=2+3+2+5+2+1+6=21假設(shè)按最大代價法，則該解樹的代價為：h(A)=ma*{h(B)+5,h(C)+6}=ma*{(h(E)+2)+5,h(C)+6}=ma*{(ma*(2,3)+2)+5,ma*(2,1)+6}=ma*((5+5,2+6)=10判斷以下公式是否為可合一，假設(shè)可合一，則求出其最一般合一。(1)P(a,b),P(*,y)(2)P(f(*),b),P(y,z)(3)P(f(*),y),P(y,f(b))(4)P(f(y),y,*),P(*,f(a),f(b))(5)P(*,y),P(y,*)解：(1)可合一，其最一般和一為：σ={a/*,b/y}。(2)可合一，其最一般和一為：σ={y/f(*),b/z}。(3)可合一，其最一般和一為：σ={f(b)/y,b/*}。(4)不可合一。(5)可合一，其最一般和一為：σ={y/*}。5.判斷以下子句集中哪些是不可滿足的：{?P∨Q,?Q,P,?P}{P∨Q,?P∨Q,P∨?Q,?P∨?Q}{P(y)∨Q(y),?P(f(*))∨R(a)}{?P(*)∨Q(*),?P(y)∨R(y),P(a),S(a),?S(z)∨?R(z)}{?P(*)∨Q(f(*),a),?P(h(y))∨Q(f(h(y)),a)∨?P(z)}{P(*)∨Q(*)∨R(*),?P(y)∨R(y),?Q(a),?R(b)}解：(1)不可滿足，其歸結(jié)過程為：??P∨Q?Q?PPNIL(2)不可滿足，其歸結(jié)過程為：PP∨Q?P∨QQP∨?Q?P∨?Q?QNIL(3)不是不可滿足的，原因是不能由它導出空子句。(4)不可滿足，其歸結(jié)過程略(5)不是不可滿足的，原因是不能由它導出空子句。(6)不可滿足，其歸結(jié)過程略設(shè)：如果*是y的父親，y是z的父親，則*是z的祖父；每個人都有一個父親。使用歸結(jié)演繹推理證明：對于*人u，一定存在一個人v，v是u的祖父。解：先定義謂詞F(*,y)：*是y的父親GF(*,z)：*是z的祖父P(*)：*是一個人再用謂詞把問題描述出來：F1：(*)(y)(z)(F(*,y)∧F(y,z))→GF(*,z))F2：(y)(P(*)→F(*,y))求證結(jié)論G：(u)(v)(P(u)→GF(v,u))然后再將F1，F(xiàn)2和?G化成子句集：①?F(*,y)∨?F(y,z)∨GF(*,z)②?P(r)∨F(s,r)③P(u)④?GF(v,u))對上述擴大的子句集，其歸結(jié)推理過程如下：??F(*,y)∨?F(y,z)∨GF(*,z)?GF(v,u)?F(*,y)∨?F(y,z)?P(r)∨F(s,r)?F(y,z)∨?P(y)?P(r)∨F(s,r)?P(y)∨?P(z)?P(y)P(u)NIL{*/v,z/u}{*/s,y/r}{y/s,z/r}{y/z}{y/u}由于導出了空子句，故結(jié)論得證。設(shè)有如下語句，請用相應的謂詞公式分別把他們表示出來：(1)有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。解：定義謂詞P(*)：*是人L(*,y)：*喜歡y其中，y的個體域是{梅花，菊花}。將知識用謂詞表示為：(*)(P(*)→L(*,梅花)∨L(*,菊花)∨L(*,梅花)∧L(*,菊花))(2)有人每天下午都去打籃球。解：定義謂詞P(*)：*是人B(*)：*打籃球A(y)：y是下午將知識用謂詞表示為：(*)(y)(A(y)→B(*)∧P(*))(3)新型計算機速度又快，存儲容量又大。解：定義謂詞NC(*)：*是新型計算機F(*)：*速度快B(*)：*容量大將知識用謂詞表示為：(*)(NC(*)→F(*)∧B(*))(4)不是每個計算機系的學生都喜歡在計算機上編程序。解：定義謂詞S(*)：*是計算機系學生L(*,pragramming)：*喜歡編程序U(*,puter)：*使用計算機將知識用謂詞表示為：?(*)(S(*)→L(*,pragramming)∧U(*,puter))(5)但凡喜歡編程序的人都喜歡計算機。解：定義謂詞P(*)：*是人L(*,y)：*喜歡y將知識用謂詞表示為：(*)(P(*)∧L(*,pragramming)→L(*,puter))機器人移盒子問題設(shè)在房間，c處有一個機器人，a和b處有一桌子，分別稱為a桌和b桌，a桌上有一盒子，如以下圖所示，要求機器人從c處出發(fā)把盒子從a桌上拿到b桌上，然后再回到c處。請用謂詞邏輯來描述機器人的行動過程。分別定義描述狀態(tài)和動作的謂詞描述狀態(tài)的謂詞：TABLE(*)：*是桌子EMPTY(y)：y手中是空的AT(y,z)：y在z處HOLDS(y,w)：y拿著wON(w,*)：w在*桌面上變元的個體域：*的個體域是{a,b}y的個體域是{robot}z的個體域是{a,b,c}w的個體域是{bo*}問題的初始狀態(tài)：AT(robot,c)EMPTY(robot)ON(bo*,a)TABLE(a)TABLE(b)問題的目標狀態(tài)：AT(robot,c)EMPTY(robot)ON(bo*,b)TABLE(a)TABLE(b)機器人行動的目標把問題的初始狀態(tài)轉(zhuǎn)換為目標狀態(tài)，而要實現(xiàn)問題狀態(tài)的轉(zhuǎn)換需要完成一系列的操作需要定義的操作：Goto(*,y)：從*處走到y(tǒng)處。Pickup(*)：在*處拿起盒子。Setdown(*)：在*處放下盒子各操作的條件和動作：Goto(*，y)條件：AT(robot，*)動作：刪除表：AT(robot，*)添加表：AT(robot，y)Pickup(*)條件：ON(bo*，*)，TABLE(*)，AT(robot，*)，EMPTY(robot)動作：刪除表：EMPTY(robot)，ON(bo*，*)添加表：HOLDS(robot，bo*)Setdown(*)條件：AT(robot，*)，TABLE(*)，HOLDS(robot，bo*)動作：刪除表：HOLDS(robot，bo*)添加表：EMPTY(robot)，ON(bo*，*)這個機器人行動規(guī)劃問題的求解過程如下：狀態(tài)1(初始狀態(tài))AT(robot,c)開場EMPTY(robot)=========>ON(bo*,a)TABLE(a)TABLE(b)狀態(tài)2AT(robot,a)Goto(c,a)EMPTY(robot)==========>ON(bo*,a)TABLE(a)TABLE(b)狀態(tài)3AT(robot,a)Pickup(a)HOLDS(robot,bo*)=========>TABLE(a)TABLE(b)狀態(tài)4AT(robot,b)Goto(a,b)HOLDS(robot,bo*)==========>TABLE(a)TABLE(b)狀態(tài)5AT(robot,b)Setdown(b)EMPTY(robot)==========>ON(bo*,b)TABLE(a)TABLE(b)狀態(tài)6(目標狀態(tài))AT(robot,c)Goto(b,c)EMPTY(robot)=========>ON(bo*,b)TABLE(a)TABLE(b)用謂詞表示法求解機器人摞積木問題。設(shè)機器人有一只機械手，要處理的世界有一桌子，桌上可堆放假設(shè)干一樣的方積木塊。機械手有4個操作積木的典型動作：從桌上揀起一塊積木；將手中的積木放到桌之上；在積木上再摞上一塊積木；從積木上面揀起一塊積木。積木世界的布局如以下圖所示。AABCCACABB圖機器人摞積木問題解：(1)先定義描述狀態(tài)的謂詞CLEAR(*)：積木*上面是空的。ON(*,y)：積木*在積木y的上面。ONTABLE(*)：積木*在桌子上。HOLDING(*)：機械手抓住*。HANDEMPTY：機械手是空的。其中，*和y的個體域都是{A,B,C}。問題的初始狀態(tài)是：ONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C)HANDEMPTY問題的目標狀態(tài)是：ONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTY(2)再定義描述操作的謂詞在本問題中，機械手的操作需要定義以下4個謂詞：Pickup(*)：從桌面上揀起一塊積木*。Putdown(*)：將手中的積木放到桌面上。Stack(*,y)：在積木*上面再摞上一塊積木y。Upstack(*,y)：從積木*上面揀起一塊積木y。其中，每一個操作都可分為條件和動作兩局部，具體描述如下：Pickup(*)條件：ONTABLE(*)，HANDEMPTY，CLEAR(*)動作：刪除表：ONTABLE(*)，HANDEMPTY添加表：HOLDING(*)Putdown(*)條件：HOLDING(*)動作：刪除表：HOLDING(*)添加表：ONTABLE(*)，CLEAR(*)，HANDEMPTYStack(*,y)條件：CLEAR(y)，HOLDING(y)動作：刪除表：HOLDING(y)，CLEAR(y)添加表：HANDEMPTY，ON(*,y)，CLEAR(*)Upstack(*,y)條件：HANDEMPTY，CLEAR(y)，ON(y,*)動作：刪除表：HANDEMPTY，ON(y,*)添加表：HOLDING(y)，CLEAR(*)(3)問題求解過程利用上述謂詞和操作，其求解過程為：ONTABLE(A)ONTABLE(B)ONTABLE(ONTABLE(A)ONTABLE(B)ONTABLE(C)CLEAR(A)CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(A)ONTABLE(B)HOLDING(C)CLEAR(A)CLEAR(B)CLEAR(C)Upstack(AUpstack(A,C)Putdown(C)Pickup(Pickup(B)ONTABLE(A)ONTABLE(ONTABLE(A)ONTABLE(C)ON(B,C)CLEAR(A)CLEAR(B)HANDEMPTYONTABLE(A)ONTABLE(C)HOLDING(B)CLEAR(A)CLEAR(B)CLEAR(C)ONTABLE(CONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTONTABLE(C)ON(B,C)CLEAR(A)CLEAR(B)HOLDING(A)Stack(B,Stack(B,A)Stack(C,B)Pickup(A)請對以下命題分別寫出它們的語義網(wǎng)絡(luò)：(1)每個學生都有一臺計算機。解：35.請對以下命題分別寫出它們的語義網(wǎng)絡(luò)：(1)每個學生都有一臺計算機。(2)高教師從3月到7月給計算機系學生講"計算機網(wǎng)絡(luò)"課。解：7月8月7月8月StartEndStartEnd教師ISAObjectSubject高教師計算機系學生教師ISAObjectSubject高教師計算機系學生講課事件ActionCaurseActionCaurse計算機網(wǎng)絡(luò)講課計算機網(wǎng)絡(luò)講課(5)紅隊與藍隊進展足球比賽，最后以3：2的比分完畢。解：比賽比賽AKOAKOParticipants1Oute3:22Participants1Oute3:22足球賽紅隊紅隊Participants2Participants2藍隊藍隊請把以下命題用一個語義網(wǎng)絡(luò)表示出來：(1)樹和草都是植物；植物解：植物AKOAKOAKOAKO草樹草樹(2)樹和草都有葉和根；根葉解：根葉HaveHaveHaveHave植物植物是一種是一種是一種是一種草樹草樹(3)水草是草，且生長在水中；解：LiveAKOAKO水草LiveAKOAKO水草水中植物草水中植物草(4)果樹是樹，且會結(jié)果；解：CanAKOAKO果樹CanAKOAKO果樹結(jié)果植物樹結(jié)果植物樹(5)梨樹是果樹中的一種，它會結(jié)梨。解：CanAKOAKO梨樹CanAKOAKO梨樹樹果樹結(jié)梨樹果樹結(jié)梨用語義網(wǎng)絡(luò)表示：動物能運動、會吃。鳥是一種動物，鳥有翅膀、會飛。魚是一種動物，魚生活在水中、會游泳。假設(shè)有以下一段天氣預報：“地區(qū)今天白天晴，偏北風3級，最高氣溫12o，最低氣溫-2o，降水概率15%。〞請用框架表示這一知識。解：Frame<天氣預報>地域：時段：今天白天天氣：晴風向：偏北風力：3級氣溫：最高：12度最低：-2度降水概率：15%按“師生框架〞、“教師框架〞、“學生框架〞的形式寫出一個框架系統(tǒng)的描述。解：師生框架Frame<Teachers-Students>Name：Unit〔Last-name，F(xiàn)irst-name〕Se*：Area〔male，female〕Default：maleAge：Unit〔Years〕Telephone：HomeUnit〔Number〕MobileUnit〔Number〕教師框架Frame<Teachers>AKO<Teachers-Students>Major：Unit〔Major-Name〕Lectures：Unit〔Course-Name〕Field：Unit〔Field-Name〕Project：Area〔National，Provincial，Other〕Default：ProvincialPaper：Area〔SCI，EI，Core，General〕Default：Core學生框架Frame<Students>AKO<Teachers-Students>Major：Unit〔Major-Name〕Classes：Unit〔Classes-Name〕Degree：Area〔doctor，mastor,bachelor〕Default：bachelor設(shè)有如下一段知識：“、王和都屬于高山協(xié)會。該協(xié)會的每個成員不是滑雪運發(fā)動，就是登山運發(fā)動，其中不喜歡雨的運發(fā)動是登山運發(fā)動，不喜歡雪的運發(fā)動不是滑雪運發(fā)動。王不喜歡所喜歡的一切東西，而喜歡所不喜歡的一切東西。喜歡雨和雪。〞試用謂詞公式集合表示這段知識，這些謂詞公式要適合一個逆向的基于規(guī)則的演繹系統(tǒng)。試說明這樣一個系統(tǒng)怎樣才能答復以下問題：“高山俱樂部中有沒有一個成員，他是一個登山運發(fā)動，但不是一個滑雪運發(fā)動？〞解：(1)先定義謂詞A(*)表示*是高山協(xié)會會員S(*)表示*是滑雪運發(fā)動C(*)表示*是登山運發(fā)動L(*,y)表示*喜歡y(2)將問題用謂詞表示出來“、王和都屬于高山協(xié)會A(Zhang)∧A(Wang)∧A(Li)高山協(xié)會的每個成員不是滑雪運發(fā)動，就是登山運發(fā)動(*)(A(*)∧?S(*)→C(*))高山協(xié)會中不喜歡雨的運發(fā)動是登山運發(fā)動(*)(?L(*,Rain)→C(*))高山協(xié)會中不喜歡雪的運發(fā)動不是滑雪運發(fā)動(*)(?L(*,Snow)→?S(*))王不喜歡所喜歡的一切東西(y)(L(Zhang,y)→?L(Wang,y))王喜歡所不喜歡的一切東西(y)(?L(Zhang,y)→L(Wang,y))喜歡雨和雪L(Zhang,Rain)∧L(Zhang,Snow)(3)將問題要求的答案用謂詞表示出來高山俱樂部中有沒有一個成員，他是一個登山運發(fā)動，但不是一個滑雪運發(fā)動？(*)(A(*)→C(*)∧?S(*))(4)為了進展推理，把問題劃分為事實和規(guī)則兩大局部。假設(shè)，劃分如下：事實：A(Zhang)∧A(Wang)∧A(Li)L(Zhang,Rain)∧L(Zhang,Snow)規(guī)則：(*)(A(*)∧?S(*)→C(*))(*)(?L(*,Rain)→C(*))(*)(?L(*,Snow)→?S(*))(y)(L(Zhang,y)→?L(Wang,y))(y)(?L(Zhang,y)→L(Wang,y))(5)把事實、規(guī)則和目標化成推理所需要的形式事實已經(jīng)是文字的合取形式：f1:A(Zhang)∧A(Wang)∧A(Li)f2:L(Zhang,Rain)∧L(Zhang,Snow)將規(guī)則轉(zhuǎn)化為后件為單文字的形式：r1:A(*)∧?S(*)→C(*))r2:?L(*,Rain)→C(*)r3:?L(*,Snow)→?S(*)r4:L(Zhang,y)→?L(Wang,y)r5:?L(Zhang,y)→L(Wang,y)將目標公式轉(zhuǎn)換為與/或形式?A(*)∨(C(*)∧?S(*))(6)進展逆向推理逆向推理的關(guān)鍵是要能夠推出L(Zhang,Rain)∧L(Zhang,Snow)，其逆向演繹過程如以下圖所示。??A(*)∨(C(*)∧?S(*))C(*)∧?C(*)∧?S(*)?A(*)C(*)?C(*)?S(*)r2r2r34?L?L(*,Rain)?L(*,Snow){Wang/*,y/Rain}{Wang/*,y/Snow}{Wang/*,y/Rain}{Wang/*,y/Snow}?L?L(Wang,y)?L(Wang,y)r4r4r4r4L(Zhang,y)L(Zhang,y)L(Zhang,y){Rain/