【正文】 )∨ANSWER(FIDO,x) （ 2）用下圖的反演樹進(jìn)行消解，并在根部得到子句： ANSWER(FIDO,SCHOOL) ～ AT(FIDO,x)∨ANSWER(FIDO,x) ～ AT(JOHN,y)∨AT(FIDO,y) ～ AT(JOHN,x)∨ANSWER(FIDO,x) AT(JOHN,SCHOOL) ANSWER(FIDO,SCHOOL) ?1={x/y} ?2={SCHOOL/x} 例 2 某公司招聘人員， A、 B、 C三人應(yīng)試，經(jīng)面試后，公司有如下想法： (1) 三人中至少錄用一人； (2) 如果錄用 A而不錄用 B，則一定錄用 C； (3) 如果錄用 B，則一定錄用 C。 求公司錄用誰？ 解： 定義： P(x)表示錄用 x。 則前提為 (1) P(A)∨P(B)∨P(C) (2) (P(A)∧( ～ P(B)))=P(C) (3) P(B)=P(C) 則結(jié)論為 P(x) 將前提化為子句集： (1) P(A)∨P(B)∨P(C) (2) ～ P(A)∨P(B)∨P(C) (3) ～ P(B)∨ P(C) 將結(jié)論否定與謂詞 ANSWER構(gòu)成析取式： (4) ～ P(x)∨ANSWER(x) 利用消解原理，對子句集進(jìn)行消解： P(A)∨P(B)∨P(C) ～ P(A)∨P(B)∨P(C) P(B)∨P(C) ～ P(B)∨P(C) P(C) ～ P(x)∨ANSWER(x) ANSWER(C) ?={C/x} 可見公司一定錄取 C 例 3 已知（ 1）王是李的老師 （ 2）李是張的同學(xué) （ 3）如果 x與 y是同學(xué)，則 x的老師也是 y的老師。 求：張的老師是誰？ 解：令 T(x,y):x是 y的老師； C(x,y)： x是 y的同學(xué) , 則 已知的三個事實可解釋為下列公式集 T(Wang,Li) C(Li,Zhang) (?x)(?y)(?z){C(x,y)∧T(z,x)=T(z,y)} 目標(biāo)公式： (?x)T(x,Zhang) 將上述事實化為子句集： ① T(Wang,Li) ② C(Li,Zhang) ③ ～ C(x,y)∨ ～ T(z,x)∨ T(z,y) 目標(biāo)公式否定的子句形為： ～ T(x,Zhang) 將它與謂詞 ANSWER構(gòu)成析取式： ④ ～ T(w,Zhang)∨ANSWER(w,Zhang) 用下圖的反演樹進(jìn)行消解，并在根部得到子句 ： ～ C(x,y)∨ ～ T(z,x)∨T(z,y) T(Wang,Li) ～ C(Li,y)∨T(Wang,y) C(Li,Zhang) T(Wang,Zhang) ?1={Wang/z,Li/x} ～ T(w,Zhang)∨ANSWER(w,Zhang) ?2={Zhang/y} ANSWER(Wang,Zhang) ?3={Wang/w} 產(chǎn)生式系統(tǒng) 產(chǎn)生式系統(tǒng)的組成 產(chǎn)生式系統(tǒng)由 3個部分組成，即總數(shù)據(jù)庫 (或全局?jǐn)?shù)據(jù)庫 )、產(chǎn)生式規(guī)則和控制策略， ?總數(shù)據(jù)庫又稱為綜合數(shù)據(jù)庫、上下文、黑板等，用于存放求解過程中各種當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)，如問題是的初始狀態(tài)、事實或證據(jù)、中間推理結(jié)論和最后結(jié)果等。 ?產(chǎn)生式規(guī)則是一個規(guī)則庫，用于存放與求解問題有關(guān)的某個領(lǐng)域知識的規(guī)則之集合及其交換規(guī)則。 其基本形式為 IF 前提 THEN 結(jié)論 ? 控制策略的作用是說明下一步應(yīng)該選用什么規(guī)則。 例：設(shè)有八數(shù)碼難題： 請用產(chǎn)生式規(guī)則表示移動小方塊的操作。 初始狀態(tài) 目標(biāo)狀態(tài) 2 8 31 47 6 51 2 38 47 6 5解： 1）建立棋盤變換的產(chǎn)生式規(guī)則。 如果把棋盤的每一布局看作是一個狀態(tài)矩陣，本題就變成了從初始狀態(tài)矩陣到目標(biāo)狀態(tài)矩陣的一種變化。 設(shè) Sij為狀態(tài)矩陣的第 i行和第 j列的數(shù)碼，其中 3≥i, j≥1。 i0,j0表示空格所在的行和列。如果在狀態(tài)矩陣中用 0來表示空格的話，則建立如下四條產(chǎn)生式規(guī)則： R1: if (j01≥1) then begin Si0j0:=Si0(j01)。 Si0(j01):=0 end 空格左移 R2: if (i01≥1) then begin Si0j0:=S(i01)j0。 S(i01)j0:=0 end 空格上移 R3: if (j0+1≤3) then begin Si0j0:=Si0(j0+1)。 Si0(j0+1):=0 end 空格右移 R4: if (i0+1≤3) then begin Si0j0:=S(i0+1)j0。 S(i0+1)j0:=0 end 空格下移 2）建立綜合數(shù)據(jù)庫 將棋盤的布局表示為狀態(tài)矩陣的形式存入綜合數(shù)據(jù)庫。 例如，初始布局和目標(biāo)布局以矩陣形式表示為： 綜合數(shù)據(jù)庫中，存放著初始狀態(tài)矩陣和目標(biāo)狀態(tài)矩陣以及變換過程中的中間矩陣。 02 8 3147 6 5S???? ????????? ???? ? ???????????? ??????1 2 3847 6 5gS???? ????????? ???? ? ???????????? ??????3）推理求解 在進(jìn)行推理求解時，可能會有多條產(chǎn)生式規(guī)則的條件部分和綜合數(shù)據(jù)庫中的已有事實相符，這樣就有可能激活多條規(guī)則。 究竟采用哪一條規(guī)則作為啟用規(guī)則規(guī)則，這就是沖突解決策略問題。 在本題中采用一個啟發(fā)式函數(shù) f(n)=d(n)+W(n) 其中： d(n)是搜索樹中節(jié)點 n的深度； W(n)用來計算對應(yīng)于節(jié)點 n的數(shù)據(jù)庫中錯放的棋子個數(shù)。 在綜合數(shù)據(jù)庫中的初始矩陣，能滿足規(guī)則 R1，R2， R3， R4的條件，所以有四條匹配規(guī)則。利用啟發(fā)函數(shù)決定哪一條規(guī)則為啟用規(guī)則。因為規(guī)則 R1的啟發(fā)式函數(shù)值 h(x)=4，規(guī)則 R2的啟發(fā)式函數(shù)值 h(x)=4,規(guī)則 R3的啟發(fā)式函數(shù)值 h(x)=5,規(guī)則 R4的啟發(fā)式函數(shù)值 h(x)=5。在這里 R1與 R2所得到的新狀態(tài)與目標(biāo)狀態(tài)差距最小，且都為 4，而在 R1與 R2中再選擇一條規(guī)則作為啟用規(guī)則，在這里我們使用規(guī)則的排列順序，首先選擇 R1，所以啟用規(guī)則 R1，依次類推。 可以得到到達(dá)目標(biāo)狀態(tài)的規(guī)則執(zhí)行序列如下：R1， R2， R1， R4， R3 其執(zhí)行過程如下圖所示。 圖中節(jié)點旁所標(biāo)數(shù)字為 h(x)的值，箭頭上所標(biāo)為啟用的規(guī)則。 Sg 2 8 31 47 6 5S0 3 4 4 5 5 5 6 4 6 4 4 6 2 8 31 47 6 52 31 8 47 6 52 8 31 47 6 52 8 31 6 47 5R1 R2 R3 R4 8 32 1 47 6 52 8 37 1 46 5R2 R4 2 31 8 47 6 528 47 6 5R1 R3 2 38 47 6 5R4 1 2 38 47 6 52 38 46 5R3 R4 演講完畢，謝謝觀看！