【正文】 MYCIN醫(yī)療專家系統(tǒng)采用反向推理和深度優(yōu)先搜索的方法，用到不確定性推理方法，它用于診斷和治療感染性疾病。當(dāng)規(guī)則具有一個(gè)以上的條件時(shí)，就需要根據(jù)各條件的可信度求得總條件部分的可信度。把它應(yīng)用到目標(biāo)表達(dá)式，就得到了該問(wèn)題的解答。 3. 與或圖的 F規(guī)則變換 我們把允許用作規(guī)則的公式類型限制為下列形式： L = W 式中， L是單文字； W是與或形表達(dá)式 例如：事實(shí)表達(dá)式： P∨[S∧(T∨U)] 規(guī)則： S =(X∧Y)∨Z P∨[S∧(T∨U)] P 析取 S∧(T∨U) S 合取 T∨U S T U Z X∧Y 應(yīng)用一條 F規(guī)則 L=W X Y 得到的與或圖 4. 作為終止條件的目標(biāo)公式 應(yīng)用 F規(guī)則的目的在于從某個(gè)事實(shí)公式和某個(gè)規(guī)則集出發(fā)來(lái)證明某個(gè)目標(biāo)公式。基于規(guī)則的問(wèn)題求解系統(tǒng)運(yùn)用下述規(guī)則來(lái)建立， IF THEN , 即： IF IF1 IF2 THEN THEN1 THEN2 其中： IF部分可能由幾個(gè) IF組成，而 THEN部分可能由一個(gè)或一個(gè)以上的 THEN組成。 在本節(jié)中，我們介紹一種有序搜索（也稱為最好優(yōu)先搜索）方法。視覺系統(tǒng)可運(yùn)用啟發(fā)式策略選擇一給定景像的最有可能的解釋。 R2 R3 R1 R4 C . D . E . . R2: 如 X/20為整，則 X/10為整 R3 R4 R2 R3 R4 S F . .G . H I R3: 如 X/6為整，則 X/2為整。 （ 6）如果該節(jié)點(diǎn)的任一個(gè)后繼節(jié)點(diǎn)是個(gè)目標(biāo)節(jié)點(diǎn)，則找到一個(gè)解答，成功退出；否則轉(zhuǎn)向（ 2）。每條連線對(duì)應(yīng)于一個(gè)操作符。在這一過(guò)程中采用適當(dāng)?shù)乃阉骷夹g(shù)，包括各種規(guī)則、過(guò)程和算法等推理技術(shù)，力求找到問(wèn)題的解答。當(dāng)然，并不是所有問(wèn)題都可以畫出圖示的搜索樹（深度不深、每條支路都有解且支路不多）。 注： 在 OPEN表中已有的節(jié)點(diǎn)，新擴(kuò)展有關(guān)節(jié)點(diǎn)不放 OPEN表中。 啟發(fā)式搜索 盲目搜索的效率低，耗費(fèi)過(guò)多的計(jì)算空間與時(shí)間。這時(shí)需用啟發(fā)式策略通過(guò)指導(dǎo)搜索向最有希望的方向前進(jìn)，以降低復(fù)雜性。 給定一個(gè)問(wèn)題后，根據(jù)問(wèn)題的特性和解的特性，可以有多種方法定義估價(jià)函數(shù)，用不同的估價(jià)函數(shù)指導(dǎo)搜索，其效果可以相差很遠(yuǎn)。從 IF部分向 THEN部分推理的過(guò)程，叫做正向推理。 逆向演繹系統(tǒng)能夠處理任意形式的目標(biāo)表達(dá)式。一個(gè)簡(jiǎn)單的終止條件是某個(gè)判定與或圖根節(jié)點(diǎn)是否為可解過(guò)程的直接歸納。 2. 以概率為基礎(chǔ)的方法 總的證據(jù)可信度為各證據(jù)可信度的乘積 。 前兩步診斷，后兩步治療。 規(guī)則：如果 該動(dòng)物有毛發(fā) 那么 它是哺乳動(dòng)物 規(guī)則：如果 該動(dòng)物能產(chǎn)乳 那么 它是哺乳動(dòng)物 1. 基于模糊集理論的方法 取支持該結(jié)論的各規(guī)則的結(jié)論可信度的最大值作為結(jié)論的可信度 。例如，當(dāng)你觀察某種動(dòng)物的顏色時(shí)，你可能說(shuō)這種動(dòng)物的顏色看起來(lái)是白色的，但也可能是灰色的。 W=(L1∧L2) 可以化為兩個(gè)規(guī)則： W=L1和 (∧) W=L2 3. 作為終止條件的事實(shí)節(jié)點(diǎn)的一致解圖 逆向系統(tǒng)中的事實(shí)表達(dá)式均限制為文字合取形。 ?? 在基于規(guī)則的正向演繹系統(tǒng)中，所要做的第一步是將其變換（或叫化成）非蘊(yùn)含形式的與或形。 5 第五章 高級(jí)求解技術(shù) 上一章我們介紹了幾個(gè)基本的（早期的）搜索技術(shù)，如寬度優(yōu)先、深度優(yōu)先（盲目搜索）、有序搜索（啟發(fā)式搜索、最好優(yōu)先）。 上述兩種情況第一種多出現(xiàn)在專家系統(tǒng)中，第二種情況多出現(xiàn)在博奕和定理證明中。 視覺問(wèn)題又是一例。 首先、擴(kuò)展最深的節(jié)點(diǎn)的結(jié)果使得搜索沿著狀態(tài)空間某條單一的路徑從起始節(jié)點(diǎn)向下進(jìn)行下去；只有當(dāng)搜索到達(dá)一個(gè)沒有后裔的狀態(tài)時(shí)，它才考慮另一條替代的路徑。否則繼續(xù)。 R4 S R4 R4 S R4: 如 X/10為整，則 X/5為整。 R2 R3 R1 R4 C . D . E . . R2: 如 X/20為整，則 X/10為整 R3 R4 R