【正文】 生的每個(gè)子句變換為一個(gè)重言式，所以被變換的證明樹就是一棵消解的證明樹，其在根部的語句在邏輯上遵循公理加上重言式，因而也單獨(dú)地遵循公理。通過比較揭示正向推理、逆向推理和雙向推理的特點(diǎn)。 67 定義 正向規(guī)則演繹系統(tǒng)是從事實(shí)到目標(biāo)進(jìn)行操作的，即從狀況條件到動(dòng)作進(jìn)行推理的，也就是從 if到 then的方向進(jìn)行推理的。把允許用作規(guī)則的公式類型限制為下列形式： L→W 式中： L是單文字； W為與或形的唯一公式。在正向推理系統(tǒng)中，這種目標(biāo)表達(dá)式只限于可證明的表達(dá)式，尤其是可證明的文字析取形的目標(biāo)公式表達(dá)式。其中， W為任一與或形公式， L為文字，而且蘊(yùn)涵式中任何變量的量詞轄域?yàn)檎麄€(gè)蘊(yùn)涵式。當(dāng)用 F規(guī)則和 B規(guī)則對圖進(jìn)行擴(kuò)展之后，匹配就可以出現(xiàn)在任何文字節(jié)點(diǎn)上。重點(diǎn)講解原理，通過實(shí)驗(yàn)進(jìn)一步領(lǐng)會(huì)系統(tǒng)的精髓。產(chǎn)生式規(guī)則的左邊表示在啟用這一規(guī)則之前總數(shù)據(jù)庫內(nèi)必須準(zhǔn)備好的條件。通常從選擇規(guī)則到執(zhí)行操作分 3步：匹配、沖突解決和操作。然后，其他的規(guī)則有可能被使用。若不是，則再假定另一個(gè)目標(biāo)，即尋找結(jié)論部分包含該假設(shè)的那些規(guī)則，把它們的前提作為新的假設(shè)，并力圖證明其成立。 教學(xué)要求：了解系統(tǒng)組織技術(shù)的基本原理。 97 黑板法 (the Blackboard Approach)首先是在 HEARSAYⅡ 語音理解系統(tǒng)中發(fā)展起來的。 Δ 極小法是這樣來解決這類問題的：在適當(dāng)?shù)臅r(shí)刻，觸發(fā)某 KS，然后為它生成所有它認(rèn)為是可能的假設(shè)，并賦給某個(gè)假設(shè)一種級別。 102 一般通過對事實(shí)賦于一個(gè)介于 0和 1之間的系數(shù)來表示事實(shí)的不確定性。 104 不確定性的表示 關(guān)于結(jié)論的不確定性也叫做規(guī)則的不確定性，它表示當(dāng)規(guī)則的條件被完全滿足時(shí)，產(chǎn)生某種結(jié)論的不確定程度。 108 取支持這個(gè)事實(shí)的各規(guī)則的可信度的最大值作為事實(shí)的可信度。 教學(xué)要點(diǎn)：缺省推理和正確性維持系統(tǒng) TMS的基本原理。 缺省推理的定義 3：如果 X不能在某個(gè)給定的時(shí)間內(nèi)被證明，那么得結(jié)論 Y。 115 在系統(tǒng)中，有兩種方式可用來證實(shí)一個(gè)節(jié)點(diǎn)的有效性可依賴于其它節(jié)點(diǎn)的有效性： (1) 支持表 (SL (IN節(jié)點(diǎn) ) (OUT節(jié)點(diǎn) )) (2) 條件證明 (CP (結(jié)論 ) (IN假設(shè) ) (OUT假設(shè) )) 116 小 結(jié) 對本章討論過的各種搜索推理技術(shù)加以歸納總結(jié)。一旦發(fā)現(xiàn)某個(gè)不相容，它就調(diào)出自己的推理機(jī)制，面向從屬關(guān)系的回溯，并通過修改最小的信念集來消除不相容。 111 當(dāng)缺乏信息時(shí)，只要不出現(xiàn)相反的證據(jù)，就可以作一些有益的猜想。然后，再利用上述公式轉(zhuǎn)換回相應(yīng)的可信度。 106 不確定性的處理 如果規(guī)則的條件部分不完全確定，即可信度不為 1時(shí)，如何求得結(jié)論的可信度的方法有以下兩種： (1)取結(jié)論可信度為條件可信度與上述系數(shù)的乘積。已有的方法有兩類： （ 1）以模糊集理論為基礎(chǔ)的方法 按這種方法，把所有條件中最小的可信度作為總條件的可信度。 教學(xué)要點(diǎn)：不確定性如何表示和推理。 98 當(dāng)一個(gè) KS被激發(fā)時(shí)，它檢查當(dāng)時(shí)黑板上的內(nèi)容，并應(yīng)用其知識(shí)產(chǎn)生一個(gè)新的假設(shè)寫到黑板上，直到完成任務(wù)為止。其通訊方法是每個(gè)模塊可將支持 (或反對 )某個(gè)具體任務(wù)的證據(jù)，加到一個(gè)證明選擇該任務(wù)是正確的表中。本節(jié)簡要介紹三種系統(tǒng)組織技術(shù)：議程表法、黑板法和△極小搜索法。繼續(xù)上述過程，用更新過的總數(shù)據(jù)庫的所有事實(shí)再與規(guī)則庫中另一條規(guī)則匹配，用其結(jié)論再次修改總數(shù)據(jù)庫的內(nèi)容，直到?jīng)]有可匹配的新規(guī)則，不再有新的事實(shí)加到總數(shù)據(jù)庫中。被觸發(fā)的規(guī)則不一定總是啟用規(guī)則，因?yàn)榭赡芡瑫r(shí)有幾條規(guī)則的條件部分被滿足，這就要在解決沖突步驟中來解決這個(gè)問題。規(guī)則庫知識(shí)的完整性、一致性、準(zhǔn)確性、靈活性和知識(shí)組織的合理性，將對產(chǎn)生式系統(tǒng)的運(yùn)行效率和工作性能產(chǎn)生重要影響。當(dāng) then部分用于規(guī)定動(dòng)作時(shí)，稱這種基于規(guī)則的系統(tǒng)為反應(yīng)式系統(tǒng) (reaction system)或產(chǎn)生式系統(tǒng) (production system)。 80 產(chǎn)生式系統(tǒng) 教學(xué)內(nèi)容：本節(jié)介紹產(chǎn)生式系統(tǒng)的定義、組成和推理技術(shù)。雙向 (正向和逆向 )組合演繹系統(tǒng)具有正向和逆向兩系統(tǒng)的優(yōu)點(diǎn)，克服各自的缺點(diǎn)。 76 逆向推理過程 （ 1）目標(biāo)表達(dá)式的與或形式 逆向演繹系統(tǒng)能夠處理任意形式的目標(biāo)表達(dá)式。當(dāng)用規(guī)則 L=W來變換以上述方式描述的 F(L)的與或圖表示時(shí)，就產(chǎn)生一個(gè)含有F(W)表示的新圖；也就是說，它的以葉節(jié)點(diǎn)終止的解圖集以 F(W)子句形式代表該子句集。 69 ? 例：有事實(shí)表達(dá)式 (?u)(? v)｛ Q(v， u)∧ ～［ (R(v)∨P(v))∧S(u ， v)］｝把它化為 Q(v,A)∧ ｛［～ R(v)∧ ～ P(v)］∨ ～ S(A,v)｝ 對變量更名標(biāo)準(zhǔn)化，使得同一變量不出現(xiàn)在事實(shí)表達(dá)式的不同主要合取式中，得： Q(w,A)∧ ｛［～ R(v)∧ ～ P(v)］∨ ～ S(A,v)｝ 70 （ 2）事實(shí)表達(dá)式的與或圖表示 將上例與或形的事實(shí)表達(dá)式用與或圖來表示，見圖 。有時(shí)把該斷言集稱為工作內(nèi)存。本節(jié)介紹規(guī)則演繹系統(tǒng)的定義及其三種推理方法：規(guī)則正向演繹系統(tǒng)、規(guī)則逆向演繹系統(tǒng)和規(guī)則雙向演繹系統(tǒng)。 62 反演求解過程 步驟： (1)把由目標(biāo)公式的否定產(chǎn)生的每個(gè)子句添加到目標(biāo)公式否定之否定的子句中去。 58 例子 P(x)∨ Q(x) Q［ f(y)］ 置換 σ =｛ f(y)/x｝ P［ f(y)］ 59 消解反演求解過程 基本思想 把要解決的問題作為一個(gè)要證明的命題，其目標(biāo)公式被否定并化成子句形，然后添加到命題公式集中去，把消解反演系統(tǒng)應(yīng)用于聯(lián)合集，并推導(dǎo)出一個(gè)空子句 (NIL)，產(chǎn)生一個(gè)矛盾，這說明目標(biāo)公式的否定式不成立，即有目標(biāo)公式成立，定理得證，問題得到解決，與數(shù)學(xué)中反證法的思想十分相似。對于某些問題，可能不需要其中的一些步驟。 (6) 把母式化為合取范式 任何母式都可寫成由一些謂詞公式和 (或 )謂詞公式的否定的析取的有限集組成的合取。 47 (4) 消去存在量詞 用 Skolem函數(shù)代替存在的 x,就可以消去全部存在量詞，并寫成： (? y)P［ g(y),y］ 從一個(gè)公式消去一個(gè)存在量詞的一般規(guī)則是以一個(gè) Skolem函數(shù)代替每個(gè)出現(xiàn)的存在量詞的量化變量，而這個(gè) Skolem函數(shù)的變量就是由那些全稱量詞所約束的全稱量詞量化變量，這些全稱量詞的轄域包括要被消去的存在量詞的轄域在內(nèi)。 （ 3）消解：當(dāng)消解可使用時(shí)，消解過程被應(yīng)用于母體子句對，以便產(chǎn)生一個(gè)導(dǎo)出子句。 提問 ： 由 g*(n)和 g(n)的定義知 g*(n)≤g(n) A．對 B．錯(cuò) 思考： 試比較寬度優(yōu)先搜索、有界深度優(yōu)先搜索及有序搜索的搜索效率，并以實(shí)例數(shù)據(jù)加以說明 41 消解原理 教學(xué)內(nèi)容：消解原理是針對謂詞邏輯知識(shí)表示的問題求解方法。 h*(n)的估計(jì) h(n)依賴于有關(guān)問題的領(lǐng)域的啟發(fā)信息。因此，起始節(jié)點(diǎn)棋局 2 8 3 1 4 7 6 5 的 f值等于 0+4=4。 (iii) 如果節(jié)點(diǎn) j在 CLOSED表中，則把它移回OPEN表。 (5) 如果 i是個(gè)目標(biāo)節(jié)點(diǎn)，則成功退出，求得一個(gè)解。估價(jià)函數(shù) f是這樣確定的：一個(gè)節(jié)點(diǎn)的希望程序越大，其 f值就越小。應(yīng)用這種排序過程，需要某些估算節(jié)點(diǎn)“希望”的量度，這種量度叫做估價(jià)函數(shù) (evalution function)。 教學(xué)方法：通過實(shí)例加深對原理的理解，鼓勵(lì)同學(xué)擴(kuò)大閱讀范圍。 21 等代價(jià)搜索中的幾個(gè)記號 起始節(jié)點(diǎn)記為 S； 從節(jié)點(diǎn) i到它的后繼節(jié)點(diǎn) j的連接弧線代價(jià)記為 c(i， j)； 從起始節(jié)點(diǎn) S到任一節(jié)點(diǎn) i的路徑代價(jià)記為 g(i)。 12 例：把寬度優(yōu)先搜索應(yīng)用于八數(shù)碼難題時(shí)所生成的搜索樹，這個(gè)問題就是要把初始棋局變?yōu)槿缦履繕?biāo)棋局的問題： 13 14