【正文】 缺認(rèn)為是４面墻．條件 w1+ w2+w3+ w4= x2172。 d1+ d2+d3+ d4= x3172。窗： 《 窗框架 》172。地板： 《 地板框架 》172。右墻： 《 墻框架（ w4,d4)》172。后墻： 《 墻框架（ w2,d2)》172?！? 條件： x3０172。門數(shù)： x3:172。 缺?。? x2＝２172?！　　　　l件： x1 ＞０　 （續(xù)）172?！　　?shù) x1:172。172。（續(xù)）172。例如在172?！? （續(xù)） 　　　　　172。由上面的框架描述可以看出：172。 ┆172。　語(yǔ)種：德語(yǔ)172。 健康狀況：健康 　　　　172?！⌒彰簩O林172?？蚣苊? 《 教師－１ 》172?！÷毞Q：范圍（教授，副教授，講師，助教）　　缺省：講師172?！⊥庹Z(yǔ)水平：范圍（優(yōu)，良，中，差）172。　語(yǔ)種：范圍（英，法，德，日，俄）172?！±^承： 《 教職工 》172?！‰x退休狀況：范圍（離休，退休）（續(xù)）172?！〗刂构ぷ鲿r(shí)間：?jiǎn)挝唬?，月?72。　工作類別：范圍（教師，干部，工人）172?？蚣苊? 《 教職工 》172?！　　　∪笔。阂话?72?！　　　∪笔。耗?72。　年齡：?jiǎn)挝唬q）172?？蚣苊? 《 師生員工 》172。（續(xù)）172。在此結(jié)構(gòu)中，槽起著至關(guān)重要的作用，因此不僅要用它描述事物各有關(guān)方面的屬性，而且還要用它來(lái)指出相關(guān)事物間的復(fù)雜關(guān)系。（續(xù)）172。172。（續(xù)）172。（續(xù)）172。 框架網(wǎng)絡(luò)圖 172。 … …172。 … …172。 師生員工框架172。圖中框架網(wǎng)絡(luò)中師生員工框架、教職工框架及教師框架之間就是一種縱向聯(lián)系。 框架之間除了這種橫向聯(lián)系之外，還可以有框架之間的縱向聯(lián)系。當(dāng)我們希望了解夏冰的情況時(shí)，不僅可以直接在 “教師 1”框架了解到有關(guān)她的年齡、職稱等情況，還可以通過(guò) “住址 ”槽找到她的住址框架，從而得到她的詳細(xì)住址。由于框架中的槽值或側(cè)面值都可以是另一個(gè)框架的名字，這就在框架之間建立起了聯(lián)系，通過(guò)一個(gè)框架可以找到另一個(gè)框架。172。 截止時(shí)間： 1996,7172。 工資： 《 sal1》172。 部門：計(jì)算機(jī)教研室172。 性別：女172。 姓名：夏冰172。例如把某教師的一組信息填入 《 教師 》 框架的各個(gè)槽，就可得到：172。 缺省：現(xiàn)在 172。 開始工作時(shí)間：?jiǎn)挝唬?、月?72。 住址： 《 住址框架 》172。 缺省：講師172。 缺?。耗?72。 年齡：?jiǎn)挝唬q）172?？蚣苊?《 教師 》172。172。在這個(gè)框架中，用 《》 括起來(lái)的內(nèi)容是框架名，它有 4個(gè)槽，其槽名分別是 “商品名稱 ”、 “生產(chǎn)廠家 ”、 “出售商店 ”及 “處罰 ”。 　　　 經(jīng)辦部門：172。 　　　處罰依據(jù)：172。 出售商店：172。 商品名稱：172。172。172。由上述表述形式可以看出，一個(gè)框架可以有任意有限數(shù)目的槽，一個(gè)槽可以分若干個(gè)側(cè)面，也可以沒有側(cè)面，視問題而定。 側(cè)面名 mn 值 1，值 2， … ，值 rmn172。 側(cè)面名 2 值 1，值 2， … ，值 r2172。 ﹍172。 ? ﹍172。 槽名 2：側(cè)面名 1 值 1，值 2， … ，值 q1172。 ? ﹍172。 槽名 1：側(cè)面名 1 值 1，值 2， … ，值 p1172。172。172。在一個(gè)用框架表示知識(shí)的系統(tǒng)中，一般都含有多個(gè)框架，為了指稱和區(qū)分不同的框架以及一個(gè)框架內(nèi)的不同槽、不同側(cè)面，需要分別給它們起不同的名字，分別叫做框架名、槽名及側(cè)面名。槽和側(cè)面所具有的屬性值分別稱為槽值和側(cè)面值。一個(gè)框架由若干個(gè)被稱為 “槽 ”的結(jié)構(gòu)組成，每一個(gè)槽又可根據(jù)實(shí)際情況劃分為若干個(gè) “側(cè)面 ”。在框架理論中，將框架視作知識(shí)表示的一個(gè)基本單位?？蚣苁且环N描述所論對(duì)象（一個(gè)事物、一個(gè)事件或一個(gè)概念）屬性的數(shù)據(jù)結(jié)構(gòu)。該理論認(rèn)為人們對(duì)現(xiàn)實(shí)世界中各種事物的認(rèn)識(shí)都是以一種類似于框架的結(jié)構(gòu)存儲(chǔ)在記憶中的，當(dāng)面臨一個(gè)新事物時(shí)，就從記憶中找出一個(gè)合適的框架，并根據(jù)實(shí)際情況對(duì)其細(xì)節(jié)加以修改、補(bǔ)充，從而形成對(duì)當(dāng)前事物的認(rèn)識(shí)。172。172。172。172。（續(xù)）172。(1)由許多相對(duì)獨(dú)立的知識(shí)元組成的領(lǐng)域知識(shí) ,彼此間關(guān)系不密切 ,不存在結(jié)構(gòu)關(guān)系，例如化學(xué)反應(yīng)方面的知識(shí) .172。因此，產(chǎn)生式法除了獨(dú)立作為一種知識(shí)表示模式外 ,還經(jīng)常與其它表示方法結(jié)合起來(lái)使用 .（續(xù)）172。172。由于規(guī)則庫(kù)一般都比較龐大，而匹配又是一件十分費(fèi)時(shí)的工作，因此工作效率是不高的。因此，產(chǎn)生式系統(tǒng)求解問題的過(guò)程是一個(gè)反復(fù)進(jìn)行匹配—— 沖突消解 —— 執(zhí)行的過(guò)程。172。（續(xù)）172。172。產(chǎn)生式表示法既可以表示確定性知識(shí)又可以表示不確定性知識(shí)；既有利于表示啟發(fā)性知識(shí)又可以方便的表示過(guò)程性知識(shí)。172。：產(chǎn)生式是規(guī)則庫(kù)中最基本的知識(shí)單元，它們同推理機(jī)構(gòu)相對(duì)獨(dú)立，而且每條規(guī)則都具有相同的形式，這就便于對(duì)其進(jìn)行模塊化處理，對(duì)知識(shí)的增（續(xù)）172。：產(chǎn)生式表示法用如果 ? 則的形式表示知識(shí)，這是人們常用的一種表達(dá)因果關(guān)系的知識(shí)表示形式，直觀，便于推理。 172。（續(xù)）172。到先前的某個(gè)狀態(tài)。事實(shí)上，人們?cè)谇蠼鈫栴}的過(guò)程中經(jīng)常要進(jìn)行回溯的。3可恢復(fù)的產(chǎn)生式系統(tǒng)172。 圖中弧線表示與，不帶弧線表示或的關(guān)系。 m m m m m m 172。 r3 r3 r3172。 {d,l} {b,m} {m,m} {b,b,m}172。 {c}  {z} 172。172。172。{M， M， …,M}（續(xù)） 172。終止條件是生成只包含 M的綜合數(shù)據(jù)庫(kù)。r3: IF B THEN {M,M}172。r1: IF C THEN {D,L}172。IF P THEN {DBi1, DBi2, … , DBim}其含義是，若當(dāng)前綜合數(shù)據(jù)庫(kù)是 DBi， 則，當(dāng)前提條件 P被滿足時(shí)，就把 DBi分解為 m個(gè)互相獨(dú)立的子庫(kù)。（續(xù)） 172。172。這樣就節(jié)省了搜索時(shí)間，提高了搜索效率。合數(shù)據(jù)庫(kù)中。DBi? DBi+1 … ?DBk成立172。當(dāng)改變規(guī)則的使用次序后，仍然可以得到 DBk172。（ 3）若對(duì)當(dāng)前的綜合數(shù)據(jù)庫(kù) DBi 使用某一規(guī)則序列 r1,r2,…, rk得到一個(gè)新的綜合數(shù)據(jù)庫(kù) DBk,即172。（ 2）如果 DBi 滿足目標(biāo)條件，則應(yīng)當(dāng)應(yīng)用 RS中任何一條規(guī)則所生成的新綜合數(shù)據(jù)庫(kù) DBi+1仍然滿足目標(biāo)條件。R(DBi ) = DBi+1的可用規(guī)則集。（ 1）設(shè) RS（ RulSet）為可應(yīng)用于 DBi的規(guī)則集合 ,當(dāng)使用 RS中任何一條規(guī)則 R使DB的狀態(tài)改變后 ,該 RS對(duì) DB仍然適用 .（續(xù)）172。顯然，使用哪一條規(guī)則都可以達(dá)到目的．所以，由上述 RB和 DB構(gòu)造的產(chǎn)生式系統(tǒng)是可交換的產(chǎn)生式系統(tǒng)．（續(xù)）172。現(xiàn)在想通過(guò)綜合數(shù)據(jù)庫(kù) DB變?yōu)椋ɡm(xù)）172。R2:IF {a,b,c} THEN {a,b,c,b?c}172。{a,b,c},其中 a,b,c均為整數(shù)，并設(shè)規(guī)則庫(kù)RB中有下述規(guī)則：172。例如：172。產(chǎn)生式系統(tǒng)求解問題的過(guò)程是一個(gè)反復(fù)從規(guī)則庫(kù)中選用合適規(guī)則并執(zhí)行規(guī)則的過(guò)程?？苫謴?fù)的產(chǎn)生式系統(tǒng)（續(xù)）172?？山粨Q的產(chǎn)生式系統(tǒng)172。這里我們討論的按規(guī)則庫(kù)及綜合數(shù)據(jù)庫(kù)的性質(zhì)及結(jié)構(gòu)特征進(jìn)行的分類。對(duì)產(chǎn)生式系統(tǒng)從不同角度進(jìn)行劃分，可得到不同的分類方法。隨時(shí)掌握結(jié)束產(chǎn)生式系統(tǒng)運(yùn)行的時(shí)機(jī)，以便在適當(dāng)?shù)臅r(shí)侯停止系統(tǒng)的運(yùn)行。（續(xù)）４、對(duì)于不確定性知識(shí)，在執(zhí)行每一條知識(shí)時(shí)還要按一定算法計(jì)算結(jié)論的不確定性。172。匹配成功的規(guī)則可能不只一條，這稱發(fā)生了沖突。所謂匹配是指把規(guī)則的前提條件與綜合數(shù)據(jù)庫(kù)中的已知事實(shí)進(jìn)行比較，如果兩者一致，或近似一致且滿足預(yù)先規(guī)定的條件，則稱匹配成功，相應(yīng)的規(guī)則可能被使用；否則稱匹配不成功，相應(yīng)規(guī)則不能用于當(dāng)前的推理。粗略地講它要做以下幾項(xiàng)工作：（續(xù)）172。172。例如對(duì)事實(shí) “張山大約是 25歲 ”可用四元組表示為：172。綜合數(shù)據(jù)庫(kù)中的已知事實(shí)通常用字符串、向量、集合、矩陣、表等數(shù)據(jù)結(jié)構(gòu)表示，如在專家系統(tǒng) MYCIN中對(duì)事實(shí)通常用如下一個(gè)四元組表示：172。它是一個(gè)用于存放問題求解過(guò)程中各種當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)，例如問題的初始狀態(tài)、原始數(shù)據(jù)、推理中得到的中間結(jié)論及最終結(jié)論。172。{r3,r4,r13,r14,r15}（續(xù)）172。例如對(duì)于上面動(dòng)物識(shí)別的例子而言，如果把知識(shí)分成如下兩個(gè)子集（續(xù)）172。（ 2）對(duì)知識(shí)進(jìn)行合理的組織與管理。R15： IF該動(dòng)物鳥 AND善飛 THEN該動(dòng)物是信天翁。R13： IF該動(dòng)物是鳥 AND有長(zhǎng)脖子 AND 有長(zhǎng)腿AND不會(huì)飛 AND有黑白兩色 THEN該動(dòng)物是鴕鳥。（續(xù)）R9： IF該動(dòng)物是哺乳動(dòng)物 AND是食肉動(dòng)物 AND是黃褐色 AND身上有暗斑點(diǎn) THEN該動(dòng)物是金錢豹R10： IF該動(dòng)物是哺乳動(dòng)物 AND是食肉動(dòng)（續(xù)）R11： IF該動(dòng)物有蹄類動(dòng)物 AND 有長(zhǎng)脖子 AND 有長(zhǎng)腿 AND 身上有暗斑點(diǎn) THEN該動(dòng)物是長(zhǎng)頸鹿。R8： IF該動(dòng)物是哺乳動(dòng)物 AND是嚼反芻動(dòng)物 THEN該動(dòng)物是有蹄類動(dòng)物。 （續(xù)）R6： IF該動(dòng)物有犬齒 AND 有爪 AND 眼盯前方 THEN該動(dòng)物是食肉動(dòng)物。R3： IF該動(dòng)物有羽毛 THEN該動(dòng)物是鳥。為了實(shí)現(xiàn)對(duì)這些動(dòng)物的識(shí)別，該系統(tǒng)建立了如下的知識(shí)（規(guī)則）庫(kù)：R1： IF該動(dòng)物有毛發(fā) THEN該動(dòng)物是哺乳動(dòng)物。通過(guò)下面的的例子我們會(huì)得到一些啟發(fā)。規(guī)則庫(kù)中主要存放的是過(guò)程性知識(shí)，用于實(shí)現(xiàn)對(duì)問題的求解。172。式集合。 控制系統(tǒng)172。一個(gè)產(chǎn)生式系統(tǒng)由以下三部分組成：規(guī)則庫(kù)，綜合數(shù)據(jù)庫(kù)，控制系統(tǒng)。172。產(chǎn)生式不僅可以表示精確知識(shí)也可以表示不精確知識(shí)。蘊(yùn)含式只能表示精確知識(shí)。但它們又有一定的區(qū)別。（續(xù)）172。THEN 該動(dòng)物是鳥。172。IF P THEN Q172。產(chǎn)生式通常用于表示具有因果關(guān)系的知識(shí)，其基本形式是：172。172。172。在此之后，幾經(jīng)修改已成功應(yīng)用到多種領(lǐng)域中． 1972年紐厄爾和西蒙在研究人類的認(rèn)知模型中開發(fā)了基于規(guī)則的產(chǎn)生式系統(tǒng)．172。172。172。172。盡管謂詞邏輯表示法存在以上局限性，但它仍然是一種重要的知識(shí)表示方法。172。172。但是，謂詞邏輯也不是完美無(wú)缺的，它的局限性如下：172。172。謂詞邏輯是二值邏輯 ,其謂詞公式的真值只有真與假 ,因此可用它表示精確知識(shí) ,并可保證經(jīng)演繹推理所得結(jié)論的精確性 .（續(xù)）172。172。172。（續(xù)）172。因此，對(duì)狀態(tài) 1直接用 a代換 y是最佳選擇。如果仍用 goto(x,y)對(duì)它進(jìn)行操作，則可能出現(xiàn)兩種情況，一是用 b代換 x， 用 c代換 y， 這就又回到狀態(tài) 1，即機(jī)器人到b處轉(zhuǎn)了一圈，什麼事沒干，又回到了 c處；另一種是用 b代換 x,用 a代換 y,即機(jī)器人從 b處走到 a處。Table(b)172。On(box,a)172。At(robot,b)172。對(duì)于第二個(gè)問題也可以采用類似的方法來(lái)解決。顯然，這就是狀態(tài) 2。Table(a)172。Empty(robot)172。例如對(duì)于狀態(tài) 3如果選用 setdown(x)操作，將使?fàn)顟B(tài)改變?yōu)?72。但是針對(duì)這一問題我們也可采用下面的方法來(lái)解決：每當(dāng)進(jìn)行一個(gè)操作使問題由一種狀態(tài)轉(zhuǎn)換為另一狀態(tài)時(shí)，立即檢查新狀態(tài)是否為目標(biāo)狀態(tài)，若是，則問題得到了解決；若不是，則檢查該狀態(tài)與已經(jīng)出現(xiàn)過(guò)的狀態(tài)是否相同，如相同，則表明剛才進(jìn)行的操作對(duì)求解是無(wú)幫助的，這時(shí)回溯到上一狀態(tài)選擇別的操作。但是，為什麼用 a代換 y而不用 b代換 y呢？（續(xù)） 172。（ 2）在進(jìn)行變量代換時(shí)，如果存在多種代換的可能性，如何確定用哪一個(gè)？例如在把狀態(tài) 1變化為狀態(tài) 2時(shí)，用 c代換了 x,用 a代換了 y。（ 1）當(dāng)某一狀態(tài)可同時(shí)滿足多個(gè)操作的條件時(shí)，應(yīng)選用哪一個(gè)操作？172。/*狀態(tài) 6目標(biāo)狀態(tài) */一階謂詞邏輯表示法（續(xù)）172。 ?goto(x,y)172。At(robo