人工智能知識(shí)表示課件

1、第四章 知識(shí)表示概述表示方法第四章 知識(shí)表示概述表示方法概述 - 4.1 基本概念人工智能研究中最基本的問(wèn)題之一在知識(shí)處理中總要問(wèn)到：“如何表示知識(shí)？”，“知識(shí)是用什么來(lái)表示的?”。怎樣使機(jī)器能懂，能對(duì)之進(jìn)行處理，并能以一種人類能理解的方式將處理結(jié)果告訴人們。 在AI系統(tǒng)中，給出一個(gè)清晰簡(jiǎn)潔的描述是很困難的。有研究報(bào)道認(rèn)為。嚴(yán)格地說(shuō)AI對(duì)知識(shí)表示的認(rèn)真、系統(tǒng)的研究才剛剛開始。 概述知識(shí)的定義（難以給出明確的定義只能從不同側(cè)面加以理解）Feigenbaum：知識(shí)是經(jīng)過(guò)削減、塑造、解釋和轉(zhuǎn)換 的信息。Bernstein：知識(shí)是由特定領(lǐng)域的描述、關(guān)系和過(guò)程 組成的。 Hayes-roth：知識(shí)是事實(shí)

2、、信念和啟發(fā)式規(guī)則。 知識(shí)庫(kù)的觀點(diǎn)：知識(shí)是某領(lǐng)域中所涉及的各有關(guān)方 面的一種符號(hào)表示。 概述知識(shí)的定義說(shuō)明 指定確定不確定具體一般有效性范圍目標(biāo)Hayes-roth：知識(shí)的三維空間表示：知識(shí)的三維空間表示概述知識(shí)的分類事實(shí)性知識(shí)：采用直接表示的形式如：凡是猴子都有尾巴過(guò)程性知識(shí)：描述做某件事的過(guò)程如：電視維修法行為性知識(shí)：不直接給出事實(shí)本身，只給出它在某方面的行為如：微分方程、（事物的內(nèi)涵）.概述知識(shí)的分類.實(shí)例性知識(shí)：只給出一些實(shí)例，知識(shí)藏在實(shí)例中。類比性知識(shí): 即不給出外延，也不給出內(nèi)涵，只給出它與其它事物的某些相似之處 如：比喻、謎語(yǔ) 元知識(shí)：有關(guān)知識(shí)的知識(shí)。最重要的元知識(shí)是如何使用知識(shí)

3、的知識(shí)，如何從知識(shí)庫(kù)中找到想要的知識(shí)。 概述知識(shí)的要素事實(shí)：事物的分類、屬性、事物間關(guān)系、科學(xué)事實(shí)、客觀事實(shí)等。（最低層的知識(shí)） 規(guī)則：與事物的行動(dòng)、動(dòng)作相聯(lián)系的因果關(guān)系知識(shí)。（啟發(fā)式規(guī)則）?？刂疲寒?dāng)有多個(gè)動(dòng)作同時(shí)被激活時(shí)，選擇哪一個(gè)動(dòng)作來(lái)執(zhí)行的知識(shí)。（技巧性） 元知識(shí)：高層知識(shí)。怎樣使用規(guī)則、解釋規(guī)則、校驗(yàn)規(guī)則、解釋程序結(jié)構(gòu)等知識(shí)。 概述知識(shí)表示的定義知識(shí)表示是研究用機(jī)器表示知識(shí)的可行性、有效性的一般方法，是數(shù)據(jù)結(jié)構(gòu)與系統(tǒng)控制結(jié)構(gòu)的統(tǒng)一。 知識(shí)表示是理智推理的部分理論。 知識(shí)表示是有效計(jì)算的載體知識(shí)表示是交流的媒介（如語(yǔ)義網(wǎng)絡(luò)）概述知識(shí)表示的定義知識(shí)表示是對(duì)知識(shí)的一種描述、一組約定、一種計(jì)算

4、機(jī)可以接受的數(shù)據(jù)結(jié)構(gòu)；是知識(shí)的符號(hào)化過(guò)程。知識(shí)表示的主要問(wèn)題是：設(shè)計(jì)各種數(shù)據(jù)結(jié)構(gòu)，研究表示與控制的關(guān)系、表示與推理的關(guān)系；表示與所表示領(lǐng)域的關(guān)系。概述選取知識(shí)表示的因素表示范圍是否廣泛是否適于推理是否適于計(jì)算機(jī)處理是否有高效的算法能否表示不精確知識(shí)能否模塊化總之 知識(shí)和元知識(shí)能否用統(tǒng)一 的形式表示是否加入啟發(fā)信息過(guò)程性表示還是說(shuō)明性表示表示方法是否自然概述選取知識(shí)表示的因素.總之，人工智能問(wèn)題的求解是以知識(shí)表示為基礎(chǔ)的。如何將已獲得的有關(guān)知識(shí)以計(jì)算機(jī)內(nèi)部代碼形式加以合理地描述、存儲(chǔ)、有效地利用便是表示應(yīng)解決的問(wèn)題。 概述研究?jī)?nèi)容表示觀的研究：認(rèn)識(shí)論、本體論、知識(shí)工程表示方法的研究：直接法、代替

5、法(局部、分布，.) 概述知識(shí)表示研究的特點(diǎn)智能行為特有的靈活性?！俺ＷR(shí)問(wèn)題”不能概括為一類簡(jiǎn)潔的理論，是大量小理論的集合。 AI的任務(wù)受到計(jì)算裝置的約束。這導(dǎo)致了所采用的“表示”必須同時(shí)滿足“刻畫智能現(xiàn)象”與“計(jì)算裝置可以接受”，這兩個(gè)有時(shí)是矛盾的條件。 第四章 知識(shí)表示概述表示方法第四章 知識(shí)表示概述表示方法表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法 n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒?概述表示方法可

6、以分成2類替代表示法局部表示類：最充分也是正統(tǒng)AI最經(jīng)常使用的分布表示法：對(duì)局部表示法在智能行為表述尚不夠充分而作的補(bǔ)充。直接表示法：正在引起越來(lái)越多AI研究者的注意。不可完全獨(dú)立：考慮到“任何表示方法必須被計(jì)算機(jī)所接受” 這個(gè)先決條件，直接表示需要借助局部或部分表示形式。 表示方法 概述表示方法分布表示局部表示陳述性表示過(guò)程性表示語(yǔ)義網(wǎng)絡(luò)表示產(chǎn)生式表示邏輯表示框架表示腳本表示替代表示直接表示表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳

7、本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒?直接表示1963年由Gelernter提出的。用于基于傳統(tǒng)歐氏幾何證明的幾何定理證明器。它的輸入是對(duì)前提和目標(biāo)的陳述以及圖示（圖示是用一系列坐標(biāo)來(lái)表示的）。在證明過(guò)程中，證明器把圖示作為啟發(fā)式信息，排除在圖示中不正確的子目標(biāo)。從而大大地減少了搜索空間。 但.表示方法 直接表示1963年由Gelernter提出的。用于基于傳統(tǒng)歐氏幾何證明的幾何定理證明器。它的輸入是對(duì)前提和目標(biāo)的陳述以及圖示（圖示是用一系列坐標(biāo)來(lái)表示的）。在證明過(guò)程中，證明器把圖示作為啟發(fā)式信息，排除在圖示中不正確的子目標(biāo)。從而大大地減少了搜索空間。 但.表示方法

8、 直接表示但，長(zhǎng)期以來(lái)直接表示沒有得到長(zhǎng)足發(fā)展。原因如下：計(jì)算機(jī)對(duì)直接表示的信息難以處理。直接表示難以表示定量信息（語(yǔ)言設(shè)計(jì)失?。┲苯颖硎静荒苊枋鲎匀皇澜绲娜啃畔?這兩年直接表示有所發(fā)展，因?yàn)?，現(xiàn)在認(rèn)識(shí)到，可以用其它媒體表示的方法去補(bǔ)充直接表示的不足。將被發(fā)展成多媒體。 引申的研究是臨場(chǎng)AI與臨境技術(shù)。近幾年AI對(duì)自主智能系統(tǒng)研究（完全機(jī)器做人不干預(yù)）的失望，導(dǎo)致對(duì)建立人機(jī)一體智能系統(tǒng)的嘗試。這樣系統(tǒng)所需環(huán)境的要求是直接表示興起的原因之一。表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿?/p>

9、表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒?一階謂詞邏輯表示法一階謂詞邏輯是謂詞邏輯中最直觀的一種邏輯。它以謂詞形式來(lái)表示動(dòng)作的主體、客體。客體可以多個(gè)。謂詞邏輯規(guī)范表達(dá)式：P ( x1, x2, x3, )， 這里P是謂詞, xi是主體與客體。表示方法 一階謂詞邏輯表示法例：王的職業(yè)為教師。 設(shè)謂詞P(x,a) P(Wang,Teacher)所有男性年齡大于60歲則退休。 設(shè)謂詞A(y,b) , G(x,y) , S(z,c) ,R(t) ( u)S(u,male) ( x)A(u,x) G(x,60) R(u)表示方法

10、 邏輯表示法例：兔子F(x)比烏龜G(y)跑得快H(x,y) ( x)( y)(F(x) G(y) H(x,y)有的兔子比所有烏龜跑得快 ( x)F(x) ( y)(G(y) H(x,y)并不是所有的兔子都比烏龜跑得快 ( x)( y)(F(x) G(y) H(x,y)不存在跑得一樣快L(x,y)的兩子兔子 ( x)( y)(F(x) G(y) L(x,y)表示方法 邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一，其原因是：謂詞邏輯與數(shù)據(jù)庫(kù)，特別是關(guān)系數(shù)據(jù)庫(kù)就有密切的關(guān)系。 一階謂詞邏輯具有完備的邏輯推理算法。謂詞邏輯本身具有比較扎實(shí)的數(shù)學(xué)基礎(chǔ)，知識(shí)的表達(dá)方式?jīng)Q定了系統(tǒng)的主要結(jié)構(gòu)。邏輯推理是公理集合

11、中演繹而得出結(jié)論的過(guò)程。表示方法 邏輯表示法存在問(wèn)題：謂詞表示越細(xì)，推理越慢、效率越低，但表示清楚。實(shí)際中是要折衷的。表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒?4.2 產(chǎn)生式規(guī)則表示法美國(guó)數(shù)學(xué)家Post，1943年提出了一種計(jì)算形式體系里所使用的術(shù)語(yǔ)。主要是使用類似文法的規(guī)則，對(duì)符號(hào)串做替換運(yùn)算。這就是最早的一個(gè)產(chǎn)生式系統(tǒng)。到了60年代，產(chǎn)生式系統(tǒng)成為認(rèn)知心理學(xué)研究人類

12、心理活動(dòng)中信息加工過(guò)程的基礎(chǔ)，由此心理學(xué)家認(rèn)為，人腦對(duì)知識(shí)的存儲(chǔ)就是產(chǎn)生式形式。因此，用它來(lái)建立人類認(rèn)知模型。到目前為止，產(chǎn)生式系統(tǒng)已發(fā)展成為人工智能系統(tǒng)中最典型最普遍的一種結(jié)構(gòu)。產(chǎn)生式表示方法是專家系統(tǒng)的第一選擇的知識(shí)表達(dá)方式。表示方法產(chǎn)生式規(guī)則表示法表示形式（事實(shí)）一般用三元組（對(duì)象，屬性，值）或 （關(guān)系，對(duì)象1，對(duì)象2）例：（Lee, Age, 35）, (Friend, Lee, Chang)表示方法產(chǎn)生式規(guī)則表示法表示形式（規(guī)則）：每個(gè)規(guī)則分左邊右邊。 If 條件 then 結(jié)論/動(dòng)作如：天上下雨 地上濕 該動(dòng)物有毛發(fā) 該動(dòng)物是哺乳動(dòng)物 一般左邊表示情況，即什么條件。發(fā)生時(shí)產(chǎn)生式被調(diào)

13、用。通常用匹配方法和式情況。匹配成功時(shí)，執(zhí)行右邊規(guī)定的動(dòng)作。蘊(yùn)含式與產(chǎn)生式的區(qū)別： 表示方法產(chǎn)生式規(guī)則表示法蘊(yùn)含式與產(chǎn)生式的區(qū)別： 蘊(yùn)含式只能表示精確知識(shí)，而產(chǎn)生式不僅可以表示精確知識(shí)，而且還可以表示不精確知識(shí)。用產(chǎn)生式表示知識(shí)的系統(tǒng)中，決定一條知識(shí)是否可用是匹配，且匹配可以是精確的，也可以是不精確的；但對(duì)謂詞邏輯的蘊(yùn)含式匹配總要求是精確的。 蘊(yùn)含式是產(chǎn)生式的一種特殊情況表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本特征： 知識(shí)庫(kù)：一組規(guī)則，即產(chǎn)生式本身，包括事實(shí)和啟發(fā)式知識(shí)。推理機(jī)：一組程序，控制、協(xié)調(diào)整個(gè)系統(tǒng)。利用知識(shí)庫(kù)中的知識(shí)，按一定的推理策略去解決問(wèn)題。 構(gòu)成產(chǎn)生式系統(tǒng)基本結(jié)構(gòu) 表示方法產(chǎn)生

14、式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)： 產(chǎn)生式系統(tǒng)一般結(jié)構(gòu) 知識(shí)庫(kù)推理機(jī)知識(shí)工程師知識(shí)工程師領(lǐng)域?qū)＜翌I(lǐng)域?qū)＜矣脩舯硎痉椒óa(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的一般結(jié)構(gòu)： 知識(shí)庫(kù)推理機(jī)知識(shí)工程師知識(shí)工程師 領(lǐng)域?qū)＜翌I(lǐng)域?qū)＜矣脩粲脩艚忉屍髦R(shí)獲取黑 板人 機(jī) 接 口表示方法 產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本特征：數(shù)據(jù)庫(kù)（黑板、中間數(shù)據(jù)庫(kù)）：系統(tǒng)在執(zhí)行與推理過(guò)程中用來(lái)存放中間結(jié)果或證據(jù)。 一個(gè)解釋程序：一組程序，負(fù)責(zé)對(duì)推理給出必要的解釋。知識(shí)獲?。簽樾薷暮蛿U(kuò)充知識(shí)庫(kù)的知識(shí)提供手段。 人機(jī)接口：友好的用戶界面。表示方法產(chǎn)生式規(guī)則表示法推理方法正向：由原始數(shù)據(jù)出發(fā)尋找可用的知識(shí)得出結(jié)論。自底向上（bottom-up）

15、 ，事實(shí)驅(qū)動(dòng)方式。反向：先提出假設(shè)，進(jìn)一步尋找支持假設(shè)的證據(jù)。自頂向下（top-down），目標(biāo)驅(qū)動(dòng)方式。雙向：通過(guò)正向推理提出假設(shè)，用反向推理尋找支持。既自底向上、又自頂向下作雙向推理，直至某個(gè)中間界面上兩方向結(jié)果相符便成功結(jié)束。表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C BFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C BFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C B DFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C B DFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A

16、E H G C B D FFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C B D FFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C B D F ZFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法正向推理方法A E H G C B D F ZFB ZCD FA D表示方法產(chǎn)生式規(guī)則表示法反向推理方法A E H G C BFB ZCD FA D目標(biāo)為 Z表示方法產(chǎn)生式規(guī)則表示法反向推理方法A E H G C BFB ZCD FA D目標(biāo)為F表示方法產(chǎn)生式規(guī)則表示法反向推理方法A E H G C BFB ZCD FA D目標(biāo)為D表示方法產(chǎn)生式

17、規(guī)則表示法反向推理方法A E H G C BFB ZCD FA D目標(biāo)為A表示方法產(chǎn)生式規(guī)則表示法反向推理方法A E H G C BFB ZCD FA D目標(biāo)Z確定例：P.157動(dòng)物識(shí)別表示方法產(chǎn)生式規(guī)則表示法動(dòng)物識(shí)別規(guī)則庫(kù):15條規(guī)則產(chǎn)生式系統(tǒng)求解過(guò)程舉例:正向推理:有已知事實(shí),該動(dòng)物有暗斑點(diǎn)、有長(zhǎng)脖子、有長(zhǎng)腿、有奶、有蹄。反向推理：以虎為假設(shè)目標(biāo)進(jìn)行推理。 表示方法產(chǎn)生式規(guī)則表示法推理策略推理的控制策略，即求解問(wèn)題的策略。有推理方向、搜索策略、沖突消解策略、求解策略及限制策略等。推理方向正向推理：由原始數(shù)據(jù)出發(fā)尋找可用的知識(shí)得出新事實(shí)，如此繼續(xù)直至得到結(jié)論。自底向上（bottom-up）

18、，事實(shí)驅(qū)動(dòng)方式。反向推理：先提出假設(shè)，由此出發(fā)，進(jìn)一步尋找支持假設(shè)的證據(jù)，當(dāng)所需證據(jù)與用戶提供原始數(shù)據(jù)相匹配則成功。自頂向下（top-down），目標(biāo)驅(qū)動(dòng)方式。表示方法產(chǎn)生式規(guī)則表示法正向推理過(guò)程n規(guī)則集中的規(guī)則與數(shù)據(jù)庫(kù)中的事實(shí)進(jìn)行匹配，得到匹配的規(guī)則集合。 n從匹配的規(guī)則集合中選擇一條規(guī)則作為使用規(guī)則。 n執(zhí)行使用規(guī)則的后件。將該使用規(guī)則的后件輸入數(shù)據(jù)庫(kù)。 1)重復(fù)進(jìn)行，直到達(dá)到目標(biāo)。表示方法產(chǎn)生式規(guī)則表示法正向推理算法（產(chǎn)生式系統(tǒng)）n斷言一個(gè)事實(shí)n使事實(shí)與某個(gè)規(guī)則的前提相匹配n完成事實(shí)和前提的合一代換n把代換應(yīng)用于規(guī)則的結(jié)論n斷言結(jié)果，并把它應(yīng)用于進(jìn)一步的推理1)重復(fù)1） 5）表示方法產(chǎn)生

19、式規(guī)則表示法正向推理算法流程還有適用知識(shí)還有適用知識(shí)輸入信息輸入信息從從KB中選擇合適知識(shí)中選擇合適知識(shí)新結(jié)果存入數(shù)據(jù)庫(kù)新結(jié)果存入數(shù)據(jù)庫(kù)進(jìn)行推理進(jìn)行推理無(wú)解退出無(wú)解退出有適用知識(shí)有適用知識(shí)DB是否有解是否有解輸出解輸出解結(jié)果是新的結(jié)果是新的YYYYNNNN表示方法產(chǎn)生式規(guī)則表示法設(shè)計(jì)一正向推理系統(tǒng)n能用數(shù)據(jù)庫(kù)（黑板）中的事實(shí)去匹配規(guī)則的前提，若匹配不成功，能自動(dòng)地進(jìn)行下一條規(guī)則的匹配，在匹配時(shí)，采用什么策略等問(wèn)題應(yīng)考慮周到。n若某條規(guī)則匹配成功了，系統(tǒng)能將此規(guī)則的結(jié)論部分自動(dòng)加入數(shù)據(jù)庫(kù)。n能判斷什么時(shí)候結(jié)束推理。n能將匹配成功的規(guī)則記錄下來(lái)。表示方法產(chǎn)生式規(guī)則表示法反向推理過(guò)程n用規(guī)則集中的規(guī)

20、則后件與目標(biāo)事實(shí)進(jìn)行匹配，得到匹配的規(guī)則集合。 n從匹配的規(guī)則集合中選擇一條規(guī)則作為使用規(guī)則。 n把執(zhí)行的使用規(guī)則的前件作為下一個(gè)循環(huán)的目標(biāo)事實(shí) 。 1)重復(fù)進(jìn)行，直到達(dá)到目標(biāo)。表示方法產(chǎn)生式規(guī)則表示法反向推理算法（產(chǎn)生式系統(tǒng)）n 提出獲取事實(shí)（目標(biāo)）的請(qǐng)求n 目標(biāo)和任何已知的事實(shí)都不匹配n 目標(biāo)和一條規(guī)則的結(jié)論匹配n 進(jìn)行目標(biāo)和結(jié)論的合一代換n 將代換應(yīng)用于規(guī)則的前提n 這個(gè)結(jié)論成為系統(tǒng)的新目標(biāo)n 新目標(biāo)將執(zhí)行動(dòng)作n匹配知識(shí)庫(kù)中的事實(shí)n匹配規(guī)則的結(jié)論，以更進(jìn)一步推理n要求用戶回答必要的信息n失敗，原目標(biāo)也失敗n重復(fù)1） 7）表示方法產(chǎn)生式規(guī)則表示法反向推理算法流程問(wèn)用戶問(wèn)用戶有此證據(jù)有此證據(jù)

21、找一個(gè)假設(shè)找一個(gè)假設(shè)此假設(shè)為真此假設(shè)為真結(jié)結(jié) 束束在事實(shí)庫(kù)在事實(shí)庫(kù)有證據(jù)有證據(jù)還有假設(shè)還有假設(shè)YYYYNNNN找出結(jié)論部分找出結(jié)論部分含此假設(shè)的所含此假設(shè)的所有知識(shí)有知識(shí)此假設(shè)為假此假設(shè)為假存入事實(shí)庫(kù)存入事實(shí)庫(kù)選一選一條知條知識(shí)讓識(shí)讓它的它的條件條件作為作為新假新假設(shè)設(shè)表示方法產(chǎn)生式規(guī)則表示法設(shè)計(jì)一反向推理系統(tǒng)n能根據(jù)用戶要求或情況提出假設(shè)。n能驗(yàn)證此假設(shè)是否在數(shù)據(jù)庫(kù)中。n能從知識(shí)庫(kù)中將結(jié)論部分包含此假設(shè)的規(guī)則都找出來(lái)。n能將找出來(lái)的規(guī)則的前提部分取出并作為新假設(shè)逐條驗(yàn)證。n能判斷假設(shè)是否是證據(jù)節(jié)點(diǎn)，若是，能向用戶提出相應(yīng)問(wèn)題并記錄結(jié)果。n能將匹配成功的規(guī)則記錄下來(lái)。1)能判斷何時(shí)應(yīng)結(jié)束推理。

22、表示方法產(chǎn)生式規(guī)則表示法推理方法的選擇推理方法的選擇取決于推理的目標(biāo)和搜索空間的形狀。如果目標(biāo)是從一組給定事實(shí)出發(fā)，找出所有可能的結(jié)論，那么，通常使用正向推理。如果目標(biāo)是證實(shí)或否定某一特定結(jié)論，那么，通常使用反向推理，否則，從一組初始事實(shí)出發(fā)盲目地正向推理，可能得出許多和所要證實(shí)的結(jié)論無(wú)關(guān)的結(jié)論。表示方法產(chǎn)生式規(guī)則表示法推理策略沖突消解策略1規(guī)則排序：規(guī)則的編排順序就是規(guī)則啟用的優(yōu)先級(jí)。專一性排序：若某一規(guī)則的條件部分規(guī)定的情況比另一條規(guī)則的條件部分所規(guī)定的情況更專門，則這條規(guī)則有較高的優(yōu)先級(jí)。就近排序：把最近使用的規(guī)則放在最優(yōu)先的位置。規(guī)模排序：按規(guī)則條件部分復(fù)雜程度排序，越復(fù)雜越優(yōu)先。表示

23、方法產(chǎn)生式規(guī)則表示法推理策略沖突消解策略2數(shù)據(jù)排序：把規(guī)則條件部分的所有條件項(xiàng)按優(yōu)先級(jí)次序組織，可用知識(shí)的次序由這些知識(shí)所含條件按字典排序方法進(jìn)行選擇。上下文限制：按問(wèn)題求解狀態(tài)或新描述的上下文分塊組織知識(shí)庫(kù)，在某一求解狀態(tài)，只能使用相對(duì)應(yīng)組中的知識(shí)。數(shù)據(jù)冗余限制：若知識(shí)的操作產(chǎn)生上下文冗余項(xiàng)時(shí)，則降低該知識(shí)的優(yōu)先級(jí)。表示方法產(chǎn)生式規(guī)則表示法特點(diǎn)用產(chǎn)生式系統(tǒng)結(jié)構(gòu)求解問(wèn)題的過(guò)程和人類求解問(wèn)題時(shí)的思維很相像。因而可以用它來(lái)模擬人類求解問(wèn)題的思維過(guò)程?？梢园旬a(chǎn)生式系統(tǒng)作為人工智能系統(tǒng)的基本結(jié)構(gòu)單元或基本模型看待。就好像是積木世界中的積木塊一樣。因而研究產(chǎn)生式系統(tǒng)的基本問(wèn)題就具有一般意義。表示的格式固

24、定、形式單一、規(guī)則間相互獨(dú)立。所以建立容易；推理方式單純、知識(shí)庫(kù)與推理機(jī)分離，修改方便、容易理解。 表示方法產(chǎn)生式規(guī)則表示法優(yōu)點(diǎn)模塊性。規(guī)則與規(guī)則之間相互獨(dú)立靈活性。知識(shí)庫(kù)易于增加、修改、刪除自然性。方便地表示專家的啟發(fā)性知識(shí)與經(jīng)驗(yàn)透明性。易于保留動(dòng)作所產(chǎn)生的變化、軌跡表示方法產(chǎn)生式規(guī)則表示法缺點(diǎn)：知識(shí)庫(kù)維護(hù)難。 效率低。為了模塊一致性 理解難。由于規(guī)則一致性彼此之間不能調(diào)用。應(yīng)用實(shí)例：用于化工工業(yè)測(cè)定分子結(jié)構(gòu)的DENDRAL用于診斷腦膜炎和血液病毒感染的MYCIN估計(jì)礦藏的PROSPECTOR表示方法語(yǔ)義網(wǎng)絡(luò)表示法舉例表示多元關(guān)系 AC米蘭與國(guó)際米蘭之間的一場(chǎng)球賽比分 0:1。解決方法：將多

25、元關(guān)系轉(zhuǎn)換成一組二元關(guān)系的組合（合取）。即 R(xR(x1 1,x ,x2 2, ,x, ,xn n) ) 轉(zhuǎn)換為 R R1 1(x(x11 11,x ,x1212) ) R R2 2(x(x2121,x ,x2222) ) R R3 3(x(x3131,x ,x3232) ) R Rk k(x(xk1k1,x ,xk2k2) )表示方法語(yǔ)義網(wǎng)絡(luò)表示法 AC米蘭與國(guó)際米蘭之間的一場(chǎng)球賽比分 0:1。 G22Inter-ML 0:1Soccer GameAC-MLIsaScoreHostGuest表示方法語(yǔ)義網(wǎng)絡(luò)表示法舉例(表示連接詞、量詞)合?。翰患幼⑷魏螛?biāo)志。析?。杭幼⑽鋈〗缦?，并記DIS標(biāo)

26、志。否定：直接加注 或或標(biāo)志。例: ISA(A,B) PART_OF(B,C)AB isaCPart-ofDIS表示方法語(yǔ)義網(wǎng)絡(luò)表示法舉例(表示連接詞、量詞)蘊(yùn)涵：用標(biāo)志ANTE和CONSE界限來(lái)表示蘊(yùn)涵關(guān)系的前提和結(jié)論部分。Every one who lives at 37 Maple street is programmer.YXO(X,Y)PersonProgrammerOccupationIsaProfession37-MapleAddressIsaLocWorkerANTECONSE表示特表示特定地址定地址事件事件表示與此表示與此事件相關(guān)事件相關(guān)的人的人,變量變量函數(shù)形函數(shù)形式式,為

27、一為一個(gè)特定個(gè)特定職業(yè)事職業(yè)事件件表示方法語(yǔ)義網(wǎng)絡(luò)表示法舉例(表示連接詞、量詞)存在量詞：直接用ISA鏈。全稱量詞：采用分塊語(yǔ)義網(wǎng)絡(luò)。例: 每一個(gè)教師均掌握一門語(yǔ)言.( x) ( teacher (x) ( y) ( languages (y) know (x,y) )表示方法語(yǔ)義網(wǎng)絡(luò)表示法 每一個(gè)教師均掌握一門語(yǔ)言.( x) ( teacher (x) ( y) ( languages (y) know (x,y) )TeacherKnowLanguagesLKTGGSisaisaisaagentobjectisaFORM S1SA概念節(jié)點(diǎn)概念節(jié)點(diǎn),表示具有表示具有全稱量化全稱量化的一般事的

28、一般事件件(陳述陳述句句)整個(gè)陳述整個(gè)陳述句句,斷言斷言一個(gè)實(shí)例一個(gè)實(shí)例表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理特點(diǎn)不十分明了，有繼承規(guī)則?？梢杂藐P(guān)系如：成員聯(lián)系、特征聯(lián)系、相互作用聯(lián)系、集合聯(lián)系、合成聯(lián)系、因果聯(lián)系、活動(dòng)方式聯(lián)式、活動(dòng)目標(biāo)聯(lián)系、蘊(yùn)含聯(lián)系等。還可以將語(yǔ)義網(wǎng)絡(luò)引入邏輯含義。表示，關(guān)系，是用歸結(jié)推理法。 表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理方式：繼承和匹配繼承：把對(duì)事物的描述從概念節(jié)點(diǎn)或類節(jié)點(diǎn)傳遞到實(shí)例節(jié)點(diǎn)。通過(guò)繼承可以得到所需節(jié)點(diǎn)的一些屬性值，它通常是沿著Isa，AKindof等繼承弧進(jìn)行的。 值繼承 如果需要繼承 默認(rèn)繼承表示方法語(yǔ)義網(wǎng)絡(luò)表示法繼承（例）BRICK_1BRICKBLOCKISAAKO

29、11DensityBLOCK-WEIGHTPROCEDUREWeight(if-needed)Shape(default)CUBElength3表示方法語(yǔ)義網(wǎng)絡(luò)表示法值繼承算法（ 求給定節(jié)點(diǎn)F的S鏈的值）建立一個(gè)由F以及所有和F以ISA鏈相連的類節(jié)點(diǎn)的表，在表中F節(jié)點(diǎn)排在第一個(gè)位置。檢查表中第一個(gè)元素的S鏈中是否有值，直到表為空或找到一個(gè)值。若表中第一個(gè)元素在S鏈中有值，就認(rèn)為找到了一個(gè)值。否則，從表中刪除第一個(gè)元素，并把以AKO鏈和此第一個(gè)元素相連的節(jié)點(diǎn)加入到這個(gè)表的末尾。若找到一個(gè)值，就說(shuō)找到的這個(gè)值是F節(jié)點(diǎn)的S鏈的值，否則宣布失敗。表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理方式：繼承和匹配匹配：根據(jù)待求

30、解問(wèn)題或詢問(wèn)，構(gòu)造一個(gè)語(yǔ)義網(wǎng)絡(luò)片斷，然后查找語(yǔ)義網(wǎng)絡(luò)的知識(shí)庫(kù)，在匹配過(guò)程中，只有當(dāng)片斷中的變量節(jié)點(diǎn)能使得匹配完全成功，它們的值才能被約束。 有時(shí)匹配是不精確的或不能匹配 匹配的盲目搜索是費(fèi)時(shí)的，應(yīng)采用控制策略 表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理方式：繼承和匹配匹配的主要過(guò)程： 根據(jù)問(wèn)題的要求構(gòu)造網(wǎng)絡(luò)片斷，該網(wǎng)絡(luò)片斷中有些結(jié)點(diǎn)或弧為空，標(biāo)記待求解的問(wèn)題。 根據(jù)該語(yǔ)義片斷在知識(shí)庫(kù)中尋找相應(yīng)的信息。當(dāng)待求解的語(yǔ)義網(wǎng)絡(luò)片斷和知識(shí)庫(kù)中的語(yǔ)義網(wǎng)絡(luò)片斷相匹配時(shí)，則與詢問(wèn)處（也就是待求解的地方）相匹配的事實(shí)就是問(wèn)題的解。表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理方式：繼承和匹配匹配舉例 問(wèn): Clyde擁有什么?構(gòu)造語(yǔ)義網(wǎng)絡(luò)片段與知

31、識(shí)庫(kù)中的語(yǔ)義網(wǎng)絡(luò)匹配得到結(jié)論ClydeNest-?Own-?Ownershipisaownerowner表示方法語(yǔ)義網(wǎng)絡(luò)表示法結(jié)論語(yǔ)義網(wǎng)絡(luò)圖的好處是直觀、清晰缺點(diǎn)是表達(dá)范圍有限。如，一旦有十個(gè)結(jié)點(diǎn)，而且各結(jié)點(diǎn)之間又有聯(lián)系，則這個(gè)網(wǎng)絡(luò)就很難辨請(qǐng)了。 表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒?4.4 框架表示法概述1975年 Minsky在論文中提出了框架理論。他從心理學(xué)的

32、證據(jù)出發(fā)，認(rèn)為人的知識(shí)以框架結(jié)構(gòu)記存在人腦中。當(dāng)人們面臨新的情況，或?qū)?wèn)題的看法有重要變化時(shí)，總是從自己的記憶中找出一個(gè)合適的框架，然后根據(jù)細(xì)節(jié)加以修改補(bǔ)充，從而形成對(duì)新觀察到的事物的認(rèn)識(shí)。人類對(duì)于一件事的了解，表現(xiàn)在對(duì)于這件事物的諸方面，即屬性的了解。掌握了事物的屬性，也就有了關(guān)于事物的知識(shí)，知識(shí)表示是從屬性描述開始的。表示方法框架表示法定義：框架是一種描述對(duì)象屬性的數(shù)據(jù)結(jié)構(gòu)。是由若干個(gè)結(jié)點(diǎn)和關(guān)系（統(tǒng)稱為槽）構(gòu)成的網(wǎng)絡(luò)。是語(yǔ)義網(wǎng)絡(luò)的一般化形式的一種結(jié)構(gòu)。同語(yǔ)義網(wǎng)絡(luò)沒有本質(zhì)的區(qū)別。如書上的所示如將語(yǔ)義網(wǎng)絡(luò)結(jié)點(diǎn)間弧上的標(biāo)注也放到槽內(nèi)就成了框架表示形式。組成：由框架(Frame)名、槽(Slot)

33、名、側(cè)面(Aspect)、值(Value)組成表示方法框架表示法表示形式：槽名i：側(cè)面名i1 值i11，值i12 ， ，default: value 側(cè)面名i2 值i21，值i22 ， ，default: value 槽名j：表示某個(gè)概念、對(duì)象或事件表示所論對(duì)象某個(gè)方面的屬性表示相應(yīng)屬性的一個(gè)方面值類型：邏輯型、實(shí)數(shù)型、字符、子程序、框架表示調(diào)用另一個(gè)框架表示方法框架表示法三個(gè)特殊的側(cè)面： defaultdefault：（默認(rèn)值）記載類的個(gè)體相應(yīng)屬性的公共值或典型值，作為缺省值。 if-neededif-needed： （如果需要）在不可能提供統(tǒng)一缺省值的情況下，提供計(jì)算函數(shù)或推理知識(shí)去產(chǎn)生相

34、應(yīng)屬性的一個(gè)值。 if-addedif-added： （如果加入、附加）當(dāng)給類的某個(gè)體的一個(gè)屬性賦值或修改時(shí)，提供計(jì)算函數(shù)或推理知識(shí)去作必要的后繼處理，包括對(duì)其他相關(guān)槽的賦值和修改處理，以及任何需要的附加處理。表示方法框架表示法舉例 汽車 教職員工、教師 事件（災(zāi)害）框架中槽的設(shè)置與組織表示方法框架表示法例例: :關(guān)于汽車的框架關(guān)于汽車的框架Name : Name : Super_class : Super_class : 運(yùn)載工具運(yùn)載工具 Sub_class : Sub_class : 轎車，面包車，客車，貨車轎車，面包車，客車，貨車Wheel_Number : Value_class in

35、t Wheel_Number : Value_class int Value ( default=4 ) Value ( default=4 )Length : Value_class int Length : Value_class int Value Value 表示方法框架表示法例例1: 1:關(guān)于教職工的框架關(guān)于教職工的框架AGE: int 18,60AGE: int 18,60HEALTH: one of (E,G,N,P) (default=N)HEALTH: one of (E,G,N,P) (default=N)RETIRE: if-needed ( if sex=m and a

36、ge60 RETIRE: if-needed ( if sex=m and age60 or sex=w and age55 then R) or sex=w and age55 then R)表示方法框架表示法例例2:2:關(guān)于教師的框架關(guān)于教師的框架ISA:ISA:AGE: if-needed (age=w_year+23)AGE: if-needed (age=w_year+23)LAN:RANGE A SUBSET OF(E,J,F,G,R) LAN:RANGE A SUBSET OF(E,J,F,G,R) (default=E)(default=E) LEVEL one of (E,G

37、,N,P) LEVEL one of (E,G,N,P)ADD: an address (default=)ADD: an address (default=)表示方法框架表示法例例3:3:關(guān)于具體教師的框架關(guān)于具體教師的框架ISA:ISA:NAME: Li-MingNAME: Li-MingSEX: maleSEX: maleAGE: AGE: W_YEAR: 20W_YEAR: 20LAN: RANGE (E,J) LEVEL (G)LAN: RANGE (E,J) LEVEL (G)WORK: teachingWORK: teachingADD: ADD: RELATION: RELAT

38、ION: 表示方法框架表示法事件（災(zāi)害）用框架表示下述報(bào)道的風(fēng)災(zāi)事件事件（災(zāi)害）用框架表示下述報(bào)道的風(fēng)災(zāi)事件【虛擬新華社6月24日電】國(guó)家氣象局命名的“2001年2號(hào)”臺(tái)風(fēng)于昨晚10時(shí)20分在福建福清市登陸。據(jù)專家經(jīng)驗(yàn)，風(fēng)力達(dá)到12級(jí)以上。但中心風(fēng)力的準(zhǔn)確值，有待數(shù)據(jù)處理，目前尚未發(fā)布。此次臺(tái)風(fēng)造成的損失，尚未得到報(bào)告。若需詳細(xì)的損失數(shù)據(jù)，可電詢自然災(zāi)害統(tǒng)計(jì)中心。另?yè)?jù)介紹，事前曾得到國(guó)際氣象組織預(yù)報(bào)，昨天上午有高壓氣旋將于福建登陸。依照國(guó)際慣例將其命名為“飛燕”，我國(guó)也予以承認(rèn)。至于“飛燕”是否就是登陸的“2001年2號(hào)”，尚須另外加以核查。 （提示：分析、概括用下劃線標(biāo)出的要點(diǎn)，經(jīng)過(guò)概念化形

39、成槽、側(cè)面值） 表示方法框架表示法-1ISA: ISA: 臺(tái)風(fēng)名臺(tái)風(fēng)名: value 2001: value 2001年年2 2號(hào)臺(tái)風(fēng)號(hào)臺(tái)風(fēng) if-added if-added 飛燕飛燕時(shí)間時(shí)間: : 年年 2001 2001 月月 6 6 日日 23 23 時(shí)時(shí) 22 22 分分 2020地點(diǎn)地點(diǎn):風(fēng)力風(fēng)力: value NIL default =12: value NIL default =12損失損失: value NIL if-needed ASK: value NIL if-needed ASK表示方法框架表示法推理方法：沒有固定的推理機(jī)理。遵循匹配和繼承的原理。 推理活動(dòng)：填槽：框

40、架中未知的內(nèi)容的槽需要填寫。匹配：根據(jù)已知的事實(shí)尋找合適的框架，并將該內(nèi)容填入槽中。n 推理形式：n默認(rèn)推理：子框架的槽繼承父框架相應(yīng)槽的槽值。n匹配：根據(jù)已知信息，與預(yù)先存儲(chǔ)的框架進(jìn)行匹配，形成假設(shè)，尋找進(jìn)一步的支持。逐槽比較的過(guò)程。表示方法框架表示法性質(zhì)對(duì)事物進(jìn)行描述。而且對(duì)其中某些細(xì)節(jié)做進(jìn)一步描述。則可將其擴(kuò)充為另外一些框架。 如：汽車載貨或人可以通過(guò)它對(duì)一些從感官中沒有直接得到的信息進(jìn)行預(yù)測(cè)，對(duì)于人來(lái)說(shuō)這種功能是很強(qiáng)的。如：一想到桌子就可以想到它腿的形狀與位置。可以在它基礎(chǔ)上進(jìn)行判斷推理?？赏ㄟ^(guò)它來(lái)認(rèn)識(shí)某一類事物。可以通過(guò)一系列實(shí)例來(lái)修正框架對(duì)某些事物的不完整描述。（填充空的框架，修改

41、默認(rèn)值）表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒_本表示法腳本方式是采用一個(gè)專用的框架，用來(lái)表示特定領(lǐng)域的知識(shí)。腳本通過(guò)一些元語(yǔ)作為槽名來(lái)代表要表示的對(duì)象的基本行為。腳本是框架的一種特殊形式，它用一組槽來(lái)描述某些事件的發(fā)生序列，就像電影劇本中的事件序列一樣，故稱為腳本。 表示方法腳本表示法一個(gè)腳本一般由以下各部分組成：開場(chǎng)條件 給出在劇本中描述的事件發(fā)生的前提條件。角色

42、 用來(lái)表示在劇本所描述的事件中可能出現(xiàn)的有關(guān)人物的一些槽。道具 這是用來(lái)表示在劇本所描述的事件中可能出現(xiàn)的有關(guān)物體的一些槽。場(chǎng)景 描述事件發(fā)生的真實(shí)順序，可以由多個(gè)場(chǎng)景組成，每個(gè)場(chǎng)景又可以是其它的劇本。結(jié)果 給出在劇本所描述的事件發(fā)生以后通常所產(chǎn)生的結(jié)果。 表示方法腳本表示法例子 - 關(guān)于餐廳的腳本：表示方法腳本表示法一旦腳本被啟用，則可以應(yīng)用它來(lái)進(jìn)行推理。其中最重要的是運(yùn)用劇本可以預(yù)測(cè)沒有明顯提及的事件的發(fā)生。腳本結(jié)構(gòu)，比起框架這樣的一些通用結(jié)構(gòu)來(lái)，要呆板得多，知識(shí)表達(dá)的范圍也很窄，因此不適用于表達(dá)各種知識(shí)，但對(duì)于表達(dá)預(yù)先構(gòu)思好的特定知識(shí)，如理解故事情節(jié)等，是非常有效的。 表示方法概述直接表

43、示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ㄟ^(guò)程表示法前面的幾種知識(shí)表示方法均是知識(shí)和事實(shí)的一種靜止的表示方法。我們稱這類知識(shí)表示方式為陳述式表達(dá)。它所強(qiáng)調(diào)的是事物所涉及的對(duì)象是什么，是對(duì)事物有關(guān)知識(shí)的靜態(tài)描述，是知識(shí)的一種顯式、說(shuō)明性知識(shí)表達(dá)形式。 說(shuō)明性表示知識(shí)給出事物本身的屬性及事物之間的相互關(guān)系。對(duì)問(wèn)題的解答就隱含在這些知識(shí)之中。而過(guò)程性知識(shí)則給出解決一個(gè)問(wèn)題的具體過(guò)程。 表示方法過(guò)

44、程表示法過(guò)程性知識(shí) 舉例： BR ( Uncle ? y ? z ) GOAL ( Brother ? x y ) GOAL ( Father x z ) INSERT ( Uncle y z ) RETURN對(duì)應(yīng)的說(shuō)明性知識(shí)( x)( y) ( z)( Brother ( x, y ) Father ( x, z ) Uncle ( y, z ) ) 表示方法過(guò)程表示法說(shuō)明性知識(shí)和過(guò)程性知識(shí)相比：說(shuō)明性知識(shí)比較簡(jiǎn)要、清晰、可靠、便于修改。但往往效率低。 過(guò)程性知識(shí)比較直截了當(dāng)，效率高。但由于詳細(xì)地給出了解決過(guò)程，使這種知識(shí)表示顯得復(fù)雜、不直觀、容易出錯(cuò)、不便于修改。 實(shí)際上，說(shuō)明性表示和過(guò)程

45、性表示實(shí)際上沒有絕對(duì)的分界線。因此，任何說(shuō)明性知識(shí)如果要被實(shí)際使用，必須有一個(gè)相應(yīng)的過(guò)程去解釋執(zhí)行它。對(duì)于一個(gè)以使用說(shuō)明性表示為主的系統(tǒng)來(lái)說(shuō)，這種過(guò)程往往是隱含在系統(tǒng)之中，而不是面向用戶。 表示方法過(guò)程表示法知識(shí)過(guò)程性的兩個(gè)含義：含義1：把解決一個(gè)問(wèn)題的過(guò)程描述出來(lái)。可以稱它為解題知識(shí)的過(guò)程表示。 含義2：把客觀事物的發(fā)展過(guò)程用某種方式表示出來(lái)。 在某些情況下，這兩種含義是很難決然分開的。如，任何一個(gè)解題系統(tǒng)的基本構(gòu)成都是一個(gè)數(shù)據(jù)集，一組運(yùn)算符和一個(gè)解釋程序。過(guò)程性知識(shí)使用狀態(tài)來(lái)表示，在狀態(tài)空間運(yùn)作。表示方法過(guò)程表示法過(guò)程式表示定義：過(guò)程式表示就是將有關(guān)某一問(wèn)題領(lǐng)域的知識(shí)連同如何使用這些知識(shí)的

46、方法均隱式地表達(dá)為一個(gè)求解過(guò)程。 它所給出的是事物的一些客觀規(guī)律，表達(dá)的是如何求解問(wèn)題，知識(shí)的描述形式就是程序。所有信息均隱含在程序中效率高、沒有固定形式。 如何描述知識(shí)完全取決定于具體的問(wèn)題。 實(shí)際上的系統(tǒng)都是陳述與過(guò)程觀點(diǎn)的結(jié)合。陳述之中多少包含了過(guò)程方法表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法n框架表示法n腳本方法n過(guò)程表示n混合型知識(shí)表示方法n面向?qū)ο蟮谋硎痉椒ū硎痉椒ɑ旌闲椭R(shí)表示法上述的知識(shí)表示雖各有特點(diǎn)，而且適用的領(lǐng)域也不同。如：謂詞

47、邏輯方法只適用于確定性、陳述性、靜態(tài)性知識(shí)，而對(duì)動(dòng)態(tài)的、變化性、模糊性知識(shí)則很難表示。 產(chǎn)生式規(guī)則方法推理方法太單一，如果前提條件太多，或規(guī)則條數(shù)太多，則推理的速度將慢得驚人。 框架方法表示的知識(shí)橫向關(guān)系不太明確。（縱向從屬繼承關(guān)系很明確）語(yǔ)義網(wǎng)絡(luò)方法表達(dá)的知識(shí)面比較窄。對(duì)于復(fù)雜的、深層次的知識(shí)，就很難用一種知識(shí)表示來(lái)解決問(wèn)題。表示方法混合型知識(shí)表示法根據(jù)需要表示的知識(shí)的特征來(lái)決定用二、三種方式聯(lián)合表示。邏輯與框架：框架里的槽值可以對(duì)應(yīng)與謂詞項(xiàng)。 語(yǔ)義網(wǎng)絡(luò)與框架：結(jié)點(diǎn)對(duì)應(yīng)與框架，結(jié)點(diǎn)的參數(shù)就是框架的槽值。 產(chǎn)生式與框架：框架的槽值對(duì)應(yīng)于一條產(chǎn)生式規(guī)則。 邏輯、產(chǎn)生式和過(guò)程式：產(chǎn)生式兩端以謂詞形式出現(xiàn)“活動(dòng)”是個(gè)過(guò)程。 傳統(tǒng)的人工智能知識(shí)表示方法與神經(jīng)網(wǎng)絡(luò)結(jié)合。 表示方法概述直接表示邏