第二章知識表示方法.ppt

1、第二章 知識表示方法,2.1 狀態(tài)空間法 2.2 問題歸約法 2.3 謂詞邏輯法 2.4 語義網(wǎng)絡(luò)法 2.5 其他方法 2.6 小結(jié),2,知識表示的基本概念,什么是知識？（專家看法） Feigenbaum認為知識是經(jīng)過削減、塑造、解釋和轉(zhuǎn)換的信息。簡單地說，知識是經(jīng)過加工的信息。 Bernstein說知識是由特定領(lǐng)域的描述、關(guān)系和過程組成的。 Hayes-Roth認為知識是事實、信念和啟發(fā)式規(guī)則。 從知識庫觀點看，知識是某論域中所涉及的各有關(guān)方面、狀態(tài)的一種符號表示。,3,知識 知識是人們把實踐中獲得的信息關(guān)聯(lián)在一起所形成的信息結(jié)構(gòu)，是構(gòu)成智能的基礎(chǔ)。 知識信息數(shù)據(jù)符號 知識的特性 相對正確性

2、：在一定前提條件下正確。 不確定性：知識存在“真假”程度之分。 可表示性：知識可數(shù)據(jù)化形式表示。 可利用性：知識就是力量。,4,知識的分類 知識可以從不同角度劃分，得到不同的分類方法。 按照知識的作用范圍來劃分，知識可以分為常識性知識、領(lǐng)域性知識。 按照知識的作用及表示來劃分，知識可以分為事實性知識、規(guī)則性知識、控制性知識和元知識。 按照知識的確定性劃分，知識可以分為確定性知識和不確定性知識。 按照人類的思維及認識來劃分，可分為邏輯性知識和形象性知識。,5,知識的表示就是對人類知識的一種描述，把知識表示成計算機能夠處理的數(shù)據(jù)結(jié)構(gòu)。 知識表示是研究用機器表示知識的可行性、有效性的一般方法，是一種

3、數(shù)據(jù)結(jié)構(gòu)與控制結(jié)構(gòu)的統(tǒng)一體，既考慮知識的存儲又考慮知識的使用。 對知識進行表示的過程就是把知識編碼成某種數(shù)據(jù)結(jié)構(gòu)的過程。 知識表示研究用機器表示知識的可行性、有效性的一般方法，是一種數(shù)據(jù)結(jié)構(gòu)與控制結(jié)構(gòu)的統(tǒng)一體，既考慮知識的存儲，又考慮知識的使用。,6,知識表示方法可以分為陳述性知識表示和過程性知識表示兩大類。 陳述性知識表示主要是用來描述事實性知識。這類表示法就是將對象的有關(guān)事實陳述出來，并以數(shù)據(jù)的形式表示。強調(diào)事物所涉及的對象是什么，是對事物有關(guān)知識的靜態(tài)描述，是知識的一種顯式表達形式。而對于如何使用這些知識，則通過控制策略來決定。 過程性知識表示主要用來描述規(guī)則性知識和控制結(jié)構(gòu)知識。將有關(guān)

4、某一問題領(lǐng)域的知識，連同如何使用這些知識的方法，均隱式地表達為一個求解問題的過程（如程序）,7,2.1狀態(tài)空間法（State Space Representation）,狀態(tài)空間表示法就是以“狀態(tài)空間的形式來表示問題及其搜索過程的一種方法。 狀態(tài)空間表示法是人工智能中最基本的形式化方法，是討論問題求解技術(shù)的基礎(chǔ)。,8,2.1.1 問題狀態(tài)描述,1 定義 狀態(tài)： 描述某類不同事物間的差別而引入的一組最少變量q0，q1，qn的有序集合。 是描述問題求解過程中不同時刻狀況的數(shù)據(jù) 結(jié)構(gòu)。 一般用一組變量的有序集合表示： Q=(q0，q1，.，qn) 其中每個元素qi(i=0，l，2，n) 為狀態(tài)變量。

5、 當(dāng)給每一個變量以確定的值時，就得到了一個具體的狀態(tài)。 算符：使問題從一種狀態(tài)變化為另一種狀態(tài)的手段稱為操作符或算符。 算符可分為走步、過程、規(guī)則、數(shù)學(xué)算子、運算符號、邏輯符號等。,2.1 狀態(tài)空間法,9,狀態(tài)空間：是一個表示該問題全部可能狀態(tài)及其關(guān)系的圖. 由三部分構(gòu)成：問題的所有可能初始狀態(tài)構(gòu)成的集合S；算符集合F；目標狀態(tài)集合G。 問題的解 狀態(tài)空間的問題求解就是從問題的初始狀態(tài)集S出發(fā)，經(jīng)過一系列的算符運算，到達目標狀態(tài)。 由初始狀態(tài)到目標狀態(tài)所用算符的序列就構(gòu)成了問題的一個解。,10,2. 狀態(tài)空間表示概念詳釋,例如下棋、迷宮及各種游戲。,Middle State,Goal Stat

6、e,2.1 狀態(tài)空間法,11,例:三數(shù)碼難題（3 puzzle problem）,初始棋局,目標棋局,2.1 狀態(tài)空間法,12,有向圖 后繼節(jié)點（后裔） 父輩節(jié)點（祖先） 代價（cost） c(ni，nj) 圖的顯示說明（已知） 圖的隱示說明（起始點，推論已知，后繼無限）,2.1.2 狀態(tài)圖示法 圖論術(shù)語,A,B,2.1 狀態(tài)空間法,13,2.1.3 狀態(tài)空間表示舉例,產(chǎn)生式系統(tǒng)（production system） 一個總數(shù)據(jù)庫：它含有與具體任務(wù)有關(guān)的信息隨著應(yīng)用情況的不同，這些數(shù)據(jù)庫可能簡單，或許復(fù)雜。 一套規(guī)則：它對數(shù)據(jù)庫進行操作運算。每條規(guī)則由左部鑒別規(guī)則的適用性或先決條件以及右部描述

7、規(guī)則應(yīng)用時所完成的動作。 一個控制策略：它確定應(yīng)該采用哪一條適用規(guī)則，而且當(dāng)數(shù)據(jù)庫的終止條件滿足時，就停止計算。,2.1 狀態(tài)空間法,14,狀態(tài)空間表示舉例,例：推銷員旅行問題（運籌學(xué)圖論最短路徑） 例：猴子和香蕉問題,2.1 狀態(tài)空間法,在一個房間內(nèi)有一只猴子(可把這只猴子看做一個機器人)、一個箱子和一束香蕉。香蕉掛在天花板下方，但猴子的高度不足以碰到它。那么這只猴子怎樣才能摘到香蕉呢?上圖表示出猴子、香蕉和箱子在房間內(nèi)的相對位置。,15,解題過程,用一個四元表列（W，x，Y，z）來表示這個問題狀態(tài). W猴子的水平位置x當(dāng)猴子在箱子頂上時取x=1；否則取x=0Y箱子的水平位置z當(dāng)猴子摘到香蕉

8、時取z=1；否則取z=0,這個問題的操作（算符）如下： 2 goto（U）表示猴子走到水平位置U 或者用產(chǎn)生式規(guī)則表示為 （W，0，Y，z） goto（U） （U，0，Y，z）,2.1 狀態(tài)空間法,16,pushbox（V）猴子把箱子推到水平位置V，即有 （W，0，W，z） pushbox（V） （V，0，V，z）,climbbox猴子爬上箱頂，即有 （W，0，W，z） climbbox （W，1，W，z）,2.1 狀態(tài)空間法,17,grasp猴子摘到香蕉，即有 （c，1，c，0） grasp （c，1，c，1）,該初始狀態(tài)變換為目標狀態(tài)的操作序列為 goto(b),pushbox(c),cl

9、imbbox,grasp,2.1 狀態(tài)空間法,18,2.1 狀態(tài)空間法,19,猴子和香蕉問題自動演示：,2.1 狀態(tài)空間法,20,二階Hanoi塔問題,已知3個柱子l、2、3和兩個盤子A、B(A比B小)。 初始狀態(tài)下，A、B依次放在1柱上；目標狀態(tài)是A、B依次放在柱子3上。 條件是每次可移動一個盤子，盤子上方是空頂方可移動，而且任何時候都不允許大盤在小盤之上。,21,第一步：用狀態(tài)空間表示問題 定義問題狀態(tài)的描述形式 設(shè)用Sk=(SkA，SkB)表示問題的狀態(tài)，SkA表示盤子A所在的柱號，SkB表示盤子B所在的柱號。 用狀態(tài)描述形式把問題的所有可能的狀態(tài)都表示出來。本問題共有九種可能狀態(tài): S

10、0=(1，1)， S1=(1，2)， S2=(1，3) S3=(2，1)， S4=(2，2)， S5=(2，3) S6=(3，1)， S7=(3，2)， S8=(3，3) 問題的初始狀態(tài)集合為S=S0，目標狀態(tài)集合為G=S8。,22,23,定義一組算符F,算符A(i，j)表示把盤子A從第i號柱子移到第j號柱子上的操作；,算符B(i，j)表示把盤子B從第i號柱子移到第j號柱子上的操作。,算符組F中共有12個算符: A(1，2)，A(1，3)，A(2，1)，A(2，3)，A(3，1)，A(3，2) B(1，2)，B(1，3)，B(2，1)，B(2，3)，B(3，1)，B(3，2),問題的狀態(tài)空間(

11、S，F(xiàn)，G)構(gòu)造完成。,24,第二步：問題求解 根據(jù)狀態(tài)空間的9種可能狀態(tài)和12種算符，構(gòu)造它的狀態(tài)空間圖：,在狀態(tài)空間圖中，從初始節(jié)點(1，1)(狀態(tài)S0)到目標節(jié)點(3，3)(狀態(tài)S8)的任何一條通路都是問題的一個解。最短的路徑長度是3，它由3個算符組成：A(1，2)、B(1，3)、A(2，3)。,25,2.2 問題歸約法（Problem Reduction Representation）,26,問題歸約表示的組成部分： 一個初始問題描述； 一套把問題變換為子問題的操作符； 一套本原問題描述。,問題歸約的實質(zhì)： 從目標(要解決的問題)出發(fā)逆向推理，建立子問題以及子問題的子問題，直至最后把初

12、始問題歸約為一個平凡的本原問題集合。,2.2 問題規(guī)約法,27,2.2.1 問題歸約描述 （Problem Reduction Description）,梵塔難題,2.2 問題規(guī)約法,28,解題過程（3個圓盤問題）,2.2 問題規(guī)約法,29,本原問題：是指那種不能或不需要再進行分解或變換，且可以直接解答的問題。 歸約：把一個復(fù)雜問題分解或變換為一組本原問題的過程。 問題的分解：是指把一個復(fù)雜問題分解為若干個子問題的過程。問題的解是所有子問題解的“與”，即只有當(dāng)所有子問題都有解時，原問題才有解。,30,問題規(guī)約的實質(zhì) 目標(要解決的問題)出發(fā)逆向推理,建立子問題以及子問題的子問題,直至最后把初始

13、問題規(guī)約為一個平凡的本原問題集合. 問題規(guī)約法應(yīng)用算符把問題描述變換為子問題描述 比狀態(tài)空間法更通用的問題求解方法,31,2.2.2與或圖表示,用一個類似圖的結(jié)構(gòu)來表示把問題歸約為后繼問題的替換集合，這種結(jié)構(gòu)圖叫做問題歸約圖，或叫與或圖。 1.與圖、或圖、與或圖,2.2 問題規(guī)約法,32,2.2 問題規(guī)約法,33,2.一些關(guān)于與或圖的術(shù)語,2.2 問題規(guī)約法,34,3.定義,2.2 問題規(guī)約法,35,不可解節(jié)點的一般定義 沒有后裔的非終葉節(jié)點為不可解節(jié)點。 全部后裔為不可解的非終葉節(jié)點且含有或后繼節(jié)點，此非終葉節(jié)點才是不可解的。 后裔至少有一個為不可解的非終葉節(jié)點且含有與后繼節(jié)點，此非終葉節(jié)點

14、才是不可解的。 與或圖構(gòu)成規(guī)則,2.2 問題規(guī)約法,36,梵塔問題歸約圖,2.2 問題規(guī)約法,37,2.3 謂詞邏輯法,謂詞邏輯表示法以數(shù)理邏輯為基礎(chǔ)，是目前為止能夠表達人類思維活動規(guī)律的一種最精確的形式語言，最早應(yīng)用于AI。 1.知識的謂詞邏輯表示 謂詞公式 = 謂詞 + 連接符 對于事實性知識，謂詞邏輯的表示法通常是由以合取、析取符號（、） 連接形成的謂詞公式來表示。 例如：對于事實性知識“張三是學(xué)生，李四也是學(xué)生”可以表示為： Is_student(張三) Is_student(李四) 對于規(guī)則性知識，謂詞邏輯表示法通常是由以蘊涵符號()連接形成的謂詞公式來表示。 例如：對于規(guī)則： “如

15、果x,則y” 可以表示為： xy,38,2.3.1 謂詞演算 1. 語法和語義 基本符號：謂詞符號、變量符號、函數(shù)符號、 常量符號、括號和逗號 原子公式 連詞和量詞(Connective &Quantifiers) （1）連詞 與、合取：用連詞把幾個公式連接起來而構(gòu)成合取式。 或、析?。河眠B詞把幾個公式連接起來而構(gòu)成析取式。 蘊涵： 用連詞 連接兩個公式所構(gòu)成蘊涵式。 等價：若兩個公式，無論如何解釋，其真值表相同，則稱此兩合式公式等價。等價連接詞為 非：否定，可用、表示。 (2) 量詞 全稱量詞：若一個原子公式P(x)，對于所有可能變量x都具有T值，則用( x)P(x)表示。 存在量詞：若一個

16、原子公式P(x)，至少有一個變元x ，可使P(x)為T值，則用( x)P(x)表示。 量化變元被量化了的變元x稱為約束變元。,39,2.3.2 謂詞公式 原子公式的的定義：由若干謂詞符號和項（常量符號、變量符號或函數(shù)符號）組成的謂詞演算。原子公式是謂詞演算基本積木塊。 分子謂詞公式：可以用連詞把原子謂詞公式組成復(fù)合謂詞公式，并把它叫做分子謂詞公式。,2.3 謂詞邏輯法,例如，要表示“機器人(ROBOT)在號房間(r1)內(nèi)”，可以應(yīng)用原子公式：,40,原子謂詞公式 P(x1,x2,xn) 原子謂詞公式。 P n元謂詞 x1,x2,xn 客體變量或變元。 分子謂詞公式 用連詞（ 、 、 、 ）把原

17、子謂詞公式組成復(fù)合謂詞公式，即分子謂詞公式。,41,設(shè)有下列事實性知識： 張曉輝是一名計算機系的學(xué)生，但他不喜歡編程序。 李曉鵬比他父親長得高。 用謂詞公式表示這些知識。,解 第一步：定義謂詞： COMPUTER(x)：x是計算機系的學(xué)生 LIKE(x，y)：x喜歡y HIGHER(x，y)：x比y長得高,42,定義個體：張曉輝(zhangxh)，編程序(programming)，李曉鵬(1ixp)，father(lixp)表示李曉鵬的父親。,第三步：根據(jù)語義，用邏輯連接符將它們連接起來，就得到了表示上述事實性知識的謂詞公式： COMPUTER(zhangxh)LIKE(zhangxh，pro

18、gramming) HIGHER(1ixp，father(1ixp),第二步：將個體代入謂詞中： COMPUTER(zhangxh)，LIKE(zhangxh，programming)， HIGHER(lixp，father(lixp),43,下列是一些規(guī)則性知識： 人人愛勞動。 自然數(shù)都是大于零的整數(shù)。 所有整數(shù)不是偶數(shù)就是奇數(shù)。 用謂詞公式表示這些知識。,解 定義謂詞： MAN(x)：x是人； LOVE(x，y)：x愛y； N(x)：x是自然數(shù)； GZ(x)：x大于零。 I(x)：x是整數(shù)； E(x)：x是偶數(shù)； O(x)：x是奇數(shù)；,44,按照第二步和第三步的要求，可以得到 “人人愛勞動

19、”用謂詞公式表示為： (Vx)(MAN(x)LOVE(x，labour),“自然數(shù)都是大于零的整數(shù)”表示為： (Vx)(N(x)GZ(x)I(x),“所有的整數(shù)不是偶數(shù)就是奇數(shù)”表示為： (Vx)(I(x)E(x)O(x),45,用謂詞表示以下命題,(1)人都有姓名和性別。 (2)任何整數(shù)或者為正或者為負。 (3)有些聰明者并不能閱讀。 (4)聰明者就能閱讀。,46,先給出原子公式，然后寫出命題：,(1)人都有姓名和性別。 原子公式： P（x）x是人； N（x）x有姓名； S（x）x有性別 命題：,47,先給出原子公式，然后寫出命題：,(2)任何整數(shù)或者為正或者為負。 原子公式： I（x）x是

20、整數(shù)； P（x）x是正數(shù)； N（x）x是負數(shù) 命題：,48,先給出原子公式，然后寫出命題：,(3)有些聰明者并不能閱讀。 原子公式： R(x)x能閱讀 ；I(x)x是聰明的； 命題：,49,先給出原子公式，然后寫出命題：,(4)聰明者就能閱讀。 原子公式： R(x)x能閱讀 ； I(x)x是聰明的； 命題： 或：,50,合式公式定義 ： 原子謂詞公式是合式公式。 若A為合式公式，則A也是一個合式公式。 若A和B都是合式公式，則(AB),(AB),(A B),(A B)都是合式公式。 若A是合式公式，x為A中的自由變元，則( x)A，( x)A是合式公式。 只有按上述規(guī)則求得的那些公式才是合式公

21、式。,51,合式公式中連詞和量詞的優(yōu)先順序如右所示，同級者從左至右作用，可用括號改變作用次序。,52,2.合式公式的性質(zhì),53,常用等價關(guān)系,54,常用等價關(guān)系,55,2.3.3 置換與合一,謂詞邏輯中的兩個重要推理規(guī)則： 假元推理 全稱化推理,56,2.3 謂詞邏輯法 2.3.3 置換與合一,例：綜合應(yīng)用假元推理和全稱化推理，有：,57,2.3.3 置換與合一,上例中使用了置換A/x。 置換定義：一個置換s是形如t1/x1,t2/x2,tn/xn的有限集合，其中t1,t2 ,tn是項（變量、常量或函數(shù)）， x1,x2,xn是互不相同的變量，ti/xi表示用ti置換（替換）xi。對謂詞表達式E

22、實施s置換的結(jié)果表示為Es 。沒有元素的置換稱為空置換，記為。,58,置換舉例,設(shè)有表達式Px,f(y),B ，對于置換： s1=z/x,w/y s2=A/y 分別有： Px,f(y),Bs1= Pz,f(w),B Px,f(y),Bs2= Px,f(A),B,59,2.3.3 置換與合一,合一定義：對于謂詞表達式集Ei，若存在一個置換s ，可使E1s=E2s=,=Ens ，則稱s為Ei 的合一者，稱Ei 為可合一的。 最一般合一者：如果s是Ei的任一合一者，又存在某個s，使得Eis= Eigs成立，則稱g為Ei的最一般合一者。,60,合一者、最一般合一者舉例,設(shè)有表達式集Ei=Px,f(y)

23、,B，Px,f(B),B， 該表達式集的合一者：s1=B/y，s2=w/x,B/y s1=B/y是該表達式集的最一般合一者。 （為什么？）,61,合一者、最一般合一者舉例,因為對于Ei的任一個合一者s，均存在一個合一者s,使得Eis= Eigs成立。 存在一個合一者s=w/x,使得Eis2= Eis1s成立； 存在一個合一者s=，使得Eis1= Eis1s成立。,62,例 將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,L（x,y）表示盤B在柱x，盤A在柱y； E（x,y）表示x等于y 則上述問題的謂詞邏輯法表示為： 表示事實型知識，即初始時盤B和盤A均在柱1

24、；,63,例 將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,表示規(guī)則型知識。 表示事實型知識，即通過推理達到的事實：盤B和盤A均在柱3,64,例 將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,在上述基礎(chǔ)上，應(yīng)用置換和推理即可表達解決問題的知識如下：,65,例 將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,在上述基礎(chǔ)上，應(yīng)用置換和推理即可表達解決問題的知識如下：,66,例 將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,在上述基礎(chǔ)上，應(yīng)用置換和推理即可表達

25、解決問題的知識如下：,67,語義網(wǎng)絡(luò)是1968年J. R. Quillian 在研究人類聯(lián)想記憶時提出的心理學(xué)模型，認為記憶是由概念間的聯(lián)系實現(xiàn)的。 隨后在自然語言理解系統(tǒng)中用做知識表示，在ES中語義網(wǎng)絡(luò)首先由PROSPECTOR實現(xiàn)。 目前，語義網(wǎng)絡(luò)已成為AI中應(yīng)用較多的一種知識表示方法。,2.4 語義網(wǎng)絡(luò)表示法,68,謂詞邏輯與語義網(wǎng)絡(luò)等效,2.4 語義網(wǎng)絡(luò)法,69,多元語義網(wǎng)絡(luò)表示的實質(zhì) 把多元關(guān)系轉(zhuǎn)化為一組二元關(guān)系的組合，或二元關(guān)系的合取。,2.4 語義網(wǎng)絡(luò)法,70,語義網(wǎng)絡(luò)是通過概念及其語義關(guān)系來表示知識的一種網(wǎng)絡(luò)圖，它是一個帶標注的有向圖，由節(jié)點和弧構(gòu)成。,2.4.1 語義網(wǎng)絡(luò)的概

26、念及其結(jié)構(gòu),節(jié)點：表示不同對象（概念、事物、屬性、情況、動作、狀態(tài)等）；可以帶有表征對象特性的若干屬性。,?。菏怯蟹较?、有標注的。方向體現(xiàn)節(jié)點間的主次關(guān)系，標注表示節(jié)點間的語義關(guān)系。,71,其中：A和B分別代表節(jié)點，R表示A和B之間的某種語義聯(lián)系。,一個最簡單的語義網(wǎng)絡(luò)可由一個三元組表示： (節(jié)點1，弧，節(jié)點2) 它可用有向圖表示，稱做基本網(wǎng)元。,72,當(dāng)把多個基本網(wǎng)元用相應(yīng)的語義聯(lián)系關(guān)聯(lián)在一起時，就可得到一個語義網(wǎng)絡(luò)。,在語義網(wǎng)絡(luò)中，節(jié)點還可以是一個語義子網(wǎng)絡(luò)，所以，語義網(wǎng)絡(luò)實質(zhì)上可以是一種多層次的嵌套結(jié)構(gòu)。,73,2.4.2 語義網(wǎng)絡(luò)中的基本語義聯(lián)系,74,75,2.4.3 語義網(wǎng)絡(luò)表示知

27、識的方法,事實性知識的表示,76,2. 情況和動作的表示,例：一只名叫“神飛”的小燕子從三月到十一月占有一個巢。,77,例：張三送給李四一支鋼筆。,78,3. 邏輯關(guān)系的表示,例：參加比賽者有工人、有干部、有高的、有低的。,79,例：每個學(xué)生都學(xué)習(xí)了一門程序設(shè)計語言。,80,4. 規(guī)則性知識的表示,81,2.4.4 語義網(wǎng)絡(luò)表示知識的步驟,確定問題中的所有對象及其屬性； 分析并確定語義網(wǎng)絡(luò)中所論對象間的關(guān)系； 根據(jù)語義網(wǎng)絡(luò)中所涉及的關(guān)系，對節(jié)點及弧進行整理。,82,2.4.5 舉例,83,84,85,2.4.6 語義網(wǎng)絡(luò)知識表示下的推理,語義網(wǎng)絡(luò)表示的問題求解系統(tǒng)由兩部分構(gòu)成： 語義網(wǎng)絡(luò)知識庫

28、：存放許多已知事實的語義網(wǎng)絡(luò)。 推理機：求解問題的程序。,語義網(wǎng)絡(luò)系統(tǒng)中的推理方法一般有兩種： 匹配推理：根據(jù)待求解問題，構(gòu)造一個帶有空標注的網(wǎng)絡(luò)片段，再到知識庫中尋找可匹配的語義網(wǎng)絡(luò)，求得問題的解答。 繼承推理：下層節(jié)點繼承上層節(jié)點的屬性或方法。,86,例2.10 匹配推理,87,2.4.7 語義網(wǎng)絡(luò)表示法的特點,結(jié)構(gòu)性：結(jié)構(gòu)化的知識表示方法。能將事物間的語義聯(lián)系顯式地表示出來；下層概念節(jié)點可以繼承、補充、變異上層概念的屬性，實現(xiàn)信息的共享。 自然性：帶有標識的有向圖，自然語言轉(zhuǎn)換容易。 聯(lián)想性：聯(lián)想記憶模型。 非嚴格性：沒有公認的形式表示體系。,88,2.5 框架表示法,框架表示法由M.

29、Minsky1975年提出，它針對人們在理解事物情景時的心理學(xué)模型，論述了人們理解問題的一種思想方法。,框架表示法最早用作視覺感知、自然語言對話等問題的知識表示,目前已作為一種通用數(shù)據(jù)結(jié)構(gòu)來表示知識對象。,89,框架理論認為，人腦中存儲有大量事物的典型情景，這是人們對現(xiàn)實世界中各種事物的認識，這些典型情景都是以一種類似于框架的基本知識結(jié)構(gòu)存儲在記憶中的。當(dāng)面臨一種新事物情景時，就從記憶中找出一個合適的框架并根據(jù)實際情況對其細節(jié)加以修改、補充，從而形成對當(dāng)前事物情景的認識。,2.5.1 框架理論,90,當(dāng)一個人將要走進一個教室之前，他就可以想像這個教室一定有四面墻，有門、窗、天花板和地板，還有黑

30、板、講臺、課桌、坐凳等，盡管他對這個教室的具體細節(jié)如教室的大小、門窗的個數(shù)等還不清楚，但對教室的基本結(jié)構(gòu)是可以預(yù)見的。,例如：,他之所以能夠做到這一點，是由于在以前的認識活動中已在其頭腦中建立起了有關(guān)“教室”這一概念的基本框架。這一基本框架不僅指出了相應(yīng)事物的名稱(教室)，而且還指出了事物各有關(guān)方面的屬性(墻、門、窗等)，通過對該框架的查找就很容易得到有關(guān)教室的特征。,在他進入教室之后，經(jīng)觀察得到了教室的大小、門窗的個數(shù)等細節(jié)，把這些數(shù)據(jù)填人到教室框架中，就得到教室框架的一個具體實例，這是他關(guān)于這個教室的視覺印象，稱為實例框架。,91,2.5.2 框架的定義及組成,1.框架的定義 框架是用于描

31、述靜態(tài)對象的通用數(shù)據(jù)結(jié)構(gòu)，該對象用“對象屬性屬性值”表示。,框架由若干個槽（Slot）組成，槽用于描述對象的屬性。,槽又可由槽值或若干個側(cè)面組成，側(cè)面用于描述相應(yīng)屬性的一個方面。,側(cè)面可由一個或多個側(cè)面值組成。,92, （數(shù)據(jù)庫表字段） | | | ,2.框架的組成,93,框架名： 主機品牌：聯(lián)想1+1 生產(chǎn)廠商：北京聯(lián)想集團公司 CPU：品牌：Intel 型號：奔騰933 主板：品牌：QDI 型號：ATX VA5 內(nèi)存：品牌：現(xiàn)代 型號：SDRAM 容量：128MB 硬盤：品牌：Seagate 型號：ST320423A 容量：20GB,例：“計算機主機” 框架,94,2.5.3 用框架表示知識的步驟,分析對象及其屬性，對框架中的槽進行合理設(shè)置。,考察對象間的各種聯(lián)系，使用一些表達