【正文】 二、基本特征 產(chǎn)生式系統(tǒng)特點 c)相互影響的間接性 注：這個特點有利于知識模塊性，但使產(chǎn)生式系統(tǒng)的效率受到影響。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)特點 d)機器可讀性 包括機器識別產(chǎn)生式、語法檢查和某種程度上的語義檢查。 語法檢查包括無矛盾性檢驗和冗余檢查。 語義檢查涉及知識的具體領域，如通常數(shù)據(jù)庫中的一致性檢驗。 可讀性的另一含義是對產(chǎn)生式作出解釋，是對產(chǎn)生式系統(tǒng)為解決某一問題所給答案的解釋，即，對推理過程作出解釋。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)特點 注：產(chǎn)生式系統(tǒng)對某些領域的應用是很有效的，如醫(yī)療診斷，而對另一些領域不那么適用，如數(shù)學。其關鍵在于知識能否模塊化。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 三、產(chǎn)生式的知識元形式 常量字符串 是知識元的最簡單形式。 匹配有精確匹配、不完全匹配 (只要求 LHS中的知識元是當前數(shù)據(jù)基中某個知識元的子串即可 )。 匹配成功后， RHS的動作是把數(shù)據(jù)基內該知識元中所含的子串換成在 RHS中出現(xiàn)的子串。 注：這種產(chǎn)生式系統(tǒng)稱為置換系統(tǒng)。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 三、產(chǎn)生式的知識元形式 變量 若產(chǎn)生式的左部均只有一個符號，則這些符號也稱為變量。 注：引進變量的一個效果是把命題化為謂詞，引進變量后，可構造由謂詞構成的產(chǎn)生式系統(tǒng)，它的表達能力要強得多。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 三、產(chǎn)生式的知識元形式 元組 在許多專家系統(tǒng)中，經(jīng)常以（對象 ,屬性 ,值）的三元組形式作為產(chǎn)生式系統(tǒng)的知識元。 樹和圖 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 三、產(chǎn)生式的知識元形式 注： 1)知識元可涉及復雜的計算，如 exist(x,D) 2)一般地，變量的作用域僅限于它所在的產(chǎn)生式。若在匹配過程中，某規(guī)則中的一個變量被約束為某個值，則同一規(guī)則中所有同名變量必須約束為同一個值，但對其它規(guī)則中的同名變量無任何影響。同時，不論是規(guī)則匹配失敗或成功地結束，被約束的變量均要恢復原狀，即只起一種形式參數(shù)的作用。但是也有例外，如在許多語法置換系統(tǒng)中，同一字符串中的幾個同名變量可被置換為不同的子串。另一例外是作用域的放大。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 最基本推理方式 a)向前推理：數(shù)據(jù)驅動推理。 b)向后推理：目標驅動推理。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向前推理基本原理 每個產(chǎn)生式的左部有一組條件，右部有一組動作。每當數(shù)據(jù)基的當前狀態(tài)符合某一產(chǎn)生式左部的所有條件時，相應產(chǎn)生式被激發(fā)，并執(zhí)行其右部的動作。這些動作一般要修改數(shù)據(jù)基的內容，動作執(zhí)行完畢，數(shù)據(jù)基的狀態(tài)可能已經(jīng)發(fā)生改變。此時，再找一個產(chǎn)生式， … ，如此循環(huán)反復。 S1 S2 S3 執(zhí)行 產(chǎn)生式 Pa 執(zhí)行 產(chǎn)生式 Pb …... 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向前推理基本原理 注： 1)在大部分向前推理的產(chǎn)生式系統(tǒng)中，每個條件用一個謂詞來表示，產(chǎn)生式的左部是一串謂詞，產(chǎn)生式的右部也是一串謂詞。產(chǎn)生式的左部與當前數(shù)據(jù)基匹配成功的含義是：對產(chǎn)生式左部所有謂詞中出現(xiàn)的變量可以實行一種統(tǒng)一的置換，使得置換后的謂詞均是當前數(shù)據(jù)基中某個謂詞的樣品。執(zhí)行產(chǎn)生式右部動作的含義是：把左部匹配成功時實行的那個變量置換傳播到右部來，使右部謂詞中出現(xiàn)的變量按同一方式實行置換。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向前推理基本原理 注： 2)向前推理可形成一片森林。 3)對于產(chǎn)生式的激發(fā)還應加一個條件：當執(zhí)行一個產(chǎn)生式右部的動作不能改變數(shù)據(jù)基的狀態(tài)時，即使產(chǎn)生式左部能與數(shù)據(jù)基匹配，也不應當激發(fā)該產(chǎn)生式。即，當產(chǎn)生式的右部不能為數(shù)據(jù)基增添新的謂詞時，就不應激發(fā)此產(chǎn)生式，否則會產(chǎn)生許多無用的空轉，可能使產(chǎn)生式系統(tǒng)的運行不能停止。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向前推理基本原理 注： 4)在一般情況下，運行產(chǎn)生式系統(tǒng)應有一個目標。每執(zhí)行一次向前推理，就要將當前數(shù)據(jù)基狀態(tài)與目標狀態(tài)比較一下，若已達到目標，則停止運行。 5)有時，無目標的向前推理也是需要的。這往往是為了推出所需要的全部結果。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 a)基本原理 設目標狀態(tài)為 S1,則首先查看數(shù)據(jù)基的當前狀態(tài)是否已是 S1。 若是，則不必做任何工作，問題已解決，否則，查看有無這樣的規(guī)則 R1，可把狀態(tài) S2轉換為 S1。若有，則查看當前數(shù)據(jù)基的狀態(tài)是否是 S2，若是，則只要執(zhí)行 R1，即可達到狀態(tài)S1，問題也可解決。若當前數(shù)據(jù)基的狀態(tài)不是 S2，則進一步查看有無這樣的規(guī)則 R2，可把狀態(tài) S3轉換為 S2，若有，則查看當前數(shù)據(jù)基的狀態(tài)是否是S3,… ，如此反復，得到一條向后推理鏈。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 a)基本原理 S1 S3 S2 …... 執(zhí)行 產(chǎn)生式 R1 執(zhí)行 產(chǎn)生式 R2 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 b)實現(xiàn)方式 對于這類產(chǎn)生式系統(tǒng)，推理目標也可取一個謂詞的形態(tài)，稱為目標謂詞。 推理步驟是：以目標謂詞為樹根，首先查看當前數(shù)據(jù)基中是否有這樣的謂詞存在，它們與目標謂詞存在 最廣通代 。若有 n個這樣的謂詞，則從樹根生出 n枝“或枝”，每枝或叉的終點是上述數(shù)據(jù)基謂詞經(jīng)過最廣通代之后的一個樣品；然后，再查看有無這樣的規(guī)則，它們的右部謂詞與目標謂詞之間存在最廣通代，若有 m個這樣的規(guī)則， 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 b)實現(xiàn)方式 (推理步驟 )：則從樹根再生出 m枝“或叉”，每枝或叉的終點是上述規(guī)則的右部謂詞經(jīng)過最廣通代之后的樣品。若和某個右部謂詞相對應的左部有 k個謂詞，則從相應或叉的終點又生出 k枝“與叉”，每枝與叉的終點對應于一個左部謂詞，其中的所有變元均已按照右部謂詞所作的最廣通代作了相應的置換。 在上述過程中，或叉的起點稱為或結點，其終點稱為與結點；與叉的起點稱為與結點，其終點稱為或結點。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 b)實現(xiàn)方式 (推理步驟 )：由上可知：或結點和與結點互為因果。按此辦法不斷進行下去，可使與叉和或叉，與結點和或結點循環(huán)輪回，生成一棵樹，稱為與或樹。它可以是有窮的，也可是無窮的。 若從一個或結點生出的所有或叉中，有一枝或叉的終點是當前數(shù)據(jù)基中某個謂詞的一個樣品，則稱此或結點成功，它的子與結點 (即上述謂詞樣品 )自然也成功，并且是與或樹的一個葉結點。若從一個或結點不能生出任何或叉，則稱此或結點失敗，它也與或樹的一個葉結點。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 b)實現(xiàn)方式 (推理步驟 )：若一個或結點的所有子與結點皆失敗，則該父或結點也失敗。若一個與結點成功，則它的父或結點也成功。若一個父與結點的所有子或結點皆成功，則該父與結點也成功。 若由于某些葉結點的成功，使得根結點 (它一定是或節(jié)點 )成功，則整個推理成功。若到某個時刻，由于某些葉結點的失敗而使得推理不再能進行，則整個推理失敗，否則，與或樹有可能無窮地生長下去。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向后推理 c)最廣通代定義 定義 1[通代 ] 若有一組謂詞 W={?1,?2,…, ?n}，又有一個代換 ?，使 ?1?=?2?=…= ?n?，則稱 ?為謂詞組 W的通代。 定義 2[廣通代 ] 若 ?1和 ?2均是謂詞組 W的通代，另有一個代換 ?3，使得： [W?1]?3=W?2 ，則稱通代 ?1較通代 ?2為廣。 定義 3[最廣通代 ] 設 ?是謂詞組 W的一個通代 ,若對任意其它通代 ?， ?均比 ?廣，則稱 ?為 W的一個最廣通代。 注：最廣通代可不唯一。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 五、框架問題 框架問題 一般，每個謂詞只有已知其真假和還未知道其真假的區(qū)別，不會原先是真的，后來變假了，或反過來，原先是假的，后來變真了。即，真的假不了，假的真不了。 但對于一些系統(tǒng)，謂詞的真假值會在推理過程中發(fā)生變化，且數(shù)據(jù)基的狀態(tài)每次只改變一些。而其余部分則沒有變化。這就是框架問題。 注：具有框架問題的系統(tǒng)主要是用于描述客觀世界中狀態(tài)變遷的系統(tǒng)。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 五、框架問題 處理方法 a)直接指明法 在每個產(chǎn)生式中直接指明增加哪些謂詞，刪去哪些謂詞。 b)引入狀態(tài)參數(shù)法 在每個謂詞中增加一個狀態(tài)參數(shù)，以使得一個謂詞在不同狀態(tài)可取不同值。 注：具有不同狀態(tài)參數(shù)的同一謂詞是不同的謂詞樣品，從而完全可有不同的值。 c)謂詞函數(shù)化 (高階邏輯法 ) 所用的謂詞全部寫成函數(shù)的形式，這樣謂詞樣品就是項。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 六、非確定性匹配 不要求產(chǎn)生式的左部能與數(shù)據(jù)基中的數(shù)據(jù)完全匹配，往往只需要部分的匹配 (主要是由于已有的信息不是十完備 )，就可推出某些結論性的信息。 注：可采用權、可信度來表示和確定事實與規(guī)則的匹配程度 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 七、匹配沖突的解決 匹配沖突 在向前推理時，有 n個產(chǎn)生式 (n1)的左部均能與當前數(shù)據(jù)基中的數(shù)據(jù)匹配成功，或有 m組不同數(shù)據(jù)(m1)均能和同一產(chǎn)生式的左部匹配成功，或兩種情況的組合。 在向后推理時，有 n個產(chǎn)生式 (n1)的右部均能和同一子目標匹配成功，或 有 m組不同數(shù)據(jù) (m1)均能和同一子目標匹配成功，或有 l個子目標 (l1)均能找到相應的數(shù)據(jù)或產(chǎn)生式右部并匹配成功，或三種情況的復合。 這就形成了匹配沖突。 第二章 知識與知識表示 第三節(jié) 產(chǎn)生式系統(tǒng) 七、匹配沖突的解決 匹配沖突 注：產(chǎn)生式系統(tǒng)中的解釋執(zhí)行系統(tǒng)必須具有某種選擇功能，以便排除上面列舉的二義性。這是在設計產(chǎn)生式系統(tǒng)時應該考慮的一個策略問題，這就是解決匹配沖突的策略。 解決沖突的策略 a)按事先排好的固定順序 b)按通用性和針對性排序 c)按數(shù)據(jù)的新鮮性排序 d)按子目標的新鮮性排序 e)按使用產(chǎn)生式和數(shù)據(jù)的公平性排序 f)按匹配程度排序 第二章 知識與知識表示 第四節(jié) 框架結構 一、事物的屬性 屬性 用于描述事物特性的項 注： 1)掌握了事物的屬性，就有關于事物的知識 2)屬性一般具有屬性名和相應值 3)屬性是描述事物的最小元素 屬性表 將同一事物的各方面屬性列成一張表，構成該事物的屬性表 注： 1)屬性表是屬性的集合，用于描述事物的整體特性 2)屬性表中的屬性之間可存在依賴關系 第二章 知識與知識表示 第四節(jié) 框架結構 一、事物的屬性 屬性框架 對于具有同樣一些屬性的事物 ,可將這些屬性確定為屬性框架 注： 1)只要在此框架內對諸屬性賦以不同的值 ,就可得到對同一類事物不同個體的描述 2)屬性框架與數(shù)據(jù)庫中關系表的定義非常相似，但屬性框架中的某些屬性可被看作事物而擁有自己的屬性表，從而可形成層次式的嵌套結構 3)在對事物進行推理的過程中，事物的屬性有時也要一起參加推理，推理可包含對有關屬性的運算，運算結果組成推理結果的一部分 第二章 知識與知識表示 第四節(jié) 框架結構 一、事物的屬性 屬性框架 對于具有同樣一些屬性的事物 ,可將這些屬性確定為屬性框架 注： 4)屬性框架內的屬性之間可存在橫向關系和縱向關系，且縱向關系更能深刻地反映客觀世界中各事物之間的關系 5