【正文】 。 一般策略：首先假設(shè)一個(gè)可能的目標(biāo)，然后由產(chǎn)生式系統(tǒng)試圖證明此假設(shè)目標(biāo)是否在總數(shù)據(jù)庫中。若在總數(shù)據(jù)庫中，則該假設(shè)目標(biāo)成立；否則，若該假設(shè)為終葉（證據(jù)）節(jié)點(diǎn)，則詢問用戶。若不是，則再假定另一個(gè)目標(biāo)，即尋找結(jié)論部分包含該假設(shè)的那些規(guī)則，把它們的前提作為新的假設(shè)，并力圖證明其成立。這樣反復(fù)進(jìn)行推理，直到所有目標(biāo)均獲證明或者所有路徑都得到測試為止。 92 雙向推理的推理策略是同時(shí)從目標(biāo)向事實(shí)推理和從事實(shí)向目標(biāo)推理，并在推理過程中的某個(gè)步驟，實(shí)現(xiàn)事實(shí)與目標(biāo)的匹配。 93 說明 ： 請同學(xué)們課后認(rèn)真閱讀本部分內(nèi)容，并以此為參考進(jìn)行實(shí)驗(yàn)準(zhǔn)備！ 思考 ： 規(guī)則演繹系統(tǒng)和產(chǎn)生式系統(tǒng)有哪幾種推理方式 ?各自的特點(diǎn)為何 ? 94 系統(tǒng)組織技術(shù) 教學(xué)內(nèi)容：系統(tǒng)組織技術(shù)屬于高級搜索推理技術(shù)，能夠用于求解比較復(fù)雜的系統(tǒng)。本節(jié)簡要介紹三種系統(tǒng)組織技術(shù)：議程表法、黑板法和△極小搜索法。 教學(xué)重點(diǎn)：系統(tǒng)組織技術(shù)如何實(shí)現(xiàn)模塊之間的合作。 教學(xué)難點(diǎn)：無要求。 教學(xué)方法：課堂教學(xué)。 教學(xué)要求：了解系統(tǒng)組織技術(shù)的基本原理。 95 議程表 (agenda)是一個(gè)系統(tǒng)能夠執(zhí)行的任務(wù)表列。與每個(gè)任務(wù)有關(guān)的有兩件事，即提出該任務(wù)的理由和表示對該任務(wù)是有用的證據(jù)總權(quán)的評價(jià)。 96 從組織大系統(tǒng)的觀點(diǎn)看，議程表方法的意義在于它允許幾個(gè)獨(dú)立模塊進(jìn)行通訊。其通訊方法是每個(gè)模塊可將支持 (或反對 )某個(gè)具體任務(wù)的證據(jù)，加到一個(gè)證明選擇該任務(wù)是正確的表中。這樣就使系統(tǒng)能夠選出從各方面都有充分證據(jù)的任務(wù)。雖然各模塊共同使用關(guān)于為什么要執(zhí)行各項(xiàng)任務(wù)的證據(jù)，但一個(gè)模塊并不需要了解其它模塊如何工作，以及它們所包含的知識(shí)。這樣，議程表方法便具有大系統(tǒng)中模塊化的一切優(yōu)點(diǎn)，而無相互隔離的缺點(diǎn)。 97 黑板法 (the Blackboard Approach)首先是在 HEARSAYⅡ 語音理解系統(tǒng)中發(fā)展起來的。它的思想比較簡單。整個(gè)系統(tǒng)由一組稱為知識(shí)資源 (KS)的獨(dú)立模塊和一塊黑板組成。這里，知識(shí)資源含有系統(tǒng)中專門領(lǐng)域的知識(shí)，而黑板則是一切 KS可以訪問的公用數(shù)據(jù)結(jié)構(gòu)。 98 當(dāng)一個(gè) KS被激發(fā)時(shí)，它檢查當(dāng)時(shí)黑板上的內(nèi)容，并應(yīng)用其知識(shí)產(chǎn)生一個(gè)新的假設(shè)寫到黑板上，直到完成任務(wù)為止。當(dāng)時(shí)間表沒有發(fā)現(xiàn)未解決的活動(dòng)記錄時(shí)，系統(tǒng)便停止執(zhí)行。 99 Δ 極小搜索法 定義 Δ 值表示一假設(shè)的級別與參加競爭的最佳假設(shè)的級別之差，提供了一種選擇最有希望假設(shè)的技術(shù)。 100 工作過程 一次接受一串輸入，順序地處理，使其形成一個(gè)關(guān)于輸入的統(tǒng)一而相容的解釋。 Δ 極小法是這樣來解決這類問題的：在適當(dāng)?shù)臅r(shí)刻，觸發(fā)某 KS，然后為它生成所有它認(rèn)為是可能的假設(shè)，并賦給某個(gè)假設(shè)一種級別。由這些級別計(jì)算出的 Δ 值，表示一假設(shè)的級別與參加競爭的最佳假設(shè)的級別之差。而在該假設(shè)最后導(dǎo)致不相容時(shí)，再考慮參加競爭的另一假設(shè)。 101 不確定性推理 教學(xué)內(nèi)容：本節(jié)介紹兩種不確定性(uncertainty)，即關(guān)于證據(jù)的不確定性和關(guān)于結(jié)論的不確定性。 教學(xué)要點(diǎn)：不確定性如何表示和推理。 教學(xué)難點(diǎn)：不確定性的推理。 教學(xué)方法：課堂教學(xué)為主。 教學(xué)要求：了解不確定性的表示和推理方法。 102 一般通過對事實(shí)賦于一個(gè)介于 0和 1之間的系數(shù)來表示事實(shí)的不確定性。 1代表完全確定， 0代表完全不確定。這個(gè)系數(shù)被稱為可信度 (也有一些專家系統(tǒng)，如 MYCIN和EXPERT等，取可信度的范圍為 1到 +1)。 103 當(dāng)規(guī)則具有一個(gè)以上的條件時(shí)，就需要根據(jù)各條件的可信度來求得總條件部分的可信度。已有的方法有兩類： （ 1）以模糊集理論為基礎(chǔ)的方法 按這種方法，把所有條件中最小的可信度作為總條件的可信度。這種方法類似于當(dāng)把幾根繩子連接起來使用時(shí)，總的繩子強(qiáng)度與強(qiáng)度最差的繩子的相同。 （ 2）以概率為基礎(chǔ)的方法 這種方法同樣賦予每個(gè)證據(jù)以可信度。但當(dāng)把單獨(dú)條件的可信度結(jié)合起來求取總的可信度時(shí)，它取決于各可信度的乘積。 104 不確定性的表示 關(guān)于結(jié)論的不確定性也叫做規(guī)則的不確定性，它表示當(dāng)規(guī)則的條件被完全滿足時(shí)，產(chǎn)生某種結(jié)論的不確定程度。它也是以賦予規(guī)則在 0和 1之間的系數(shù)的方法來表示的。 105 ? 例：有以下規(guī)則： 如果 啟動(dòng)器發(fā)生刺耳的噪聲那么這個(gè)啟動(dòng)器壞的可能性是 。 以上規(guī)則表示，如果“啟動(dòng)器發(fā)生刺耳的噪聲”這事實(shí)完全肯定的可信度為 ，那么得出“這個(gè)啟動(dòng)器壞”的結(jié)論的可信度為 。 106 不確定性的處理 如果規(guī)則的條件部分不完全確定，即可信度不為 1時(shí)，如何求得結(jié)論的可信度的方法有以下兩種： (1)取結(jié)論可信度為條件可信度與上述系數(shù)的乘積。 (2)按照某種概率論的解釋，我們假設(shè)規(guī)則的條件部分的可信度 Cin和其結(jié)論部分的可信度Cout存在某種關(guān)系，這種關(guān)系可用來代表規(guī)則的不確定性。 107 不確定性 當(dāng)多個(gè)規(guī)則支持同一事實(shí)時(shí)，這些規(guī)則之間的關(guān)系是析取。如何根據(jù)證據(jù)的可信度求得事實(shí)的可信度 ? 與關(guān)于證據(jù)的可信度類似，也有兩種方法，分別基于模糊集理論和概率理論。 108 取支持這個(gè)事實(shí)的各規(guī)則的可信度的最大值作為事實(shí)的可信度。 109 這里介紹的只是基于概率的方法中的一種。按這種方法由一組規(guī)則支持的事實(shí)的可信度，可用以下方法求得，首先把各個(gè)證據(jù)的可信度轉(zhuǎn)換成可信性比例 r?？尚判员壤?r和可信度 c之間的關(guān)系可表示為 把各證據(jù)的可信性比例簡單地相乘就可以求得這些證據(jù)所支持的事實(shí)的可信性比例。然后，再利用上述公式轉(zhuǎn)換回相應(yīng)的可信度。這樣就求得這個(gè)事實(shí)的可信度。 110 非單調(diào)推理 教學(xué)內(nèi)容：用于解決現(xiàn)實(shí)問題領(lǐng)域中的 3類情況：不完全的信息、不斷變化的情況、以及求解復(fù)雜問題過程中生成的假設(shè)，具有較為有效的求解效率。本節(jié)簡要介紹兩種非單調(diào)推理技術(shù)：缺省推理和正確性維持系統(tǒng) TMS。 教學(xué)要點(diǎn)：缺省推理和正確性維持系統(tǒng) TMS的基本原理。 教學(xué)難點(diǎn)：無特別要求。 教學(xué)方法：課堂教學(xué)。 教學(xué)要求：了解缺省推理和正確性維持系統(tǒng) TMS的基本原理。 111 當(dāng)缺乏信息時(shí)，只要不出現(xiàn)相反的證據(jù)，就可以作一些有益的猜想。構(gòu)造這種猜想稱為缺省推理 (default reasoning)。 缺省推理的定義 1：如果 X不知道，那么得結(jié)論 Y。 缺省推理的定義 2：如果 X不能被證明，那么得結(jié)論 Y。 缺省推理的定義 3：如果 X不能在某個(gè)給定的時(shí)間內(nèi)被證明，那么得結(jié)論 Y。 112 一個(gè)安排會(huì)議程序：程序必須求解一個(gè)約束滿足問題，即找出每個(gè)參加者都有空閑的開會(huì)日期與時(shí)刻，并有可供開會(huì)的房間。 113 (Truth Maintenane System,TMS) 這是一個(gè)已經(jīng)實(shí)現(xiàn)的非單調(diào)推理系統(tǒng)。它用以協(xié)助其它推理程序維持系統(tǒng)的正確性，所以它的作用不是生成新的推理，而是在其它程序所產(chǎn)生的命題之間保持相容性。一旦發(fā)現(xiàn)某個(gè)不相容，它就調(diào)出自己的推理機(jī)制，面向從屬關(guān)系的回溯，并通過修改最小的信念集來消除不相容。 114 在 TMS中，每一命題或規(guī)則均稱為節(jié)點(diǎn)，且對任一節(jié)點(diǎn)，以下兩種狀態(tài)必居其一： IN 相信為真 OUT 不相信為真，或無理由相信為真，或當(dāng)前沒有可相信的理由。 IN節(jié)點(diǎn)是指那些至少有一個(gè)在當(dāng)前說來是有效證實(shí)的節(jié)點(diǎn)。 OUT結(jié)點(diǎn)則指那些當(dāng)前無任何有效證實(shí)的節(jié)點(diǎn)。 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é)。 117 演講完畢，謝謝觀看！