第二章知識表示方法

第二章知識表示方法,2.1狀態(tài)空間法2.2問題歸約法2.3謂詞邏輯法2.4語義網(wǎng)絡法2.5其他方法2.6小結,2,知識表示的基本概念,什么是知識？（專家看法）Feigenbaum認為知識是經(jīng)過削減、塑造、解釋和轉換的信息。簡單地說，知識是經(jīng)過加工的信息。Bernstein說知識是由特定領域的描述、關系和過程組成的。Hayes-Roth認為知識是事實、信念和啟發(fā)式規(guī)則。從知識庫觀點看，知識是某論域中所涉及的各有關方面、狀態(tài)的一種符號表示。,3,知識知識是人們把實踐中獲得的信息關聯(lián)在一起所形成的信息結構，是構成智能的基礎。知識信息數(shù)據(jù)符號知識的特性相對正確性：在一定前提條件下正確。不確定性：知識存在“真假”程度之分?？杀硎拘裕褐R可數(shù)據(jù)化形式表示?？衫眯裕褐R就是力量。,4,知識的分類知識可以從不同角度劃分，得到不同的分類方法。按照知識的作用范圍來劃分，知識可以分為常識性知識、領域性知識。按照知識的作用及表示來劃分，知識可以分為事實性知識、規(guī)則性知識、控制性知識和元知識。按照知識的確定性劃分，知識可以分為確定性知識和不確定性知識。按照人類的思維及認識來劃分，可分為邏輯性知識和形象性知識。,5,知識的表示就是對人類知識的一種描述，把知識表示成計算機能夠處理的數(shù)據(jù)結構。知識表示是研究用機器表示知識的可行性、有效性的一般方法，是一種數(shù)據(jù)結構與控制結構的統(tǒng)一體，既考慮知識的存儲又考慮知識的使用。對知識進行表示的過程就是把知識編碼成某種數(shù)據(jù)結構的過程。知識表示研究用機器表示知識的可行性、有效性的一般方法，是一種數(shù)據(jù)結構與控制結構的統(tǒng)一體，既考慮知識的存儲，又考慮知識的使用。,6,知識表示方法可以分為陳述性知識表示和過程性知識表示兩大類。陳述性知識表示主要是用來描述事實性知識。這類表示法就是將對象的有關事實陳述出來，并以數(shù)據(jù)的形式表示。強調事物所涉及的對象是什么，是對事物有關知識的靜態(tài)描述，是知識的一種顯式表達形式。而對于如何使用這些知識，則通過控制策略來決定。過程性知識表示主要用來描述規(guī)則性知識和控制結構知識。將有關某一問題領域的知識，連同如何使用這些知識的方法，均隱式地表達為一個求解問題的過程（如程序）,7,2.1狀態(tài)空間法（StateSpaceRepresentation）,狀態(tài)空間表示法就是以“狀態(tài)空間的形式來表示問題及其搜索過程的一種方法。狀態(tài)空間表示法是人工智能中最基本的形式化方法，是討論問題求解技術的基礎。,8,2.1.1問題狀態(tài)描述,1定義狀態(tài)：描述某類不同事物間的差別而引入的一組最少變量q0，q1，qn的有序集合。是描述問題求解過程中不同時刻狀況的數(shù)據(jù)結構。一般用一組變量的有序集合表示：Q=(q0，q1，.，qn)其中每個元素qi(i=0，l，2，n)為狀態(tài)變量。當給每一個變量以確定的值時，就得到了一個具體的狀態(tài)。算符：使問題從一種狀態(tài)變化為另一種狀態(tài)的手段稱為操作符或算符。算符可分為走步、過程、規(guī)則、數(shù)學算子、運算符號、邏輯符號等。,2.1狀態(tài)空間法,9,狀態(tài)空間：是一個表示該問題全部可能狀態(tài)及其關系的圖.由三部分構成：問題的所有可能初始狀態(tài)構成的集合S；算符集合F；目標狀態(tài)集合G。問題的解狀態(tài)空間的問題求解就是從問題的初始狀態(tài)集S出發(fā)，經(jīng)過一系列的算符運算，到達目標狀態(tài)。由初始狀態(tài)到目標狀態(tài)所用算符的序列就構成了問題的一個解。,10,2.狀態(tài)空間表示概念詳釋,例如下棋、迷宮及各種游戲。,MiddleState,GoalState,2.1狀態(tài)空間法,11,例:三數(shù)碼難題（3puzzleproblem）,初始棋局,目標棋局,2.1狀態(tài)空間法,12,有向圖后繼節(jié)點（后裔）父輩節(jié)點（祖先）代價（cost）c(ni，nj)圖的顯示說明（已知）圖的隱示說明（起始點，推論已知，后繼無限）,2.1.2狀態(tài)圖示法圖論術語,A,B,2.1狀態(tài)空間法,13,2.1.3狀態(tài)空間表示舉例,產(chǎn)生式系統(tǒng)（productionsystem）一個總數(shù)據(jù)庫：它含有與具體任務有關的信息隨著應用情況的不同，這些數(shù)據(jù)庫可能簡單，或許復雜。一套規(guī)則：它對數(shù)據(jù)庫進行操作運算。每條規(guī)則由左部鑒別規(guī)則的適用性或先決條件以及右部描述規(guī)則應用時所完成的動作。一個控制策略：它確定應該采用哪一條適用規(guī)則，而且當數(shù)據(jù)庫的終止條件滿足時，就停止計算。,2.1狀態(tài)空間法,14,狀態(tài)空間表示舉例,例：推銷員旅行問題（運籌學圖論最短路徑）例：猴子和香蕉問題,2.1狀態(tài)空間法,在一個房間內有一只猴子(可把這只猴子看做一個機器人)、一個箱子和一束香蕉。香蕉掛在天花板下方，但猴子的高度不足以碰到它。那么這只猴子怎樣才能摘到香蕉呢?上圖表示出猴子、香蕉和箱子在房間內的相對位置。,15,解題過程,用一個四元表列（W，x，Y，z）來表示這個問題狀態(tài).W猴子的水平位置x當猴子在箱子頂上時取x=1；否則取x=0Y箱子的水平位置z當猴子摘到香蕉時取z=1；否則取z=0,這個問題的操作（算符）如下：2goto（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),climbbox,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)的描述形式設用Sk=(SkA，SkB)表示問題的狀態(tài)，SkA表示盤子A所在的柱號，SkB表示盤子B所在的柱號。用狀態(tài)描述形式把問題的所有可能的狀態(tài)都表示出來。本問題共有九種可能狀態(tài):S0=(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)空間(S，F(xiàn)，G)構造完成。,24,第二步：問題求解根據(jù)狀態(tài)空間的9種可能狀態(tài)和12種算符，構造它的狀態(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問題歸約法（ProblemReductionRepresentation）,26,問題歸約表示的組成部分：一個初始問題描述；一套把問題變換為子問題的操作符；一套本原問題描述。,問題歸約的實質：從目標(要解決的問題)出發(fā)逆向推理，建立子問題以及子問題的子問題，直至最后把初始問題歸約為一個平凡的本原問題集合。,2.2問題規(guī)約法,27,2.2.1問題歸約描述（ProblemReductionDescription）,梵塔難題,2.2問題規(guī)約法,28,解題過程（3個圓盤問題）,2.2問題規(guī)約法,29,本原問題：是指那種不能或不需要再進行分解或變換，且可以直接解答的問題。歸約：把一個復雜問題分解或變換為一組本原問題的過程。問題的分解：是指把一個復雜問題分解為若干個子問題的過程。問題的解是所有子問題解的“與”，即只有當所有子問題都有解時，原問題才有解。,30,問題規(guī)約的實質目標(要解決的問題)出發(fā)逆向推理,建立子問題以及子問題的子問題,直至最后把初始問題規(guī)約為一個平凡的本原問題集合.問題規(guī)約法應用算符把問題描述變換為子問題描述比狀態(tài)空間法更通用的問題求解方法,31,2.2.2與或圖表示,用一個類似圖的結構來表示把問題歸約為后繼問題的替換集合，這種結構圖叫做問題歸約圖，或叫與或圖。1.與圖、或圖、與或圖,2.2問題規(guī)約法,32,2.2問題規(guī)約法,33,2.一些關于與或圖的術語,2.2問題規(guī)約法,34,3.定義,2.2問題規(guī)約法,35,不可解節(jié)點的一般定義沒有后裔的非終葉節(jié)點為不可解節(jié)點。全部后裔為不可解的非終葉節(jié)點且含有或后繼節(jié)點，此非終葉節(jié)點才是不可解的。后裔至少有一個為不可解的非終葉節(jié)點且含有與后繼節(jié)點，此非終葉節(jié)點才是不可解的。與或圖構成規(guī)則,2.2問題規(guī)約法,36,梵塔問題歸約圖,2.2問題規(guī)約法,37,2.3謂詞邏輯法,謂詞邏輯表示法以數(shù)理邏輯為基礎，是目前為止能夠表達人類思維活動規(guī)律的一種最精確的形式語言，最早應用于AI。1.知識的謂詞邏輯表示謂詞公式=謂詞+連接符對于事實性知識，謂詞邏輯的表示法通常是由以合取、析取符號（、）連接形成的謂詞公式來表示。例如：對于事實性知識“張三是學生，李四也是學生”可以表示為：Is_student(張三)Is_student(李四)對于規(guī)則性知識，謂詞邏輯表示法通常是由以蘊涵符號()連接形成的謂詞公式來表示。例如：對于規(guī)則：“如果x,則y”可以表示為：xy,38,2.3.1謂詞演算1.語法和語義基本符號：謂詞符號、變量符號、函數(shù)符號、常量符號、括號和逗號原子公式連詞和量詞(Connective&Quantifiers)（1）連詞與、合?。河眠B詞把幾個公式連接起來而構成合取式?；颉⑽鋈。河眠B詞把幾個公式連接起來而構成析取式。蘊涵：用連詞連接兩個公式所構成蘊涵式。等價：若兩個公式，無論如何解釋，其真值表相同，則稱此兩合式公式等價。等價連接詞為非：否定，可用、表示。(2)量詞全稱量詞：若一個原子公式P(x)，對于所有可能變量x都具有T值，則用(x)P(x)表示。存在量詞：若一個原子公式P(x)，至少有一個變元x，可使P(x)為T值，則用(x)P(x)表示。量化變元被量化了的變元x稱為約束變元。,39,2.3.2謂詞公式原子公式的的定義：由若干謂詞符號和項（常量符號、變量符號或函數(shù)符號）組成的謂詞演算。原子公式是謂詞演算基本積木塊。分子謂詞公式：可以用連詞把原子謂詞公式組成復合謂詞公式，并把它叫做分子謂詞公式。,2.3謂詞邏輯法,例如，要表示“機器人(ROBOT)在號房間(r1)內”，可以應用原子公式：,40,原子謂詞公式P(x1,x2,xn)原子謂詞公式。Pn元謂詞x1,x2,xn客體變量或變元。分子謂詞公式用連詞（、）把原子謂詞公式組成復合謂詞公式，即分子謂詞公式。,41,設有下列事實性知識：張曉輝是一名計算機系的學生，但他不喜歡編程序。李曉鵬比他父親長得高。用謂詞公式表示這些知識。,解第一步：定義謂詞：COMPUTER(x)：x是計算機系的學生LIKE(x，y)：x喜歡yHIGHER(x，y)：x比y長得高,42,定義個體：張曉輝(zhangxh)，編程序(programming)，李曉鵬(1ixp)，father(lixp)表示李曉鵬的父親。,第三步：根據(jù)語義，用邏輯連接符將它們連接起來，就得到了表示上述事實性知識的謂詞公式：COMPUTER(zhangxh)LIKE(zhangxh，programming)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,按照第二步和第三步的要求，可以得到“人人愛勞動”用謂詞公式表示為：(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是整數(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),(AB),(AB)都是合式公式。若A是合式公式，x為A中的自由變元，則(x)A，(x)A是合式公式。只有按上述規(guī)則求得的那些公式才是合式公式。,51,合式公式中連詞和量詞的優(yōu)先順序如右所示，同級者從左至右作用，可用括號改變作用次序。,52,2.合式公式的性質,53,常用等價關系,54,常用等價關系,55,2.3.3置換與合一,謂詞邏輯中的兩個重要推理規(guī)則：假元推理全稱化推理,56,2.3謂詞邏輯法2.3.3置換與合一,例：綜合應用假元推理和全稱化推理，有：,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實施s置換的結果表示為Es。沒有元素的置換稱為空置換，記為。,58,置換舉例,設有表達式Px,f(y),B，對于置換：s1=z/x,w/ys2=A/y分別有：Px,f(y),Bs1=Pz,f(w),BPx,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,合一者、最一般合一者舉例,設有表達式集Ei=Px,f(y),B，Px,f(B),B，該表達式集的合一者：s1=B/y，s2=w/x,B/ys1=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；,63,例將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,表示規(guī)則型知識。表示事實型知識，即通過推理達到的事實：盤B和盤A均在柱3,64,例將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,在上述基礎上，應用置換和推理即可表達解決問題的知識如下：,65,例將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,在上述基礎上，應用置換和推理即可表達解決問題的知識如下：,66,例將教材上的梵塔難題（由A、B、C三個盤簡化為只有A、B兩個盤）用謂詞邏輯法表示。,在上述基礎上，應用置換和推理即可表達解決問題的知識如下：,67,語義網(wǎng)絡是1968年J.R.Quillian在研究人類聯(lián)想記憶時提出的心理學模型，認為記憶是由概念間的聯(lián)系實現(xiàn)的。隨后在自然語言理解系統(tǒng)中用做知識表示，在ES中語義網(wǎng)絡首先由PROSPECTOR實現(xiàn)。目前，語義網(wǎng)絡已成為AI中應用較多的一種知識表示方法。,2.4語義網(wǎng)絡表示法,68,謂詞邏輯與語義網(wǎng)絡等效,2.4語義網(wǎng)絡法,69,多元語義網(wǎng)絡表示的實質把多元關系轉化為一組二元關系的組合，或二元關系的合取。,2.4語義網(wǎng)絡法,70,語義網(wǎng)絡是通過概念及其語義關系來表示知識的一種網(wǎng)絡圖，它是一個帶標注的有向圖，由節(jié)點和弧構成。,2.4.1語義網(wǎng)絡的概念及其結構,節(jié)點：表示不同對象（概念、事物、屬性、情況、動作、狀態(tài)等）；可以帶有表征對象特性的若干屬性。,弧：是有方向、有標注的。方向體現(xiàn)節(jié)點間的主次關系，標注表示節(jié)點間的語義關系。,71,其中：A和B分別代表節(jié)點，R表示A和B之間的某種語義聯(lián)系。,一個最簡單的語義網(wǎng)絡可由一個三元組表示：(節(jié)點1，弧，節(jié)點2)它可用有向圖表示，稱做基本網(wǎng)元。,72,當把多個基本網(wǎng)元用相應的語義聯(lián)系關聯(lián)在一起時，就可得到一個語義網(wǎng)絡。,在語義網(wǎng)絡中，節(jié)點還可以是一個語義子網(wǎng)絡，所以，語義網(wǎng)絡實質上可以是一種多層次的嵌套結構。,73,2.4.2語義網(wǎng)絡中的基本語義聯(lián)系,74,75,2.4.3語義網(wǎng)絡表示知識的方法,事實性知識的表示,76,2.情況和動作的表示,例：一只名叫“神飛”的小燕子從三月到十一月占有一個巢。,77,例：張三送給李四一支鋼筆。,78,3.邏輯關系的表示,例：參加比賽者有工人、有干部、有高的、有低的。,79,例：每個學生都學習了一門程序設計語言。,80,4.規(guī)則性知識的表示,81,2.4.4語義網(wǎng)絡表示知識的步驟,確定問題中的所有對象及其屬性；分析并確定語義網(wǎng)絡中所論對象間的關系；根據(jù)語義網(wǎng)絡中所涉及的關系，對節(jié)點及弧進行整理。,82,2.4.5舉例,83,84,85,2.4.6語義網(wǎng)絡知識表示下的推理,語義網(wǎng)絡表示的問題求解系統(tǒng)由兩部分構成：語義網(wǎng)絡知識庫：存放許多已知事實的語義網(wǎng)絡。推理機：求解問題的程序。,語義網(wǎng)絡系統(tǒng)中的推理方法一般有兩種：匹配推理：根據(jù)待求解問題，構造一個帶有空標注的網(wǎng)絡片段，再到知識庫中尋找可匹配的語義網(wǎng)絡，求得問題的解答。繼承推理：下層節(jié)點繼承上層節(jié)點的屬性或方法。,86,例2.10匹配推理,87,2.4.7語義網(wǎng)絡表示法的特點,結構性：結構化的知識表示方法。能將事物間的語義聯(lián)系顯式地表示出來；下層概念節(jié)點可以繼承、補充、變異上層概念的屬性，實現(xiàn)信息的共享。自然性：帶有標識的有向圖，自然語言轉換容易。聯(lián)想性：聯(lián)想記憶模型。非嚴格性：沒有公認的形式表示體系。,88,2.5框架表示法,框架表示法由M.Minsky1975年提出，它針對人們在理解事物情景時的心理學模型，論述了人們理解問題的一種思想方法。,框架表示法最早用作視覺感知、自然語言對話等問題的知識表示,目前已作為一種通用數(shù)據(jù)結構來表示知識對象。,89,框架理論認為，人腦中存儲有大量事物的典型情景，這是人們對現(xiàn)實世界中各種事物的認識，這些典型情景都是以一種類似于框架的基本知識結構存儲在記憶中的。當面臨一種新事物情景時，就從記憶中找出一個合適的框架并根據(jù)實際情況對其細節(jié)加以修改、補充，從而形成對當前事物情景的認識。,2.5.1框架理論,90,當一個人將要走進一個教室之前，他就可以想像這個教室一定有四面墻，有門、窗、天花板和地板，還有黑板、講臺、課桌、坐凳等，盡管他對這個教室的具體細節(jié)如教室的大小、門窗的個數(shù)等還不清楚，但對教室的基本結構是可以預見的。,例如：,他之所以能夠做到這一點，是由于在以前的認識活動中已在其頭腦中建立起了有關“教室”這一概念的基本框架。這一基本框架不僅指出了相應事物的名稱(教室)，而且還指出了事物各有關方面的屬性(墻、門、窗等)，通過對該框架的查找就很容易得到有關教室的特征。,在他進入教室之后，經(jīng)觀察得到了教室的大小、門窗的個數(shù)等細節(jié)，把這些數(shù)據(jù)填人到教室框架中，就得到教室框架的一個具體實例，這是他關于這個教室的視覺印象，稱為實例框架。,91,2.5.2框架的定義及組成,1.框架的定義框架是用于描述靜態(tài)對象的通用數(shù)據(jù)結構，該對象用“對象屬性屬性值”表示。,框架由若干個槽（Slot）組成，槽用于描述對象的屬性。,槽又可由槽值或若干個側面組成，側面用于描述相應屬性的一個方面。,側面可由一個或多個側面值組成。,92,（數(shù)據(jù)庫表字段）|,2.框架的組成,93,框架名：主機品牌：聯(lián)想1+1生產(chǎn)廠商：北京聯(lián)想集團公司CPU：品牌：Intel型號：奔騰933主板：品牌：QDI型號：ATXVA5內存：品牌：現(xiàn)代型號：SDRAM容量：128MB硬盤：品牌：Seagate型號：ST320423A容量：20GB,例：“計算機主機”框架,94,2.5.3用框架表示知識的步驟,分析對象及其