【文章內(nèi)容簡介】 ,m} {b,b,m}172。 nhcuj7d3 {l}  {m} {m} {m} {m}  172。 r3 r3 r3172。 {m,m} {m,m} {m,m}172。 m m m m m m 172。 可分解的產(chǎn)生式系統(tǒng)圖172。 圖中弧線表示與，不帶弧線表示或的關系。 （續(xù)）172。3可恢復的產(chǎn)生式系統(tǒng)172。在可交換的產(chǎn)生式系統(tǒng)中，規(guī)則的使用次序是可以交換的，但要求每條規(guī)則的執(zhí)行都要為綜合數(shù)據(jù)庫添加新的內(nèi)容，這一要求是很強的，對許多情況不能適用。事實上，人們在求解問題的過程中經(jīng)常要進行回溯的。所謂回溯就是當問題求解到某一步發(fā)現(xiàn)無法進行下去時，就撤消在此之前得到的某些結果，恢復（續(xù)）172。到先前的某個狀態(tài)。用產(chǎn)生式系統(tǒng)求解問題也是這樣，當執(zhí)行一條規(guī)則后使綜合數(shù)據(jù)庫的狀態(tài)由 DBi變?yōu)?DBi+1時，如果 發(fā)現(xiàn)由 DBi+1不可能得到問題的解，就需要立即撤消由剛才執(zhí)行規(guī)則所產(chǎn)生的結果，使綜合數(shù)據(jù)庫恢復到先前的狀態(tài)，然后選用別的規(guī)則繼續(xù)求解。（續(xù)）172。像這樣在問題的求解過程中既可以對綜合數(shù)據(jù)庫添加新的內(nèi)容，又可刪除或修改老內(nèi)容的產(chǎn)生式系統(tǒng)稱為可恢復的產(chǎn)生式系統(tǒng)。 172。產(chǎn)生式表示法有以下優(yōu)點：172。：產(chǎn)生式表示法用如果 ? 則的形式表示知識，這是人們常用的一種表達因果關系的知識表示形式，直觀，便于推理。172。：產(chǎn)生式是規(guī)則庫中最基本的知識單元，它們同推理機構相對獨立，而且每條規(guī)則都具有相同的形式，這就便于對其進行模塊化處理，對知識的增（續(xù)）172。刪、改帶來了方便，為規(guī)則庫的建立和擴展提供了可管理性。172。172。產(chǎn)生式表示法既可以表示確定性知識又可以表示不確定性知識；既有利于表示啟發(fā)性知識又可以方便的表示過程性知識。（續(xù)）172。172。產(chǎn)生式有固定的格式，每一條產(chǎn)生式規(guī)則都由前提與結論兩部分組成，而且每一部分所含的知識量都比較少，這就便于對規(guī)則進行設計，又易于對規(guī)則庫中知識的一致性及完整性進行檢測。（續(xù)）172。產(chǎn)生式盡管有以上優(yōu)點但也有不足之處172。172。在產(chǎn)生式系統(tǒng)求解問題的過程中，首先要用產(chǎn)生式的前提部分與綜合數(shù)據(jù)庫中的已知事實進行匹配，從規(guī)則庫中選出可用的 規(guī)則，此時選出的規(guī)則可能不止一個，這就需要按一定的 策略進行沖突消解，然后把選中的規(guī)則啟動執(zhí)行。因此，產(chǎn)生式系統(tǒng)求解問題的過程是一個反復進行匹配—— 沖突消解 —— 執(zhí)行的過程。（續(xù)） 172。由于規(guī)則庫一般都比較龐大，而匹配又是一件十分費時的工作，因此工作效率是不高的。172。172。產(chǎn)生式適合表達具有因果關系的過程性知識 ,但對具有結構關系的知識卻無能為力 ,它不能把具有結構關系的事物間的區(qū)別與聯(lián)系表示出來 .而框架表示法可以解決這方面的問題 .（續(xù)）172。因此，產(chǎn)生式法除了獨立作為一種知識表示模式外 ,還經(jīng)常與其它表示方法結合起來使用 .（續(xù)）172。蹤上可以看出 ,產(chǎn)生式表示法適合表示具有以下特點的領域知識 :172。(1)由許多相對獨立的知識元組成的領域知識 ,彼此間關系不密切 ,不存在結構關系，例如化學反應方面的知識 .172。(2)具有經(jīng)驗性及不確定性的知識 ,而且相關領域中對這些知識沒有嚴格、統(tǒng)一的理論。（續(xù)）172。（ 3）領域問題的求解過程可被表示為一系列相對獨立的操作，而且每個操作可被表示為一條或多條產(chǎn)生式規(guī)則。172。172。172。172。172。172。172?？蚣芾碚撌敲绹娜斯ぶ悄軐W者明斯基提出的。該理論認為人們對現(xiàn)實世界中各種事物的認識都是以一種類似于框架的結構存儲在記憶中的，當面臨一個新事物時，就從記憶中找出一個合適的框架，并根據(jù)實際情況對其細節(jié)加以修改、補充，從而形成對當前事物的認識。 172。框架是一種描述所論對象（一個事物、一個事件或一個概念）屬性的數(shù)據(jù)結構。172。在框架理論中，將框架視作知識表示的一個基本單位。172。一個框架由若干個被稱為 “槽 ”的結構組成，每一個槽又可根據(jù)實際情況劃分為若干個 “側(cè)面 ”。一個槽用于描述所論對象的某一方面的屬性，一個側(cè)面用于描述相應屬性的某個方面。槽和側(cè)面所具有的屬性值分別稱為槽值和側(cè)面值。（續(xù)）172。在一個用框架表示知識的系統(tǒng)中，一般都含有多個框架，為了指稱和區(qū)分不同的框架以及一個框架內(nèi)的不同槽、不同側(cè)面，需要分別給它們起不同的名字，分別叫做框架名、槽名及側(cè)面名。無論是對于框架，還是槽或側(cè)面，都可以為其附加上一些說明性的信息，一般是指一些約束條件，用于指出什麼樣的值才能填入到槽或側(cè)面中去。172。框架的一般表示形式和例子見下頁。172。 〈 框架名 〉172。 槽名 1：側(cè)面名 1 值 1，值 2， … ，值 p1172。 側(cè)面名 2 值 1，值 2， … ，值 p2172。 ? ﹍172。 側(cè)面名 m1 值 1，值 2， … ，值 pm1172。 槽名 2：側(cè)面名 1 值 1，值 2， … ，值 q1172。 側(cè)面名 2 值 1，值 2， … ，值 q2172。 ? ﹍172。 側(cè)面名 m2 值 1，值 2， … ，值 qm2172。 ﹍172。 槽名 n:：側(cè)面名 1 值 1，值 2， … ，值 r1172。 側(cè)面名 2 值 1，值 2， … ，值 r2172。 ? ﹍172。 側(cè)面名 mn 值 1，值 2， … ，值 rmn172。 約束：約束條件 1，約束條件 2， … ，約束條件 n172。由上述表述形式可以看出，一個框架可以有任意有限數(shù)目的槽，一個槽可以分若干個側(cè)面，也可以沒有側(cè)面，視問題而定。槽值和側(cè)面值可以是數(shù)值、字符串、布爾值、也可以是滿足某個給定條件時要執(zhí)行的動作或過程，特別還可以是另一個框架的名字，從而實現(xiàn)一個框架對另一個框架的調(diào)用，表示出框架之間的橫向聯(lián)系。172。為了增強對框架的感性認識，下面給出兩個例子，第一個是關于 “假冒偽劣商品 ”的框架，第二個是關于教師的框架。172。框架名： 《 假冒偽劣商品 》172。 商品名稱：172。 生產(chǎn)廠家：172。 出售商店：172。 處罰：處理方式172。 　　　處罰依據(jù)：172。 　　　處罰時間：單位 (年 .月 .日）172。 　　　 經(jīng)辦部門：172。 172。在這個框架中，用 《》 括起來的內(nèi)容是框架名，它有 4個槽，其槽名分別是 “商品名稱 ”、 “生產(chǎn)廠家 ”、 “出售商店 ”及 “處罰 ”。其中處罰槽又包括 4個側(cè)面，側(cè)面名分別是 “處罰方式 ”、 “處罰依據(jù) ”、 “處罰時間 ”及 “經(jīng)辦部門 ”對于 “處罰時間 ”側(cè)面，用 “單位 ”指出了一個填值時的標準限制，要求所填的時間必須按年、月、日的順序填寫。172。下面再看一個例子：172?？蚣苊?《 教師 》172。 姓名：單位（姓、名）172。 年齡：單位（歲）172。 性別：范圍（男、女）172。 缺?。耗?72。 職稱：范圍（教授、副教授、講師、助教）172。 缺?。褐v師172。 部門：單位（系、教研室）172。 住址： 《 住址框架 》172。 工資： 《 工資框架 》172。 開始工作時間：單位（年、月）172。 截止時間：單位（年、月）172。 缺?。含F(xiàn)在 172。對于上述兩個框架，當把具體的信息填入槽或側(cè)面后，就得到了相應框架的一個事例框架。例如把某教師的一組信息填入 《 教師 》 框架的各個槽，就可得到：172?？蚣苊?《 教師 1》172。 姓名：夏冰172。 年齡： 36172。 性別：女172。 職稱：副教授 172。 部門：計算機教研室172。 住址： 《 adr1》172。 工資： 《 sal1》172。 開始工作時間： 1988,9172。 截止時間： 1996,7172。這是一個關于 “教師 ”的事例框架，對于每個教師都可以有這樣一個事例框架。172。 172。由于框架中的槽值或側(cè)面值都可以是另一個框架的名字，這就在框架之間建立起了聯(lián)系，通過一個框架可以找到另一個框架。例如在夏冰的框架中， “住址 ”槽的槽值是 “adr1”,而它是一個地址框架的名字，這就在 “教師 1”與 “adr1”這兩個框架之間建立了聯(lián)系。當我們希望了解夏冰的情況時，不僅可以直接在 “教師 1”框架了解到有關她的年齡、職稱等情況，還可以通過 “住址 ”槽找到她的住址框架，從而得到她的詳細住址。172。 框架之間除了這種橫向聯(lián)系之外，還可以有框架之間的縱向聯(lián)系。這種縱向聯(lián)系的一個例子如下圖所示。圖中框架網(wǎng)絡中師生員工框架、教職工框架及教師框架之間就是一種縱向聯(lián)系。172。 師生員工框架172。 教職工框架 學生框架172。 … …172。 教師框架 工人框架 電子系學生 機械系學生172。 … …172。 教師 1 教師 N 學生 1 學生 N172。 框架網(wǎng)絡圖 172。 從框架和框架之間的縱向聯(lián)系可以引出框架表示法的一個重要性質(zhì)：繼承性。（續(xù)）172。由于學生、教職工都共處于學校這個環(huán)境中，所以他們必然有一些共同的屬性，因此，對他們進行描述時，可以把這些共同的屬性抽取出來構成上層框架，然后對各類人員獨有的屬性分別構成下層框架，為了指明這種上下關系，可在下層框架 中設立一個專用的槽（一般稱為繼承槽），用以指出它的上層框架是哪個。（續(xù)）172?？蚣艿睦^承性不僅在框架間建立了縱向聯(lián)系，而且通過這種聯(lián)系，下層框架還可以繼承上層框架的屬性及值，避免了重復描述，節(jié)約了時間和空間的開銷。172。像這樣具有橫向及縱向聯(lián)系的一組框架稱為框架網(wǎng)絡。（續(xù)）172。由以上討論可知，框架是一種集事物各方面屬性的描述為一體，并反映相關事物間各種關系的數(shù)據(jù)結構。在此結構中，槽起著至關重要的作用，因此不僅要用它描述事物各有關方面的屬性，而且還要用它來指出相關事物間的復雜關系。因此，在用框架作為知識的表示模式時，對槽的設置與組織應給予足夠的重視。（續(xù)）172。下面具體給出框架網(wǎng)絡圖中的幾個框架描述．172?？蚣苊? 《 師生員工 》172?！⌒彰簡挝唬ㄐ?，名）172?！∧挲g：單位（歲）172?！⌒詣e：范圍（男，女）172?！　　　∪笔。耗?72?！〗】禒顩r：范圍（健康，一般，差）172?！　　　∪笔。阂话?72?！∽≈罚? 《 住址框架 》 （續(xù)）172。框架名： 《 教職工 》172?！±^承： 《 師生員工 》172?！」ぷ黝悇e：范圍（教師，干部，工人）172。　開始工作時間：單位（年，月）172?！〗刂构ぷ鲿r間：單位（年，月）172?！　　　　　　　∪笔。含F(xiàn)在172。　離退休狀況：范圍（離休，退休）（續(xù)）172?？蚣苊? 《 教師 》172。　繼承： 《 教職工 》172?！〔块T：單位（系，教研室）172。　語種：范圍（英，法，德，日，俄）172?！　　　∪笔。河?72。　外語水平：范圍（優(yōu)，良，中，差）172?！　　　　　　　∪笔。毫?72。　職稱：范圍（教授，副教授，講師，助教）　　缺?。褐v師172。研究方向：（續(xù)）172。框架名： 《 教師－１ 》172?！±^承： 《 教師 》172?！⌒彰簩O林172?！∧挲g： 28172。 健康狀況：健康 　　　　172?！〔块T：計算機系軟件教研室172?！≌Z種：德語172?！￠_始工作時間： 1985,9172。 ┆172?！　　。ɡm(xù)） 　172。由上面的框架描述可以看出：172。Ａ）在框架網(wǎng)絡中，既有用 “繼承 ”槽指出的上、下層框架間的縱向聯(lián)系，也有以框架名作為槽值指出的框架間的橫向聯(lián)系，因此框架網(wǎng)絡是一個縱、橫交錯的復雜的框架體系結構。　 （續(xù)） 　　　　　172。Ｂ） 原則上事例框架中的每一個槽都應給出槽值，但可以繼承上層框架槽值的槽，其槽值可以不給出。