人工智能知識表示

第五章知識表示表示是運用人造的體系對自然界事物的運算規(guī)律進展概括與籠統(tǒng)的模型。知識表示是概括智能的模型。需同時滿足“描寫智能景象〞與“計算安裝可接受〞兩個條件。表示觀：注重方式化的認知觀注重模擬客觀世界本體的本體觀產(chǎn)生式規(guī)那么是一種運用最廣泛的表示方法。語義網(wǎng)絡(luò)、框架、腳本都是構(gòu)造化的表示方法，構(gòu)造化表示法適宜描畫那些帶有構(gòu)造、層次、比較復雜的事物，反映了人們運用知識的方式，提供了構(gòu)造的描畫關(guān)系。評價知識表示方法從表示的才干和效率兩個方面思索：表示才干〔區(qū)分與防止不用要區(qū)分〕：一階謂詞邏輯最強，其它方法是其子集。效率：思索知識獲取和知識庫維護的效率〔適宜人的思想〕。思索推理機的效率〔適宜機器實現(xiàn)〕，一階謂詞邏輯最弱。經(jīng)典人工智能的主要表示方法：一階謂詞邏輯是最根本的表示方法，具有嚴謹?shù)墓眢w系。5.1邏輯表示法用謂詞表示知識命題：表示知識的陳說性方式稱為命題。例：張平是學生、樹葉是綠色的謂詞：帶有參數(shù)的命題叫做謂詞。例：是學生〔X〕謂詞比命題有更強的表達才干：1〕

有概括才干2〕

引進了變量3〕在知識之間建立聯(lián)絡(luò)是學生〔X〕：X是學生受紀律約束〔X〕：X受紀律約束犯錯誤〔X〕：X犯錯誤受紀律懲罰〔X〕：X受紀律懲罰銜接后：

是學生〔X〕受紀律約束〔X〕犯錯誤〔X〕受紀律懲罰〔X〕(6)X[是學生(X)學籍(X)]Y[是教師(Y)職稱(Y)]例：沒有無學籍的學生，也沒有無職稱的教師。(1)Q(2)沒有無學籍的學生也沒有無職稱的教師(3)存在無學籍的學生存在無職稱的教師(4)X[無學籍的學生(X)]Y[無職稱的教師(Y)](5)X[是學生(X)無學籍(X)]Y[是教師(Y)無職稱(Y)]第一種謂詞簡單，個數(shù)多，較靈敏第二種謂詞復雜，個數(shù)少，利于檢索。這個命題可在六個不同的層次表示：分得細知識多推理效率低分得粗知識少推理效率高上述方式是謂詞多，參數(shù)少另一種是謂詞少，參數(shù)多P(x1,x2,…...x10)其中，x1表示能否、x2表示動作、x3表示有無、x4、x5表示對象，x6到x10與x1到x5一樣。即：P(不，存在，無，學籍，學生，不，存在，無，職稱，教師)可表示為(x)(A(x)B(x))或(x)(B(x)A(x))或(x)(A(x)(B(x))用謂詞表示知識的例子：1〕

一切的有理數(shù)都是實數(shù)令P(x)表x是有理數(shù)，Q(x)表x是實數(shù)那么應(yīng)為(x)(P(x)Q(x))而不是(x)(P(x)Q(x))2〕有的實數(shù)是有理數(shù)應(yīng)為(x)(Q(x)P(x))而不是(x)(Q(x)P(x))3〕沒有無理數(shù)是有理數(shù)A(x)表示無理數(shù)，B(x)表示有理數(shù)(x)((機器(x)型號(x,B))電源缺點(x))4〕凡是桌面上沒放書本的桌子都配有臺燈。(x)((桌子(x)上面放書(x))配有臺燈(x))(x)((桌子(x)(y)(書(y)在上面(y,x)))(z)(臺燈(z)在上面(z,x)))(x)((桌子(x)在上面(書,x))在上面(臺燈,x))5〕張宏的母親和誰都沒吵過架。(x)(人(x)吵架(母親(張宏),x))6〕型號B的一切機器都有電源缺點。7〕放在臺燈下面的書能夠是數(shù)據(jù)構(gòu)造，也能夠是編譯原理，不會是別的書用謂詞表示自然言語：用謂詞和項表示句子的關(guān)系和實體一元謂詞表示一個集合。多元謂詞表示一個關(guān)系。(x)(學校(x)老同窗(母親(趙亮),校長(x)))8〕趙亮的母親和某校的校長是老同窗書(a)臺燈下面(a)(是(a,數(shù)據(jù)構(gòu)造)是(a,編譯原理))重迭量詞對于二元謂詞R(x,y)，可以延續(xù)兩次援用量詞，有四種方式：(x)(y)R(x,y)：一切x和一切y有關(guān)系R。(x)(y)R(x,y)：一切x和有的y有關(guān)系R。(x)(y)R(x,y)：有的x和一切y有關(guān)系R。(x)(y)R(x,y)：有的x和有的y有關(guān)系R。例：一切固體都可以被某些液體所溶解。(x)(固體(x)(y)(液體(y)被溶解(x,y)))有的液體可以溶解一切固體。(y)(液體(y)(x)(固體(x)被溶解(x,y)))產(chǎn)生式也稱作規(guī)那么，或產(chǎn)生式規(guī)那么。產(chǎn)生式一詞來源于Post機,Post機是E.Post在1943年根據(jù)字符串交換規(guī)那么提出的稱為產(chǎn)生式系統(tǒng)的一種計算模型。5.2產(chǎn)生式系統(tǒng)知識之間存在著大量的因果關(guān)系，可以用一種稱之為“產(chǎn)生式〞的方式來描畫。例：假設(shè)大學畢業(yè)就能找到任務(wù)假設(shè)大學畢業(yè)搶手專業(yè)名牌大學就能找到好任務(wù)綜合數(shù)據(jù)庫是產(chǎn)生式運用的主要數(shù)據(jù)構(gòu)造，它用來表述問題形狀或有關(guān)現(xiàn)實，對應(yīng)于表示問題的闡明式知識。產(chǎn)生式系統(tǒng)的根本構(gòu)造產(chǎn)生式系統(tǒng)是問題求解系統(tǒng)。它是把一組產(chǎn)生式放在一同，讓它們相互配合，協(xié)同作用，一個產(chǎn)生式生成的結(jié)論可以供另一個產(chǎn)生式作為前提，以這種方式求得問題的處理。一個產(chǎn)生式系統(tǒng)由三個根本部分組成：一個綜合數(shù)據(jù)庫、一組產(chǎn)生式規(guī)那么和一個控制系統(tǒng)。一組產(chǎn)生式規(guī)那么構(gòu)成了規(guī)那么庫，每一條規(guī)那么形如:IF條件THEN行動或IF前提THEN結(jié)論IF積木X在A處AND積木X上面為空AND機械手在A處AND機械手為空THEN機械手抓起積木X〔條件……行動〕例如:IF動物是哺乳動物AND動物吃肉THEN動物是食肉動物〔前提…..結(jié)論〕控制系統(tǒng)是規(guī)那么的解釋程序，它規(guī)定了如何選擇一條可用的規(guī)那么的原那么(搜索戰(zhàn)略)和規(guī)那么運用的方式(推理方向)，并根據(jù)綜合數(shù)據(jù)庫的信息，控制求解問題的過程。PrecedureRespond掃描數(shù)據(jù)庫，找到可用規(guī)那么集S；whileS非空且問題未被求解dobegin調(diào)用過程select-Rule〔S〕，從S中選出規(guī)那么R；執(zhí)行R的結(jié)果部分，更新數(shù)據(jù)庫的內(nèi)容；掃描數(shù)據(jù)庫，找到可用規(guī)那么集Send5.2.1推理方式正向推理正向推理的根本思想是從知數(shù)據(jù)信息出發(fā)，正向運用規(guī)那么〔讓規(guī)那么的前提與數(shù)據(jù)庫匹配〕求解問題。它要求用戶首先輸入有關(guān)當前問題的信息作為數(shù)據(jù)庫中的現(xiàn)實。下述的過程Respond是這種戰(zhàn)略的根本思想。

正向推理的主要缺陷是激活規(guī)那么外表看無目的，或者說系統(tǒng)為到達目的能夠執(zhí)行假設(shè)干無用動作。規(guī)那么“可用〞是指數(shù)據(jù)庫中有滿足該規(guī)那么的條件部分的現(xiàn)實，過程select-Rule擔任選擇規(guī)那么，與問題有關(guān)的控制信息在此表達，可運用評價函數(shù)，也可精心排序。過程Respond是原理表示程序，實踐系統(tǒng)要復雜的多，例如：如何查找規(guī)那么？是順序，還是索引。如何判別規(guī)那么可用？是簡單匹配、比較，還是計算。正向推理就是執(zhí)行“識別—動作〞。正向推理的主要優(yōu)點是允許用戶自動提供有用的現(xiàn)實信息，而不用等到用戶需求時才提供。它適宜于“解空間〞很大的一類問題，象設(shè)計、規(guī)劃、預(yù)測、監(jiān)控、管理等。反向推理的優(yōu)點：適宜解空間教小的問題不用運用與總目的無關(guān)的規(guī)那么有利于向用戶提供明確的解釋反向推理的缺陷：目的選擇盲目，不允許用戶自動提供信息指點推理當規(guī)那么的then是動作時，反向推理無法運用。反向推理反向推理根本思想是：選定一個目的，然后在知識庫中查找能導出該目的的規(guī)那么集，假設(shè)這些規(guī)那么中的某條規(guī)那么前提與數(shù)據(jù)庫匹配，那么勝利。否那么，將該規(guī)那么前提作為子目的，遞歸執(zhí)行上述過程，直到總目的被求解或者沒有能導出目的的規(guī)那么。過程Achieve〔G〕給出了反向推理的根本思想。ProcedureAchieve〔G〕掃描數(shù)據(jù)庫，假設(shè)找到G，前往T否那么找到能導出G的規(guī)那么集S；whileS非空dobegin調(diào)用過程Choose—Rule〔S〕，從S中選出規(guī)那么RwhileR在S中且R的前提部分非空dobeginGHEAD(R的前提部分)；R的前提部分TAIL(R的前提部分)M=Achieve〔G〕ifM為F，then從S中去掉RendIfR在S中then前往Tend當S為空時，前往FendR1：假設(shè)葉子零落那么是落葉樹R2：假設(shè)葉子堅持那么是常青樹R3：假設(shè)松樹球果那么是裸子植物R4：假設(shè)針葉那么是裸子植物R5：假設(shè)二針葉or三針葉or五針葉那么是針葉R6：假設(shè)是裸子植物and常青樹and五針葉那么是白松樹R7：假設(shè)是裸子植物and落葉樹and簇針葉那么是落葉松樹例:知有如下數(shù)據(jù)庫和規(guī)那么庫數(shù)據(jù)庫：葉子堅持、五針葉規(guī)那么庫：解：產(chǎn)生式系統(tǒng)的正向推理的普通戰(zhàn)略為：1〕找出可用規(guī)那么集2〕假設(shè)可用規(guī)那么集空或已找到目的那么終了，否那么3〕選擇一條規(guī)那么〔此題可按自然順序〕4〕將結(jié)論放入數(shù)據(jù)庫5〕找出可用規(guī)那么集，轉(zhuǎn)2〕。開場，找出可用規(guī)那么集：R2和R5執(zhí)行2〕后，繼續(xù)3〕-5〕條，結(jié)果如下：選擇一條規(guī)那么〔按自然順序〕：R2將結(jié)論放入數(shù)據(jù)庫：葉子堅持、五針葉、常青樹找出可用規(guī)那么集：R5再次執(zhí)行2〕后，繼續(xù)3〕-5〕條，結(jié)果如下：運用上述的數(shù)據(jù)庫和規(guī)那么庫闡明產(chǎn)生式的正向推理過程。(反向推理略)選擇一條規(guī)那么〔按自然順序〕：R5將結(jié)論放入數(shù)據(jù)庫：葉子堅持、五針葉、常青樹、針葉找出可用規(guī)那么集：R4再次執(zhí)行2〕后，繼續(xù)3〕-5〕條，結(jié)果如下：選擇一條規(guī)那么〔按自然順序〕：R4將結(jié)論放入數(shù)據(jù)庫：葉子堅持、五針葉、常青樹、針葉、裸子植物找出可用規(guī)那么集：R6再次執(zhí)行2〕后，繼續(xù)3〕-5〕條，結(jié)果如下：選擇一條規(guī)那么〔按自然順序〕：R6將結(jié)論放入數(shù)據(jù)庫：葉子堅持、五針葉、常青樹、針葉、裸子植物、白松樹找出可用規(guī)那么集：nil再次執(zhí)行2〕后，終了數(shù)據(jù)與數(shù)據(jù)的匹配是指在規(guī)那么中沒有變量的情況，此時，規(guī)那么的前提中，不論是要比較，還是計算，最后，總之是用數(shù)據(jù)和數(shù)據(jù)庫中的數(shù)據(jù)進展匹配。5.2.2匹配方式不論是正向推理，還是反向推理，在挑選可用的規(guī)那么時，都是要利用數(shù)據(jù)庫的數(shù)據(jù)或現(xiàn)實，斷定規(guī)那么的前提能否為真，即規(guī)那么前提與數(shù)據(jù)庫匹配。思索規(guī)那么中能否帶有變量，這種匹配可分為三種：數(shù)據(jù)與數(shù)據(jù)的匹配、數(shù)據(jù)與變量的匹配、變量與變量的匹配。這里的變量概念是廣義的，可是普通的變量，也可是指數(shù)據(jù)與普通的變量共同組成的方式。變量與變量的匹配是在有變量的情況下進展反向推理時出現(xiàn)。給定一個斷言，假定不含變量，在反向推理中，用它和規(guī)那么的結(jié)論匹配，構(gòu)成一個環(huán)境，規(guī)那么前提的變量應(yīng)從此環(huán)境取值，但是，前提中的變量在結(jié)論中能夠不出現(xiàn)，這樣，當前提作為新的未知斷言，讓它去和某規(guī)那么的結(jié)論匹配時，就出現(xiàn)變量與變量的匹配。這種匹配正是我們在歸結(jié)推理中講的合一算法。。數(shù)據(jù)與變量的匹配是在規(guī)那么中有變量的情況下進展正向推理時出現(xiàn)。有變量的正向推理數(shù)據(jù)與變量的匹配是在規(guī)那么中有變量的情況下進展正向推理時出現(xiàn)。我們假定有一個運用漢語的演繹系統(tǒng)做正向推理，其中用英語字母表示變量，用漢語表示常量，有如下規(guī)那么：〔規(guī)那么203〔假設(shè)〔x是y的母親〕〔y是男性〕〔z是x的姐妹〕〔z是w的母親〕〕〔那么〔z是y的姨母〕〔y是w的表兄弟〕〕〕假設(shè)又有以下現(xiàn)實：〔王夫人是賈寶玉的母親〕〔王夫人是賈元春的母親〕〔薛王氏是王夫人的姐妹〕〔薛王氏是薛蟠的母親〕〔薛王氏是薛寶釵的母親〕〔賈寶玉是男性〕〔賈元春是女性〕〔薛蟠是男性〕〔薛寶釵是女性〕可推出新現(xiàn)實：〔薛王氏是賈寶玉的姨母〕〔賈寶玉是薛蟠的表兄弟〕〔賈寶玉是薛寶釵的表兄弟〕在檢查規(guī)那么中某前提能否成立時，帶變量的正向演繹與不帶變量的正向演繹是有區(qū)別的。不帶變量：檢查該前提能否與知現(xiàn)實一樣。帶變量：檢查該前提能否與知現(xiàn)實相匹配，當把該前提中的變量換成匹配中所獲得的約束值時，它才與那個現(xiàn)實一樣。我們說匹配勝利，既建立了約束關(guān)系，并把建立的一組約束關(guān)系稱為一個演繹環(huán)境。例如，第一個前提與現(xiàn)實庫的四個現(xiàn)實匹配勝利，建立了編號為1、2、3、4的四個環(huán)境。1

〔〔x王夫人〕〔y賈寶玉〕〕2

〔〔x王夫人〕〔y賈元春〕〕3

〔〔x薛王氏〕〔y薛蟠〕〕4

〔〔x薛王氏〕〔y薛寶釵〕〕為運用一條規(guī)那么演繹，應(yīng)使規(guī)那么中的一切前提同時成立，即不同前提中的同名變量可以取到同一個約束值。實踐上是說，各前提與現(xiàn)實相匹配中所獲得的環(huán)境該當是相容的，應(yīng)有一個公共的環(huán)境，滿足各前提的要求。我們采用“累積〞的方法尋覓這一環(huán)境。當?shù)谝粋€前提獲得四個環(huán)境，讓第二個前提運用這些環(huán)境尋覓與之相配的現(xiàn)實。于是，符合前兩個前提的環(huán)境為1、3：1

〔〔x王夫人〕〔y賈寶玉〕〕3〔〔x薛王氏〕〔y薛蟠〕〕第三個前提運用這兩個環(huán)境尋覓相匹配的現(xiàn)實，環(huán)境3不適宜，運用環(huán)境1，添加了一個約束，擴展為環(huán)境5：5〔〔x王夫人〕〔y賈寶玉〕〔z薛王氏〕〕最后，第四個前提運用環(huán)境5找到兩個現(xiàn)實，環(huán)境5擴展為環(huán)境6和環(huán)境7。6〔〔x王夫人〕〔y賈寶玉〕〔z薛王氏〕〔w薛蟠〕〕7〔〔x王夫人〕〔y賈寶玉〕〔z薛王氏〕〔w薛寶釵〕〕這兩個環(huán)境就是符合一切前提的公共環(huán)境，運用此環(huán)境，可得出新現(xiàn)實：〔薛王氏是賈寶玉的姨母〕〔賈寶玉是薛蟠的表兄弟〕和〔薛王氏是賈寶玉的姨母〕〔賈寶玉是薛寶釵的表兄弟〕去掉反復，獲得三條。有變量的反向推理變量與變量的匹配是在有變量的情況下進展反向推理時出現(xiàn)。給定一個斷言，假定不含變量，在反向推理中，用它和規(guī)那么的結(jié)論匹配，構(gòu)成一個環(huán)境，規(guī)那么前提的變量應(yīng)從此環(huán)境取值，但是，前提中的變量在結(jié)論中能夠不出現(xiàn)，這樣，當前提作為新的未知斷言，讓它去和某規(guī)那么的結(jié)論匹配時，就出現(xiàn)變量與變量的匹配。這種匹配正是我們在歸結(jié)推理中講的合一算法。只是算法的實現(xiàn)細節(jié)有所不同。在帶變量的反向推理中，合一算法所得到的置換實現(xiàn)成約束表，對未匹配部分做置換經(jīng)過對變量求“終值〞而處理。算法的根本過程是一樣的。參與合一的變量先在環(huán)境中取終值，無值那么為本身。常量值為常量。雙方為常量，相等那么合一勝利，否那么失敗。一方為變量，那么建立約束關(guān)系，合一勝利。雙方為變量，建立約束關(guān)系，合一勝利。在帶變量的反向推理中，運用的搜索算法與歸結(jié)推理方法一樣，都是回溯算法。為了證明分支1、2、3都成立，可用1和規(guī)那么I、II、III的結(jié)論合一。假設(shè)運用規(guī)那么1勝利，而2搜索后失敗，失敗的緣由能夠是1給的環(huán)境不對，假設(shè)1運用規(guī)那么2勝利，也許2也會勝利。因此，分支失敗回溯到“兄長〞節(jié)點，而不是“父〞節(jié)點。III123III4567正向推理的缺陷是有些盲目，求解了許多與總目的無關(guān)的子目的。反向推理的缺陷是盲目選擇目的，求解了許多能夠為假的總目的，要是解空間較大，那么更為明顯。處理這些問題的有效方法，是綜合利用正向推理與反向推理的優(yōu)點，即正向推理協(xié)助選擇目的，再反向求解目的。這就是混合推理的思想。過程Alternate給出了這種戰(zhàn)略的根本思想。3.2.4混合推理ProcedureAlternateRepeat讓用戶將現(xiàn)實輸入到數(shù)據(jù)庫中；調(diào)用Respond，從知現(xiàn)實出發(fā)演繹出部分結(jié)果；調(diào)用Choose-Goal，選出一個目的G；調(diào)用Achieve〔G〕，確定目的G的真假性until問題被求解

這是個原理表示程序，在實踐運用中，有多種混合推理方式。語義網(wǎng)絡(luò)方式上是一個有向圖：由一組節(jié)點和假設(shè)干條銜接節(jié)點的弧構(gòu)成。節(jié)點：表示一個問題領(lǐng)域的物體、概念、形狀?；。罕硎竟?jié)點間的關(guān)系。常用的關(guān)系有分類關(guān)系、事物屬性關(guān)系、推理關(guān)系等。分類：1〕Subset-of關(guān)系〔子集關(guān)系〕Subset-ofSubset-of鴿子鳥動物5.3語義網(wǎng)絡(luò)2〕A-Menber-of關(guān)系〔成員關(guān)系〕A-Menber-of

3〕A-Part-of關(guān)系〔部件關(guān)系〕A-Part-of

部件關(guān)系沒有屬性承繼權(quán)。

事物屬性關(guān)系：黃色推理關(guān)系：

infer

翅膀鳥白點鴿子中國人黃色下雪后氣溫降低語義網(wǎng)絡(luò)是一種網(wǎng)絡(luò)構(gòu)造，節(jié)點之間的銜接是二元關(guān)系，假設(shè)表示一元關(guān)系，如張平是一個學生，作為謂詞可是student〔zhangping〕，用語義網(wǎng)絡(luò)可為：is-a

這就是說，語義網(wǎng)絡(luò)很容易表示一元關(guān)系。Is-a關(guān)系是Subset-of關(guān)系、A-Menber-of關(guān)系和A-Part-of關(guān)系的一種通用的表示。Zhangpingstudent假設(shè)我們要表示的是多元關(guān)系，可以把這個多元關(guān)系轉(zhuǎn)化成一組二元關(guān)系的組合，在轉(zhuǎn)化中，需求引入附加節(jié)點。例如，03年足球甲A聯(lián)賽，北京國安主場4比1戰(zhàn)勝青島，謂詞表示SCORE〔03甲A聯(lián)賽，國安，青島，4：1〕，用語義網(wǎng)絡(luò)可表示為：

客隊IS-A客隊成果

圖6-1多元關(guān)系的語義網(wǎng)絡(luò)03甲A聯(lián)賽國安附加節(jié)點青島4：1推理網(wǎng)絡(luò)的根本節(jié)點是現(xiàn)實或概念，而節(jié)點間的關(guān)系那么表示規(guī)那么。已證明，凡是用一階謂詞可表示的，用語義網(wǎng)絡(luò)均可表示。在人工智能系統(tǒng)中，分類網(wǎng)絡(luò)和推理網(wǎng)絡(luò)也有較多的運用。分類網(wǎng)絡(luò)的構(gòu)造非常簡單，每個節(jié)點代表一個概念，節(jié)點間的關(guān)系只需兩種：子集關(guān)系和成員關(guān)系。子集關(guān)系銜接中間節(jié)點，個體關(guān)系銜接葉節(jié)點，整個網(wǎng)絡(luò)普通呈樹形。在語義網(wǎng)絡(luò)上的推理主要是承繼推理和匹配推理。承繼推理就是經(jīng)過承繼關(guān)系得到某些個體的一些特征值。雖然，鴿子與翅膀之間沒有銜接，但鴿子是鳥的子集，翅膀是鳥的一個部分，因此，鴿子就承繼了有翅膀這一特性。在語義網(wǎng)絡(luò)中，匹配推理是指對于給定的事物或現(xiàn)實，構(gòu)造一個語義網(wǎng)絡(luò)片段，然后到已有的語義網(wǎng)絡(luò)中去尋覓在構(gòu)造和細節(jié)相一致的對象，假設(shè)能找到，那么稱二者匹配。運用推理網(wǎng)絡(luò)，也可進展正向推理和反向推理?？蚣芘c語義網(wǎng)絡(luò)一樣，都是構(gòu)造化表示法。實踐上，我們可以把框架看成是由一組語義網(wǎng)絡(luò)的節(jié)點和弧構(gòu)成，只不過這些節(jié)點和弧描畫的是格式固定的事物、行動和事件。語義網(wǎng)絡(luò)注重表示對象間的關(guān)系，而框架更注重對象的內(nèi)部構(gòu)造。較典型的一種框架由描畫對象的各個方面的槽組成，每個槽可有假設(shè)干個側(cè)面，每個側(cè)面又可有假設(shè)干個值。槽、側(cè)面和值的多少要根據(jù)詳細問題的詳細需求來確定。

5.4框架5.4.1框架的根本概念(框架名(槽名1(側(cè)面1(值1)(值2)…(值n))(側(cè)面2……)……(側(cè)面m))(槽名2……)……(槽名k…))例：張平a-member-of學生身高1.78米體重70公斤喜好滑冰、擊劍下面是一個用LISP言語表示的框架構(gòu)造：用框架表示：(張平(a-member-of(value(學生)))(身高(value(1.78米)))(體重(value(70公斤)))(喜好(value(滑冰)(擊劍))))每個槽除了值側(cè)面〔value〕以外，還可有一些其它的側(cè)面。例如：1〕默許〔Default〕側(cè)面可有一個默許值2〕需求〔if-needed〕側(cè)面當值側(cè)面與默許側(cè)面都沒有值時，此側(cè)面的求值結(jié)果作為該槽的值。如不知體重，對于成人，可以用身高減去1.1為其體重。1〕添加〔if-added〕側(cè)面當一個槽的值側(cè)面被賦值或修正時，這個槽〔可承繼〕的添加側(cè)面可自動求值，包括對其它槽的值側(cè)面的賦值。例如：計算體重的過程可放在身高槽的if-added側(cè)面，修正身高時，既可重新計算體重。2〕刪除〔if-removed〕側(cè)面刪除值側(cè)面的一個值。3〕約束〔require〕側(cè)面是對槽的約束條件。對于框架有三條根本操作：1〕提取信息給出：框架名、槽名、側(cè)面名前往：側(cè)面的值1〕存取信息給出：框架名、槽名、側(cè)面名、值前往：1.假設(shè)找到框架名、槽名、側(cè)面名，那么把值放入2.

找不到，那么添加新的槽名、側(cè)面名和值2〕刪除信息給出：框架名、槽名、側(cè)面名、值前往：假設(shè)存在，那么刪除這個值。假設(shè)刪除后，已無其它值，那么連側(cè)面也同時刪除?？蚣艿耐评砼c語義網(wǎng)絡(luò)類似，也是利用框架間的子集關(guān)系、成員關(guān)系、部件關(guān)系，運用承繼和匹配進展推理。承繼是把對事物的描畫從概念框架或類框架傳送到實例框架。常用的有三種承繼：值承繼、需求承繼和默許承繼。關(guān)于這三種承繼的搜索也有幾種方式。1〕沿著父框架的槽，只搜索值側(cè)面〔相對應(yīng)槽〕。2〕沿著父框架的槽，第一次搜索值側(cè)面，第二次搜索默許側(cè)面，第三次再搜索需求側(cè)面。3〕沿著父框架的槽，一次就搜索值側(cè)面、默許側(cè)面和需求側(cè)面。5.4.2框架的推理設(shè)F是一個給定的框架1〕建立一個表，初始時只需F一個元素。2〕假設(shè)表中第一個元素的S槽的值側(cè)面有非NIL值，那么找到值。轉(zhuǎn)8。3〕假設(shè)表中第一個元素的S槽的默許側(cè)面有非NIL值，那么找到值。轉(zhuǎn)8。4〕假設(shè)表中第一個元素的S槽的需求