人工智能及其應(yīng)用2(蔡自興)78

1、1第二章 知識(shí)表示方法2.1 狀態(tài)空間法2.2 問(wèn)題歸約法2.3 謂詞邏輯法2.4 語(yǔ)義網(wǎng)絡(luò)法2.5 其他方法2.6 小結(jié)22.1狀態(tài)空間間法（StateSpaceRepresentation）問(wèn)題求解解技術(shù)主主要是兩兩個(gè)方面面：?jiǎn)栴}的表表示求解的方方法狀態(tài)空間間法狀態(tài)（state）:表示問(wèn)題題解法中中每一步步問(wèn)題狀狀況的數(shù)據(jù)結(jié)構(gòu)構(gòu)算符（operator):把問(wèn)題從從一種狀狀態(tài)變換換為另一一種狀態(tài)態(tài)的手段狀態(tài)空間間方法:基于解答答空間的的問(wèn)題表表示和求求解方法法，它是是以狀態(tài)和算算符為基礎(chǔ)來(lái)來(lái)表示和和求解問(wèn)問(wèn)題的32.1.1問(wèn)題狀態(tài)態(tài)描述定義狀態(tài)(State)：描述某類(lèi)類(lèi)不同事事物間的的差別而

2、而引入的的一組最最少變量量q0，q1，qn的有序集集合。算符(Operate)：使問(wèn)題從從一種狀狀態(tài)變化化為另一一種狀態(tài)態(tài)的手段段稱(chēng)為操操作符或或算符。問(wèn)題的狀狀態(tài)空間間(StateSpace)：是一個(gè)表表示該問(wèn)問(wèn)題全部部可能狀狀態(tài)及其其關(guān)系的的圖，它它包含三三種說(shuō)明明的集合合，即三三元狀態(tài)態(tài)（S，F(xiàn)，G）。2.1狀態(tài)空間間法4狀態(tài)空間間表示概概念詳釋釋狀態(tài)空間間法：從從某個(gè)初初始狀態(tài)態(tài)開(kāi)始，每次加加一個(gè)操操作符，遞增的的建立起起操作符符的實(shí)驗(yàn)驗(yàn)序列，直到達(dá)達(dá)到目標(biāo)標(biāo)狀態(tài)止止。例如下棋棋、迷宮宮及各種種游戲。Original StateMiddleStateGoalState2.1狀態(tài)空間間法

3、5例:三數(shù)碼難難題（3 puzzleproblem）123123123312312312初始棋局局目標(biāo)棋局局2.1狀態(tài)空間間法6有向圖一對(duì)節(jié)點(diǎn)點(diǎn)用弧線線連接起起來(lái)，從從一個(gè)節(jié)節(jié)點(diǎn)指向向另一個(gè)個(gè)節(jié)點(diǎn)這這種圖叫叫做有向向圖。路徑某個(gè)節(jié)點(diǎn)點(diǎn)序列（ni1，ni2，nik）當(dāng)j =2，3，k時(shí)，如果果對(duì)于每每一個(gè)ni，j-1都有一個(gè)個(gè)后繼節(jié)節(jié)點(diǎn)ni，j存在，那那么就把把這個(gè)節(jié)節(jié)點(diǎn)序列列叫做從從節(jié)點(diǎn)ni1至節(jié)點(diǎn)nik的長(zhǎng)度為為k的路徑代價(jià)用c（ni，nj）來(lái)表示示從節(jié)點(diǎn)點(diǎn)ni指向節(jié)點(diǎn)點(diǎn)nj的那段弧弧線的代代價(jià)。兩兩點(diǎn)間路路徑的代代價(jià)等于于連接該該路徑上上各節(jié)點(diǎn)點(diǎn)的所有有弧線代代價(jià)之和和.2.1.2狀態(tài)圖示

4、示法2.1狀態(tài)空間間法AB7圖的顯示示說(shuō)明對(duì)于顯式式說(shuō)明，各節(jié)點(diǎn)點(diǎn)及其具具有代價(jià)價(jià)的弧線線由一張張表明確確給出。此表可可能列出出該圖中中的每一一節(jié)點(diǎn)、它的后后繼節(jié)點(diǎn)點(diǎn)以及連連接弧線線的代價(jià)價(jià)(舉例：鄰接表，鄰接矩矩陣)圖的隱示示說(shuō)明說(shuō)明節(jié)點(diǎn)點(diǎn)的無(wú)限限集合si作為起起始節(jié)點(diǎn)點(diǎn)是已知知的。后后繼節(jié)點(diǎn)點(diǎn)算符（gamma）也是已已知的，它能作作用于任任一節(jié)點(diǎn)點(diǎn)以產(chǎn)生生該節(jié)點(diǎn)點(diǎn)的全部部后繼節(jié)節(jié)點(diǎn)和各各連接弧弧線的代代價(jià)。（舉例：棋局）表示方法法的多樣樣性如十五數(shù)數(shù)碼難題題中規(guī)則1：移動(dòng)數(shù)數(shù)碼（15X4條規(guī)則）規(guī)則2：移動(dòng)空空格（4條規(guī)則）8產(chǎn)生式系系統(tǒng)搜索索過(guò)程描描述產(chǎn)生式系系統(tǒng)（production

5、system）一個(gè)總數(shù)數(shù)據(jù)庫(kù)：它含有與與具體任任務(wù)有關(guān)關(guān)的信息息隨著應(yīng)應(yīng)用情況況的不同同，這些些數(shù)據(jù)庫(kù)庫(kù)可能簡(jiǎn)簡(jiǎn)單，或或許復(fù)雜雜。一套規(guī)則則：它對(duì)數(shù)據(jù)據(jù)庫(kù)進(jìn)行行操作運(yùn)運(yùn)算。每每條規(guī)則則由左部部鑒別規(guī)規(guī)則的適用性或先決條條件以及及右部描描述規(guī)則則應(yīng)用時(shí)時(shí)所完成成的動(dòng)作。一個(gè)控制制策略：它確定應(yīng)應(yīng)該采用用哪一條條適用規(guī)規(guī)則，而而且當(dāng)數(shù)數(shù)據(jù)庫(kù)的的終止條條件滿(mǎn)足足時(shí)，就就停止計(jì)計(jì)算。2.1狀態(tài)空間間法9狀態(tài)空間間表示實(shí)實(shí)例（1）例：猴子子和香蕉蕉問(wèn)題2.1狀態(tài)空間間法10解題過(guò)程程用一個(gè)四四元表列列（W，x，Y，z）來(lái)表示這這個(gè)問(wèn)題題狀態(tài).W猴子的水水平位置置x當(dāng)猴子在在箱子頂頂上時(shí)取取x =1；否則

6、取取x =0Y箱子的水水平位置置z當(dāng)猴子摘摘到香蕉蕉時(shí)取z=1；否則取取z=0這個(gè)問(wèn)題題的操作作（算符符）如下下：goto（U）表示猴子走到到水平位位置U或者用產(chǎn)產(chǎn)生式規(guī)規(guī)則表示示為（W，0，Y，z）goto（U）（U，0，Y，z）2.1狀態(tài)空間間法11pushbox（V）猴子把箱箱子推到到水平位位置V，即有（W，0，W，z）pushbox（V）（V，0，V，z）應(yīng)當(dāng)注意意的是，要應(yīng)用用算符pushbox（V），就要要求產(chǎn)生生式規(guī)則則的左邊邊，猴子子與箱子子必須在在同一位位置上，并且，猴子不不是箱子子頂上。這種強(qiáng)強(qiáng)加于操操作的適適用性條條件，叫叫做產(chǎn)生生式規(guī)則則的先決條件件climbbox猴子

7、爬上上箱頂，即有（W，0，W，z）climbbox（W，1，W，z）提問(wèn)：應(yīng)用算算符climbbox的先決條條件是什什么？2.1狀態(tài)空間間法12grasp猴子摘到到香蕉，即有（c，1，c，0）grasp（c，1，c，1）令初始狀狀態(tài)為(a，0，b，0)。這時(shí)，goto(U)是唯一適適用的操操作，并并導(dǎo)致下下一狀態(tài)態(tài)(U，0，b,0)。現(xiàn)在有有3個(gè)適用的的操作，即goto(U)，pushbox(V)和climbbox(若U=b)。把所有有適用的的操作繼繼續(xù)應(yīng)用用于每個(gè)個(gè)狀態(tài)，我們就就能夠得得到狀態(tài)態(tài)空間圖圖，如下下圖所示示。從圖圖不難看看出，把把該初始狀態(tài)態(tài)變換為為目標(biāo)狀狀態(tài)的操操作序列列為go

8、to(b),push box(c),climbbox,grasp2.1狀態(tài)空間間法13(b，1，b，0)（U，0，b，0）（V，0，V，0）（c，1，c，0）（U，0，V，0）（c，1，c，1）（a，0，b，0）目標(biāo)狀態(tài)態(tài)goto（U）goto（U）U=b，climbboxgoto（U）U=bpushbox（V）猴子和香香蕉問(wèn)題題的狀態(tài)態(tài)空間圖圖goto（U）U=V2.1狀態(tài)空間間法14猴子和香香蕉問(wèn)題題自動(dòng)演演示： 猴子香蕉箱子 猴子香蕉箱子 Ha!Ha!2.1狀態(tài)空間間法15狀態(tài)空間間表示實(shí)實(shí)例（2）推銷(xiāo)員旅旅行問(wèn)題題一個(gè)推銷(xiāo)銷(xiāo)員計(jì)劃劃出訪推推銷(xiāo)產(chǎn)品品。他從從一個(gè)城城市(如A)出發(fā),訪問(wèn)每

9、個(gè)個(gè)城市一一次,且最多一一次,然后A返回城市市A。要求尋找找最短路路線,如圖2.3所示。為為了確定定這個(gè)問(wèn)問(wèn)題,作如下規(guī)規(guī)定:(1)總數(shù)據(jù)庫(kù)庫(kù)是到目目前為止止所訪問(wèn)問(wèn)過(guò)的城城市表.初始數(shù)據(jù)據(jù)庫(kù)被描描述為表表(A)。不允許目目錄表中中任一城城市出現(xiàn)現(xiàn)多于一一次,只有城市市A例外,但也只有有當(dāng)所有有其他城城市均已已出現(xiàn)之之后,才能再再次出現(xiàn)現(xiàn)A。(2)規(guī)則對(duì)應(yīng)應(yīng)于決策策:即下一步步走向城城市A;下一步走走向城市市B;下一步走走向城市市E。一條規(guī)則則除非能能夠把某某個(gè)數(shù)據(jù)據(jù)庫(kù)變?yōu)闉橐粋€(gè)合合法數(shù)據(jù)據(jù)庫(kù),否則就不不適用于于這個(gè)數(shù)數(shù)據(jù)庫(kù)庫(kù)。例如如,應(yīng)用下一步走走向城市市A這條規(guī)則則就不適適用于尚尚未出現(xiàn)現(xiàn)

10、所有其其他城市市的任一一 數(shù)據(jù)據(jù)庫(kù)。(3)任一以A為起點(diǎn)和和終點(diǎn),并出現(xiàn)所所有其他他城市的的總數(shù)據(jù)據(jù)庫(kù),都滿(mǎn)足終終止條件件。可以以使用下圖的距離離圖表來(lái)來(lái)計(jì)算任任一旅程程的總距距離。提提出作為為解答的的任一旅旅程,必須是具具有最短短距離的的旅程。2.1狀態(tài)空間間法16ABDE(ACDEBA)推銷(xiāo)員旅行問(wèn)題狀態(tài)空間圖(A)起始節(jié)點(diǎn)2.1狀態(tài)空間間法172.2問(wèn)題歸約約法（Problem ReductionRepresentation）問(wèn)題歸約約法思想想先把問(wèn)題題分解為為子問(wèn)題題及子-子問(wèn)題，然后解解決較小小的問(wèn)題題。對(duì)該該問(wèn)題的的某個(gè)具具體子集集的解答答就意味味著對(duì)原原始問(wèn)題題的一個(gè)個(gè)解答子問(wèn)題

11、1子問(wèn)題n原始問(wèn)題子問(wèn)題集本原問(wèn)題18問(wèn)題歸約約表示的的組成部部分：（1）一個(gè)初初始問(wèn)題題描述；（2）一套把把問(wèn)題變變換為子子問(wèn)題的的操作符符；（3）一套本本原問(wèn)題題描述。問(wèn)題歸約約的實(shí)質(zhì)質(zhì)：從目標(biāo)(要解決的的問(wèn)題)出發(fā)逆向向推理，建立子子問(wèn)題以以及子問(wèn)問(wèn)題的子子問(wèn)題，直至最最后把初初始問(wèn)題題歸約為為一個(gè)平平凡的本本原問(wèn)題題集合。2.2問(wèn)題規(guī)約約法192.2.1問(wèn)題歸約約描述（Problem ReductionDescription）梵塔難題題123CBA2.2問(wèn)題規(guī)約約法思考：用用狀態(tài)空空間法有有多少個(gè)個(gè)節(jié)點(diǎn)？為什么么？20解題過(guò)程程將原始問(wèn)問(wèn)題歸約約為一個(gè)個(gè)較簡(jiǎn)單單問(wèn)題集集合將原始梵梵塔難

12、題題歸約（簡(jiǎn)化）為下列列子難題題移動(dòng)圓盤(pán)盤(pán)A和B至柱子2的雙圓盤(pán)盤(pán)難題移動(dòng)圓盤(pán)盤(pán)C至柱子3的單圓盤(pán)盤(pán)難題移動(dòng)圓盤(pán)盤(pán)A和B至柱子3的雙圓盤(pán)盤(pán)難題詳細(xì)過(guò)程程參看下下圖21解題過(guò)程程（3個(gè)圓盤(pán)問(wèn)問(wèn)題）1231231231231231231232.2問(wèn)題規(guī)約約法12322梵塔問(wèn)題題歸約圖圖2.2問(wèn)題規(guī)約約法23多圓盤(pán)梵梵塔難題題思考？2.2問(wèn)題規(guī)約約法24問(wèn)題歸約約的描述述問(wèn)題歸約約方法應(yīng)應(yīng)用算符符把問(wèn)題題描述轉(zhuǎn)轉(zhuǎn)化為子子問(wèn)題描描述，可可以采用用各種數(shù)數(shù)據(jù)結(jié)構(gòu)構(gòu)：表列列、樹(shù)、字符串串、矢量量、數(shù)組組等；例如梵塔塔問(wèn)題的的表示：包含兩兩個(gè)數(shù)列列的表列列：(113),(333)也可以用用狀態(tài)空空間表示示法

13、的三三元組（S，F(xiàn)，G）表示；其子問(wèn)問(wèn)題描述述規(guī)定了了最后解解答路徑徑將要通通過(guò)的中中間狀態(tài)態(tài)；可以把問(wèn)問(wèn)題歸約約發(fā)看成成比狀態(tài)態(tài)空間法法更通用用的問(wèn)題題求解方方法；其其核心實(shí)實(shí)現(xiàn)是不不斷簡(jiǎn)化化問(wèn)題，直至問(wèn)問(wèn)題成為為本原問(wèn)問(wèn)題（已已知問(wèn)題題、易解解問(wèn)題）；2.2問(wèn)題規(guī)約約法252.2.2與或圖表表示1.與圖、或或圖、與與或圖一般，我我們用一一個(gè)似圖圖結(jié)構(gòu)來(lái)來(lái)表示把把問(wèn)題歸歸約為后后繼問(wèn)題題的替換換集合，這一似似圖結(jié)構(gòu)構(gòu)叫做問(wèn)問(wèn)題歸約約圖，或或叫與或或圖。如如下所示示2.2問(wèn)題規(guī)約約法ABCD與圖ABC或圖262.2問(wèn)題規(guī)約約法BCDEFGAHMBCDEFGAN與或圖增加附加加節(jié)點(diǎn)后后的規(guī)范范化

14、與或或圖表示示：272.一些關(guān)于于與或圖圖的術(shù)語(yǔ)語(yǔ)2.2問(wèn)題規(guī)約約法HMBCDEFGAN父節(jié)點(diǎn)與節(jié)點(diǎn)弧線或節(jié)點(diǎn)子節(jié)點(diǎn)終葉節(jié)點(diǎn)28一些關(guān)于于與或圖圖的術(shù)語(yǔ)語(yǔ)父節(jié)點(diǎn)、子（后后繼）節(jié)節(jié)點(diǎn)、弧弧線起始節(jié)點(diǎn)點(diǎn)終葉節(jié)點(diǎn)點(diǎn)：對(duì)應(yīng)于于原問(wèn)題題的本原原節(jié)點(diǎn)或節(jié)點(diǎn)：只要解解決某個(gè)個(gè)問(wèn)題就就可解決決其父輩輩問(wèn)題的的節(jié)點(diǎn)集集合，如如（M，N，H）。與節(jié)點(diǎn)：只有解解決所有有子問(wèn)題題，才能能解決其其父輩問(wèn)問(wèn)題的節(jié)節(jié)點(diǎn)集合合，如（B，C）和（D，E，F(xiàn)）。各個(gè)個(gè)節(jié)點(diǎn)之之間用一一端小圓圓弧連接接標(biāo)記。與或圖：由與節(jié)節(jié)點(diǎn)及或或節(jié)點(diǎn)組組成的結(jié)結(jié)構(gòu)圖。2.2問(wèn)題規(guī)約約法293.定義可解節(jié)點(diǎn)點(diǎn)的一般般定義：終葉節(jié)點(diǎn)點(diǎn)是可解解節(jié)點(diǎn)(因

15、為它們們與本原原問(wèn)題相相關(guān)連)。：如果某個(gè)個(gè)非終葉葉節(jié)點(diǎn)含含有或后后繼節(jié)點(diǎn)點(diǎn)，那么么只要當(dāng)當(dāng)其后繼繼節(jié)點(diǎn)至至少有一一個(gè)是可可解的時(shí)時(shí)，此非非終葉節(jié)節(jié)點(diǎn)才是是可解的的。如果某個(gè)個(gè)非終葉葉節(jié)點(diǎn)含含有與后后繼節(jié)點(diǎn)點(diǎn)，那么么只有當(dāng)當(dāng)其后繼繼節(jié)點(diǎn)全全部為可可解時(shí)，此非終終葉節(jié)點(diǎn)點(diǎn)才是可可解的。2.2問(wèn)題規(guī)約約法30不可解節(jié)節(jié)點(diǎn)的一一般定義義：沒(méi)有后裔裔的非終終葉節(jié)點(diǎn)點(diǎn)為不可可解節(jié)點(diǎn)點(diǎn)。全部后裔裔為不可可解的非非終葉節(jié)節(jié)點(diǎn)且含含有或后后繼節(jié)點(diǎn)點(diǎn)，此非非終葉節(jié)節(jié)點(diǎn)才是是不可解解的。后裔至少少有一個(gè)個(gè)為不可可解的非非終葉節(jié)節(jié)點(diǎn)且含含有與后后繼節(jié)點(diǎn)點(diǎn)，此非非終葉節(jié)節(jié)點(diǎn)才是是不可解解的。2.2問(wèn)題規(guī)約約法31如圖

16、所示示2.2問(wèn)題規(guī)約約法與或圖例例子ttttttttt（a）（b）有解節(jié)點(diǎn)點(diǎn)無(wú)解節(jié)點(diǎn)點(diǎn)終葉節(jié)點(diǎn)點(diǎn)32與或圖構(gòu)構(gòu)成規(guī)則則（1）與或圖圖中的每每個(gè)節(jié)點(diǎn)點(diǎn)代表一一個(gè)要解解決的單單一問(wèn)題題或問(wèn)題題集合。起始節(jié)節(jié)點(diǎn)對(duì)應(yīng)應(yīng)于原始始問(wèn)題。（2）對(duì)應(yīng)于于本原問(wèn)問(wèn)題的節(jié)節(jié)點(diǎn)，叫叫做終葉葉節(jié)點(diǎn)（3）對(duì)于把把算符應(yīng)應(yīng)用于問(wèn)問(wèn)題A的每種可可能情況況，都把把問(wèn)題變變換為一一個(gè)子問(wèn)問(wèn)題集合合；有向向弧線自自A指向后繼繼節(jié)點(diǎn)，表示所所求得的的子問(wèn)題題集合，只要其其中任意意一個(gè)有有解，問(wèn)問(wèn)題A就可解，所有這這些子問(wèn)問(wèn)題節(jié)點(diǎn)點(diǎn)稱(chēng)為或或節(jié)點(diǎn)；（4）一般對(duì)對(duì)于代表表兩個(gè)或或兩個(gè)以以上子問(wèn)問(wèn)題集合合的每個(gè)個(gè)節(jié)點(diǎn)，有向弧弧線從此此節(jié)點(diǎn)

17、指指向此子子問(wèn)題集集合中的的各個(gè)節(jié)節(jié)點(diǎn),只有所有有子問(wèn)題題都有解解，這個(gè)個(gè)子問(wèn)題題的集合合才有解解，所有有這些子子問(wèn)題節(jié)節(jié)點(diǎn)叫做做與節(jié)點(diǎn)點(diǎn)。這些些具有共共同父節(jié)節(jié)點(diǎn)的與與節(jié)點(diǎn)用用小圓弧弧連接，以表示示與或節(jié)節(jié)點(diǎn)的區(qū)區(qū)別；（5）在特殊殊情況下下，當(dāng)只只有一個(gè)個(gè)算符可可應(yīng)用于于問(wèn)題A，而且這這個(gè)算符符產(chǎn)生具具有一個(gè)個(gè)以上子子問(wèn)題的的某個(gè)集集合時(shí)，由上述述規(guī)則3和規(guī)則4所產(chǎn)生的的圖可以以得到簡(jiǎn)簡(jiǎn)化。（即不增增加附加加節(jié)點(diǎn)的的情況下下）2.2問(wèn)題規(guī)約約法33梵塔問(wèn)題題歸約圖圖（113） （123） （111） （113） （123） （122） （111） （333） （122） （322） （111

18、） （122） （322）（333） （321） （331） （322） （321） （331） （333） 2.2問(wèn)題規(guī)約約法數(shù)據(jù)結(jié)構(gòu)構(gòu)介紹思考題：四圓盤(pán)盤(pán)問(wèn)題342.3謂詞邏輯輯法(Predicate Logic)邏輯語(yǔ)句句：一種種形式語(yǔ)語(yǔ)言，它它能夠把把邏輯論論證符號(hào)號(hào)化，并并用于證證明定理理，求解解問(wèn)題。形式語(yǔ)言言：嚴(yán)格格地按照照相關(guān)領(lǐng)領(lǐng)域的特特定規(guī)則則，以數(shù)數(shù)學(xué)符號(hào)號(hào)（符號(hào)號(hào)串）形形式描述述該領(lǐng)域域有關(guān)客客體的表表達(dá)式2.3.1謂詞演算算語(yǔ)法與語(yǔ)語(yǔ)義基本符號(hào)號(hào)：謂詞詞符號(hào)、變量符符號(hào)、函函數(shù)符號(hào)號(hào)、常常量符號(hào)號(hào)、括號(hào)號(hào)和逗號(hào)號(hào)謂詞演算算的解釋釋?zhuān)褐^詞符號(hào)號(hào)對(duì)應(yīng)關(guān)系系，常量符號(hào)號(hào)論域?qū)?/p>

19、體體，函數(shù)符號(hào)號(hào)對(duì)應(yīng)函數(shù)數(shù)；35原子公式式：由若若干謂詞詞符號(hào)和和項(xiàng)組成成的謂詞詞演算。原子公公式是謂謂詞演算算基本積積木塊。項(xiàng)包括括常量符符號(hào)、變變量符號(hào)號(hào)、函數(shù)數(shù)符號(hào)等等。定義義原子公公式為真真值或假假值就表表示了某某種語(yǔ)義。無(wú)變量的的原子公公式取值值確定，包含變變量的原原子公式式取值不不定。例如：INROOM（ROBOT，r1） 為真真INROOM（ROBOT，r2）為假M(fèi)ARRIEDfather(wang),mother(wang)2.3謂詞邏輯輯法36連詞和量量詞(Connective&Quantifiers)連詞與、合取?。╟onjunction)：用連詞把幾個(gè)個(gè)公式連連接起來(lái)來(lái)而

20、構(gòu)成成的公式式。合取取項(xiàng)是合合取式的的每個(gè)組組成部分分。例：LIKE(I，MUSIC)LIKE(I，PAINTING)（我喜愛(ài)愛(ài)音樂(lè)和和繪畫(huà)。）或、析取取（disjunction）：用連詞詞把幾幾個(gè)公式式連接起起來(lái)而構(gòu)構(gòu)成的公公式。析析取項(xiàng)是是析取式式的每個(gè)個(gè)組成部部分例：PLAYS(LILI，BASKETBALL)PLAYS(LILI，F(xiàn)OOTBALL)（李力打打籃球或或踢足球球。）蘊(yùn)涵（Implication）:“=”表示“如如果那么”（IFTHEN）關(guān)系，其所構(gòu)構(gòu)成的公公式叫做做蘊(yùn)涵。非（Not）表示否定定，、均可表示示2.3謂詞邏輯輯法37量詞全稱(chēng)量詞詞（UniversalQuanti

21、fier）：若一個(gè)個(gè)原子公公式P（x），對(duì)于于所有可可能變量量x都具有T值，則用（ x）P（x）表示例如:所有的機(jī)機(jī)器人都都是灰色色的（ x） ROBOT(x) = COLOR(x,GRAY)約束變?cè)塘吭~詞作用域域存在量詞詞（ExistentialQuantifier）若一個(gè)原原子公式式P（x），至少少有一個(gè)個(gè)變?cè)獂，可使P（x）為T(mén)值，則用（x）P（x）表示。例：(x)INROOM(x,r1)（1號(hào)房間內(nèi)內(nèi)有個(gè)物物體）382.3.2謂詞公式式原子公式式的的定定義：用P(x1，x2，xn)表示一個(gè)個(gè)n元謂詞公公式，其其中P為n元謂詞，x1,x2,，xn為客體變變量或變變?cè)?。通通常把P(x

22、1,x2,xn)叫做謂詞詞演算的的原子公式式，或原子謂詞詞公式。分子謂詞詞公式可以用連連詞把原原子謂詞詞公式組組成復(fù)合合謂詞公公式，并并把它叫叫做分子謂詞詞公式。2.3謂詞邏輯輯法39合式公式式（WFF，well-formedformulas）合式公式式的遞歸歸定義(1)原子謂詞詞公式是是合式公式。(2)若A為合適公公式，則則A也是一個(gè)個(gè)合式公式。(3)若A和B都是合式公式，則則(AB)，(AB)，(AB)和(AB)也都是合式公式。(4)若A是合式公式，x為A中的自由由變?cè)?，則(x)A和(x)A都是合式公式。(5)只有按上上述規(guī)則則(1)至(4)求得的那那些公式式，才是是合式公式。例題：試把下

23、列列命題表表示為謂謂詞公式式：任何何整數(shù)，或者為為整數(shù)或或者為負(fù)負(fù)數(shù)。2.3謂詞邏輯輯法40合式公式的性性質(zhì)合式公式的真真值等價(jià)（Equivalence)如果兩個(gè)個(gè)合式公式，無(wú)無(wú)論如何何解釋?zhuān)湔嬷抵当矶际鞘窍嗤牡模敲疵次覀兙途头Q(chēng)此兩兩合式公式是等等價(jià)的。TFTFFF表2-1 真值表P Q PQ P Q PQ PT T T T T FF T T F T TF F F F T T2.3謂詞邏輯輯法41等價(jià)關(guān)系系(1否定之之否定(P)等價(jià)于P(2)PQ等價(jià)于P= Q(3)狄摩根根定律(PQ)等價(jià)于PQ(PQ)等價(jià)于PQ(4分配律P(QR)等價(jià)于(PQ)(PR)P(QR)等價(jià)于(PQ)(PR)(

24、5)交換律PQ等價(jià)于QPPQ等價(jià)于QP2.3謂詞邏輯輯法426)結(jié)結(jié)合律(PQ)R等價(jià)于P(QR)(PQ)R等價(jià)于P(QR)(7)逆否律P =Q等價(jià)于Q =P(8)(x)P(x)等價(jià)于(x)P(x)(x)P(x)等價(jià)于(x)P(x)(9)(x)P(x)Q(x)等價(jià)于(x)P(x)(x)Q(x)(x)P(x)Q(x)等價(jià)于(x)P(x)(x)Q(x)(10(x)P(x等價(jià)于(y)P(y)(x)P(x)等價(jià)于(y)P(y)432.3.3置換與合合一謂詞邏輯輯的推理理將推理規(guī)規(guī)則應(yīng)用用于一定定的合式式公式（集），以產(chǎn)生生新的合合式公式式。假元推理理全稱(chēng)化推推理綜合推理理思考：推推理規(guī)則則中存在在項(xiàng)的

25、變變換與同同一問(wèn)題題，如何何實(shí)施？2.3謂詞邏輯輯法W1W1W2 W2（x）W（x） W（A）任意變量約束變?cè)? x ) W1( x ) W2( x ) W1（A） W2（A）44置換(Substitution)：在表達(dá)式式中用置置換項(xiàng)置置換變量量，例如如用項(xiàng)（A）替換函函數(shù)表達(dá)達(dá)式中的的變量（x）。一個(gè)個(gè)表達(dá)式式E（Expression）用一個(gè)個(gè)置換S（Substitution）而得到到的表達(dá)達(dá)式的置置換，記記為ES。例題：表表達(dá)式E：Px,f(y),B；置換：s1=z/x,w/y,s2=A/y, s3=q(z)/x,A/y,s4=c/x,A/ySolution:ES1=Pz,f(w),B;

26、ES2= Px,f(A),B;ES3=Pq(z),f(A),B;ES4=Pc,f(A),B;ES1S2= Pz,f(w),B;ES2S1= Pz,f(A),B思考：(1)ES4S1，ES3S2？(2)置換的運(yùn)運(yùn)算規(guī)則則？ 2.3謂詞邏輯輯法45置換的性性質(zhì)可結(jié)合律律:（LS1）S2=L（S1S2）（S1S2）S3=S1（S2S3）問(wèn)題：請(qǐng)請(qǐng)舉例說(shuō)說(shuō)明？不可交換換律:S1S2 =S2S1問(wèn)題：請(qǐng)請(qǐng)舉例說(shuō)說(shuō)明？思考：什什么置換換是謂詞詞邏輯推推理所需需要的？2.3謂詞邏輯輯法 /46合一（Unification)：合一：尋找項(xiàng)對(duì)對(duì)變量的的置換，以使多多個(gè)表達(dá)達(dá)式一致致的操作作稱(chēng)為合一。如果一一個(gè)置

27、換換s作用于表表達(dá)式集集Ei的每個(gè)元元素，則則我們用用Eis來(lái)表示置置換例的的集?？珊弦唬喝绻嬖谠谥脫Qs使得表達(dá)達(dá)式集Ei置換后有有：E1SE2SE3S,則我們稱(chēng)稱(chēng)表達(dá)式式集Ei是可合一的的，s稱(chēng)為Ei的合一者。例題：表達(dá)式集集Px,f(y),B, Px,f(B),B的合一者者：s A/x,B/y說(shuō)明：Px,f(y),BsPx,f(B),BsPA,f(B),B思考：還還有其他他合一者者嗎？2.3謂詞邏輯輯法47最通用的的合一者者：如果對(duì)表表達(dá)式集集Ei的任一合合一者s，都存在在某一s，使得EisEigs，則稱(chēng)g為Ei的最通用用合一者者。問(wèn)題：上上例題中中，最通通用的合合一者是是什么？置換與合

28、合一的作作用：謂謂詞邏輯輯推理的的基本方方法，就就是尋找找簡(jiǎn)單有有效置換換合一，采用消消解原理理利用消消解反演演方法求求解問(wèn)題題，詳見(jiàn)見(jiàn)第三章章。2.3謂詞邏輯輯法482.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法(SemanticNetwork Representation)語(yǔ)義網(wǎng)絡(luò)絡(luò)的結(jié)構(gòu)構(gòu)定義語(yǔ)義網(wǎng)絡(luò)絡(luò)是知識(shí)識(shí)的一種種圖解表表示，它它由節(jié)點(diǎn)點(diǎn)和弧線線或鏈線線組成。節(jié)點(diǎn)用用于表示示實(shí)體、概念和和情況等等，弧線線用于表表示節(jié)點(diǎn)點(diǎn)間的關(guān)關(guān)系。組成部分分詞法決定表示示詞匯表表中允許許有哪些些符號(hào)，它涉及及各個(gè)節(jié)節(jié)點(diǎn)和弧弧線。結(jié)構(gòu)敘述符號(hào)號(hào)排列的的約束條條件，指指定各弧弧線連接接的節(jié)點(diǎn)點(diǎn)對(duì)過(guò)程說(shuō)明訪問(wèn)問(wèn)過(guò)程，這些過(guò)過(guò)程能用用

29、來(lái)建立立和修正正描述，以及回回答相關(guān)關(guān)問(wèn)題。語(yǔ)義確定與描描述相關(guān)關(guān)的(聯(lián)想)意義的方方法即確確定有關(guān)關(guān)節(jié)點(diǎn)的的排列及及其占有有物和對(duì)對(duì)應(yīng)弧線線。49語(yǔ)義網(wǎng)絡(luò)絡(luò)的特點(diǎn)點(diǎn):(1)能把實(shí)體體的結(jié)構(gòu)構(gòu)、屬性性與實(shí)體體間的因因果關(guān)系系顯式并并簡(jiǎn)明地地表達(dá)出出來(lái), 與實(shí)實(shí)體相關(guān)關(guān)的事實(shí)實(shí)、特征征和關(guān)系系可以通通過(guò)相應(yīng)應(yīng)的節(jié)點(diǎn)點(diǎn)弧線推推導(dǎo)出來(lái)來(lái)。這樣樣便以聯(lián)聯(lián)想方式式實(shí)現(xiàn)對(duì)對(duì)系統(tǒng)的的解釋釋。(2)由由于于與概念念相關(guān)的的屬性和和聯(lián)系被被組織在在一個(gè)相相應(yīng)的節(jié)節(jié)點(diǎn)中,因因而使概概念易于于受訪和和學(xué)習(xí)。(3）表現(xiàn)問(wèn)題題更加直直觀, 更易易于理解解 ,適適于知知識(shí)工程程師與領(lǐng)領(lǐng)域?qū)＜壹业臏贤ㄍ?。語(yǔ)義義網(wǎng)絡(luò)中中的繼

30、承承方式也也符合人人類(lèi)的思思維習(xí)慣慣。(4)語(yǔ)語(yǔ)義網(wǎng)網(wǎng)絡(luò)結(jié)構(gòu)構(gòu)的語(yǔ)義義解釋依依賴(lài)于該該結(jié)構(gòu)的的推理過(guò)過(guò)程而沒(méi)沒(méi)有結(jié)構(gòu)構(gòu)的約定定 ,因因而得得到的推推理不能能保證像像謂詞邏邏輯法那那樣有效效。(5）節(jié)點(diǎn)間的的聯(lián)系可可能是線線狀、樹(shù)樹(shù)狀或網(wǎng)網(wǎng)狀的,甚甚至是遞遞歸狀的的結(jié)構(gòu),使使相應(yīng)的的知識(shí)存儲(chǔ)和檢檢索可能能需要比比較復(fù)雜雜的過(guò)程程。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法50表示一些些簡(jiǎn)單事事實(shí)，如如占有關(guān)關(guān)系和其其它情況況：以節(jié)節(jié)點(diǎn)表示示實(shí)體與與概念，節(jié)點(diǎn)間間關(guān)系以以有向鏈鏈關(guān)聯(lián)。例：小小燕是一一只燕子子，燕子子是一種種鳥(niǎo)，鳥(niǎo)鳥(niǎo)有翅膀膀；巢-1是小燕的的巢，巢巢-1是巢中的的一個(gè)。問(wèn)題：上述的語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)為二元元關(guān)系

31、，無(wú)法表表示復(fù)雜雜事實(shí)，如：小小燕從春春天到秋秋天占有有巢1。如果采用用謂詞邏邏輯表示示為一個(gè)個(gè)四元謂謂詞演算算：Owns（XIAOYAN,NET-1,SPRING,FALL）思考：用用語(yǔ)義網(wǎng)網(wǎng)絡(luò)如何何表示上上述四元元謂詞公公式？2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法2.4. 1二元語(yǔ)義義網(wǎng)絡(luò)的的表示SWALLOWBIRDXIAOYANNEST-1NESTISAISAISAOWNSHAS-PARTWINGS51Simmons與Slocum擴(kuò)展了該該基本方方法：允許節(jié)點(diǎn)點(diǎn)既可以以表示一一個(gè)物體體或一組組物體，也可以以表示情情況與動(dòng)動(dòng)作。每每一情況況節(jié)點(diǎn)成成為事例例框，有有一組向向外的弧弧，用以以說(shuō)明與與該事例例有關(guān)

32、的的各種變變量。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法SWALLOWBIRDXIAOYANNEST-1NESTISAISAISAOWNEEOWN-1OWNERSPRINGFALLSITUATIONTIMEOWNERSHIPISAISAISAISASTARTTIMEENDTIME52選擇語(yǔ)義義基元：?jiǎn)栴}：如果語(yǔ)義義網(wǎng)絡(luò)只只表示一一個(gè)特定定的物體體或概念念，那么么當(dāng)有更更多不直直接相關(guān)關(guān)的同類(lèi)類(lèi)實(shí)體與與概念時(shí)時(shí)，需要要很多獨(dú)獨(dú)立的語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)，使得得語(yǔ)義網(wǎng)網(wǎng)絡(luò)圖復(fù)復(fù)雜化。Solution：通常需要要把有關(guān)關(guān)的一組組物體或或概念的的知識(shí)用用一個(gè)語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)表示出出來(lái)，否否則會(huì)造造成網(wǎng)絡(luò)絡(luò)過(guò)多，使問(wèn)題題復(fù)雜化化。試圖圖用

33、一組組基元來(lái)來(lái)表示知知識(shí)，以以便簡(jiǎn)化化表示，并可用用簡(jiǎn)單的的知識(shí)來(lái)來(lái)表示更更復(fù)雜的的知識(shí)，稱(chēng)為選擇語(yǔ)義義基元。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法REDMYCARCOLORGREENLIHUACARCOLOR532.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法REDMYCARCOLORGREENLIHUACARCOLORCARISAISA概念節(jié)點(diǎn)點(diǎn)與實(shí)例例節(jié)點(diǎn)FURNITURECHAIRMYCARLEATHERSEATBROWNPERSONXISAOWNERISAISAISAPARTCOLORCOVERING椅子的語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)542.4.2多元語(yǔ)義義網(wǎng)絡(luò)的的表示謂詞邏輯輯與語(yǔ)義義網(wǎng)絡(luò)等等效,容易實(shí)現(xiàn)現(xiàn)一元關(guān)關(guān)系與二二元關(guān)系系表示。LIMIN

34、GMANISAISA（LIMING，MAN）或MAN（LIMING）（語(yǔ)義網(wǎng)網(wǎng)絡(luò)）（謂詞邏邏輯）2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法55多元語(yǔ)義義網(wǎng)絡(luò)表表示的實(shí)實(shí)質(zhì)把多元關(guān)關(guān)系轉(zhuǎn)化化為一組組二元關(guān)關(guān)系的組組合，或或二元關(guān)關(guān)系的合合取。R(X1，X2，Xn)R12(X1，X2)R13(X1，X3) R1n(X1，Xn).Rn-1n(Xn-1，Xn)可轉(zhuǎn)換為為2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法56多元語(yǔ)義義網(wǎng)絡(luò)的的表示實(shí)實(shí)例1SCORE(BU,TU,(8589)2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法GAMEG25BU85-89TUVISITINGTEAMISAHOME TEAMSCORE57三元變?yōu)闉槎M組合2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法例John gaveM

35、arythebook.（1）謂詞邏輯法：GAVE（JOHN，MARY，BOOK）3項(xiàng)（2）用語(yǔ)義網(wǎng)絡(luò)絡(luò)法表示時(shí)引引入附加加節(jié)點(diǎn)G1：G1B23JOHNGIVEROBJECTMARYGIVEISARECIPIENTBOOKISA多元語(yǔ)義義網(wǎng)絡(luò)的的表示實(shí)實(shí)例2582.4.3語(yǔ)義網(wǎng)絡(luò)絡(luò)的推理理過(guò)程語(yǔ)義網(wǎng)絡(luò)絡(luò)表示知知識(shí)，沒(méi)沒(méi)有形式式語(yǔ)義，沒(méi)有統(tǒng)統(tǒng)一的語(yǔ)語(yǔ)義表示示法。為了便于于下面的的敘述,對(duì)對(duì)所用符符號(hào)作進(jìn)進(jìn)一步的的規(guī)定。區(qū)分在在鏈的頭頭部和在在鏈的尾尾部的節(jié)節(jié)點(diǎn), 把在在鏈的尾尾部的節(jié)節(jié)點(diǎn)稱(chēng)為為值節(jié)點(diǎn)。另外,還還規(guī)定節(jié)節(jié)點(diǎn)的槽相當(dāng)于鏈鏈 ,不不過(guò)取取不同的的名字而而已。如磚塊12(BRICK12)有

36、3個(gè)鏈鏈,構(gòu)成成兩個(gè)槽槽。其中中一個(gè)槽槽只有一一個(gè)值,另外一一個(gè)槽有有兩個(gè)值值。顏色色槽(COLOR)填入紅色色(RED)ISA槽填入了了磚塊(BRICK)和玩具(TOY)。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法59繼承推理理定義：所所謂繼承承就是對(duì)對(duì)事物的的描述從從概念節(jié)節(jié)點(diǎn)或類(lèi)類(lèi)節(jié)點(diǎn)傳傳遞到實(shí)實(shí)例節(jié)點(diǎn)點(diǎn)，例如如下圖。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法60三種繼承承模式值繼承：ISA鏈與AKO（A KindOf）鏈，常常用知識(shí)識(shí)傳遞方方法；放放入值側(cè)側(cè)面中?！叭绻栊枰保↖fneeded）鏈：有有時(shí)對(duì)不不知道的的槽值，可以計(jì)計(jì)算得到到，通過(guò)過(guò)此計(jì)算算程序得得到知識(shí)識(shí)的模式式稱(chēng)為ifneeded鏈，如通通過(guò)體積積與密度度在需要

37、要時(shí)可以以計(jì)算其其質(zhì)量。ifneeded程序放入入IFNEEDED側(cè)面中?！叭笔　崩^承：在對(duì)事事務(wù)所作作假設(shè)無(wú)無(wú)十分把把握時(shí)，可以加加上“可可能”字字樣，這這種不肯肯定的值值稱(chēng)為“缺省”值，放放入槽的的DEFAULT側(cè)面中。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法61匹配推理理當(dāng)解決涉涉及由幾幾部分組組成的事事物時(shí),必須制定定把值從從類(lèi)部件傳遞遞到實(shí)例部部件的路徑徑，稱(chēng)為匹配推理理。例如,由由于TOY-HOUSE77是TOY-HOUSE的一個(gè)實(shí)實(shí)例, 所以以它必須須有兩個(gè)部件,一一個(gè)是磚磚塊, 另一一個(gè)是模模塊(wedge)。另外, 作為為玩具房房的一個(gè)個(gè)部件的的磚塊必必須支支撐模塊塊。在圖圖 2.19中中, 玩具

38、具房-77部部件以以及它們們之間的的鏈, 都用用虛線畫(huà)畫(huà)的節(jié)點(diǎn)點(diǎn)和箭頭頭 來(lái)表表示。因因?yàn)檫@些些知識(shí)是是通過(guò)繼繼承而間間接知道道的, 并不不是通過(guò)過(guò)實(shí)際的的節(jié)點(diǎn)和和鏈直接接知道的的。因因此, 虛線線所表示示的節(jié)點(diǎn)點(diǎn)以及箭箭頭所表表示的鏈鏈?zhǔn)翘摴?jié)節(jié)點(diǎn)和虛虛鏈。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法62現(xiàn)在來(lái)研研究圖2.20中的結(jié)結(jié)構(gòu)35(STRUCTURE35)。已知這這個(gè)結(jié)構(gòu)構(gòu)有兩個(gè)個(gè)部件,一個(gè)個(gè)磚塊BRICK12和一個(gè)楔塊WEDGE18。一旦在STRUCTURE35和TOY-HOUSE之間放上上ISA鏈,就知知道BRICK12必須支撐撐WEDGE18。在圖2.20中中用虛線線箭頭表表示BRICK12和WEDGE

39、18之間的SUPPORT虛鏈。因因?yàn)楹苋萑菀鬃霾坎考ヅ渑?所以以虛線箭箭頭的位位置和方方向很容容易被確確定。WEDGE18肯定與作作為T(mén)OY-HOUSE的一個(gè)部部件的楔塊相匹配,而B(niǎo)RICK12肯定與磚磚塊相匹匹配。2.4語(yǔ)義網(wǎng)絡(luò)絡(luò)法632.5框架（Frame）表示提問(wèn)：語(yǔ)義網(wǎng)絡(luò)絡(luò)中個(gè)案案知識(shí)與與通用知知識(shí)的關(guān)關(guān)系問(wèn)題題？Solution：用通用框框架存儲(chǔ)儲(chǔ)類(lèi)似的的個(gè)案知知識(shí)。框架：框架是一一種結(jié)構(gòu)構(gòu)化表示示法，通通常采用用語(yǔ)義網(wǎng)網(wǎng)絡(luò)中的的節(jié)點(diǎn)-槽-值表示結(jié)結(jié)構(gòu)，以以通用數(shù)數(shù)據(jù)結(jié)構(gòu)構(gòu)的形式式存儲(chǔ)以以往的經(jīng)經(jīng)驗(yàn)知識(shí)識(shí)。框架與語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)的關(guān)系系：框架可以以定義為為一組語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)的節(jié)點(diǎn)點(diǎn)與槽，

40、這組節(jié)節(jié)點(diǎn)與槽槽可以描描述格式式固定的的事務(wù)、行為和和事件；語(yǔ)義網(wǎng)絡(luò)絡(luò)是節(jié)點(diǎn)點(diǎn)和弧線線的集合合，也可可以看作作框架的的集合。思考：框框架與語(yǔ)語(yǔ)義網(wǎng)絡(luò)絡(luò)的區(qū)別別？642.5.1框架的構(gòu)構(gòu)成框架通常常由描述述事務(wù)的的各個(gè)方方面的槽槽組成，每個(gè)槽槽可以擁?yè)碛腥舾筛蓚€(gè)側(cè)面面，而每每個(gè)側(cè)面面可以擁?yè)碛腥舾筛蓚€(gè)值?？蚣艿囊灰话憬Y(jié)構(gòu)構(gòu)： 2.5框架表示示法65一個(gè)簡(jiǎn)單單框架的的例子對(duì)于復(fù)雜雜的問(wèn)題題，必須須同時(shí)使使用許多多框架，構(gòu)成框框架系統(tǒng)統(tǒng)，例如如：思考：框框架與框框架的關(guān)關(guān)系？2.5框架表示示法66框架的關(guān)關(guān)系：一個(gè)框架架可以是是另一個(gè)個(gè)框架的的槽值，并且一一個(gè)框架架結(jié)構(gòu)可可以作為為幾個(gè)不不同框架架的

41、槽值值。這樣樣相同的的信息不不必重復(fù)復(fù)存儲(chǔ)，節(jié)約空空間。2.5框架表示示法67框架系統(tǒng)統(tǒng)的繼承承關(guān)系與與樹(shù)型結(jié)結(jié)構(gòu)框架的一一個(gè)重要要屬性是是繼承。為此，框架常常表示成成一種樹(shù)樹(shù)型結(jié)構(gòu)構(gòu)，樹(shù)的的每一節(jié)節(jié)點(diǎn)就是是一個(gè)框框架結(jié)構(gòu)構(gòu)，子節(jié)節(jié)點(diǎn)與父父節(jié)點(diǎn)之之間用ISA或AKO槽連接。框架的繼繼承方法法：當(dāng)子子節(jié)點(diǎn)的的某些槽槽值或側(cè)側(cè)面沒(méi)有有被直接接記錄時(shí)時(shí)，可以以從其父父節(jié)點(diǎn)繼繼承這些些值。樹(shù)狀框架架系統(tǒng)的的形式：AKO/ISA VALUE PROPDEFAULT SFIF-NEEDED CONFLICTADD2.5框架表示示法68框架系統(tǒng)統(tǒng)的基本本推理方方法特性繼承承（ISA/AKO鏈），例例如：燕燕

42、子鳥(niǎo)部分匹配配，例如如TOYHOUSE從描述中中直接引引用，例例如：ROOM的例子各槽值的的相關(guān)信信息可以以指導(dǎo)進(jìn)進(jìn)行該槽槽值的描描述，如如：圖2.22的D面解答子節(jié)節(jié)點(diǎn)與父父節(jié)點(diǎn)差差異的原原因，例例如：三三條腿的的椅子思考：框框架是一一種規(guī)定定格式描描述的事事務(wù)、行行為與事事件。那那么對(duì)于于具體的的應(yīng)用，當(dāng)直接接套用框框架知識(shí)識(shí)推理不不順利時(shí)時(shí)，框架架推理的的策略？2.5.1框架的推推理2.5框架表示示法69推理框架架的選擇擇方法：選擇與當(dāng)當(dāng)前情況況對(duì)應(yīng)的的框架片片斷，與與其他候候選框架架相匹配配，選擇擇最佳匹匹配；（知識(shí)的合合成、交交叉）允許部分分不相匹匹配的信信息，如如漏失某某項(xiàng)特性性比多了了某項(xiàng)特特性更合合理，比比如只有有一條腿腿的人比比有三條條腿的人人更合理理；（合理推斷斷）查詢(xún)框架架之間保保存有關(guān)關(guān)的連接接，指出出應(yīng)用此此框架不不合理的的情況下下，可以以下一步步試探的的建議框框架；如如下圖： （啟發(fā)匹配配）沿著框架架系統(tǒng)的的層次向向上搜索索，知道道找到足足夠通用用、與事事實(shí)不矛矛盾的框框架，或或直接使使用，或或者建立立新的下下一層框框架。（類(lèi)型匹配配與新類(lèi)類(lèi)生成）2.5框架表示示法702.6劇本（Script）表示提問(wèn)：框框架中對(duì)對(duì)事件的的描述有有什么不不足？定義：劇劇本是框框架的特特殊形式式，它用用一組槽槽