第四章知識表示概述表示方法第四章知識表示方法概述表示方法概述人工智能研究中最基本的問題之一在知識處理中總要問到：“如何表示知識？”，“知識是用什么來表示的?”。怎樣使機器能懂，能對之進行處理，并能以一種人類能理解的方式將處理結果告訴人們。

在AI系統中，給出一個清晰簡潔的描述是很困難的。有研究報道認為。嚴格地說AI對知識表示的認真、系統的研究才剛剛開始。

概述知識的定義（難以給出明確的定義只能從不同側面加以理解）Feigenbaum：知識是經過消減、塑造、解釋和轉換 的信息。Bernstein：知識是由特定領域的描述、關系和過程 組成的。Hayes-roth：知識是事實、信念和啟發式規則。知識庫的觀點：知識是某領域中所涉及的各有關方 面的一種符號表示。概述知識的種類事實性知識：采用直接表示的形式 如：凡是猴子都有尾巴過程性知識：描述做某件事的過程 如：電視維修法行為性知識：不直接給出事實本身，只給出它在某方面的行為 如：微分方程、（事物的內涵）……..概述知識的種類……..實例性知識：只給出一些實例，知識藏在實例中。類比性知識:即不給出外延，也不給出內涵，只給出它與其它事物的某些相似之處 如：比喻、謎語元知識：有關知識的知識。最重要的元知識是如何使用知識的知識，如何從知識庫中找到想要的知識。概述知識的要素事實：事物的分類、屬性、事物間關系、科學事實、客觀事實等。（最低層的知識）

規則：事物的行動、動作和聯系的因果關系知識。（啟發式規則）。控制：當有多個動作同時被激活時，選擇哪一個動作來執行的知識。（技巧性）

元知識：高層知識。怎樣實用規則、解釋規則、校驗規則、解釋程序結構等知識。概述知識表示的定義知識表示研究用機器表示知識的可行性、有效性的一般方法。知識表示是理智推理的部分理論。知識表示是有效計算的載體知識表示是交流的媒介（如語義網絡）概述選取知識表示的因素表示范圍是否廣泛是否適于推理是否適于計算機處理是否有高效的算法能否表示不精確知識能否模塊化總之………知識和元知識能否用統一的形式表示是否加入啟發信息過程性表示還是說明性表示表示方法是否自然概述選取知識表示的因素………..總之，人工智能問題的求解是以知識表示為基礎的。如何將已獲得的有關知識以計算機內部代碼形式加以合理地描述、存儲、有效地利用便是表示應解決的問題。概述研究內容表示觀的研究： 認識論、本體論、知識工程表示方法的研究：

直接法、代替法(局部、分布，…….)概述知識表示研究的特點智能行為特有的靈活性。“常識問題”不能概括為一類簡潔的理論，是大量小理論的集合。AI的任務受到計算裝置的約束。這導致了所采用的“表示”必須同時滿足“刻畫智能現象”與“計算裝置可以接受”，這兩個有時是矛盾的條件。第四章知識表示方法概述表示方法第四章知識表示方法概述表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法

—概述表示方法可以分成2類替代表示法局部表示類：最充分也是正統AI最經常使用的分布表示法：對局部表示法在智能行為表述尚不夠充分而作的補充。直接表示法： 正在引起越來越多AI研究者的注意。（不可完全獨立：考慮到“任何表示方法必須被計算機所接受”這個先決條件，直接表示需要借助局部或部分表示形式。

表示方法

—概述表示方法直接表示局部表示分布表示陳述性表示過程性表示語義網絡表示產生式表示邏輯表示框架表示腳本表示替代表示表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法

—直接表示1963年由Gelernter提出的。用于基于傳統歐氏幾何證明的幾何定理證明器。它的輸入是對前提和目標的陳述以及圖示（圖示是用一系列坐標來表示的）。在證明過程中，證明器把圖示作為啟發式信息，排除在圖示中不正確的子目標。從而大大地減少了搜索空間。但……..表示方法

—直接表示但，長期以來直接表示沒有得到長足發展。原因如下：計算機對直接表示的信息難以處理。直接表示難以表示定量信息（語言設計失敗）直接表示不能描述自然世界的全部信息

這兩年直接表示有所發展，因為，現在認識到，可以用其它媒體表示的方法去補充直接表示的不足。——將被發展成多媒體。引申的研究是臨場AI與臨境技術。近幾年AI對自主智能系統研究（完全機器做人不干預）的失望，導致對建立人機一體智能系統的嘗試。這樣系統所需環境的要求是直接表示興起的原因之一。表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法—邏輯表示法一階謂詞邏輯是謂詞邏輯中最直觀的一種邏輯。它以謂詞形式來表示動作的主題、客體。客體可以多個。

如：張三與李四打網球（ZhangandLiplaytennis），可寫為：play(Zhang,Li,tennis)

這里謂詞是play，動詞主體是Zhang和Li，而客體是tennis。謂詞邏輯規范表達式：

P(x1,x2,x3,…)，這里P是謂詞,xi是主體與客體。表示方法—邏輯表示法謂詞比命題更加細致地刻畫知識：表達能力強如：北京是個城市，City(x)

把城市這個概念分割出來。把“城市”與“北京”兩個概念連接在一起，而且說明“北京”是“城市”的子概念。（有層）謂詞可以代表變化的情況如：City(北京),真。City(煤球)，假在不同的知識之間建立聯系……….表示方法—邏輯表示法在不同的知識之間建立聯系如：Human(x)→Lawed(x)，人人都受法律管制，x是同一個人。

Commit(x)→Punished(x)，x不一定是人也可以是動物。 而，{[Human(x)→Lawed(x)]→[commit(x)→Punished(x)]}，

意為如果由于某個x是人而受法律管制，則這個人犯了罪就一定要受到懲罰。表示方法—邏輯表示法謂詞邏輯法是應用最廣的方法之一，其原因是：謂詞邏輯與數據庫，特別是關系數據庫就有密切的關系。在關系數據庫中，邏輯代數表達式是謂詞表達式之一。因此，如果采用謂詞邏輯作為系統的理論背景，則可將數據庫系統擴展改造成知識庫。一階謂詞邏輯具有完備的邏輯推理算法。如果對邏輯的某些外延擴展后，則可把大部分的知識表達成一階謂詞邏輯的形式。（知識易表達）………..表示方法

—邏輯表示法謂詞邏輯法是應用最廣的方法之一，其原因是：………..謂詞邏輯本身具有比較扎實的數學基礎，知識的表達方式決定了系統的主要結構。因此，對知識表達方式的嚴密科學性要求就比較容易得到滿足。這樣對形式理論的擴展導致了整個系統框架的發展。邏輯推理是公理集合中演繹而得出結論的過程。由于邏輯及形式系統具有的重要性質，可以保證知識庫中新舊知識在邏輯上的一致性（或通過相應的一套處理過程檢驗）、和所演繹出來的結論的正確性。而其它的表示方法在這點上還不能與其相比。表示方法—邏輯表示法用邏輯（謂詞）表示知識實質上是把人類關于世界的認識變成一個包含個體、函數和謂詞的概念化形式。基本步驟：給出有關世界的個體、函數和謂詞構造一階謂詞公式（集）對公式（集）給出解釋，使該解釋是相應公式（集）的一個模型。表示方法—邏輯表示法為此邏輯表示法在實際人工智能系統上得到應用。

邏輯表示例例：一個房間里，有一機器人Robot，一個積木塊Box，兩個桌子A和B，

怎樣用邏輯法描述從初始狀態到目標狀態的機器人操作過程？先引入謂詞：

Table(A) 表示A是桌子

EmptyHanded(Robot) 機器人Robot雙手空空

At(Robot,A) 表示機器人Robot在A旁

Holds(Robot,Box) 機器人Robot拿著Box On(Box,A) 積木塊Box在A上設定初始狀態：

EmptyHanded(Robot) On(Box,A) Table(A) Table(B)目標狀態是：

EmptyHanded(Robot) On(Box,B) Table(A) Table(B)例（續）

機器人的每個操作的結果所引起的狀態變化，可用對原狀態的增添表和刪除表來表示。如機器人有初始狀態是把Box從A桌移到B桌上，然后仍回到Alcove，這時同初始狀態相比有： 增添表 On（Box，B）

刪除表 On（Box，A）

又如機器人從初始狀態，走近A桌，然后拿起Box。這時同初始狀態相比有： 增添表 At（Robot，A）

Holds（Robot，Box）

刪除表 At（Robot，Alcove） EmptyHanded(Robot) On（Box，A）進一步說，機器人的每一操作還需要先決條件。如機器人拿起A桌上的Box這一操作，先決條件：

On（Box，A）（Box在A上）

At(Robot，A)（機器人在A旁邊）

EmptyHanded（robot）（機器人手空空）例（續）先決條件成立與否的驗證可以使用歸結法。如將初始狀態視作已知條件，而將要驗證的先決條件作為結論，便可使用歸結法了。歸結過程如下：1）At(Robot,A)2）EmptyHanded(Robot)3）On(Box,A)4）Table(A)5）Table(B)6）～On(Box,A)∨～At(Robot,A)∨～EmptyHanded(Robot)（先決條件之否定）7）～At(Robot,A)∨～EmptyHanded(Robot) 3，68)～EmptyHanded(Robot) 1，79)NULL 2，8于是驗證了先決條件的成立。

表示方法—邏輯表示法

存在問題： 謂詞表示越細，推力越慢、效率越低，但表示清楚。實際中是要折衷的。表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法—產生式規則表示法美國數學家Post，1943年提出了一種計算形式體系里所使用的術語。主要是使用類似文法的規則，對符號串做替換運算。這就是最早的一個產生式系統。到了60年代，產生式系統成為認知心理學研究人類心理活動中信息加工過程的基礎，由此心理學家認為，人腦對知識的存儲就是產生式形式。因此，用它來建立人類認知模型。到目前為止，產生式系統已發展成為人工智能系統中最典型最普遍的一種結構。產生式表示方法是專家系統的第一選擇的知識表達方式。表示方法—產生式規則表示法表示形式

事實的表示：可看成是斷言一個語言變量的值或是多個語言變量間的關系的陳述句，語言變量的值或語言變量間的關系可以是一個詞，不一定是數字。例1：香蕉是黃色的。語言變量——香蕉，值——黃色的例2：小李喜歡小莉。語言變量——小李、小莉， 關系值——喜歡一般用三元組（對象，屬性，值）或 （關系，對象1，對象2）例：（Li,Age,25）,(Friend,Li,Chang)表示方法—產生式規則表示法產生式系統的基本特征：

一組規則，即產生式本身。每個規則分左邊右邊。 如：天上下雨→地上濕

→中國的首都是北京 一般左邊表示情況，即什么條件。發生時產生式被調用。通常用匹配方法和式情況。匹配成功時，執行右邊規定的動作。…………表示方法—產生式規則表示法產生式系統的基本特征：…………數據庫 存放的數據是構成產生式的基本元素，又是產生式作用的對象。這里的數據是廣義的常量、變量、多元組謂詞、表、圖像等。往往事實或斷言——知識元一個解釋程序 從匹配成功的規則（可能不止一個）中選出一個加以執行。表示方法—產生式規則表示法產生式系統基本結構推理機數據庫規則庫知識庫產生式系統結構圖

表示方法—產生式規則表示法產生式系統基本結構工作存儲器(數據庫)：存放當前已知的數據，包括推理過程中形成的中間結論。數據是廣義的，可以是常量、多元數組、謂詞、表示結構等。產生式規則：每條產生式規則分為左右兩個部分。左部表示激活該產生式規則的條件，右部表示調用該產生式規則后所作的動作。條件是一組復雜的模式，規則之間的控制也不是語句的傳遞，而且滿足條件的規則被激活但不一定立即執行，取決于產生式系統的沖突消解策略。…….表示方法—產生式規則表示法產生式系統基本結構…….規則解釋程序匹配器：判斷規則條件是否成立。沖突消解器：選擇可調用的規則。解釋器：執行規則的動作。并且在滿足結束條件時終止產生式系統運行。表示方法—產生式規則表示法推理方法： 正向、 反向、 雙向， 與或樹。例：表示方法—產生式規則表示法正向推理方法： 從已知事實出發，逐步推導出最后結論。其推理過程大致是：用工作存儲器中的事實與產生式規則的前提條件進行匹配。按沖突消解策略從匹配的規則中選擇一條規則。執行選中規則的動作（依次）。修改工作存儲器。用更新后的工作存儲器，重復上述工作，直到得出結論或工作存儲器不再發生變化為止。表示方法—產生式規則表示法反向推理方法： 首先提出假設，然后驗證這些假設的真假性，找到假設成立的所有證據或事實。其推理過程大致是：看假設是否存在于工作存儲器中，若在，則假設成立，推理結束。找出結論與此假設匹配的規則。按沖突消解策略從匹配的規則實例中選擇一條規則。將選中的規則的前提條件作為新的假設，重復上述工作，直到假設的真假性被驗證或不存在激活的規則。表示方法—產生式規則表示法雙向推理方法： 即自頂向下、又自底向上作雙向推理，直至某個中間界面上兩方向結果相符便成功結束。

該方法較正向或反向推理所形成的推理網絡小，從而推理效果更高。與或樹.核果梨果蘋果桃果肉乳黃色肉質脆無石細胞外有縱溝果實扁圓果皮有毛李亞科蘋果亞科薔薇科花兩性花托杯形雙子葉綱網狀葉脈雙子葉胚花瓣5枚表示方法—產生式規則表示法推理方法的選擇 推理方法的選擇取決于推理的目標和搜索空間的形狀。如果目標是從一組給定事實出發，找出所有可能的結論，那么，通常使用正向推理。如果目標是證實或否定某一特定結論，那么，通常使用反向推理，否則，從一組初始事實出發盲目地正向推理，可能得出許多和所要證實的結論無關的結論。表示方法—產生式規則表示法特點用產生式系統結構求解問題的過程和人類求解問題時的思維很相像。因而可以用它來模擬人類求解問題的思維過程。可以把產生式系統作為人工智能系統的基本結構單元或基本模型看待。就好像是積木世界中的積木塊一樣。因而研究產生式系統的基本問題就具有一般意義。表示的格式固定、形式單一、規則間相互獨立,所以建立容易；推理方式單純、知識庫與推理機分離，修改方便、容易理解。表示方法—產生式規則表示法優點模塊性。 規則與規則之間相互獨立靈活性。 知識庫易于增加、修改、刪除自然性。 方便地表示專家的啟發性知識與經驗透明性。 易于保留動作所產生的變化、軌跡表示方法—產生式規則表示法缺點：知識庫維護難。效率低。為了模塊一致性。理解難。由于規則一致性彼此之間不能調用。應用實例：用于化工工業測定分子結構的DENDRAL用于診斷腦膜炎和血液病毒感染的MYCIN估計礦藏的PROSPECTOR表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法—語義網絡表示法概述1968年Quillian的博士論文建議用一種語義網絡來描述人對事物的認知，實際上是對人腦功能的模擬。邏輯和產生式表示方法常用于表示有關領域中各個不同狀態間的關系。然而用于表示一個事物同其各個部分間的分類知識就不方便了。槽和填槽表示方法便于表示這種分類知識。這種表示方法包括語義網絡、框架、概念從屬和腳本。語義網絡方法的特點就在于提出了槽和填槽的結構。語義網絡同一階邏輯有相同的能力。多用于自然語言處理。表示方法—語義網絡表示法表示形式每一個要表達的事實用一個“結點”表示，而事實之間的關系用“弧線”表示。即，有向圖表示的三元組，（結點1，弧，結點2）連接而成。表示方法—語義網絡表示法

類屬關系類屬關系是指具體有共同屬性的不同事物間的分類關系、成員關系或實例關系。注：它體現的是“具體與抽象”、“個體與集體”的概念。類屬關系的一個最主要特征是屬性的繼承性，處在具體層的結點可以繼承抽象層結點的所有屬性。常用的屬性有：

A-Kind-of:表示一個事物是另一個事物的一種類型

A-Member-of:表示一個事物是另一個事物的成員

Is-a:表示一個事物是另一個事物的實例類屬關系實例注：在類屬關系中，具體層的結點除了具有抽象層結點的所有屬性外，還可以增加一些自己的個性。

表示方法—語義網絡表示法

包含關系

包含關系也稱為聚類關系，是指具有組織或結構特征的“部分與整體”之間的關系。 注：它和類屬關系的最主要的區別就是包含關系一般不具備屬性的繼承性。 常用的包含關系的有：

Part_of:表示一個事物是另一個事物的一部分

包含關系實例表示方法—語義網絡表示法

屬性關系

屬性關系是指事物和其屬性之間的關系。 常用的屬性的關系有：

Have：表示一個結點具有另一個結點所描述的屬性

Can：表示一個結點能做另一個結點的事情 例：鳥有翅膀

屬性關系實例

表示方法—語義網絡表示法

位置關系

位置關系是指不同事物在位置方面的關系。 常用的位置關系：

Located-on: 一物在另一物之上

Located-at: 一物在何位置

Located-under: 一物在另一物之下

Located-inside: 一物在另一物之中

Located-outside: 一物在另一物之外表示方法—語義網絡表示法

相近關系

相近關系是指不同事物在形狀、內容等方面相似和接近。 常用的相近關系：

Similar-to: 相似

Near-to: 接近

表示方法—語義網絡表示法

時間關系

是指不同事件在其發生時間方面的先后關系。 常用的時間關系有：

Before：表示一個事件在一個事件之前發生

After：表示一個事件在一個事件之后發生。 例如：香港回歸之后，澳門也會回歸了。

表示方法—語義網絡表示法多元邏輯關系 例如AC米蘭隊和國際米蘭隊在一場足球比賽中的成績為0：1，邏輯表示法為SCORE(AC-MILAN,INTER-MILAN,0:1),可以通過加入附加結點的辦法將其改成語義網絡表示法，其根本方法是將多元關系表示成二元關系的組合或合取。本例通過加入附加結點G22。多元邏輯關系語義網絡實例從圖中可以看出，原來的多元關系都變成了G22結點屬性。

例MichealisanemployeeandJackishisboss.SomedayMichealkickedhisboss.語義描述表示方法—語義網絡表示法推理方法網絡匹配：結構上的匹配，包括結點和弧的匹配繼承推理：利用如：成員聯系、特征聯系、相互作用聯系、集合聯系、合成聯系、因果聯系、活動方式聯式、活動目標聯系、蘊含聯系等具有繼承性質的語義聯系建立一些并不一定顯示存在于網絡知識庫中的網絡結構。語義網絡上的推理：網絡上的搜索過程，正向、逆向、雙向。表示方法—語義網絡表示法繼承的一般規則：IFX(AKO)YandY(AKO)ZthenX(AKO)ZIFX(ISA)YandY(AKO)ZthenX(ISA)ZIFX(AKO)YandY(屬性)ZthenX(屬性)ZIFX(ISA)YandY(屬性)ZthenX(屬性)ZIFX(屬性)YandY(AKO)ZthenX(屬性)ZIFX(屬性)YandY(ISA)ZthenX(屬性)Z表示方法—語義網絡表示法推理特點不十分明了，有繼承規則。可以用關系如：成員聯系、特征聯系、相互作用聯系、集合聯系、合成聯系、因果聯系、活動方式聯式、活動目標聯系、蘊含聯系等。還可以將語義網絡引入邏輯含義。表示∧，∨，～關系。用歸結推理法。表示方法—語義網絡表示法結論語義網絡圖的好處是直觀、清晰缺點是表達范圍有限。如，一旦有十個結點，而且各結點之間又有聯系，則這個網絡就很難辨請了。

表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法—框架表示法概述1975年Minsky在論文中提出了框架理論。他從心理學的證據出發，認為人的知識以框架結構記存在人腦中。當人們面臨新的情況，或對問題的看法有重要變化時，總是從自己的記憶中找出一個合適的框架，然后根據細節加以修改補充，從而形成對新觀察到的事物的認識。人類對于一件事的了解，表現在對于這件實物的諸方面，即屬性的了解。掌握了事物的屬性，也就有了關于事物的知識，知識表示是從屬性描述開始的。表示方法—框架表示法定義框架是由若干個結點和關系（統稱為槽）構成的網絡。是語義網絡的一般化形式的一種結構。同語義網絡沒有本質的區別。如書上的所示如將語音網絡結點間弧上的標注也放到槽內就成了框架表示形式。表示形式：由框架名、槽名、側面、值組成推理方法：沒有固定的推理機理。但和語義網絡一樣遵循匹配和繼承的原理。表示方法—框架表示法性質對事物進行描述。而且對其中某些細節做進一步描述。則可將其擴充為另外一些框架。如：汽車載貨或人可以通過它對一些從感官中沒有直接得到的信息進行預測，對于人來說這種功能是很強的。如：一想到桌子就可以想到它腿的形狀與位置。可以在它基礎上進行判斷推理。可通過它來認識某一類事物。可以通過一系列實例來修正框架對某些事物的不完整描述。（填充空的框架，修改默認值）表示方法—框架表示法表示方法—框架表示法簡單框架的例子：

Micheal Gender： man Profession: singer Height: 185cm Weight: 79kg Age: 27表示方法—框架表示法（附加過程）例如，要確定一個人的性別，已匹配的知識庫中的框架為【槽名

Gender NIL Ifneeded ASK Ifadded CHECK】啟動過程如下：

1）如果沒有默認值，ifneeded條件滿足

2）啟動ASK，向用戶查詢并等待輸入

3）若有輸入（ifadded），執行CHECK，檢查輸入的合法性若有默認值而無輸入，則不執行CHECK表示方法—框架表示法框架之間的關系框架也分為類框架和實例框架。通過引入類-超類（AKO）及實例-類（ISA）關系來表示框架之間的包含關系和屬于關系。框架理論將知識看成相互關系的成塊組織。推理方法：匹配：和語義網絡一樣遵循匹配原理。槽計算：繼承（屬性值、屬性、限制）， 附加過程，即附加在數據結構上，啟動時 計算槽值。框架名：<大學>類

屬：<學校>類

型：范圍：（綜合性大學，專科性大學）專

業：默認值：綜合學

院

數：教

學

樓：教工人數：職工人數：學生人數：位

置：（省（直轄市），市）面

積：單位（平方米）框架名：<學校>類屬：<教育機構>類型：范圍：（大學，中學，小學）位置：（省（直轄市），市）面積：單位（平方米）教工人數：學生人數：

框架名：<大學1>

類

屬：<大學>

姓

名：中華醫學大學

專

業：醫學

學

院

數：13

教

學

樓：20

辦

公

樓：40

學生宿舍：20

教工宿舍：60

教工人數：4000

職工人數：5000

學生人數：20000

位

置：北京市

面

積：10000（平方米）

創建時間：2002年4月

教育機構高等教育綜合特殊教育醫學初等教育幼兒園殘疾專科大學小學幼兒教育中國醫學大學藍天幼兒園北京盲人學校框架系統結構

表示方法—框架表示法性質對事物進行描述。而且對其中某些細節做進一步描述。則可將其擴充為另外一些框架。如：汽車載貨或人可以通過它對一些從感官中沒有直接得到的信息進行預測，對于人來說這種功能是很強的。如：一想到桌子就可以想到它腿的形狀與位置。可以在它基礎上進行判斷推理。可通過它來認識某一類事物。可以通過一系列實例來修正框架對某些事物的不完整描述。（填充空的框架，修改默認值）表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法—腳本表示法腳本方式是采用一個專用的框架，用來表示特定領域的知識。腳本通過一些元語作為槽名來表代要表示的對象的基本行為。有些象電影劇本。開場條件

1．

病人有病。

2．

病人的病需要找醫生診治。

3．

病人有錢。

4．

病人能夠去醫院。

角色

病人、醫生、護士。

道具

醫院、掛號室、椅子、

桌子、藥方、藥房、

錢、藥。

場景場景1進入醫院（1）

人走進醫院（2）

病人掛號（3）

病人在椅子上坐下等待看病場景2

看病（1）

病人進入醫生的辦公室（2）

病人向醫生所說病狀（3）

醫生向病人解釋病情（4）

醫生給病人開藥方場景3

交費（1）

病人到交費處（2）

病人遞交藥方（3）

病人交錢（4）

病人取回藥方及收據場景4

取藥（1）

病人到藥房（2）

病人遞交藥方（3）

病人取藥場景5離開（1）

病人離開醫院結果

1．病人看病了，明白了自己的病是怎么回事。

2．病人花了錢，買了藥。

3．醫生付出了勞動。

4．醫院的藥品少了.表示方法—腳本表示法（推理）腳本表使得知識有強烈的因果結構，系統對事件的處理必須是一個動作完成后才能完成另一個。整個過程的啟動取決于開場條件，滿足腳本的開場條件，腳本中的事件才有可能發生。而腳本的結果就是動作完成后的系統結果。由于腳本是以非常固定的形式描述的，在預言一些沒有直接提到的事件方面特別有用。如已知某一腳本適用于所給定的情形，一旦腳本被起用，則可以應用它按照事件發生的順序推理。如果其中的某一個情景的描述發生了跳躍，可以根據腳本的故事情節推斷出整個事件正常進行時所得出的結論。但是如果事件被強行中斷，也就是給定的情節中的某個時間與腳本中的事件不能對應時，則腳本便不能預測被中斷以后的事件。如，上例中，如果醫生說病人沒病，病人就回家了。那么，對于病人所發生的變化；醫院的藥所發生的變化都不能作出推斷。

表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法概述直接表示邏輯表示產生式規則表示法語義網絡表示法框架表示法腳本方法過程表示混合型知識表示方法面向對象的表示方法表示方法—過程表示法前面的幾種知識表示方法均是知識和事實的一種靜止的表示方法。我們稱這類知識表示方式為陳述式表達。它所強調的是事物所涉及的對象是什么，是對事物有關知識的靜態描述，是知識的一種顯式、說明性知識表達形式。說明性表示知識給出事物本身的屬性及事物之間的相互關系。對問題的解答就隱含在這些知識之中。而過程性知識則給出解決一個問題的具體過程。表示方法—過程表示法說明性知識和過程性知識相比：說明性知識比較簡要、清晰、可靠、便于修改。但往往效率低。過程性知識比較直截了當，效率高。但由于詳細地給出了解決過程，使這種知識表示顯得復雜、不直觀、容易出錯、不便于修改。實際上，說明性表示和過程性表示實際上沒有絕對的分界線。因此，任何說明性知識如果要被實際使用，必須有一個相應的過程去解釋執行它。對于一個以使用說明性表示為主的系統來說，這種過程往往是隱含在系統之中，而不是面向用戶。表示方法—過程表示法知識過程性的兩個含義：含義1：把解決一個問題的過程描述出來。可以稱它為解題知識的過程表示。含義2：把客觀事物的發展過程用某種方式表示出來。在某些情況下，這兩種含義是很難決然分開的。如，任何一個解題系統的基本構成都是一個數據集，一組運算符和一個解釋程序。過程性知識使用狀態來表示，在狀態空間運作。表示方法—過程表示法過程式表示定義：過程式表示就是將有關某一問題領域的知識連同如何使用這些知識的方法均隱式地表達為一個求解過程。它所給出的是事物的一些客觀規律，表達的是如何求解問題，知識的描述形式就是程序。所有信息均隱含在程序中——效率高、沒有固定形式。如何描述知識完全取決定于具體的問題。實際上的系統都是陳述與過程觀點的結合。陳述之中多少包含了過程方法。表示方法概述直接表示邏輯表示產生式