【正文】 2。At(robot,a)172。On(box,a)172。Table(b)172。說(shuō)明狀態(tài) 3不能選用 setdown(x)操作，而只能選用goto(x,y)（續(xù)）172。例如，對(duì)于狀態(tài) 1，如果我們采用 b來(lái)代換 y， 則得到：172。Empty(robot)172。Table(a)172。這時(shí)我們會(huì)發(fā)現(xiàn)，此狀態(tài)既不是目標(biāo)狀態(tài)，又不能滿足 pickup(x)和 setdown(x)的條件（續(xù)）172。這與讓機(jī)器人直接從 c處走到 a處相比，顯然多走了一段彎路，浪費(fèi)了時(shí)間。除此之外，還可用謂詞公式表示知識(shí)的前提條件和結(jié)論。一階謂詞邏輯表示的特點(diǎn)如下：172。謂詞邏輯是一種接近于自然語(yǔ)言的形式語(yǔ)言，用它表示的知識(shí)容易接受。172。172。用謂詞邏輯表示的知識(shí)容易轉(zhuǎn)換為計(jì)算機(jī)的內(nèi)部形式172。172。在推理過(guò)程中，隨著事實(shí)性知識(shí)的增加（續(xù)）和盲目使用推理規(guī)則，可能形成組合爆炸。172。很多著名的專家系統(tǒng)都是用這種方法表示知識(shí)的。此外，人工智能語(yǔ)言 PROLOG也是以一階謂詞邏輯為基礎(chǔ)的。產(chǎn)生式表示法也稱產(chǎn)生式規(guī)則表示法。它是由美國(guó)數(shù)學(xué)家波斯特根據(jù)串替代規(guī)則提出的一種計(jì)算模型，模型中每一條規(guī)則稱為一個(gè)產(chǎn)生式．172。目前，它是人工智能中應(yīng)用最多的一種知識(shí)表示模式，如著名的專家系統(tǒng)DENDRAL,MYCIN都是用它來(lái)表示知識(shí)的．172。172。172。P?Q或者是172。其中， P是前提，用于指出該產(chǎn)生式是否可用的條件； Q是一組結(jié)論或操作，用于指出當(dāng)前提 P所指出的條件被滿足時(shí)，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作。例如： r4 : IF動(dòng)物會(huì)飛 AND 會(huì)下蛋172。其中 r4是規(guī)則的編號(hào)， THEN前是條件， THEN后是結(jié)論。 這里應(yīng)該注意產(chǎn)生式的基本形式和謂詞邏輯中的蘊(yùn)含式形式相同。區(qū)別在于以下兩點(diǎn)：172。172。這是因?yàn)樵诋a(chǎn)生式表示知識(shí)的系統(tǒng)中，事實(shí)與一條規(guī)則的前提條件的匹配可以是不精確的。把一組產(chǎn)生式放在一起，讓它們互相配合，協(xié)同作用，一個(gè)產(chǎn)生式生成的結(jié)論可以供另一個(gè)產(chǎn)生式作為已知事實(shí)使用，以求得問(wèn)題的解決，這樣的系統(tǒng)稱為產(chǎn)生式系統(tǒng)。它們之間的關(guān)系如下圖所示172。 規(guī)則庫(kù) 綜合數(shù)據(jù)庫(kù)（續(xù)）172。一般說(shuō)來(lái)建立規(guī)則庫(kù)時(shí)應(yīng)注意以下問(wèn)題。（ 1）有效表達(dá)領(lǐng)域內(nèi)過(guò)程性知識(shí)。所以需要解決應(yīng)該建立哪些產(chǎn)生式規(guī)則，知識(shí)庫(kù)中的知識(shí)是否具有完整性。（續(xù)）一個(gè)動(dòng)物識(shí)別系統(tǒng)的規(guī)則庫(kù)這是一個(gè)用以識(shí)別老虎、金錢豹、斑馬、長(zhǎng)頸鹿、企鵝、鴕鳥、信天翁等七種動(dòng)物的產(chǎn)生式系統(tǒng)。R2： IF該動(dòng)物有奶 THEN該動(dòng)物是哺乳動(dòng)物。R4： IF該動(dòng)物會(huì)飛 AND會(huì)下蛋 THEN該動(dòng)物是鳥R5： IF該動(dòng)物吃肉 THEN該動(dòng)物是食肉動(dòng)物。R7： IF該動(dòng)物是哺乳動(dòng)物 AND 有蹄THEN該動(dòng)物是有蹄類動(dòng)物。物 AND是黃褐色 AND 身上有黑色條紋THEN該動(dòng)物是虎。R12： IF該動(dòng)物是有蹄類動(dòng)物 AND身上有黑色條紋 THEN該動(dòng)物是斑馬。R14： IF該動(dòng)物是鳥 AND會(huì)游泳 AND不會(huì)飛AND有黑白兩色 THEN該動(dòng)物是企鵝。（續(xù)） 172。對(duì)規(guī)則庫(kù)中的知識(shí)適當(dāng)?shù)慕M織，采用合理的結(jié)構(gòu)形式，可使推理避免訪問(wèn)那些與當(dāng)前問(wèn)題求解無(wú)關(guān)的知識(shí)，從而提高求解的效率。{r1,r2,r5,r6,r7,r8,r9,r10,r11,r12}172。則當(dāng)待識(shí)別動(dòng)物屬于其中一個(gè)子集時(shí)，另一個(gè)子集中的知識(shí)在當(dāng)前的問(wèn)題求解過(guò)程中就可不用考慮，從而節(jié)約了查找的時(shí)間。、上下文、黑板等。（續(xù)）172。 （特性 對(duì)象 值 可信度因子）。（ AGE ZHANGSHAN 25 )（續(xù)）172?？刂葡到y(tǒng)又稱為推理機(jī)構(gòu)，由一組程序組成，負(fù)責(zé)整個(gè)產(chǎn)生式系統(tǒng)的運(yùn)行，實(shí)現(xiàn)對(duì)問(wèn)題的求解。按一定的策略從規(guī)則庫(kù)選擇規(guī)則與數(shù)據(jù)庫(kù)中已知的事實(shí)進(jìn)行匹配。（續(xù)）172。此時(shí)，推理機(jī)構(gòu)必須調(diào)用相應(yīng)的解決沖突的策略進(jìn)行消解，以便從中選出一條執(zhí)行。在執(zhí)行某一條規(guī)則時(shí)，如果該規(guī)則的右部是一個(gè)或多個(gè)結(jié)論，則把這些結(jié)論加入到綜合數(shù)據(jù)庫(kù)中去，如果規(guī)則的右部是一個(gè)或多個(gè) 操作，則執(zhí)行這些操作。172。172。例如按推理方向劃分可分為前向、后向和雙向系統(tǒng)；按其所表示的知識(shí)是否具有確定性可分為確定性及不確定性產(chǎn)生式系統(tǒng)。此時(shí)，產(chǎn)生式系統(tǒng)可分為三類：172?？煞纸獾漠a(chǎn)生式系統(tǒng)172。172。如果系統(tǒng)不強(qiáng)調(diào)規(guī)則的使用次序，則稱該系統(tǒng)是可交換的。設(shè)綜合數(shù)據(jù)庫(kù) DB的初始狀態(tài)是：（續(xù)）172。R1:IF {a,b,c} THEN {a,b,c,a?b}172。R3:IF {a,b,c} THEN {a,b,c,a?c}172。{a,b,c,a?b,b?c, a?c}172。一個(gè)產(chǎn)生式系統(tǒng)說(shuō)是可交換的是指它的 RB和每一個(gè) DB都具有如下性質(zhì)：172。即對(duì)任何規(guī)則 R?RS,RS仍然是172。172。172。DBi r1 DBi+1 r2 … rk DBk（續(xù)）172。由以上性質(zhì)可以看出，在可交換產(chǎn)生式系統(tǒng)中，綜合數(shù)據(jù)庫(kù) DB的內(nèi)容是遞增的，即對(duì)規(guī)則的任何執(zhí)行序列DBi r1 DBi+1 r2 … rk DBk都有172。這說(shuō)明在可交換的產(chǎn)生式系統(tǒng)中，其規(guī)則的結(jié)論部分總是包含著新的內(nèi)容，一旦執(zhí)行該規(guī)則就會(huì)把該新內(nèi)容填加到綜（續(xù)）172。另外，在可交換的產(chǎn)生式系統(tǒng)中，搜索過(guò)程不必回溯，不需要記錄可用規(guī)則的作用順序。172。把一個(gè)規(guī)模較大的問(wèn)題分解為若干個(gè)規(guī)模較小的較簡(jiǎn)單的子問(wèn)題，然后對(duì)每個(gè)子問(wèn)題分別進(jìn)行求解，是人們求解問(wèn)題時(shí)常用的方法，可分解的產(chǎn)生式系統(tǒng)就是基于這一思想提出來(lái)的。一個(gè)產(chǎn)生式系統(tǒng)可分解的條件是可把它的綜合數(shù)據(jù)庫(kù) DB及終止條件都分解為若干獨(dú)立的部分，其產(chǎn)生式規(guī)則一般具有如下形式：172。例如，設(shè)綜合數(shù)據(jù)庫(kù)的初始內(nèi)容是： {C， B， Z}， 規(guī)則庫(kù)中有如下的規(guī)則：（續(xù)） 172。r2: IF C THEN {B,M}172。r4: IF Z THEN {B,B,M}172。即，使綜合數(shù)據(jù)庫(kù)的內(nèi)容變?yōu)?72。求解該問(wèn)題時(shí)，首先把初始數(shù)據(jù)庫(kù)分解為三個(gè)子庫(kù)，然后對(duì)每個(gè)子庫(kù)分別應(yīng)用規(guī)則庫(kù)中的合適規(guī)則進(jìn)行求解，其求解過(guò)程如下頁(yè)可分解的產(chǎn)生式系統(tǒng)圖所示。在一個(gè)可分解的產(chǎn)生式系統(tǒng)中，由于初始數(shù)據(jù)庫(kù)被分解成了若干個(gè)子庫(kù)，每個(gè)子庫(kù)又可分解成若干個(gè)子子庫(kù)，這樣就縮小了搜索空間，提高了求解問(wèn)題的效率。 {c,b,z} 172。 r1 r2 r3 r4172。 nhcuj7d3 {l}  {m} {m} {m}  {m}  172。 {m,m} {m,m} {m,m}172。 可分解的產(chǎn)生式系統(tǒng)圖172。 （續(xù)）172。在可交換的產(chǎn)生式系統(tǒng)中，規(guī)則的使用次序是可以交換的，但要求每條規(guī)則的執(zhí)行都要為綜合數(shù)據(jù)庫(kù)添加新的內(nèi)容，這一要求是很強(qiáng)的，對(duì)許多情況不能適用。所謂回溯就是當(dāng)問(wèn)題求解到某一步發(fā)現(xiàn)無(wú)法進(jìn)行下去時(shí)，就撤消在此之前得到的某些結(jié)果，恢復(fù)（續(xù)）172。用產(chǎn)生式系統(tǒng)求解問(wèn)題也是這樣，當(dāng)執(zhí)行一條規(guī)則后使綜合數(shù)據(jù)庫(kù)的狀態(tài)由 DBi變?yōu)?DBi+1時(shí)，如果 發(fā)現(xiàn)由 DBi+1不可能得到問(wèn)題的解，就需要立即撤消由剛才執(zhí)行規(guī)則所產(chǎn)生的結(jié)果，使綜合數(shù)據(jù)庫(kù)恢復(fù)到先前的狀態(tài)，然后選用別的規(guī)則繼續(xù)求解。像這樣在問(wèn)題的求解過(guò)程中既可以對(duì)綜合數(shù)據(jù)庫(kù)添加新的內(nèi)容，又可刪除或修改老內(nèi)容的產(chǎn)生式系統(tǒng)稱為可恢復(fù)的產(chǎn)生式系統(tǒng)。產(chǎn)生式表示法有以下優(yōu)點(diǎn)：172。172。刪、改帶來(lái)了方便，為規(guī)則庫(kù)的建立和擴(kuò)展提供了可管理性。172。（續(xù)）172。產(chǎn)生式有固定的格式，每一條產(chǎn)生式規(guī)則都由前提與結(jié)論兩部分組成，而且每一部分所含的知識(shí)量都比較少，這就便于對(duì)規(guī)則進(jìn)行設(shè)計(jì)，又易于對(duì)規(guī)則庫(kù)中知識(shí)的一致性及完整性進(jìn)行檢測(cè)。產(chǎn)生式盡管有以上優(yōu)點(diǎn)但也有不足之處172。在產(chǎn)生式系統(tǒng)求解問(wèn)題的過(guò)程中，首先要用產(chǎn)生式的前提部分與綜合數(shù)據(jù)庫(kù)中的已知事實(shí)進(jìn)行匹配，從規(guī)則庫(kù)中選出可用的 規(guī)則，此時(shí)選出的規(guī)則可能不止一個(gè)，這就需要按一定的 策略進(jìn)行沖突消解，然后把選中的規(guī)則啟動(dòng)執(zhí)行。（續(xù)） 172。172。產(chǎn)生式適合表達(dá)具有因果關(guān)系的過(guò)程性知識(shí) ,但對(duì)具有結(jié)構(gòu)關(guān)系的知識(shí)卻無(wú)能為力 ,它不能把具有結(jié)構(gòu)關(guān)系的事物間的區(qū)別與聯(lián)系表示出來(lái) .而框架表示法可以解決這方面的問(wèn)題 .（續(xù)）172。蹤上可以看出 ,產(chǎn)生式表示法適合表示具有以下特點(diǎn)的領(lǐng)域知識(shí) :172。(2)具有經(jīng)驗(yàn)性及不確定性的知識(shí) ,而且相關(guān)領(lǐng)域中對(duì)這些知識(shí)沒(méi)有嚴(yán)格、統(tǒng)一的理論。（ 3）領(lǐng)域問(wèn)題的求解過(guò)程可被表示為一系列相對(duì)獨(dú)立的操作，而且每個(gè)操作可被表示為一條或多條產(chǎn)生式規(guī)則。172。172。172。框架理論是美國(guó)著名的人工智能學(xué)者明斯基提出的。 172。172。172。一個(gè)槽用于描述所論對(duì)象的某一方面的屬性，一個(gè)側(cè)面用于描述相應(yīng)屬性的某個(gè)方面。（續(xù)）172。無(wú)論是對(duì)于框架，還是槽或側(cè)面，都可以為其附加上一些說(shuō)明性的信息，一般是指一些約束條件，用于指出什麼樣的值才能填入到槽或側(cè)面中去。框架的一般表示形式和例子見下頁(yè)。 〈 框架名 〉172。 側(cè)面名 2 值 1，值 2， … ，值 p2172。 側(cè)面名 m1 值 1，值 2， … ，值 pm1172。 側(cè)面名 2 值 1，值 2， … ，值 q2172。 側(cè)面名 m2 值 1，值 2， … ，值 qm2172。 槽名 n:：側(cè)面名 1 值 1，值 2， … ，值 r1172。 ? ﹍172。 約束：約束條件 1，約束條件 2， … ，約束條件 n172。槽值和側(cè)面值可以是數(shù)值、字符串、布爾值、也可以是滿足某個(gè)給定條件時(shí)要執(zhí)行的動(dòng)作或過(guò)程，特別還可以是另一個(gè)框架的名字，從而實(shí)現(xiàn)一個(gè)框架對(duì)另一個(gè)框架的調(diào)用，表示出框架之間的橫向聯(lián)系。為了增強(qiáng)對(duì)框架的感性認(rèn)識(shí)，下面給出兩個(gè)例子，第一個(gè)是關(guān)于 “假冒偽劣商品 ”的框架，第二個(gè)是關(guān)于教師的框架?？蚣苊?《 假冒偽劣商品 》172。 生產(chǎn)廠家：172。 處罰：處理方式172。 　　　處罰時(shí)間：?jiǎn)挝?(年 .月 .日）172。 172。其中處罰槽又包括 4個(gè)側(cè)面，側(cè)面名分別是 “處罰方式 ”、 “處罰依據(jù) ”、 “處罰時(shí)間 ”及 “經(jīng)辦部門 ”對(duì)于 “處罰時(shí)間 ”側(cè)面，用 “單位 ”指出了一個(gè)填值時(shí)的標(biāo)準(zhǔn)限制，要求所填的時(shí)間必須按年、月、日的順序填寫。下面再看一個(gè)例子：172。 姓名：?jiǎn)挝唬ㄐ?、名?72。 性別：范圍（男、女）172。 職稱：范圍（教授、副教授、講師、助教）172。 部門：?jiǎn)挝唬ㄏ?、教研室?72。 工資： 《 工資框架 》172。 截止時(shí)間：?jiǎn)挝唬辍⒃拢?72。對(duì)于上述兩個(gè)框架，當(dāng)把具體的信息填入槽或側(cè)面后，就得到了相應(yīng)框架的一個(gè)事例框架?？蚣苊?《 教師 1》172。 年齡： 36172。 職稱：副教授 172。 住址： 《 adr1》172。 開始工作時(shí)間： 1988,9172。這是一個(gè)關(guān)于 “教師 ”的事例框架，對(duì)于每個(gè)教師都可以有這樣一個(gè)事例框架。 172。例如在夏冰的框架中， “住址 ”槽的槽值是 “adr1”,而它是一個(gè)地址框架的名字，這就在 “教師 1”與 “adr1”這兩個(gè)框架之間建立了聯(lián)系。172。這種縱向聯(lián)系的一個(gè)例子如下圖所示。172。 教職工框架 學(xué)生框架172。 教師框架 工人框架 電子系學(xué)生 機(jī)械系學(xué)生172。 教師 1 教師 N 學(xué)生 1 學(xué)生 N172。 從框架和框架之間的縱向聯(lián)系可以引出框架表示法的一個(gè)重要性質(zhì)：繼承性。由于學(xué)生、教職工都共處于學(xué)校這個(gè)環(huán)境中，所以他們必然有一些共同的屬性，因此，對(duì)他們進(jìn)行描述時(shí)，可以把這些共同的屬性抽取出來(lái)構(gòu)成上層框架，然后對(duì)各類人員獨(dú)有的屬性分別構(gòu)成下層框架，為了指明這種上下關(guān)系，可在下層框架 中設(shè)立一個(gè)專用的槽（一般稱為繼承槽），用以指出它的上層框架是哪個(gè)?？蚣艿睦^承性不僅在框架間建立了縱向聯(lián)系，而且通過(guò)這種聯(lián)系，下層框架還可以繼承上層框架的屬性及值，避免了重復(fù)描述，節(jié)約了時(shí)間和空間的開銷。像這樣具有橫向及縱向聯(lián)系的一組框架稱為框架網(wǎng)絡(luò)。由以上討論可知，框架是一種集事物各方面屬性的描述為一體，并反映相關(guān)事物間各種關(guān)系的數(shù)據(jù)結(jié)構(gòu)。因此，在用框架作為知識(shí)的表示模式時(shí)，對(duì)槽的設(shè)置與組織應(yīng)給予足夠的重視。下面具體給出框架網(wǎng)絡(luò)圖中的幾個(gè)框架描述．172。　姓名：?jiǎn)挝唬ㄐ?，名?72?！⌒詣e：范圍（男，女）172。　健康狀況：范圍（健康，一般，差）172?！∽≈罚? 《 住址框架 》 （續(xù)）172?！±^承： 《 師生員工 》172?！￠_始工作時(shí)間：?jiǎn)挝唬辏拢?72?！　　　　　　　∪笔。含F(xiàn)在172。框架名： 《 教師 》172。　部門：?jiǎn)挝?