1、12022-2-20第二章第二章 知識(shí)表示方法知識(shí)表示方法22022-2-202.1 知識(shí)與知識(shí)表示的概念知識(shí)與知識(shí)表示的概念第二章 知識(shí)表示方法 2.1 知識(shí)與知識(shí)表示的概念32022-2-20描述客觀世界描述客觀世界l人們對(duì)客觀世界的描述是通過(guò)數(shù)據(jù)和信息來(lái)實(shí)現(xiàn)的。l數(shù)據(jù)：指人們?yōu)榱嗣枋隹陀^世界中的具體事物而引人的一些數(shù)字、字符、文字等符號(hào)或符號(hào)的組合。“建國(guó)”、“50”是兩個(gè)數(shù)據(jù)l信息：不同數(shù)據(jù)組成的一種結(jié)構(gòu)。建國(guó)50歲l信息是數(shù)據(jù)在特定場(chǎng)合下的含義，即數(shù)據(jù)的語(yǔ)義。相同的數(shù)據(jù)在不同場(chǎng)合會(huì)有不同的含義建國(guó)50歲；建國(guó)50周年l多數(shù)信息僅是對(duì)客觀事物的一般性描述，它還不是知識(shí)第二章 知識(shí)表示方

2、法 2.1 知識(shí)與知識(shí)表示的概念42022-2-20什么是知識(shí)什么是知識(shí)l知識(shí)是人們?cè)诟脑炜陀^世界的實(shí)踐中積累起來(lái)的認(rèn)識(shí)和經(jīng)驗(yàn)l知識(shí)是對(duì)信息進(jìn)行智能性加工所形成的對(duì)客觀世界規(guī)律性的認(rèn)識(shí)。l對(duì)信息的加工過(guò)程，是一種把信息關(guān)聯(lián)在一起的過(guò)程。因此，也可把有關(guān)信息關(guān)聯(lián)在一起所形成的信息結(jié)構(gòu)稱為知識(shí)。例如，“如果如果他學(xué)過(guò)人工智能課程，則則他應(yīng)該知道什么叫知識(shí)“。l知識(shí)還沒(méi)有一個(gè)統(tǒng)一的、嚴(yán)格的形式化定義。l一種定義：知識(shí)是經(jīng)過(guò)處理、解釋、選擇和轉(zhuǎn)換的信息。第二章 知識(shí)表示方法 2.1 知識(shí)與知識(shí)表示的概念52022-2-20知識(shí)的屬性知識(shí)的屬性l真假性與相對(duì)性l不確定性l矛盾性和相客性。l可表示性與可利

3、用性。 第二章 知識(shí)表示方法 2.1 知識(shí)與知識(shí)表示的概念62022-2-20知識(shí)表示知識(shí)表示l 知識(shí)表示實(shí)際上就是對(duì)知識(shí)的一種描述，即用一些約定的符號(hào)把知識(shí)編碼成一組計(jì)算機(jī)可以接受的數(shù)據(jù)結(jié)構(gòu)。l一般來(lái)說(shuō)，同一知識(shí)可以有多種不同的表示形式，而不同表示形式所產(chǎn)生的效果又可能不一樣。l知識(shí)表示的要求表示能力可利用性可組織性與可維護(hù)性可實(shí)現(xiàn)性自然性與可理解性第二章 知識(shí)表示方法 2.1 知識(shí)與知識(shí)表示的概念72022-2-20幾種常用的知識(shí)表示方法幾種常用的知識(shí)表示方法n狀態(tài)空間法n問(wèn)題歸約法n謂詞邏輯法n語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒╪規(guī)則表示法第二章

4、 知識(shí)表示方法 2.1 知識(shí)與知識(shí)表示的概念82022-2-202.2 狀態(tài)空間法狀態(tài)空間法第二章 知識(shí)表示方法 2.2狀態(tài)空間法92022-2-20狀態(tài)空間法概述狀態(tài)空間法概述l為了問(wèn)題求解，在狀態(tài)空間中從初始狀態(tài)開(kāi)始，每次施加一個(gè)操作符，使?fàn)顟B(tài)變成一個(gè)新?tīng)顟B(tài)，直到達(dá)到目標(biāo)狀態(tài)為止。得到的操操作符序列就是要求的解作符序列就是要求的解。這種基于解答空間的問(wèn)題表示和求解方法就是狀態(tài)空間法。l采用狀態(tài)空間法必須確定三件事： 1. 狀態(tài)描述方式，特別是初始狀態(tài)描述； 2. 操作符集合及其對(duì)狀態(tài)描述的作用； 3. 目標(biāo)狀態(tài)描述的特性。 第二章 知識(shí)表示方法 2.2狀態(tài)空間法102022-2-20狀態(tài)空

5、間法例狀態(tài)空間法例8數(shù)碼難題數(shù)碼難題第二章 知識(shí)表示方法 2.2狀態(tài)空間法2 31 8 47 6 5 2 31 8 47 6 52 8 31 47 6 52 31 8 47 6 52 8 31 47 6 52 8 31 6 47 52 8 3 1 47 6 52 8 31 6 47 52 8 31 6 4 7 52 8 37 1 4 6 5 8 32 1 47 6 52 81 4 37 6 52 8 31 4 57 6 1 2 37 8 4 6 51 2 38 47 6 51 2 3 8 47 6 5目標(biāo)初始112022-2-20狀態(tài)描述狀態(tài)描述 l狀態(tài)（狀態(tài)（state）：是為描述某類不同事

6、物間的差別而引入的一組最少變量q0，q1，. ，qn的有序集合,其矢量形式如下： Q=q0，q1，. ，qnT式中每個(gè)元素qi（i=0，1，. ，n）為集合的分量，稱為狀態(tài)變量。給定每個(gè)變量的一組值就得到一個(gè)具體的狀態(tài)，如 Qk=q0k，q1k，. ，qnkT我們用矢量來(lái)描述狀態(tài)，就如同用矢量來(lái)描述歐氏空間的點(diǎn)一樣。第二章 知識(shí)表示方法 2.2狀態(tài)空間法122022-2-20操作描述操作描述l所謂操作操作，或稱為算子是引起狀態(tài)中的某分量發(fā)生改變，從而使問(wèn)題由一個(gè)具體狀態(tài)A變化為另一具體狀態(tài)B的作用。使問(wèn)題一種狀態(tài)變化為另一狀態(tài)的手段稱為操作符或算符操作符或算符。操作符可為走步、過(guò)程、規(guī)則、數(shù)學(xué)

7、算子、運(yùn)算符號(hào)或邏輯符號(hào)等。 第二章 知識(shí)表示方法 2.2狀態(tài)空間法132022-2-20狀態(tài)空間的表示狀態(tài)空間的表示l問(wèn)題的狀態(tài)空間（問(wèn)題的狀態(tài)空間（state spacestate space）：是一個(gè)表示該問(wèn)題全部可能狀態(tài)及其關(guān)系的圖，它包括所有可能的問(wèn)題初始狀態(tài)集合S、操作符集合F以及目標(biāo)狀態(tài)集合G。l可把狀態(tài)空間記為三元狀態(tài)（S，F(xiàn)，G）。 l狀態(tài)空間的一個(gè)解是一個(gè)有限的操作算子序列，它使初始狀態(tài)轉(zhuǎn)化為目標(biāo)狀態(tài)：S0-f1-S1-f2-.fk-G l狀態(tài)空間可用有向圖有向圖表示。 第二章 知識(shí)表示方法 2.2狀態(tài)空間法142022-2-20狀態(tài)空間表示舉例：狀態(tài)空間表示舉例：猴子和香

8、蕉猴子和香蕉l在一個(gè)房間內(nèi)有一只猴子(可把猴子看成一個(gè)機(jī)器人)、一個(gè)箱子和一串香蕉。香蕉掛在天花板下方，但猴子高度不足以夠到它。那么猴子怎樣才能摘到香蕉呢？圖中示出了猴子、香蕉和箱子在房間內(nèi)的相對(duì)位置。第二章 知識(shí)表示方法 2.1狀態(tài)空間法152022-2-20猴子摘香蕉問(wèn)題圖示猴子摘香蕉問(wèn)題圖示cba第二章 知識(shí)表示方法 2.1狀態(tài)空間法162022-2-20猴子摘香蕉問(wèn)題猴子摘香蕉問(wèn)題-綜合數(shù)據(jù)庫(kù)綜合數(shù)據(jù)庫(kù)（M, On, Box, H）其中：M：猴子的位置 On=0：猴子在地板上 On=1：猴子在箱子上 Box：箱子的位置 H=0：猴子沒(méi)有抓到香蕉 H=1：猴子抓到了香蕉第二章 知識(shí)表示方

9、法 2.1狀態(tài)空間法172022-2-20猴子摘香蕉問(wèn)題猴子摘香蕉問(wèn)題-初始與結(jié)束狀態(tài)初始與結(jié)束狀態(tài)1，初始狀態(tài)（c, 0, b, 0）2，結(jié)束狀態(tài)（c, 1, c, 1）第二章 知識(shí)表示方法 2.1狀態(tài)空間法182022-2-20猴子摘香蕉問(wèn)題猴子摘香蕉問(wèn)題-操作符集操作符集goto(U): (W, 0, Y, z,) (U, 0, Y, z)Pushbox(V): (W, 0, W, z) (V, 0, V, z)climbbox : (W, 0, W, z) (W, 1, W, z)grasp: (c, 1, c, 0) (c, 1, c, 1)其中U, W, V, Y, z為變量第二章

10、 知識(shí)表示方法 2.1狀態(tài)空間法192022-2-20猴子摘香蕉問(wèn)題猴子摘香蕉問(wèn)題-狀態(tài)空間圖狀態(tài)空間圖第二章 知識(shí)表示方法 2.1狀態(tài)空間法(a,0,b,0)(U,0,b,0)(b,1,b,0)(V,0,V,0)(U,0,V,0)(c,1,c,1)(c,1,c,0)goto(U)U=b,pushbox(V) U=b, climbbox V=c, climbboxgrasp goto(U)goto(U)202022-2-202.2 問(wèn)題歸約法問(wèn)題歸約法第二章 知識(shí)表示方法 2.2問(wèn)題歸約法212022-2-20問(wèn)題歸約法思想問(wèn)題歸約法思想l問(wèn)題歸約法問(wèn)題歸約法是不同于狀態(tài)空間的人工智能中另一種

11、問(wèn)題描述和求解方法。l它將要求解的問(wèn)題分解成相對(duì)簡(jiǎn)單的子問(wèn)題；再將子問(wèn)題分解成更加簡(jiǎn)單的子問(wèn)題，直至分解成一個(gè)本原問(wèn)題集。（其中的每一個(gè)問(wèn)題是不用證明的，自然成立的，如公理、已知的實(shí)事等） 第二章 知識(shí)表示方法 2.2問(wèn)題歸約法222022-2-20梵塔難題梵塔難題 有3個(gè)柱子（1，2，3）和3個(gè)圓盤(pán)尺寸從小到大為A，B，C。最初，全部圓盤(pán)都堆在柱子1上，如圖1；要求把所有圓盤(pán)都挪到柱子3上如圖2。每次只允許移動(dòng)一個(gè)，而且只能搬動(dòng)柱子頂部的圓盤(pán)，還不許把尺寸較大的圓盤(pán)堆放在尺寸較小的圓盤(pán)上。第二章 知識(shí)表示方法 2.2問(wèn)題歸約法ABC123ABC123圖1圖2232022-2-20對(duì)梵塔難題進(jìn)

12、行問(wèn)題歸約對(duì)梵塔難題進(jìn)行問(wèn)題歸約我們把原始難題規(guī)約為以下三個(gè)子難題： 移動(dòng)圓盤(pán)A和B至柱子2的雙圓盤(pán)難題 移動(dòng)圓盤(pán)C至柱子3的單圓盤(pán)難題 移動(dòng)圓盤(pán)A和B至柱子3雙圓盤(pán)難題 第二章 知識(shí)表示方法 2.2問(wèn)題歸約法242022-2-20梵塔難題的分解圖梵塔難題的分解圖第二章 知識(shí)表示方法 2.2問(wèn)題歸約法AB123AB123C123C123AB123AB123252022-2-20問(wèn)題歸約的表示問(wèn)題歸約的表示l問(wèn)題歸約表示也是一個(gè)三元組(S0,F,G):S0-一個(gè)初始問(wèn)題描述,即要解決的問(wèn)題(初始問(wèn)題)；F-一套把問(wèn)題變換為子問(wèn)題的操作符（操作算子集）；G-一套本原問(wèn)題描述，（可以容易得到解答的問(wèn)

13、題）l問(wèn)題歸約過(guò)程可以采用與或圖來(lái)表示第二章 知識(shí)表示方法 2.2問(wèn)題歸約法262022-2-20問(wèn)題歸約的與或圖表示問(wèn)題歸約的與或圖表示基本概念基本概念l與或圖是一個(gè)超圖，節(jié)點(diǎn)間附有連接符。lK-連接符：.K個(gè) 由K-連接符連接的K個(gè)節(jié)點(diǎn)為 與節(jié)點(diǎn)K為1時(shí)為或節(jié)點(diǎn) 起始節(jié)點(diǎn)對(duì)應(yīng)于原始問(wèn)題的描述起始節(jié)點(diǎn)對(duì)應(yīng)于原始問(wèn)題的描述 子節(jié)點(diǎn)對(duì)應(yīng)于子問(wèn)題的描述子節(jié)點(diǎn)對(duì)應(yīng)于子問(wèn)題的描述第二章 知識(shí)表示方法 2.2問(wèn)題歸約法272022-2-20梵塔難題的歸約圖梵塔難題的歸約圖第二章 知識(shí)表示方法 2.2問(wèn)題歸約法(111)(333)(111)(122)(322)(333)(122)(322)(113)(12

14、3)(123)(122)(111)(113)(321)(331)(331)(333)(322)(321)C在柱號(hào)A在柱號(hào)B在柱號(hào)282022-2-20能解節(jié)點(diǎn)能解節(jié)點(diǎn)l對(duì)應(yīng)于本原問(wèn)題的節(jié)點(diǎn)為終節(jié)點(diǎn)l終節(jié)點(diǎn)是能解節(jié)點(diǎn)l若非終節(jié)點(diǎn)有“或”子節(jié)點(diǎn)時(shí)，當(dāng)且僅當(dāng)其子節(jié)點(diǎn)至少有一能解時(shí)，該非終節(jié)點(diǎn)才能解。l若非終節(jié)點(diǎn)有“與”子節(jié)點(diǎn)時(shí)，當(dāng)且僅當(dāng)其子節(jié)點(diǎn)均能解時(shí)，該非終節(jié)點(diǎn)才能解。第二章 知識(shí)表示方法 2.2問(wèn)題歸約法292022-2-20不能解節(jié)點(diǎn)不能解節(jié)點(diǎn)l沒(méi)有后裔的非終節(jié)點(diǎn)是不能解節(jié)點(diǎn)。l若非終節(jié)點(diǎn)有“或”子節(jié)點(diǎn)，當(dāng)且僅當(dāng)所有子節(jié)點(diǎn)均不能解時(shí)，該非終節(jié)點(diǎn)才是不能解節(jié)點(diǎn)。l若非終節(jié)點(diǎn)有“與”子節(jié)點(diǎn)時(shí)，當(dāng)至

15、少有一個(gè)子節(jié)點(diǎn)不能解時(shí)，該非終節(jié)點(diǎn)才是不能解節(jié)點(diǎn)。第二章 知識(shí)表示方法 2.2 問(wèn)題歸約法302022-2-20一種問(wèn)題歸約技術(shù)l要把三元狀態(tài)（S,F,G）規(guī)定的狀態(tài)空間搜索問(wèn)題歸約為一些比較簡(jiǎn)單的狀態(tài)空間搜索問(wèn)題。l希望有一個(gè)狀態(tài)序列g(shù)1,g2,gn（稱為“路標(biāo)”）,使得對(duì)（S,F,g1）、（g1,F,g2）、 （gn,F,G）這樣一些問(wèn)題的求解，等價(jià)于求解原問(wèn)題l如何找“路標(biāo)”，尋找關(guān)鍵算符l將必須采用的、起決定性作用的算符稱為關(guān)鍵算符l設(shè)f是關(guān)鍵算符，Gf是f適用的所有狀態(tài)的集合，gGf,則可以將問(wèn)題歸約為（S,F,Gf）、 （g,f,f(g)）和（f(g),F,G）。而（g,f,f(g

16、)）是本原問(wèn)題第二章 知識(shí)表示方法 2.2問(wèn)題歸約法312022-2-20關(guān)鍵算符的辨別關(guān)鍵算符的辨別l許多問(wèn)題往往無(wú)法辨別關(guān)鍵算符和知道它是決定性的步驟，只能推測(cè)某個(gè)算符子集合，其中某個(gè)算符是決定性的。l推測(cè)候選關(guān)鍵算符集合的方法之一是以“差別差別”為基礎(chǔ)l某個(gè)問(wèn)題（S,F,G）的“差別差別”是指造成S的元不屬于G的那部分分量。l將能消去“差別”的算符或算符集合與相應(yīng)的“差別差別”關(guān)聯(lián)起來(lái)，這些算符就是候選關(guān)鍵算符。第二章 知識(shí)表示方法 2.2問(wèn)題歸約法322022-2-20歸約技術(shù)舉例歸約技術(shù)舉例-猴子和香蕉問(wèn)題猴子和香蕉問(wèn)題l前面已經(jīng)討論過(guò)的猴子和香蕉問(wèn)題l其算符和適用條件f1:(W,0

17、,Y,z)-goto(U)-(U,0,Y,z)f2:(W,0,W,z)-pushbox(V)-(V,0,V,z)f3:(W,0,W,z)-climbbox-(W,1,W,z)f4:(c,1,c,0)-grasp-(c,1,c,1)l令F=f1, f2 , f3 , f4、G=(c,1,c,1) 、S= (a,0,b,0) l那么我們的初始問(wèn)題就變成為：(S,F,G)l應(yīng)用關(guān)鍵算符和差別表示法的歸約過(guò)程如下第二章 知識(shí)表示方法 2.2問(wèn)題歸約法332022-2-20猴子和香蕉問(wèn)題的猴子和香蕉問(wèn)題的歸約過(guò)程歸約過(guò)程(一一)l找差別： G=(c,1,c,1) 、S= (a,0,b,0) S與G的差別

18、在最后一個(gè)元素不是1l關(guān)聯(lián)算符： f4 = grasp消去該差別 因此，與f4關(guān)聯(lián)l用f4歸約，得一對(duì)子問(wèn)題： (S,F,G f4) 和(S1, f4,G) S1G f4其中,(S1, f4,G)已是個(gè)本原問(wèn)題第二章 知識(shí)表示方法 2.2問(wèn)題歸約法342022-2-20猴子和香蕉問(wèn)題的猴子和香蕉問(wèn)題的歸約過(guò)程（二）歸約過(guò)程（二）l重復(fù)過(guò)程：為求解(S,F,G f4)，找差別： S =(a,0,b,0)與G f4 = (c,1,c,0) 箱子不在c處、猴子不在c處、猴子不在箱子上l辨別出關(guān)聯(lián)算符： f2 :pushbox(c) f1 : goto(c) f3:climbboxl選用f2關(guān)鍵算符歸

19、約，得一對(duì)子問(wèn)題: 1-1： (S,F,G f2) 和 1-2：(f2(S11),F,G f4) S11G f2第二章 知識(shí)表示方法 2.2問(wèn)題歸約法352022-2-20猴子和香蕉問(wèn)題的猴子和香蕉問(wèn)題的歸約過(guò)程（三）歸約過(guò)程（三）l重復(fù)過(guò)程：為求解(S,F,G f2)，找差別： S =(a,0,b,0)與G f2 = (b,0,b,0) 猴子不在b處l辨別出關(guān)聯(lián)算符： f1 : goto(b) l用f1關(guān)鍵算符歸約，發(fā)現(xiàn)是個(gè)本原問(wèn)題: (S, f1,G f2) l經(jīng)過(guò)這樣反復(fù)遞歸重復(fù)，最終解答了初始問(wèn)題第二章 知識(shí)表示方法 2.2問(wèn)題歸約法362022-2-20猴子和香蕉問(wèn)題的與或圖猴子和香

20、蕉問(wèn)題的與或圖第二章 知識(shí)表示方法 2.2問(wèn)題歸約法372022-2-202.3 謂詞邏輯法謂詞邏輯法第二章 知識(shí)表示方法 2.3 謂詞邏輯法382022-2-20l謂詞邏輯表示法是一種基于數(shù)理邏輯的知識(shí)表示方式。l邏輯學(xué)的研究對(duì)象是思維，研究?jī)?nèi)容是思維的形式結(jié)構(gòu)和推理規(guī)律。l數(shù)理邏輯用數(shù)學(xué)方法研究推理的規(guī)律l所渭數(shù)學(xué)方法，就是引入一套符號(hào)體系的方法，所以數(shù)理邏輯又稱符號(hào)邏輯。l通過(guò)概念對(duì)事物是否具有某種屬性進(jìn)行肯定和否定的回答，這就是判斷；l由一個(gè)和幾個(gè)判斷推出另一個(gè)判斷的思維形式，就是推理。l數(shù)理邏輯的最基本內(nèi)容：命題邏輯與謂詞邏輯。謂詞邏輯表示的謂詞邏輯表示的邏輯基礎(chǔ)邏輯基礎(chǔ)第二章 知識(shí)

21、表示方法 2.3 謂詞邏輯法392022-2-20l邏輯推理根據(jù)命題的表現(xiàn)形式不同，分為命題邏輯和謂詞邏輯。l命題邏輯：把命題作為最基本的成分，只研究命題推理的規(guī)律。但它有較大的局限性，不適合于表達(dá)復(fù)雜的問(wèn)題。l謂詞邏輯 ：把命題細(xì)分為謂詞、個(gè)體和量詞等。它是一種形式語(yǔ)言，將邏輯推理符號(hào)化 ，能表達(dá)豐富的內(nèi)容。命題邏輯和謂詞邏輯命題邏輯和謂詞邏輯第二章 知識(shí)表示方法 2.3 謂詞邏輯法402022-2-20l能夠判別真假的陳述句，稱做命題l陳述句的判斷為真或假，稱為命題的真值。l自然語(yǔ)言往往有歧義性，給問(wèn)題研究帶來(lái)困難，人們將命題符號(hào)化，命題一般用大寫(xiě)英文字母表示： P：北京是中國(guó)的首都l當(dāng)P

22、表示確定的命題時(shí)，稱P為命題常元l當(dāng)P表示任意的沒(méi)有賦予具體內(nèi)容的抽象命題時(shí)，稱為命題變?cè)命題變?cè)皇敲}l單個(gè)命題又稱原子命題l多個(gè)原子命題通過(guò)命題聯(lián)結(jié)詞構(gòu)成的命題為復(fù)合命題。命題、命題變?cè)}、命題變?cè)诙?知識(shí)表示方法 2.3 謂詞邏輯法412022-2-20l用歸納法給出合式公式合式公式的遞歸定義： 命題變?cè)呛鲜焦健?若A為合式公式，則A也是一個(gè)合式公式。 若A和B都是合式公式，則（AB），（AB），（AB）和（AB）也都是合式公式。 1.只有有限次運(yùn)用（1）至（3）構(gòu)成的符號(hào)串，才是合式公式。合合式式公式（命詞公式）公式（命詞公式）第二章 知識(shí)表示方法 2.3 謂詞邏輯法4

23、22022-2-20l設(shè)P1，P2，Pn是公式A中的全部命題變?cè)＝oP1，P2，Pn各指定一個(gè)值，稱為對(duì)A的一 個(gè)指派或賦值。l若這組值使A的真值為真，則稱這組值為A的成真指派l若使A的真值為假，則稱這組值為A的成假指派。l命題公式A，若對(duì)它的任意一組指派，取值恒為真，則稱公式A為重言式(Tautobgy)，或永真式l若對(duì)它的任意一組指派，恒取值均為假，則稱A為矛盾式(Contradiction)，或永假式。l如果至少有一組指派使A的值為真，則稱公式A為可滿足式(Satisfiable)。指派指派與與公式公式真值真值第二章 知識(shí)表示方法 2.3 謂詞邏輯法432022-2-20lA、B為命題公

24、式，若AB為重言式，則稱A與B等價(jià)l一組基本等價(jià)式：l否定之否定 （P） P l蘊(yùn)含等值式 PQ PQ PQ Q P l狄摩根定律 (PQ)PQ (PQ)PQ l分配律 P（QR ） （PQ)(PR) P(QR) (PQ)(PR） l交換律 PQ QP PQ QP l結(jié)合律 (PQ)R P(QR） l (PQ)R P(QR ） l逆否律 PQ QP 1.吸收律 P（QP ） P ， P(QP) P 命題公式命題公式的等價(jià)的等價(jià)第二章 知識(shí)表示方法 2.3 謂詞邏輯法442022-2-20l在謂詞邏輯中，將原子命題分解為謂詞與個(gè)體兩部分。l可以獨(dú)立存在的物體稱為個(gè)體。(它可以是抽象的，也可以是具

25、體的)l用來(lái)刻劃個(gè)體的性質(zhì)或關(guān)系的詞稱為謂詞。刻劃一個(gè)個(gè)體性質(zhì)的詞稱為一元謂詞；刻劃n個(gè)個(gè)體之間關(guān)系的詞稱為n元謂詞l用大寫(xiě)字母表示謂詞，用小寫(xiě)字母表示個(gè)體，如Q(a)l由n個(gè)個(gè)體和n元謂詞所組成的命題可表示為 G(a1,a2,an)謂詞謂詞第二章 知識(shí)表示方法 2.3 謂詞邏輯法452022-2-20謂詞表示舉例謂詞表示舉例l謂詞比命題更加細(xì)致地刻畫(huà)知識(shí)： 表達(dá)能力強(qiáng)l如：北京是個(gè)城市， City(北京)把城市這個(gè)概念分割出來(lái)。把“城市” 與“北京”兩個(gè)概念連接在一起，而且說(shuō)明“北京”是“城市”的子概念。（有層） 謂詞可以代表變化的情況l如：City(北京),真。 City(煤球)，假第二章

26、 知識(shí)表示方法 2.3 謂詞邏輯法462022-2-20函函 數(shù)數(shù)l函數(shù)是實(shí)現(xiàn)同一個(gè)體域中從一個(gè)個(gè)體到另一個(gè)個(gè)體的映射。例如，“王宏的父親是教師”王宏是個(gè)體；王宏的父親也是個(gè)體謂詞表示為T(mén)EACHER（father(Wanghong)）father是函數(shù)； TEACHER是謂詞l函數(shù)與謂詞的區(qū)別謂詞實(shí)現(xiàn)的是從個(gè)體域中的個(gè)體到T或F的映射函數(shù)無(wú)所謂真假第二章 知識(shí)表示方法 2.3 謂詞邏輯法472022-2-20一階謂詞一階謂詞l 在謂詞P(x1,x2,xn)中，如果xi都是個(gè)體常量、變?cè)蚝瘮?shù)，稱它為一階謂詞。l如果某個(gè)xi本身又是一個(gè)一階謂詞，則稱它為二階謂詞。第二章 知識(shí)表示方法 2.3

27、謂詞邏輯法482022-2-20l量詞量詞就是在命題里表示數(shù)量的詞。它分為：全稱量詞全稱量詞： 一個(gè)原子公式P（x），對(duì)于所有可能的變量x都具有值T，這個(gè)特性可由全稱量詞（x）來(lái)表示。存在量詞存在量詞： 如果至少有一個(gè)x值可使P（x）為T(mén)，這個(gè)特性可由存在量詞（x）來(lái)表示。 l例如，句子“所有的機(jī)器人是灰色的”可表示為（x）ROBOT（X） COLOR（x，GRAY） 句子“1號(hào)房間內(nèi)有個(gè)物體”可表示為（x）INROOM（x，r1）量詞量詞第二章 知識(shí)表示方法 2.3 謂詞邏輯法492022-2-20l連詞連詞： （與）、（或）、（蘊(yùn)涵）、（或）（非）、（等價(jià)）。例如“我喜愛(ài)音樂(lè)和繪畫(huà)”可表示

28、成：LIKE（I，MUSIC）LIKE（I，PAINTING） “李明打籃球或踢足球”可表示為：PLAYS（LIMING，BASKETBALL）PLAYS（LIMING，F(xiàn)OOTBALL） “如果該書(shū)是何平的，那么它是蘭色封面的”，可表示為：OWNS（HEPING，BOOK-1）=COLOR(BOOK-1,BLUE) 子句“機(jī)器人不在2號(hào)房間內(nèi)”可表示為： INROOM（ROBOT，r2） 連詞連詞第二章 知識(shí)表示方法 2.3 謂詞邏輯法502022-2-20l項(xiàng)的遞歸定義項(xiàng)的遞歸定義：常量符號(hào)是項(xiàng)； 變量符號(hào)是項(xiàng)；如果f是n-元函數(shù)符號(hào)，t1，t2，. ，tn是項(xiàng)，則f（t1，t2，. ，t

29、n）也是項(xiàng)。l原子原子：如果P是n-謂詞，t1，t2，. ，tn是項(xiàng)，則P（t1，t2，.，tn）是一個(gè)原子。由若干謂詞符號(hào)和項(xiàng)組成。項(xiàng)與原子項(xiàng)與原子第二章 知識(shí)表示方法 2.3 謂詞邏輯法512022-2-20l設(shè)P(x1,x2,.,xn)為任意的n元謂詞，t1，t2，. ，tn為項(xiàng)。則lP（t1，t2，. ，tn）叫做原子原子謂詞謂詞公式公式。原子原子謂詞謂詞公式公式第二章 知識(shí)表示方法 2.3 謂詞邏輯法522022-2-20l有意義的符號(hào)序列是系統(tǒng)里的合式公式l用歸納法給出合式公式合式公式的遞歸定義： 原子謂詞公式是合式公式。 若A為合式公式，則A也是一個(gè)合式公式。 若A和B都是合式公

30、式，則（AB），（AB），（AB）和（AB）也都是合式公式。 若A是合式公式，x為A中的自由變?cè)瑒t（x）A和（x）A都是合式公式。 1.只有有限次運(yùn)用（1）至（4）構(gòu)成的符號(hào)串，才是合式公式。合合式式公式（謂詞公式）公式（謂詞公式）第二章 知識(shí)表示方法 2.3 謂詞邏輯法532022-2-20變量類型變量類型l約束變量約束變量：如果一個(gè)合式公式中某個(gè)變量是經(jīng)過(guò)量化的，這個(gè)變量叫約束變量。l自由變量自由變量：一個(gè)合式公式中沒(méi)被量化的變量叫自由變量。第二章 知識(shí)表示方法 2.3 謂詞邏輯法542022-2-20l否定之否定 （P） P PQ PQ 狄摩根定律 （PQ） PQ （PQ） PQ 分配

31、律 P（QR ） （PQ)(PR) P(QR) (PQ)(PR） 交換律 PQ QP PQ QP 合合式式公式等價(jià)關(guān)系公式等價(jià)關(guān)系第二章 知識(shí)表示方法 2.3 謂詞邏輯法552022-2-20n結(jié)合律 (PQ)R P(QR） (PQ)R P(QR ） n逆否律 PQ QP n (x)P(x) (x)P(x) (x)P(x) (x)P(x) n (x)P(x)Q(x) (x)P(x)(x)Q(x) (x)P(x)Q(x) (x)P(x)(x)Q(x) n (x)P(x) (y)P(y) (x)P(x) (y)P(y) 合合式式公式等價(jià)關(guān)系（二）公式等價(jià)關(guān)系（二）第二章 知識(shí)表示方法 2.3 謂詞

32、邏輯法562022-2-20置換置換l將合式公式中的變量變換成置換項(xiàng)。 一個(gè)置換s記為：s=z/x,A/y。表示用z置換x，用A置換y l設(shè)合式公式：P(x,f(y),B)、置換：s= z/x,A/y，則：P(x,f(y),B)s= P(z,f(A),B)l置換滿足結(jié)合率：設(shè)L為合式公式，s1、s2為置換，則： (Ls1)s2=L(s1s2)l置換不滿足交換率：s1s2s2s1第二章 知識(shí)表示方法 2.3 謂詞邏輯法572022-2-20合一合一l兩個(gè)重要的邏輯推理規(guī)則：假言推理： P，PQ可產(chǎn)生Q全稱化推理： (x)P(x)可產(chǎn)生P(A) A為任意常量符號(hào)l合一：合一：尋找某個(gè)置換以使兩個(gè)合

33、式公式一致l設(shè)合式公式：P(x,f(y),B)、 P(x,f(B),B)、置換：s= B/y，則：P(x,f(y),B)s= P(z,f(B),B)第二章 知識(shí)表示方法 2.3 謂詞邏輯法582022-2-20合一者合一者l合一者：合一者：一個(gè)置換s作用于合式公式集Ei的每一個(gè)元素，記為Eis 。若E1s = E2s =，稱s為Ei 的合一者l最一般合一者：最一般合一者：對(duì)Ei的任一合一者s，存在Eis =Eigs，則g稱為最一般合一者。記為mgul設(shè)合式公式：P(x,f(y),B)、 P(x,f(B),B)、置換：s1= A/x,B/y、 s2= B/y l則：P(x,f(y),B)s1=

34、P(x,f(B),B)s1= P(A,f(B),B)l則：P(x,f(y),B)s2= P(x,f(B),B)s2= P(x,f(B),B)ls1為合一者， s2為最一般合一者第二章 知識(shí)表示方法 2.3 謂詞邏輯法592022-2-20等值的幾條規(guī)則等值的幾條規(guī)則l 1置換規(guī)則l 設(shè)P(A)是含公式A的公式，P(B)是用公式B取代P(A)中的A得到的公式，若AB，則砂P(A) P(B)。l 2約束變?cè)獡Q名規(guī)則l 將某量詞轄域中某個(gè)約束出現(xiàn)的個(gè)體變?cè)跋鄳?yīng)的指導(dǎo)變?cè)某稍摿吭~轄域中未曾出現(xiàn)過(guò)的個(gè)體變?cè)溆嗖蛔儯霉脚c原公式等值。l 3自由變?cè)胍?guī)則l 對(duì)公式A中某自由出現(xiàn)的個(gè)體變?cè)?/p>

35、所有出現(xiàn)，用A中未曾出現(xiàn)過(guò)的個(gè)體變?cè)?hào)代替，A中其余部分不變，所得公式與原公式等值。第二章 知識(shí)表示方法 2.3 謂詞邏輯法602022-2-20知識(shí)的知識(shí)的謂詞謂詞邏輯表示例邏輯表示例l若張英是張華的女兒且張華是王芳的兒子，則張英是王芳的孫女l設(shè) D(x,y)：x是y的女兒。l S(x,y)：x是y的兒子l G(x,y)：x是y的孫女l M(x)：x是人la：張英b：張華c：王芳l原命題可表示為：l(M(a)M(b)M(c)D(a,b)S(b,c) G(a,c) 。 第二章 知識(shí)表示方法 2.3 謂詞邏輯法612022-2-20前束范式前束范式l一個(gè)謂詞公式，若它的所有量詞均非否定的出現(xiàn)在

36、公式的最前面，且它們的轄域一直延伸到公式的末尾，則稱這種形式的公式為前束范式l前束范式與原公式等值l例如：(x) (y)(P(x)Q(y) R(z)l設(shè)公式A是一前束范式，若A的尾部具有形式： (A11 A1N1) (Am1 AmNm ）其中Aij是原子謂詞公式或其否定，則稱A是前束合取范式l若A的尾部具有形式 ：(A11 A1N1) (Am1 AmNm ）其中Aij是原子謂詞公式或其否定，則稱A是前束析取范式第二章 知識(shí)表示方法 2.3 謂詞邏輯法622022-2-20謂詞演算的推理理淪謂詞演算的推理理淪l 如果A1 An B為永真式，則稱A1 ， ， An 可以推出Bl永真的蘊(yùn)涵式稱為推理

37、定律l命題邏輯的推理規(guī)則全部適用l推理規(guī)則l1 全稱量詞消去規(guī)則 xP(x) = P(y) ( xP(x) P(y)是永真式)l2全稱量詞引入規(guī)則 P(x) = yP(y) l3存在量詞引入規(guī)則 P(a) = xP(x)l4 存在量詞消去規(guī)則 xP(x) = P(a)第二章 知識(shí)表示方法 2.3 謂詞邏輯法632022-2-20謂詞謂詞邏輯表示邏輯表示的主要優(yōu)點(diǎn)的主要優(yōu)點(diǎn)l (1)自然謂詞邏輯表示法接近于人們對(duì)問(wèn)題的直觀理解，易于接受l(2)明確明確規(guī)定如何由簡(jiǎn)單陳述句構(gòu)造復(fù)雜陳述句，如連接詞、量詞的用法與含義等。知識(shí)表示明確、易于理解l(3)精確謂詞公式的真值只有“真”與“假”，因此可用來(lái)表

38、示精確知識(shí)，并可保證經(jīng)演繹推理所得結(jié)論的精確性。l(4)靈活知識(shí)和處理知識(shí)的程序被有效分開(kāi)。在表示知識(shí)時(shí)，無(wú)須考慮處理知識(shí)的細(xì)節(jié)。l(5)模塊化各條知識(shí)相對(duì)獨(dú)立，之間不直接發(fā)生聯(lián)系，知識(shí)維護(hù)比較容易第二章 知識(shí)表示方法 2.3 謂詞邏輯法642022-2-20邏輯表示邏輯表示的缺憾的缺憾邏輯所關(guān)心的主要問(wèn)題是開(kāi)發(fā)出具有合理而且完備的推理規(guī)則的形式表示語(yǔ)言。其結(jié)果是謂詞演算語(yǔ)義強(qiáng)調(diào)對(duì)合式公式的保持真值運(yùn)算。邏輯中不考慮前提與結(jié)論間的特定關(guān)系把常識(shí)推理映射到形式邏輯時(shí)會(huì)產(chǎn)生許多問(wèn)題例如，“如果某鳥(niǎo)是北美紅雀，則它是紅的”，將北美紅雀和紅色關(guān)聯(lián)起來(lái)了寫(xiě)成謂詞演算的形式： x(cardinal(x)

39、red(x)經(jīng)等值運(yùn)算得等價(jià)形式：x(red(x) cardinal(x)因此，有：“紙是白的而且也不是北美紅雀”可作為第二個(gè)表達(dá)式為真的證據(jù)，從而也是第一個(gè)表達(dá)式為真的證據(jù)結(jié)論：紙的白色性可作為“北美紅雀為紅色”的證據(jù)是不是很可笑？第二章 知識(shí)表示方法 2.3 謂詞邏輯法652022-2-202.4 語(yǔ)義網(wǎng)絡(luò)表示法語(yǔ)義網(wǎng)絡(luò)表示法第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法662022-2-20語(yǔ)義網(wǎng)絡(luò)表示法概述語(yǔ)義網(wǎng)絡(luò)表示法概述1968年Quillian的博士論文建議用一種語(yǔ)義網(wǎng)絡(luò)來(lái)描述人對(duì)事物的認(rèn)知，實(shí)際上是對(duì)人腦功能的模擬。 語(yǔ)義網(wǎng)絡(luò)是知識(shí)的一種圖解表示。 它由“結(jié)點(diǎn)”和“弧線”組成，

40、“結(jié)點(diǎn)”表示實(shí)體、概念、事實(shí)等， “弧線”表示“結(jié)點(diǎn)”的關(guān)系。語(yǔ)義網(wǎng)絡(luò)含蓋了一類基于圖的表示例如： XIAOYANISAHAS-PARTSWALLOWWINGSBIRDISA第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法672022-2-20二元語(yǔ)義網(wǎng)絡(luò)的表示二元語(yǔ)義網(wǎng)絡(luò)的表示l語(yǔ)義網(wǎng)絡(luò)的“弧線”只能表示二元關(guān)系，要表示下例一樣的知識(shí)，提出了“結(jié)點(diǎn)”既可以表示實(shí)體或概念，也可以表示“事實(shí)“、”情況”和“動(dòng)作”l例如，“小燕從春天到秋天占有一個(gè)巢”第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法682022-2-20語(yǔ)義網(wǎng)絡(luò)示例語(yǔ)義網(wǎng)絡(luò)示例XIAOYANISAISASWALLOWOWN-1BIRDIS

41、ASITUATIONOWNERSHIPFALLSPRINGNEST-1TIMENESTISAISAISAOWNEESTARTENDISAOWNER第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法692022-2-20多元語(yǔ)義網(wǎng)絡(luò)多元語(yǔ)義網(wǎng)絡(luò)l從本質(zhì)上講，節(jié)點(diǎn)間的連接是二元關(guān)系，因此，語(yǔ)義網(wǎng)絡(luò)本質(zhì)上只能表示二元關(guān)系。若要表示多元關(guān)系，則要把多元關(guān)系轉(zhuǎn)換成一組二元關(guān)系的組合。l例如，三條線a，b，c組成一個(gè)三角型，是一個(gè)三元關(guān)系triangle(a,b,c)，可轉(zhuǎn)換成一組二元關(guān)系的組合：CAT(a,b) CAT(b,c) CAT(c,a) 其中CAT表示串行連接第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表

42、示法702022-2-20“合取合取”的語(yǔ)義網(wǎng)絡(luò)表示的語(yǔ)義網(wǎng)絡(luò)表示例如，表示John gave Mary the book這個(gè)事實(shí)：JOHNGIVERISAGIVEB23OBJECTMARYG1BOOKISARECIPIENT其中，G1為動(dòng)作：給人東西；B23為給人的東西GIVER，ISA，OBJECT，RECIPIENT為“合取”第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法712022-2-20“析取析取”的語(yǔ)義網(wǎng)絡(luò)表示的語(yǔ)義網(wǎng)絡(luò)表示采用DIS標(biāo)注來(lái)表示例如，表示：ISA(A,B) PART-OF(B,C)BDISCAISAPARTOF第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法722022

43、-2-20“否定否定”的語(yǔ)義網(wǎng)絡(luò)表示的語(yǔ)義網(wǎng)絡(luò)表示采用 或者NEG標(biāo)注來(lái)表示例如，表示： (ISA(A,B) PART-OF(B,C)BNEGCAISAPARTOFBA ISA第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法732022-2-20“蘊(yùn)涵蘊(yùn)涵”的語(yǔ)義網(wǎng)絡(luò)表示的語(yǔ)義網(wǎng)絡(luò)表示l“蘊(yùn)涵蘊(yùn)涵”采用ANTE和CONSE標(biāo)注來(lái)表示l例如，Every one who lives at 37 Maple Street is a programmerY是一個(gè)特定的地址事件；X是一個(gè)變量，表示與此事件有關(guān)的人們O(X,Y)是一個(gè)特定的職業(yè)事件，是一個(gè)SKOLEM函數(shù)XLOCO(X,Y)PROGRAMME

44、R37-MAPLEPROFESSIONWORKERYADDRESS ISAOCCUPATION ISAPERSONANTECONSE第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法742022-2-20“存在量化存在量化”的語(yǔ)義網(wǎng)絡(luò)表示的語(yǔ)義網(wǎng)絡(luò)表示l“存在量化存在量化”直接用ISA鏈表示l例如， The dog bit the postmanD是一個(gè)特定的狗；B是一個(gè)特定的咬人事件P是一個(gè)特定的郵遞員BPBITEVICTIMDDOG ISAPOSTMAN ISAASSAILANTISA第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法752022-2-20“全稱量化全稱量化”的語(yǔ)義網(wǎng)絡(luò)表示的語(yǔ)義網(wǎng)絡(luò)表

45、示l“全稱量化全稱量化” 用分割方法來(lái)表示:把語(yǔ)義網(wǎng)絡(luò)分割成空間分層集合，每個(gè)空間相應(yīng)于一個(gè)或幾個(gè)變量的范圍。一個(gè)空間表示一個(gè)特定斷言，稱為FORM用代表全稱量詞的特殊鏈，表示全稱量化的變量特殊鏈以及空間分割FORM，一起表示了知識(shí)的“全稱量化全稱量化” 例如，Every dog has bitten every postman第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法762022-2-20“全稱量化全稱量化”的語(yǔ)義網(wǎng)絡(luò)表示例的語(yǔ)義網(wǎng)絡(luò)表示例GS是一個(gè)概念節(jié)點(diǎn)；表示具有全稱化的一般事件G是GS的的一個(gè)實(shí)例，是一個(gè)斷言BPGGSFORMDDOG ISAPOSTMAN ISAISAISABITE

46、第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法772022-2-20語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程l語(yǔ)義網(wǎng)絡(luò)對(duì)所給定的表達(dá)結(jié)構(gòu)表示什么語(yǔ)義沒(méi)有統(tǒng)一的表示法l語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程主要有兩種：繼承繼承推理匹配匹配推理l為了方便敘述，將鏈又稱為槽，鏈的尾部節(jié)點(diǎn)稱為值節(jié)點(diǎn)，表示該槽的值第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法782022-2-20繼承和匹配繼承和匹配l繼承繼承是把對(duì)事物的描寫(xiě)從概念節(jié)點(diǎn)或類節(jié)點(diǎn)傳遞到實(shí)例節(jié)點(diǎn)l繼承繼承分為3種繼承過(guò)程：值繼承、“如果需要”繼承和“缺省繼承”l匹配匹配是在概念或類由幾部分組成時(shí)，實(shí)例的某部分與概念或類的某部分相匹配第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)

47、絡(luò)表示法792022-2-20語(yǔ)義網(wǎng)絡(luò)推理中的語(yǔ)義網(wǎng)絡(luò)推理中的“值繼承值繼承” 雖然Brick12沒(méi)有槽Shape，但它是概念Brick的一個(gè)實(shí)例，因此，根據(jù)繼承關(guān)系知道，它有槽Shape，且其值為Rectangular.BrickRectangularBrick12Wedge18ISAAKOTriangularWedge ISAShapeAKOShapeBLOCK第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法802022-2-20語(yǔ)義網(wǎng)絡(luò)推理中的語(yǔ)義網(wǎng)絡(luò)推理中的“如果需要如果需要”繼承繼承l(wèi)如果不知道槽值，可利用已知信息進(jìn)行計(jì)算得到。這種程序稱為“如果需要”程序。l為了讓槽有多個(gè)值，給槽增加“

48、側(cè)面”， “如果需要”程序放在“如果需要側(cè)面”中。l需要計(jì)算時(shí)，使用類中的程序。如Brick12的Weight槽沒(méi)有值，查找類中“如果需要” 程序，有則計(jì)算其值BrickBlock-Weight procedureBrick12？4400ISADensity400WeightWeight (if-needed)AKOVolumeBLOCK11第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法812022-2-20語(yǔ)義網(wǎng)絡(luò)推理中的語(yǔ)義網(wǎng)絡(luò)推理中的“缺省缺省”繼承繼承l(wèi)我們有時(shí)對(duì)假設(shè)不是很有把握，就用“可能”表示。對(duì)這種值稱為“缺省”值，放在槽的缺省（Default）側(cè)面中。l某個(gè)實(shí)例要得到“缺省”值，

49、則到類中去繼承。如Brick12沒(méi)有顏色的“缺省”值，到類Brick中繼承可得為RedBrickRedBrick12Wedge18ISAAKOBlueWedge ISAAKOColor(Default)BLOCKColor(Default)第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法822022-2-20語(yǔ)義網(wǎng)絡(luò)推理中的語(yǔ)義網(wǎng)絡(luò)推理中的“匹配匹配”過(guò)程（一）過(guò)程（一）l考察事物由幾部分組成時(shí)，繼承過(guò)程又是怎樣的呢？l如下圖，toyhouse77是toyhouse的實(shí)例，因此，繼承了全部的組成部分，用虛節(jié)點(diǎn)和虛鏈表示。l但如果實(shí)例中已確定了某些部分，該如何繼承呢？BrickWedgepartTo

50、y-housepartsupportpartToy-house77partsupport繼承繼承ISA第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法832022-2-20語(yǔ)義網(wǎng)絡(luò)推理中的語(yǔ)義網(wǎng)絡(luò)推理中的“匹配匹配”過(guò)程（二）過(guò)程（二）l如下圖，Structure35是toyhouse的實(shí)例，但它已確定了部分內(nèi)容，這時(shí)，將各部件與類中的部件進(jìn)行匹配，找出對(duì)應(yīng)的關(guān)系及其它要繼承的部分，用虛鏈表示。BrickWedgepartToy-housepartsupportpartStructure35partsupport匹配匹配ISA第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法842022-2-20語(yǔ)義網(wǎng)

51、絡(luò)的優(yōu)缺點(diǎn)語(yǔ)義網(wǎng)絡(luò)的優(yōu)缺點(diǎn)l語(yǔ)義網(wǎng)絡(luò)圖的好處是直觀、清晰l缺點(diǎn)是表達(dá)范圍有限。如，一旦有十個(gè)結(jié)點(diǎn)，而且各結(jié)點(diǎn)之間又有聯(lián)系，則這個(gè)網(wǎng)絡(luò)就很難辨請(qǐng)了。 第二章 知識(shí)表示方法 2.4 語(yǔ)義網(wǎng)絡(luò)表示法852022-2-202.5 框架表示法框架表示法第二章 知識(shí)表示方法 2.5 框架表示法862022-2-20框架理論框架理論l1975年 Minsky在論文中提出了框架理論。l認(rèn)為人們?cè)诂F(xiàn)實(shí)世界中對(duì)各種事物的認(rèn)識(shí)都是以一種結(jié)構(gòu)化模式存儲(chǔ)在記憶中的l這種結(jié)構(gòu)化的模式在人們的大腦中形成了一種固定的框架l當(dāng)人們面臨新的情況，就從記憶中找出一個(gè)合適的框架，并根據(jù)實(shí)際情況對(duì)其細(xì)節(jié)加以修改補(bǔ)充，從而形成對(duì)新觀察到

52、的事物的認(rèn)識(shí)。l如一想到教室，頭腦中就產(chǎn)生一個(gè)房間，里面有桌子、椅子、黑板、門(mén)、窗等第二章 知識(shí)表示方法 2.5 框架表示法872022-2-20框框 架架l人們常采用以往的經(jīng)驗(yàn)去認(rèn)識(shí)新事物l人們根據(jù)經(jīng)驗(yàn)和認(rèn)識(shí)形成對(duì)某一事物的概念模型l概念模型通過(guò)通用數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)起來(lái)，也稱為知識(shí)結(jié)構(gòu)l把新的數(shù)據(jù)加入到知識(shí)結(jié)構(gòu)中便形成了一個(gè)具體的描述l這樣的知識(shí)結(jié)構(gòu)稱為框架，框架是知識(shí)的基本單位。l把觀察或認(rèn)識(shí)到的具體細(xì)節(jié)填入后，就得到了該框架的一個(gè)具體實(shí)例，稱為實(shí)例框架。l需要填充的數(shù)據(jù)元素稱為槽。第二章 知識(shí)表示方法 2.5 框架表示法882022-2-20框框 架架 系系 統(tǒng)統(tǒng)l人們常采用以往的經(jīng)驗(yàn)去認(rèn)識(shí)

53、新事物l人們根據(jù)經(jīng)驗(yàn)和認(rèn)識(shí)形成對(duì)某一事物的概念模型l概念模型通過(guò)通用數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)起來(lái)，也稱為知識(shí)結(jié)構(gòu)l把新的數(shù)據(jù)加入到知識(shí)結(jié)構(gòu)中便形成了一個(gè)具體的描述l這樣的知識(shí)結(jié)構(gòu)稱為框架，框架是知識(shí)的基本單位。l把觀察或認(rèn)識(shí)到的具體細(xì)節(jié)填入后，就得到了該框架的一個(gè)具體實(shí)例，稱為實(shí)例框架。l需要填充的數(shù)據(jù)元素稱為槽。l把一組有關(guān)的框架連接起來(lái)形成框架系統(tǒng)第二章 知識(shí)表示方法 2.5 框架表示法892022-2-20框架系統(tǒng)與語(yǔ)義網(wǎng)絡(luò)的比較框架系統(tǒng)與語(yǔ)義網(wǎng)絡(luò)的比較l框架系統(tǒng)與語(yǔ)義的相同框架系統(tǒng)與語(yǔ)義的相同Minsky把框架系統(tǒng)描述為節(jié)點(diǎn)和關(guān)系的網(wǎng)絡(luò)框架系統(tǒng)可以用有向圖來(lái)表示l框架和語(yǔ)義網(wǎng)絡(luò)的區(qū)別框架和語(yǔ)義網(wǎng)絡(luò)

54、的區(qū)別語(yǔ)義網(wǎng)絡(luò)本質(zhì)上是一種二維知識(shí)表示方法，l網(wǎng)絡(luò)中，所有概念被表示為同一個(gè)層上的節(jié)點(diǎn)和邊。框架通過(guò)允許節(jié)點(diǎn)有結(jié)構(gòu)而增加了第三維信息通過(guò)框架更容易層次化的組織知識(shí)。l框架可以把對(duì)象看成是單一實(shí)體，用一個(gè)節(jié)點(diǎn)表示，也可以把實(shí)體中的某部分單獨(dú)拿出來(lái)，詳細(xì)描述，用另一個(gè)節(jié)點(diǎn)表示。第二章 知識(shí)表示方法 2.5 框架表示法902022-2-20框架的構(gòu)成框架的構(gòu)成l框架是由若干個(gè)結(jié)點(diǎn)和關(guān)系（統(tǒng)稱為槽）構(gòu)成的網(wǎng)絡(luò)。是語(yǔ)義網(wǎng)絡(luò)的一般化形式的一種結(jié)構(gòu)。同語(yǔ)義網(wǎng)絡(luò)沒(méi)有本質(zhì)的區(qū)別。l表示形式：由框架名、槽名、側(cè)面、值組成l對(duì)于復(fù)雜問(wèn)題，需要使用多個(gè)框架，構(gòu)成框架系統(tǒng)l推理方法：沒(méi)有固定的推理機(jī)理。但和語(yǔ)義網(wǎng)絡(luò)一樣遵循匹配和繼承的原理。 第二章 知識(shí)表示方法 2.5 框架表示法912022-2-20簡(jiǎn)單框架示例簡(jiǎn)單框架示例lJOHNIsa: PERSONProfession: PROGRAMMERHeight: 1.8MWeight: 79kg第二章 知識(shí)表示方法 2.5 框架表示法922022-2-20立體視圖的框架系統(tǒng)表示立體視圖的框架系統(tǒng)表示E must-be : parallelogramFRAME ISA : Cube REGION : (A,E,B) ABEB must-be : parallelogramA must-be : paral