第三章3 知識表示-結(jié)構(gòu)化表示_r

1、知識表示方法知識表示方法-結(jié)構(gòu)化表示結(jié)構(gòu)化表示本節(jié)內(nèi)容 語義網(wǎng)絡(luò)語義網(wǎng)絡(luò)表示法表示法 框架表示法框架表示法 面向?qū)ο蟊硎痉嫦驅(qū)ο蟊硎痉?知識表示的實用化問題知識表示的實用化問題 一 語義網(wǎng)絡(luò)語義網(wǎng)絡(luò)最早由奎廉（最早由奎廉（J.R.QuillianJ.R.Quillian）于）于19681968年提出，作為描述年提出，作為描述人類聯(lián)想記憶的一種心理學(xué)模型。人類聯(lián)想記憶的一種心理學(xué)模型。記憶是由記憶是由概念間的聯(lián)系概念間的聯(lián)系實現(xiàn)的實現(xiàn)的顯式的心理學(xué)模型（博士論文）顯式的心理學(xué)模型（博士論文）19721972年，西蒙在自然語言理解系統(tǒng)中采用年，西蒙在自然語言理解系統(tǒng)中采用19751975年，年，

2、HendrixHendrix利用語義網(wǎng)絡(luò)分區(qū)技術(shù)來表示全稱量詞利用語義網(wǎng)絡(luò)分區(qū)技術(shù)來表示全稱量詞 語義網(wǎng)絡(luò)可以表示為描述事物間關(guān)系的有向圖語義網(wǎng)絡(luò)可以表示為描述事物間關(guān)系的有向圖 基本的語義基元是一個三元組（節(jié)點基本的語義基元是一個三元組（節(jié)點1 1，語義關(guān)系，節(jié)點，語義關(guān)系，節(jié)點2 2）圖中節(jié)點指示實體：各種事物、概念、情況、屬性、動作、圖中節(jié)點指示實體：各種事物、概念、情況、屬性、動作、事件等事件等 節(jié)點間以有向弧連接，而弧上的標簽則指示節(jié)點間關(guān)系節(jié)點間以有向弧連接，而弧上的標簽則指示節(jié)點間關(guān)系 帶標簽的有向弧也稱為關(guān)系弧帶標簽的有向弧也稱為關(guān)系弧 1 語義網(wǎng)絡(luò)的一般概念語義網(wǎng)絡(luò)的一般概念

3、 節(jié)點1節(jié)點2語義關(guān)系鴕鳥鳥是一種某學(xué)校坐車小學(xué)生春游屬于動作目的動作方式男學(xué)生課程李明人工智能男人男性性別注冊AKOISAISA 2 基本的語義關(guān)系基本的語義關(guān)系1）is-a,a-kind-of,a-member-of is-a,a-kind-of,a-member-of 和和instance-ofinstance-of鴕鳥鳥AKO張三南農(nóng)大a-member-of張三學(xué)生Instance-of2) 屬性（類屬）關(guān)系屬性（類屬）關(guān)系 have Can ishave小鳥翅膀小鳥飛can小鳥比較小is3）其他關(guān)系）其他關(guān)系 包含關(guān)系（包含關(guān)系（Part-of） 時間關(guān)系時間關(guān)系(before,af

4、ter) 位置關(guān)系位置關(guān)系(location-on) 相似關(guān)系相似關(guān)系(similar-to)練習(xí)練習(xí) 汽車包含車輪、發(fā)動機汽車包含車輪、發(fā)動機 入學(xué)在畢業(yè)之前入學(xué)在畢業(yè)之前 南農(nóng)大在衛(wèi)崗南農(nóng)大在衛(wèi)崗1號號 中國是聯(lián)合國的一員中國是聯(lián)合國的一員 3 多元語義網(wǎng)絡(luò)的表示多元語義網(wǎng)絡(luò)的表示 把多元關(guān)系轉(zhuǎn)換成二元關(guān)系把多元關(guān)系轉(zhuǎn)換成二元關(guān)系 例如，例如，“JohnJohn給給MaryMary一個禮物一個禮物”就是一個就是一個3 3 元關(guān)系：元關(guān)系：Gives(John, Mary, Gift)Gives(John, Mary, Gift)解決的辦法是先將多元關(guān)系轉(zhuǎn)變?yōu)槎鄠€解決的辦法是先將多元關(guān)系轉(zhuǎn)變

5、為多個2 2元關(guān)系的合取，元關(guān)系的合取，再建立相應(yīng)的語義網(wǎng)絡(luò)表示再建立相應(yīng)的語義網(wǎng)絡(luò)表示 用二元謂詞表示：用二元謂詞表示： isa(G1,Giving-event)isa(G1,Giving-event)Giver(G1,John) Giver(G1,John) Receiver (G1,Mary) Receiver (G1,Mary) Thing(G1,Gift) Thing(G1,Gift) Giving-EventsG1JohnMaryGiftPersonsPhysical-ThingsGiverIsaReceiverThingIsaIsaIsa 4 語義網(wǎng)絡(luò)中的連詞與量詞的表示語義網(wǎng)絡(luò)

6、中的連詞與量詞的表示方法一：將語義網(wǎng)絡(luò)節(jié)點中出現(xiàn)的變量視為隱含地受全稱量方法一：將語義網(wǎng)絡(luò)節(jié)點中出現(xiàn)的變量視為隱含地受全稱量詞的約束，而所有存在量詞約束的變量都用詞的約束，而所有存在量詞約束的變量都用SkSklemlem函數(shù)或函數(shù)或常量取代，就可免除量詞在語義網(wǎng)絡(luò)中的顯式表示常量取代，就可免除量詞在語義網(wǎng)絡(luò)中的顯式表示 “JohnJohn給每個人一個禮物給每個人一個禮物”（ x x）（）（ y y）( ( z) Isa(z,Giving-Event)z) Isa(z,Giving-Event)Giver(z,John)Receiver(z,x)Thing(z,y)Giver(z,John)Re

7、ceiver(z,x)Thing(z,y)消去量詞得：消去量詞得：Isa(f(x),Giving-Event)Giver(f(x),John)Isa(f(x),Giving-Event)Giver(f(x),John) Receiver(f(x),x)Thing(f(x),g(x) Receiver(f(x),x)Thing(f(x),g(x) Giving-Eventsf(x)Johnxg(x)PersonsPhysical-ThingsGiverIsaReceiverThingIsaIsaIsa 方法二：顯示全稱量詞及其轄域。該轄域在語義網(wǎng)絡(luò)中形成一方法二：顯示全稱量詞及其轄域。該轄域在語

8、義網(wǎng)絡(luò)中形成一個子網(wǎng)，用于提供一般性描述的內(nèi)容稱為構(gòu)架（個子網(wǎng)，用于提供一般性描述的內(nèi)容稱為構(gòu)架（FormForm）。令節(jié)）。令節(jié)點點GSGS指示所有一般性描述的集合，則每個一般性描述就是指示所有一般性描述的集合，則每個一般性描述就是GSGS的的一個實例一個實例 從實例節(jié)點（例如從實例節(jié)點（例如G G）引出二種關(guān)系?。海┮龆N關(guān)系?。?帶標簽帶標簽FormForm的弧指向相應(yīng)于全稱量詞轄域的子網(wǎng)（以虛線的弧指向相應(yīng)于全稱量詞轄域的子網(wǎng)（以虛線圍出）圍出） 帶標簽帶標簽 的弧指向全稱量詞的約束變量的弧指向全稱量詞的約束變量一般性描述的另一種語義網(wǎng)絡(luò)表示方法一般性描述的另一種語義網(wǎng)絡(luò)表示方法Gi

9、ving-EventszxJohnyPersonsPhysical-ThingsGiverIsaReceiverThingIsaIsaIsaGSGIsaform 若同一轄域受多個全稱量詞約束，則需要引出多若同一轄域受多個全稱量詞約束，則需要引出多個帶標簽個帶標簽 的弧指向這些全稱量詞的約束變量。轄域內(nèi)其的弧指向這些全稱量詞的約束變量。轄域內(nèi)其它變量都隱含受存在量詞的約束（不必它變量都隱含受存在量詞的約束（不必SkSklemlem化）化）涉及涉及2 2個全稱量詞約束變量的語義網(wǎng)絡(luò)個全稱量詞約束變量的語義網(wǎng)絡(luò) EventsZxBiteyDogPostmanIsaIsaAssailantVictim

10、IsaGSGIsaform Every dog has bitten every postman 5 邏輯關(guān)系的表示邏輯關(guān)系的表示 事物之間不僅存在可以直接用關(guān)系弧表示的事物之間不僅存在可以直接用關(guān)系弧表示的語義關(guān)語義關(guān)系系，也存在與、或、非、蘊涵等，也存在與、或、非、蘊涵等邏輯關(guān)系邏輯關(guān)系 用虛線框?qū)⒕哂心撤N邏輯關(guān)系的關(guān)系弧圍起來用虛線框?qū)⒕哂心撤N邏輯關(guān)系的關(guān)系弧圍起來1） 邏輯邏輯與與語義網(wǎng)絡(luò)中由關(guān)系弧指示的二元關(guān)系之間具有隱含的邏語義網(wǎng)絡(luò)中由關(guān)系弧指示的二元關(guān)系之間具有隱含的邏輯輯與與關(guān)系，所以不必作附加處理。關(guān)系，所以不必作附加處理。 2 2） 邏輯邏輯“或或” 標記標記DISDIS（

11、disjunctiondisjunction） 下面語義網(wǎng)絡(luò)給出了相當于復(fù)合謂詞公式下面語義網(wǎng)絡(luò)給出了相當于復(fù)合謂詞公式 Color(Book-1,Blue) Color(Book-1,Green)Color(Book-1,Blue) Color(Book-1,Green)的表示。的表示。 3） 邏輯邏輯“非非”標簽標簽NEG(negtive) 下面的語義網(wǎng)絡(luò)就給出了相當于復(fù)合謂詞公式下面的語義網(wǎng)絡(luò)就給出了相當于復(fù)合謂詞公式 Own(Liming,Book-1)Color(Book-1,Blue)的表示的表示 4 4） 嵌套在嵌套在“或或”關(guān)系內(nèi)的關(guān)系內(nèi)的“與與”關(guān)系關(guān)系 下面的語義網(wǎng)絡(luò)描述的

12、是兩個事件的下面的語義網(wǎng)絡(luò)描述的是兩個事件的“或或”關(guān)系；關(guān)系； 標記標記CONJCONJ(conjunction)(conjunction)的虛線框圍起來的虛線框圍起來JohnJohn給給MaryMary一本書或一本書或MaryMary給給JohnJohn一件禮物一件禮物 5 5） 邏輯邏輯“蘊涵蘊涵” 標簽標簽ANTEANTE(antecedent)(antecedent)的虛線框圍住描述蘊涵的虛線框圍住描述蘊涵前項前項的關(guān)系弧的關(guān)系弧; ;以加標以加標簽簽CONSECONSE(consequent) (consequent) 的虛線框圍住描述蘊涵的虛線框圍住描述蘊涵后項后項的關(guān)系??；然后

13、再用的關(guān)系弧；然后再用一條虛線將這兩個虛線框連接起來，以表示它們屬于同一個蘊涵關(guān)系一條虛線將這兩個虛線框連接起來，以表示它們屬于同一個蘊涵關(guān)系 例如，語句例如，語句 李明的父親給李明的每個朋友一個禮物李明的父親給李明的每個朋友一個禮物“（ x）（）（ y）( z) ( u) Isa (y, friend-Events) subject(y, Liming) friend(y, x) = Isa(z,Giving-Event) Giver(z, Father(Liming) Receiver(z,x) Thing(z, u)6 6、 語義網(wǎng)絡(luò)的存儲表示語義網(wǎng)絡(luò)的存儲表示存儲表示方式可以分為存儲表

14、示方式可以分為二類二類：節(jié)點集，節(jié)點集加關(guān)系弧集：節(jié)點集，節(jié)點集加關(guān)系弧集 語義網(wǎng)絡(luò)中的節(jié)點可表示為具有若干槽（語義網(wǎng)絡(luò)中的節(jié)點可表示為具有若干槽（slotslot）的數(shù)）的數(shù)據(jù)結(jié)構(gòu)，以巴科斯范式據(jù)結(jié)構(gòu)，以巴科斯范式BNFBNF定義如下：定義如下： := :=（Node Node ： +)+)其中槽就取名為關(guān)系弧的標簽，槽內(nèi)容即語義網(wǎng)絡(luò)中關(guān)系弧其中槽就取名為關(guān)系弧的標簽，槽內(nèi)容即語義網(wǎng)絡(luò)中關(guān)系弧指向的節(jié)點指向的節(jié)點 （Node G1 Isa: Giving-Event Giver: John Receiver: Mary Thing: Gift）7 語義網(wǎng)絡(luò)系統(tǒng)中求解問題的基本過程語義網(wǎng)絡(luò)系統(tǒng)

15、中求解問題的基本過程由兩部分組成：語義網(wǎng)絡(luò)的由兩部分組成：語義網(wǎng)絡(luò)的知識庫知識庫和語義網(wǎng)絡(luò)的和語義網(wǎng)絡(luò)的推理機推理機問題的求解是通過問題的求解是通過匹配匹配實現(xiàn)的，主要過程如下：實現(xiàn)的，主要過程如下：（1）根據(jù)問題的要求，）根據(jù)問題的要求，構(gòu)造一個語義網(wǎng)絡(luò)片段構(gòu)造一個語義網(wǎng)絡(luò)片段，其中有些節(jié)點或弧，其中有些節(jié)點或弧的標識是空的，反映待求解的問題的標識是空的，反映待求解的問題（2）根據(jù)此網(wǎng)絡(luò)片段到知識庫中去尋找可匹配的網(wǎng)絡(luò)，以找到所需）根據(jù)此網(wǎng)絡(luò)片段到知識庫中去尋找可匹配的網(wǎng)絡(luò)，以找到所需要的信息。要的信息。（3）當問題的語義網(wǎng)絡(luò)片段與知識庫中的某語義網(wǎng)絡(luò)片段匹配時，）當問題的語義網(wǎng)絡(luò)片段與知識

16、庫中的某語義網(wǎng)絡(luò)片段匹配時，則與詢問處匹配的事實就是問題的解則與詢問處匹配的事實就是問題的解實例事實： 趙云是一個學(xué)生 他在東方大學(xué)主修計算機課程 他入校的時間是1990年。學(xué)生趙云教育1教育計算機科學(xué)大學(xué)東方大學(xué)1990時間ISAISAISAISAISARecipientAgentBeginMajor問題： 趙云主修什么課程？趙云教育?教育?ISARecipientMajor8 8、 基于語義網(wǎng)絡(luò)的推理基于語義網(wǎng)絡(luò)的推理 主要推理方式是以關(guān)系弧作為主要推理方式是以關(guān)系弧作為索引索引，快速地在網(wǎng)絡(luò)中搜索，快速地在網(wǎng)絡(luò)中搜索到所需的信息到所需的信息 支持搜索的最重要技術(shù)是支持搜索的最重要技術(shù)是層

17、次分類層次分類和和特性繼承特性繼承 （1） 層次分類層次分類世界萬物都遵從層次分類法則世界萬物都遵從層次分類法則設(shè)置層次分類網(wǎng)絡(luò)的顯著優(yōu)點是可以分別存儲個體事物設(shè)置層次分類網(wǎng)絡(luò)的顯著優(yōu)點是可以分別存儲個體事物的共性，進而大幅度提高信息的存儲效率的共性，進而大幅度提高信息的存儲效率 （2 2） 特性繼承特性繼承（3）邏輯推理邏輯推理 語義網(wǎng)絡(luò)可以支持邏輯推理，但語義網(wǎng)絡(luò)可以支持邏輯推理，但不如不如直接用謂詞邏輯直接用謂詞邏輯和產(chǎn)生式表示法來得和產(chǎn)生式表示法來得直觀直觀和有效和有效 綜合應(yīng)用不同的表示方式；以語義網(wǎng)絡(luò)支持結(jié)構(gòu)化信綜合應(yīng)用不同的表示方式；以語義網(wǎng)絡(luò)支持結(jié)構(gòu)化信息的存取，而謂詞邏輯或產(chǎn)

18、生式表示法則用于支持邏輯推息的存取，而謂詞邏輯或產(chǎn)生式表示法則用于支持邏輯推理理二 框架表示法框架表示法是一種關(guān)于事物內(nèi)部結(jié)構(gòu)化描述的表示法是一種關(guān)于事物內(nèi)部結(jié)構(gòu)化描述的表示法 框架表示法可以較好地反映框架表示法可以較好地反映人觀察事物人觀察事物的思維方式，即人的思維方式，即人對自己熟悉的事物早在頭腦中形成了抽象模型對自己熟悉的事物早在頭腦中形成了抽象模型 1975年，年，Minsky在在MIT人工智能實驗室時發(fā)表論文題為：人工智能實驗室時發(fā)表論文題為：“A Framework for Representing Knowledge” 提出了所謂的框架理論，作為理解視覺、自然語言對話提出了所謂的

19、框架理論，作為理解視覺、自然語言對話和其他復(fù)雜問題的方法和其他復(fù)雜問題的方法1 1、 框架的一般表示結(jié)構(gòu)框架的一般表示結(jié)構(gòu) 框架通常由描述事物各個方面的框架通常由描述事物各個方面的槽槽（slotslot）組成，每個槽）組成，每個槽有多個有多個側(cè)面?zhèn)让妫╝spectaspect）側(cè)面又可有多個）側(cè)面又可有多個值值；以；以BNFBNF定義如定義如下：下： := (Frame := (Frame +)+) := ( := ( ：* * * *) )框架內(nèi)部結(jié)構(gòu)的框架內(nèi)部結(jié)構(gòu)的豐富豐富程度取決于事物描述本身的程度取決于事物描述本身的需要需要 槽名槽名A A： 側(cè)面名側(cè)面名A A1 1 值值A(chǔ) A111

20、1，值，值A(chǔ) A1212側(cè)面名A2 值A(chǔ)21，值A(chǔ)22槽名槽名B B： 側(cè)面名側(cè)面名B B1 1 值值B B1111，值，值B B1212約束條件：約束條件：約束條件約束條件1 1約束條件約束條件2 2約束條件約束條件3 3框架名：框架名：商品名稱：商品名稱：生產(chǎn)廠家：生產(chǎn)廠家：出售商店：出售商店：處罰：處罰方式：處罰：處罰方式： 處罰依據(jù)：處罰依據(jù)： 處罰時間：單位（年、月、日）處罰時間：單位（年、月、日） 經(jīng)辦部門：經(jīng)辦部門：框架名：框架名：教師教師 姓名：（姓、名）姓名：（姓、名） 年齡：（歲）年齡：（歲） 性別：（男、女）性別：（男、女） 職稱：職稱： 部門：部門： 住址：住址：住址框

21、架住址框架 工資：工資：工資框架工資框架事例框架框架名：框架名：教師教師-1 姓名：李紅姓名：李紅 年齡：年齡：25 性別：女性別：女 職稱：講師職稱：講師 部門：計算機系部門：計算機系 住址：住址： 工資：工資：2 2、 框架系統(tǒng)框架系統(tǒng)框架聯(lián)合起來構(gòu)成 框架系統(tǒng)框架系統(tǒng) 較常用的框架系統(tǒng)有以下二類：事物組成分類體系 （1 1） 事物組成事物組成這類框架系統(tǒng)主要用于描述這類框架系統(tǒng)主要用于描述復(fù)雜事物復(fù)雜事物的的層次層次組成組成 例如：一個復(fù)雜的機械設(shè)備可以層次地分解為例如：一個復(fù)雜的機械設(shè)備可以層次地分解為組件組件和和部件部件 每個部件和組件以及整個設(shè)備均可用一個框架加以描述每個部件和組件

22、以及整個設(shè)備均可用一個框架加以描述另外關(guān)于設(shè)備和組件的概念中，還可表示組件間的約束和配另外關(guān)于設(shè)備和組件的概念中，還可表示組件間的約束和配合關(guān)系合關(guān)系 （2 2） 層次分類體系層次分類體系 框架可以具有豐富的內(nèi)部結(jié)構(gòu)，能更有效地表示分框架可以具有豐富的內(nèi)部結(jié)構(gòu)，能更有效地表示分類體系和支持結(jié)構(gòu)化信息存取類體系和支持結(jié)構(gòu)化信息存取 3 3、 基于框架系統(tǒng)的推理基于框架系統(tǒng)的推理 設(shè)計框架系統(tǒng)的主要目的是支持結(jié)構(gòu)化信息的存取，并由設(shè)計框架系統(tǒng)的主要目的是支持結(jié)構(gòu)化信息的存取，并由此支持問題求解系統(tǒng)應(yīng)用從框架系統(tǒng)取到的信息（知識）去進此支持問題求解系統(tǒng)應(yīng)用從框架系統(tǒng)取到的信息（知識）去進行推理行推理

23、支持支持結(jié)構(gòu)化結(jié)構(gòu)化信息信息存取存取的二個主要技術(shù)：的二個主要技術(shù)： 特性繼承特性繼承 相容匹配相容匹配 （1 1） 特性繼承特性繼承 由于框架的槽包含多個側(cè)面，框架系統(tǒng)可以提供功能由于框架的槽包含多個側(cè)面，框架系統(tǒng)可以提供功能強大的特性繼承技術(shù)強大的特性繼承技術(shù) 三個側(cè)面：三個側(cè)面：ValueValue、If-NeededIf-Needed和和If-AddedIf-Added可以提供缺可以提供缺省的推理功能省的推理功能 Value-Value-記載類的個體相應(yīng)屬性的公共值或典型值，作為記載類的個體相應(yīng)屬性的公共值或典型值，作為缺缺省值省值 If-Needed-If-Needed-在不可能提供

24、統(tǒng)一缺省值的情況下，提供計算在不可能提供統(tǒng)一缺省值的情況下，提供計算函數(shù)或推理知識去產(chǎn)生相應(yīng)屬性的一個值函數(shù)或推理知識去產(chǎn)生相應(yīng)屬性的一個值 If-Added-If-Added-當給類的某個體的一個屬性賦值或修改時，提供當給類的某個體的一個屬性賦值或修改時，提供計算函數(shù)或推理知識去作必要的后繼處理，包括對其它相關(guān)計算函數(shù)或推理知識去作必要的后繼處理，包括對其它相關(guān)槽的賦值和修改處理，以及任何需要的附加處理槽的賦值和修改處理，以及任何需要的附加處理 特性繼承實現(xiàn)過程：由對個體框架槽的操作來激活。特性繼承實現(xiàn)過程：由對個體框架槽的操作來激活。若若查詢查詢一個體的某屬性，且描述該個體的框架未提一個體

25、的某屬性，且描述該個體的框架未提供屬性值，則沿供屬性值，則沿ISA和和AKO，追溯到超類。若提供，追溯到超類。若提供value側(cè)面值，則繼承；否則，執(zhí)行側(cè)面值，則繼承；否則，執(zhí)行If-Needed操作操作若對一個體的某屬性進行了若對一個體的某屬性進行了賦值或修改賦值或修改工作，則執(zhí)工作，則執(zhí)行超類的行超類的If-Added操作操作（2 2） 相容匹配相容匹配 兩個框架的匹配檢查往往非嚴格意義上的相等比兩個框架的匹配檢查往往非嚴格意義上的相等比較，而是所謂的相容匹配較，而是所謂的相容匹配 相容匹配的方法如下：相容匹配的方法如下： 檢查這二個框架是否存在檢查這二個框架是否存在祖先祖先- -子孫子孫

26、關(guān)系，即若從一個框關(guān)系，即若從一個框架出發(fā)，經(jīng)由架出發(fā)，經(jīng)由IsaIsa和和AkoAko鏈可以追溯到另一框架，則認為兩者是鏈可以追溯到另一框架，則認為兩者是相容匹配的。相容匹配的。 分別將這二個框架各自直接記載的屬性值和可繼承到的缺分別將這二個框架各自直接記載的屬性值和可繼承到的缺省值都取到，把屬性區(qū)分為關(guān)鍵和非關(guān)鍵二類，只有省值都取到，把屬性區(qū)分為關(guān)鍵和非關(guān)鍵二類，只有關(guān)鍵屬性關(guān)鍵屬性都匹配都匹配的二個框架才是相容的的二個框架才是相容的 若一個框架能搜索到多個相容的框架，則可進一步依據(jù)非若一個框架能搜索到多個相容的框架，則可進一步依據(jù)非關(guān)鍵屬性的匹配程度（個數(shù)）挑選出最相容的匹配框架。關(guān)鍵屬性的匹配程度（個數(shù)）挑選出最相容的匹配框架。三三 面向?qū)ο蟮谋硎痉嫦驅(qū)ο蟮谋硎痉ㄋ乃?知識表示的實用化問題知識表示的實用化問題從實用化的角度，知識表示的設(shè)計需權(quán)衡處從實用化的角度，知識表示的設(shè)計需權(quán)衡處理二個重要問題：理二個重要問題：知識表示的程序性和陳述性知識表示的程序性和陳述性 表示能力與推理效率