AIA2-知識表示

1、人工智能及其應(yīng)用教學(xué)講義第二章 知識表示技術(shù)2.1 知識表示的基本問題人工智能是研究如何使機器具有人類智能的學(xué)科。人之所以具有智能，是因為人擁有知識。同樣，要使機器具有智能，就必須使它擁有知識，擁有的知識越多，其智能就越高。但人類的知識大多是很抽象的，而且我們習(xí)慣于用自然語言表達(dá)，那么，如何使機器具有知識？這就是知識表示和知識獲取。一、知識與知識分類什么是知識？從認(rèn)識論的角度來看，知識就是人類認(rèn)識自然界（包括社會和人）的精神產(chǎn)物，是人類進(jìn)行智能活動的基礎(chǔ)。知識的分類方法很多，主要有三種：1按知識的性質(zhì)分：l 敘述性知識：表示問題的狀態(tài)、概念、條件、事實的知識。l 過程性知識：表示問題求解過程中

2、用到的各種操作、演算和行動等的知識。l 控制性知識：表示問題求解過程中決定選用哪種操作、演算和行動等的知識。2按知識的層次分：l 零級知識：最基本層的知識，包括問題域內(nèi)的事實、屬性、定理、定義等，屬問題求解的常識性和原理性知識。l 一級知識：第二層知識，啟發(fā)式知識?？蓮浹a零級知識的不足，提高求解效率。l 二級知識：第三層知識，控制性知識。對低層知識起指導(dǎo)作用，組織和有效運用零級和一級知識。l 高層次知識：如回憶、綜合、概括、抽象等，它們反映人的心理特征。領(lǐng)域知識（問題領(lǐng)域內(nèi)知識）：包括零級知識和一級知識。元知識（知識的知識）：二級以上的知識。高級的、本原的知識。3按知識的來源分：l 共性知識：

3、指問題域內(nèi)有關(guān)事物、屬性、概念、定義、定理、原理、理論、算法等的知識，它們來自教科書和刊物，并已為領(lǐng)域?qū)I(yè)人員所承認(rèn)和接受。它描述問題的細(xì)節(jié)，確保問題解的精確性，屬深層知識。l 個性知識：來自現(xiàn)場有經(jīng)驗的專業(yè)人員，包括大量的經(jīng)驗知識或啟發(fā)式知識。它描述問題的輪廓，知識嚴(yán)格性差，屬淺層（表層）知識。二、知識表示與知識表示方法所謂知識表示，就是研究在機器中如何用最合適的形式對知識進(jìn)行描述，使知識形式化、模型化，以便在機器中存儲和使用知識。對于人們習(xí)慣的知識表示形式（如自然語言表示），機器不一定能接受，所以必須把人類知識變換成一定形式的機器內(nèi)部的知識模型，為機器所接受。由于對人類大腦中知識形成和知識

4、結(jié)構(gòu)的機制還沒有全部研究清楚，因此沒有通用的知識表示形式。目前，人們針對不同問題、不同領(lǐng)域，研究出多種知識表示方法。它們主要基于兩種觀點：一種是從思維規(guī)律出發(fā)，認(rèn)為形式邏輯是一切推理活動的源，用邏輯來處理知識表示問題，如謂詞邏輯表示法。另一種是從認(rèn)知心理學(xué)出發(fā)，認(rèn)為認(rèn)知是過程性的，從感性知識到理性知識，學(xué)習(xí)形成概念、積累知識和經(jīng)驗知識等，即根據(jù)客觀事物一些規(guī)律建立聯(lián)想記憶的心理學(xué)模型來處理知識表示問題，如語義網(wǎng)絡(luò)表示法。常用的知識表示方法有：1產(chǎn)生式規(guī)則表示法2狀態(tài)空間表示法3語義網(wǎng)絡(luò)表示法4框架表示法5邏輯表示法6“與/或”圖表示法7過程表示法對一個具體問題，可有不同的表示方法。采用不同的表

5、示方法，問題求解的難易程度是不一樣的。選擇一個合適的知識表示方法，有利于知識的存儲和運用，使問題求解變得容易。因此，知識表示方法對問題求解是至關(guān)重要的，甚至在有些問題中，智能主要表現(xiàn)在尋找適當(dāng)?shù)闹R表示上，一旦找到了適當(dāng)?shù)闹R表示方法，問題也就基本解決了。三、知識表示方法的評價標(biāo)準(zhǔn)對一個具體問題域的知識描述，往往可以有多種等效的知識表示方法。各種知識表示形式在具體問題求解過程中所表現(xiàn)的效能是有差異的，有必要根據(jù)它們在問題的知識處理過程中控制知識運用的要求，作為評估原則去衡量所選擇的知識表示方法的適用度，以便能擇優(yōu)表示。評估原則如下：1有效性：能準(zhǔn)確、有效地表示問題域內(nèi)的所有類型知識，可實現(xiàn)問題

6、的有效求解。2可擴(kuò)展性：能方便地進(jìn)行知識檢查、增刪或修改，并對整個知識庫不產(chǎn)生或少產(chǎn)生直接影響。3可理解性：能自然地描述問題域內(nèi)的所有知識，并符合人類的思維規(guī)律，便于理解。4清晰性：知識表示形式和知識庫結(jié)構(gòu)簡單。2.2 狀態(tài)空間表示法人工智能的問題求解方法大多是采用試探搜索的方法，是通過在某個可能的解空間內(nèi)尋找一個解來求解問題的。這種基于解空間的問題表示和求解方法就是狀態(tài)空間方法，它是以狀態(tài)和操作為基礎(chǔ)來表示和求解問題的。一、狀態(tài)、操作和狀態(tài)空間的概念1狀態(tài)所謂狀態(tài)就是描述某一類事物中各個不同事物之間的差異而引入的最少的一組變量的有序集合。它常表示成矢量形式Q=T其中的每個元素(i=0,1,2

7、,)叫分量。狀態(tài)的維數(shù)可以是有限的，也可以是無限的。給定每個分量的值，就得到一個具體的狀態(tài)Qk=T2操作引起狀態(tài)中的某些分量發(fā)生改變，從而使問題由一個具體狀態(tài)變化到另一個狀態(tài)的作用叫操作，它可以是一個走步、過程、規(guī)則、數(shù)學(xué)算子、運算符號或邏輯符號等。操作描述了狀態(tài)之間的關(guān)系。3狀態(tài)空間問題的狀態(tài)空間是一個表示該問題的全部可能的狀態(tài)及其相互關(guān)系的圖。一般是一個賦值有向圖，包含了三個方面的說明：S：所有可能的問題初始狀態(tài)集合；F：操作集合；G：目標(biāo)狀態(tài)集合。所以狀態(tài)空間常記為三元狀態(tài)S，F(xiàn)，G。在狀態(tài)空間表示法中，問題求解過程轉(zhuǎn)化為在圖中尋找從初始狀態(tài)Qs出發(fā)到達(dá)目標(biāo)狀態(tài)Qg的路徑問題，也就是尋找

8、操作序列的問題。所以狀態(tài)空間中的解可用三元組Qs，Qg表示，它包含了三個方面的說明：Qs：表示某個初始狀態(tài)；Qg：表示某個目標(biāo)狀態(tài)；：把Qs變換成Qg的有限的操作序列。如，則有。二、狀態(tài)空間表示法示例三枚錢幣問題設(shè)有三枚錢幣，處在“反、正、反”狀態(tài)，每次只允許翻動一枚錢幣（但不允許一枚都不翻），問連翻三次后是否可以出現(xiàn)“正、正、正”或“反、反、反”狀態(tài)？圖2-1 狀態(tài)空間表示法為解這個問題，應(yīng)首先將它形式化。設(shè)錢幣正面為0，反面為1，引入一個三元數(shù)組Q=(q1，q2，q3)來描述這三枚錢幣的總狀態(tài)。全部可能的狀態(tài)有8種：Q1=(0，0，0)； Q2=(0，0，1)； Q3=(0，1，0)； Q

9、4=(0，1，1)；Q5=(1，0，0)； Q6=(1，0，1)； Q7=(1，1，0)； Q8=(1，1，1)。翻動錢幣的操作可以抽象為改變上述狀態(tài)的算子，共有3個，即F=f1，f2，f3其中f1：把錢幣q1翻轉(zhuǎn)一次；f2：把錢幣q2翻轉(zhuǎn)一次；f3：把錢幣q3翻轉(zhuǎn)一次。問題的狀態(tài)空間可寫成Q6，f1，f2，f3，Q1，Q8。狀態(tài)空間如圖所示：從圖中可以清楚地看出，從Q6不可能經(jīng)過三步到達(dá)Q1，即不存在從Q6到達(dá)Q1的解。但從Q6出發(fā)到達(dá)Q8的解有7個。2.3 “與/或”圖表示法一、“與/或”圖表示法的概念“與/或”圖（AND/OR-graph）是一種超圖，通常為樹圖的形式。也稱為“與/或”樹

10、。它基于人們在求解問題時的兩種思維方法：1分解：“與”樹將復(fù)雜的大問題分解為一組簡單的小問題，將總問題分解為子問題。若所有子問題都解決了，則總問題也解決了，這是“與”的邏輯關(guān)系。而子問題又可分為子子問題。如此類推，可以形成問題分解的樹圖，稱為“與”樹。如圖2-2所示。2變換：“或”樹將較難的問題變換為較易的等價或等效的問題。若一個難問題可以等價變換為幾個容易問題，則任何一個容易問題解決了，也就解決了原有的難問題，這是“或”邏輯關(guān)系。而這些容易問題還有可能等價變換為若干更容易的問題，如此下去，可形成問題變換的“或”樹，如圖2-3所示。 圖2-2 “與”樹問題分解 圖2-3 “或”樹問題變換在實際

11、問題求解過程中，常常是兼用“分解”和“變換”方法，因而可用“與”樹和“或”樹相結(jié)合的圖“與/或”樹表示方法。二、“與/或”圖表示法的示例猴子和香蕉問題。2.4 產(chǎn)生式規(guī)則表示法一、產(chǎn)生式規(guī)則產(chǎn)生式規(guī)則（Production Rule）是根據(jù)客觀世界中各客體之間存在依賴關(guān)系的實質(zhì)而提出的。在客觀世界中，各客體之間具有互相存在的因果關(guān)系，如：如果現(xiàn)在下雨，就穿雨衣。如果是運算放大器，就可進(jìn)行信號運算。如果差動保護(hù)正確動作，則是變壓器內(nèi)部故障。這些句子表示的是狀態(tài)動作對，或前提（條件）結(jié)論（行動）對，可以用產(chǎn)生式規(guī)則表示。產(chǎn)生式規(guī)則的格式為如果（IF），則（THEN）；或前提（條件），結(jié)論（行動）。

12、其中，前提可以是一個，也可以是幾個，而結(jié)論一般只有一個。二、產(chǎn)生式規(guī)則表示法用產(chǎn)生式規(guī)則形式表示知識的方法叫知識的產(chǎn)生式規(guī)則表示法。如前面的句子可表示成：clothed (rain_proof) :- it_is (raining).operate (signals) :- amplifier_is (operated).transformer (internal_fault) :- action (differntial_protection).三、產(chǎn)生式系統(tǒng)用產(chǎn)生式規(guī)則表示知識所構(gòu)成的系統(tǒng)稱產(chǎn)生式系統(tǒng)，或稱基于規(guī)則的系統(tǒng)。產(chǎn)生式系統(tǒng)的概念最早是由美國數(shù)學(xué)家Post于1943年提出的。1產(chǎn)生

13、式系統(tǒng)求解問題的基本方法產(chǎn)生式系統(tǒng)（或基于規(guī)則的系統(tǒng)）是用規(guī)則序列的形式來描述問題的思維過程，形成求解問題的知識模型。模型中的每一條規(guī)則稱為一個產(chǎn)生式，規(guī)則用字符串表示。問題的求解過程是根據(jù)初始數(shù)據(jù)，在上下文（或稱當(dāng)前數(shù)據(jù)庫）中，搜索可匹配的產(chǎn)生式，并將結(jié)論寫入上下文；再根據(jù)改變后的上下文，重新搜索匹配，最終求得問題的解。在產(chǎn)生式系統(tǒng)的知識規(guī)則中，一個或多個前提條件表示的狀態(tài)，是調(diào)用產(chǎn)生式規(guī)則之前早已準(zhǔn)備好的事實，是為產(chǎn)生結(jié)論而提供的。產(chǎn)生式規(guī)則調(diào)用所形成的結(jié)論又繼續(xù)引導(dǎo)作為另一個產(chǎn)生式規(guī)則的前提使用。一個規(guī)則集中要求一個以上的事實，這些事實可看作是產(chǎn)生式規(guī)則的特殊形式，即是無條件的產(chǎn)生式規(guī)則

14、，如it_is (raining).在產(chǎn)生式系統(tǒng)中，這些事實構(gòu)成數(shù)據(jù)庫。2產(chǎn)生式系統(tǒng)的組成產(chǎn)生式系統(tǒng)由數(shù)據(jù)庫、知識庫和推理機三部分組成。l 數(shù)據(jù)庫：用于存放用戶提供的初始狀態(tài)、問題域內(nèi)對象的性質(zhì)和屬性等事實及求解過程中產(chǎn)生的中間結(jié)果數(shù)據(jù)。l 知識庫：用于存放問題域內(nèi)的知識，所有知識用產(chǎn)生式規(guī)則表示。l 推理機：又稱控制系統(tǒng)或控制策略器。負(fù)責(zé)如何來運用規(guī)則庫中的規(guī)則與事實匹配，當(dāng)求解過程中出現(xiàn)多個結(jié)論或找不到滿意結(jié)論時，如何為解決沖突問題提供控制策略。3產(chǎn)生式規(guī)則的優(yōu)點自然性 產(chǎn)生式規(guī)則結(jié)構(gòu)接近于人的思維和自然推理形式，易于理解。能有效表達(dá)啟發(fā)式（淺層）知識：可根據(jù)人的經(jīng)驗程度、數(shù)據(jù)可靠程度，給

15、出可信度因子，便于實現(xiàn)不精確推理。模塊性強 規(guī)則庫對推理機具有相對獨立性，產(chǎn)生式規(guī)則間的聯(lián)系一般是通過上下文的數(shù)據(jù)結(jié)構(gòu)，而不是規(guī)則的互相直接調(diào)用。因此規(guī)則庫中規(guī)則的增刪、修改，不會對知識庫維護(hù)產(chǎn)生大的影響。清晰性 規(guī)則庫規(guī)則格式單一，層次清晰，便于知識正確性和一致性檢查，推理機設(shè)計也易于實現(xiàn)。4產(chǎn)生式系統(tǒng)的缺點透明度差 雖然其局部每一規(guī)則易理解，但因其獨立性，因此難于作完整的原理性解釋。表達(dá)能力受限 由于規(guī)則格式單一，對復(fù)雜知識、不確定推理的表達(dá)顯得能力不足和呆板不靈活。大型AI系統(tǒng)有效性降低 產(chǎn)生式系統(tǒng)的強模塊性，使得規(guī)則間信息傳遞依賴于上下文的數(shù)據(jù)，而不能直接調(diào)用其他規(guī)則，因此求解陷于大量

16、的規(guī)則檢索、匹配和操作，不能對執(zhí)行優(yōu)化序列或優(yōu)化回溯控制作出明顯反應(yīng)?；诋a(chǎn)生式規(guī)則表示法的特點，它適用于領(lǐng)域知識可分解表示為一系列不相關(guān)的求解操作，如經(jīng)典的分類學(xué)。也適用于依賴大量經(jīng)驗知識、知識較雜且缺乏深層知識的系統(tǒng)。2.5 框架表示法研究發(fā)現(xiàn)，人們大腦中的經(jīng)驗知識往往是用數(shù)據(jù)結(jié)構(gòu)形式存儲的，這種表示某種固定狀態(tài)（事物、動作、推測、）的一種數(shù)據(jù)結(jié)構(gòu)稱為框架?？蚣鼙硎痉ㄊ且环N描述范圍較廣、存放描述信息較多的知識表示方法。一、框架表示法的一般形式框架名 槽名1 （值111，值112，） （值121，值122，）槽名2 （值211，值212，） （值221，值222，）槽名n （值n11，值n1

17、2，） （值n21，值n22，）說明：(1) 槽、側(cè)面、值可以有任意有限個數(shù)目，可根據(jù)需要設(shè)置。(2) 每個槽可以填入不同類型的值，設(shè)計者可根據(jù)需要確定，它可以是數(shù)值、文字、二值邏輯的真或假，也可以是一個子框架?？蚣鼙硎痉ㄊ且粋€分層次的結(jié)構(gòu)。相關(guān)框架的繼承與嵌套組成一個框架系統(tǒng)。它可以把某種行為、概念、觀點及事物間的因果關(guān)系表示出來。當(dāng)事實與原來的不一致時，也可以很容易地進(jìn)行修改。二、框架表示法應(yīng)用舉例：一個電廠的框架框架1名稱火電廠類別火電廠所屬電力系統(tǒng)額定參數(shù)容量MW電壓等級kV，kV，kV設(shè)備狀況鍋爐數(shù)汽機數(shù)發(fā)電機數(shù)主變數(shù)狀態(tài)運行/擴(kuò)建/停運框架2名稱220kV母線類別電氣所屬火電廠額定

18、參數(shù)斷路器型號接線形式冷卻方式電壓kV保護(hù)差動保護(hù)，母聯(lián)過流保護(hù)，領(lǐng)域正母/副母/旁路狀態(tài)運行/停役/部分檢修方式雙母并聯(lián)/雙母分段/單母/雙母帶旁路框架3名稱220kV正母線類別電氣所屬母線聯(lián)絡(luò)設(shè)備線路線主變主變其他運行狀態(tài)運行/充電/停運/檢修三、框架表示法的特點：1框架是一個分層次的嵌套式結(jié)構(gòu)?？捎蓽\入深地描述問題。這種有層次的結(jié)構(gòu)不僅有利于查詢、檢索，而且可以避免存儲重復(fù)的內(nèi)容、節(jié)省大量的存儲量。2每個框架是相對獨立的數(shù)據(jù)結(jié)構(gòu)，呈模塊形式，便于修改、增刪、擴(kuò)充。3利用框架系統(tǒng)的互相調(diào)用形式，可以方便地調(diào)用其他應(yīng)用程序，能和其他表示方法結(jié)合起來，以提高系統(tǒng)的工作效率。2.6 謂詞邏輯表示

19、法謂詞邏輯是一種最早用在人工智能領(lǐng)域的描述知識的方法之一。它能精確地表達(dá)人類的思維和推理，其表達(dá)形式和人類語言也非常接近。一、謂詞邏輯的一些概念1謂詞和個體變量謂詞邏輯是一種用句子的內(nèi)部結(jié)構(gòu)（主、謂詞）為基本符號來研究人的思維規(guī)律的數(shù)理邏輯。如“張比王小”，用謂詞表示為LITTLE(Zhang, Wang)其中大寫英文詞LITTLE（也可以用一個字母）表示謂詞比小；括弧及里面的字(Zhang, Wang)表示主語（次序不能顛倒）。謂詞邏輯的一般形式為P(x1, x2, xi, xn), i=1, 2, , n其中P稱為謂詞，用來刻劃個體的性質(zhì)或關(guān)系；xi稱為個體變量（又稱變元），它表示獨立存在

20、的事物，可以是一個抽象的概念，也可以是一個具體的事物。個體域：個體變元的變化范圍，可以是有限的，也可以是無限的。謂詞的元數(shù)：個體變元的數(shù)目。一元謂詞，多元謂詞。謂詞賦值：將P賦予確定的含義，xi代表確定的個體。謂詞的真值：真、假。2聯(lián)結(jié)詞在謂詞邏輯中，P(x1, x2, xi, xn)叫原子謂詞公式（簡稱謂詞公式），用P(x)表示。原子公式可以通過“聯(lián)結(jié)詞”構(gòu)成謂詞合式公式。在謂詞邏輯中定義了五種聯(lián)結(jié)詞：(1) 否定聯(lián)結(jié)詞乛：用來否定原來的謂詞。如：“乛P”表示P的否定，即“非P”。(2) 合取聯(lián)結(jié)詞：用來表示并列的復(fù)合句子。如：“PQ”表示P和Q的合取，即“P與Q”。(3) 析取聯(lián)結(jié)詞：用來

21、表示可兼有的或。如：“PQ”表示P和Q的析取，即“P或Q”。(4) 條件聯(lián)結(jié)詞：表示“如果那么”的詞句。如：“PQ”表示P是Q的條件，即“若P，則Q”。(5) 雙條件聯(lián)結(jié)詞：表示兩個謂詞互為條件。如：“PQ”表示P和Q相互作為條件，即“若P，則Q；若Q，則P”，亦即“P當(dāng)且僅當(dāng)Q”?？梢杂谩罢嬷当怼钡姆椒▉肀砻髀?lián)結(jié)詞的功能。五種聯(lián)結(jié)詞及其功能如表2-1所示。表2-1 聯(lián)結(jié)詞及其功能PQ乛PPQPQPQPQFFTFFTTFTTFTTFTFFFTFFTTFTTTT3量詞有些原子公式P(x)對個體域中所有個體變元都具有T值，但有些則不然。在數(shù)理邏輯中用量詞來表示這個特點。1) 全稱量詞“()”，讀作

22、“對于所有的x”。()P(x)表示“對于個體域中所有的個體x，謂詞P(x)均為T”。2) 存在量詞“()”，讀作“存在x”。()P(x)表示“在個體域中存在某些個體x，使謂詞P(x)為T”。4謂詞合式公式（又稱謂詞公式）原子公式和聯(lián)結(jié)詞及量詞一起可以組成謂詞合式公式。定義如下：1） 原子謂詞公式是合式公式。2） 若A是合式公式，則乛A是合式公式。3） 若A和B都是合式公式，則（AB），（AB），（AB）和（AB）都是合式公式。4） 如果A是合式公式，x是A中出現(xiàn)的任何變元，則()A(x)和()A(x)都是合式公式。5） 只有經(jīng)過有限次地應(yīng)用規(guī)則(1)(4)所得到的公式是合式公式。由此可見，謂詞

23、公式是由原子謂詞公式、聯(lián)結(jié)詞、量詞以及圓括弧按照上述規(guī)則組成的一個符號串。例如：“所有發(fā)電機的母線電壓大于、等于1.05時，應(yīng)減少發(fā)電機勵磁”可改寫成：“對于所有發(fā)電機，如果其母線電壓1.05，則減少發(fā)電機勵磁”。其謂詞公式是：()(Voltage(x, bus)GE(Voltage, 1.05) Decreased(x, excitation)個體變元類型：約束變元：被量詞所約束的個體變元。自由變元：未被量詞所約束的個體變元。5謂詞演算的等價式和蘊含式l 等價：當(dāng)兩個謂詞公式在其共同的個體域E上，當(dāng)PQ是永真時。記作PQ。l 蘊含：當(dāng)兩個謂詞公式在其共同的個體域E上，當(dāng)PQ是永真時。記作PQ

24、。在謂詞公式的演算過程中，常用的等價式和蘊含式參見教材P24P25。二、謂詞邏輯表示法應(yīng)用舉例1用謂詞邏輯表示狀態(tài)問題的狀態(tài)往往是一個或一批事實，它可以用一個或一組語句來描述，因此可用一個或幾個謂詞公式的合取來表示。例：用謂詞公式表示變電所中負(fù)荷的供電狀態(tài)。接線圖見圖2-4。分析：只有在母線帶電，斷路器、隔離開關(guān)1、隔離開關(guān)2均在合位時，負(fù)荷才能供電。圖2-4 接線圖謂詞公式：LINK(Switch1, Bus)LINK(Breaker, Switch1)LINK(Switch2, Breaker)LIVE(Bus)CLOSE(Breaker)CLOSE(Switch1)CLOSE(Switc

25、h2)2用謂詞邏輯表示操作操作由條件和動作兩部分組成。用謂詞邏輯表示操作時，條件可以寫成若干語句的合成。當(dāng)狀態(tài)的事實使它們都為真時，該操作可以被選用。動作則表示操作。例：用謂詞公式表示拉開刀閘1的操作。操作：OPEN_SWITCH(Switch1)條件：LINK(Switch1, Bus)LINK(Breaker, Switch1)OPEN(Breaker)CLOSE(Switch1)操作后應(yīng)刪去CLOSE(Switch1)，增加OPEN(Switch1)。三、謂詞邏輯表示法的特點1優(yōu)點(1) 嚴(yán)格性：可以保證其演繹推理結(jié)果的正確性，可以較精確地表達(dá)知識。(2) 通用性：擁有通用的邏輯演算的方法和推理的規(guī)則。(3) 自然性：謂詞邏輯是一種接近于自然語言的形式語言。(4) 模塊性：一個謂詞可獨立地插入知識庫、數(shù)據(jù)庫，因此便于計算機實現(xiàn)推理的機械化、自動化。2缺點(1) 效率低：由于推理是根據(jù)形式邏輯進(jìn)行的，把推理演算與知識含義截然分開。(2) 靈活性差：不便于表達(dá)和加入啟發(fā)性知識及元知識。2.7 語義網(wǎng)絡(luò)表示法語義網(wǎng)絡(luò)表示法是以網(wǎng)絡(luò)格式表示人類知識的一種形式，是一種基于廣義圖的表示方法。一、語義網(wǎng)絡(luò)的概念語義網(wǎng)絡(luò)是通過概念及其語義關(guān)系表示知識的一種網(wǎng)絡(luò)圖。