《人工智能原理》第四章-知識(shí)表示課件

1、謝謝觀賞第四章 知識(shí)表示概述表示方法12019-6-19謝謝觀賞第四章 知識(shí)表示概述12019-6-19謝謝觀賞第四章 知識(shí)表示方法概述表示方法22019-6-19謝謝觀賞第四章 知識(shí)表示方法概述22019-6-19謝謝觀賞概述人工智能研究中最基本的問(wèn)題之一在知識(shí)處理中總要問(wèn)到：“如何表示知識(shí)？”，“知識(shí)是用什么來(lái)表示的?”。怎樣使機(jī)器能懂，能對(duì)之進(jìn)行處理，并能以一種人類(lèi)能理解的方式將處理結(jié)果告訴人們。 在AI系統(tǒng)中，給出一個(gè)清晰簡(jiǎn)潔的描述是很困難的。有研究報(bào)道認(rèn)為。嚴(yán)格地說(shuō)AI對(duì)知識(shí)表示的認(rèn)真、系統(tǒng)的研究才剛剛開(kāi)始。 32019-6-19謝謝觀賞概述人工智能研究中最基本的問(wèn)題之一32019-

2、6-1謝謝觀賞概述知識(shí)的定義 （難以給出明確的定義只能從不同側(cè)面加以理解）Feigenbaum：知識(shí)是經(jīng)過(guò)消減、塑造、解釋和轉(zhuǎn)換 的信息。Bernstein：知識(shí)是由特定領(lǐng)域的描述、關(guān)系和過(guò)程 組成的。 Hayes-roth：知識(shí)是事實(shí)、信念和啟發(fā)式規(guī)則。 知識(shí)庫(kù)的觀點(diǎn)：知識(shí)是某領(lǐng)域中所涉及的各有關(guān)方 面的一種符號(hào)表示。 42019-6-19謝謝觀賞概述知識(shí)的定義42019-6-19謝謝觀賞概述知識(shí)的種類(lèi)事實(shí)性知識(shí)：采用直接表示的形式如：凡是猴子都有尾巴過(guò)程性知識(shí)：描述做某件事的過(guò)程如：電視維修法行為性知識(shí)：不直接給出事實(shí)本身，只給出它在某方面的行為如：微分方程、（事物的內(nèi)涵）.52019-6

3、-19謝謝觀賞概述知識(shí)的種類(lèi)52019-6-19謝謝觀賞概述知識(shí)的種類(lèi).實(shí)例性知識(shí)：只給出一些實(shí)例，知識(shí)藏在實(shí)例中。類(lèi)比性知識(shí): 即不給出外延，也不給出內(nèi)涵，只給出它與其它事物的某些相似之處 如：比喻、謎語(yǔ) 元知識(shí)：有關(guān)知識(shí)的知識(shí)。最重要的元知識(shí)是如何使用知識(shí)的知識(shí)，如何從知識(shí)庫(kù)中找到想要的知識(shí)。 62019-6-19謝謝觀賞概述知識(shí)的種類(lèi)62019-6-19謝謝觀賞概述知識(shí)的要素事實(shí)：事物的分類(lèi)、屬性、事物間關(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í)：

4、高層知識(shí)。怎樣實(shí)用規(guī)則、解釋規(guī)則、校驗(yàn)規(guī)則、解釋程序結(jié)構(gòu)等知識(shí)。72019-6-19謝謝觀賞概述知識(shí)的要素72019-6-19謝謝觀賞概述知識(shí)表示的定義知識(shí)表示研究用機(jī)器表示知識(shí)的可行性、有效性的一般方法。 知識(shí)表示是理智推理的部分理論。 知識(shí)表示是有效計(jì)算的載體知識(shí)表示是交流的媒介（如語(yǔ)義網(wǎng)絡(luò)）82019-6-19謝謝觀賞概述知識(shí)表示的定義82019-6-19謝謝觀賞概述選取知識(shí)表示的因素表示范圍是否廣泛是否適于推理是否適于計(jì)算機(jī)處理是否有高效的算法能否表示不精確知識(shí)能否模塊化總之 知識(shí)和元知識(shí)能否用統(tǒng)一 的形式表示是否加入啟發(fā)信息過(guò)程性表示還是說(shuō)明性表示表示方法是否自然92019-6-19

5、謝謝觀賞概述選取知識(shí)表示的因素知識(shí)和元知識(shí)能否用統(tǒng)一9201謝謝觀賞概述選取知識(shí)表示的因素.總之，人工智能問(wèn)題的求解是以知識(shí)表示為基礎(chǔ)的。如何將已獲得的有關(guān)知識(shí)以計(jì)算機(jī)內(nèi)部代碼形式加以合理地描述、存儲(chǔ)、有效地利用便是表示應(yīng)解決的問(wèn)題。 102019-6-19謝謝觀賞概述選取知識(shí)表示的因素102019-6-19謝謝觀賞概述研究?jī)?nèi)容表示觀的研究：認(rèn)識(shí)論、本體論、知識(shí)工程表示方法的研究：直接法、代替法(局部、分布，.) 112019-6-19謝謝觀賞概述研究?jī)?nèi)容112019-6-19謝謝觀賞概述知識(shí)表示研究的特點(diǎn)智能行為特有的靈活性?！俺ＷR(shí)問(wèn)題”不能概括為一類(lèi)簡(jiǎn)潔的理論，是大量小理論的集合。 AI的

6、任務(wù)受到計(jì)算裝置的約束。這導(dǎo)致了所采用的“表示”必須同時(shí)滿足“刻畫(huà)智能現(xiàn)象”與“計(jì)算裝置可以接受”，這兩個(gè)有時(shí)是矛盾的條件。 122019-6-19謝謝觀賞概述知識(shí)表示研究的特點(diǎn)122019-6-19謝謝觀賞第四章 知識(shí)表示方法概述表示方法132019-6-19謝謝觀賞第四章 知識(shí)表示方法概述132019-6-19謝謝觀賞第四章 知識(shí)表示方法概述表示方法142019-6-19謝謝觀賞第四章 知識(shí)表示方法概述142019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?52019-6-19謝謝觀賞表示方法概

7、述框架表示法152019-6-19謝謝觀賞表示方法 概述表示方法可以分成2類(lèi)替代表示法局部表示類(lèi)：最充分也是正統(tǒng)AI最經(jīng)常使用的分布表示法：對(duì)局部表示法在智能行為表述尚不夠充分而作的補(bǔ)充。直接表示法：正在引起越來(lái)越多AI研究者的注意。（不可完全獨(dú)立：考慮到“任何表示方法必須被計(jì)算機(jī)所接受” 這個(gè)先決條件，直接表示需要借助局部或部分表示形式。 162019-6-19謝謝觀賞表示方法 概述表示方法可以分成2類(lèi)162019-6謝謝觀賞表示方法 概述表示方法直接表示局部表示分布表示陳述性表示過(guò)程性表示語(yǔ)義網(wǎng)絡(luò)表示產(chǎn)生式表示邏輯表示框架表示腳本表示替代表示172019-6-19謝謝觀賞表示方法 概述表示

8、方法直接表示局部表示分布表示陳述謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?82019-6-19謝謝觀賞表示方法概述框架表示法182019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?92019-6-19謝謝觀賞表示方法概述框架表示法192019-6-19謝謝觀賞表示方法 直接表示1963年由Gelernter提出的。用于基于傳統(tǒng)歐氏幾何證明的幾何定理證明器。它的輸入是對(duì)前提和目標(biāo)的陳述以及圖示（圖示是用一系列坐標(biāo)來(lái)

9、表示的）。在證明過(guò)程中，證明器把圖示作為啟發(fā)式信息，排除在圖示中不正確的子目標(biāo)。從而大大地減少了搜索空間。 但.202019-6-19謝謝觀賞表示方法 直接表示1963年由Gelernter提謝謝觀賞表示方法 直接表示但，長(zhǎng)期以來(lái)直接表示沒(mé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)的

10、嘗試。這樣系統(tǒng)所需環(huán)境的要求是直接表示興起的原因之一。212019-6-19謝謝觀賞表示方法 直接表示但，長(zhǎng)期以來(lái)直接表示沒(méi)有得到長(zhǎng)足謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?22019-6-19謝謝觀賞表示方法概述框架表示法222019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?32019-6-19謝謝觀賞表示方法概述框架表示法232019-6-19謝謝觀賞表示方法 邏輯表示法一階謂詞邏輯是謂詞邏輯中最直觀的一

11、種邏輯。它以謂詞形式來(lái)表示動(dòng)作的主題、客體。客體可以多個(gè)。如：張三與李四打網(wǎng)球（Zhang and Li play tennis），可寫(xiě)為：play (Zhang, Li, tennis)這里謂詞是play，動(dòng)詞主體是Zhang和 Li，而客體是tennis。謂詞邏輯規(guī)范表達(dá)式：P ( x1, x2, x3, )， 這里P是謂詞, xi是主體與客體。242019-6-19謝謝觀賞表示方法 邏輯表示法一階謂詞邏輯是謂詞邏輯中最直觀謝謝觀賞表示方法 邏輯表示法謂詞比命題更加細(xì)致地刻畫(huà)知識(shí)： 表達(dá)能力強(qiáng)如：北京是個(gè)城市， City(x)把城市這個(gè)概念分割出來(lái)。把“城市” 與“北京”兩個(gè)概念連接在一起

12、，而且說(shuō)明“北京”是“城市”的子概念。（有層） 謂詞可以代表變化的情況如：City(北京),真。 City(煤球)，假在不同的知識(shí)之間建立聯(lián)系.252019-6-19謝謝觀賞表示方法 邏輯表示法謂詞比命題更加細(xì)致地刻畫(huà)知識(shí)：謝謝觀賞表示方法 邏輯表示法在不同的知識(shí)之間建立聯(lián)系如：Human(x) Lawed(x)， 人人都受法律管制，x是同一個(gè)人。Commit(x) Punished(x)， x不一定是人也可以是動(dòng)物。而，Human(x) Lawed(x)commit(x) Punished(x)，意為如果由于某個(gè)x是人而受法律管制，則這個(gè)人犯了罪就一定要受到懲罰。262019-6-19謝謝觀

13、賞表示方法 邏輯表示法在不同的知識(shí)之間建立聯(lián)系262謝謝觀賞表示方法 邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一，其原因是：謂詞邏輯與數(shù)據(jù)庫(kù)，特別是關(guān)系數(shù)據(jù)庫(kù)就有密切的關(guān)系。在關(guān)系數(shù)據(jù)庫(kù)中，邏輯代數(shù)表達(dá)式是謂詞表達(dá)式之一。因此，如果采用謂詞邏輯作為系統(tǒng)的理論背景，則可將數(shù)據(jù)庫(kù)系統(tǒng)擴(kuò)展改造成知識(shí)庫(kù)。 一階謂詞邏輯具有完備的邏輯推理算法。如果對(duì)邏輯的某些外延擴(kuò)展后，則可把大部分的知識(shí)表達(dá)成一階謂詞邏輯的形式。（知識(shí)易表達(dá)） .272019-6-19謝謝觀賞表示方法 邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一謝謝觀賞表示方法 邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一，其原因是：.謂詞邏輯本身具有比較扎實(shí)

14、的數(shù)學(xué)基礎(chǔ)，知識(shí)的表達(dá)方式?jīng)Q定了系統(tǒng)的主要結(jié)構(gòu)。因此，對(duì)知識(shí)表達(dá)方式的嚴(yán)密科學(xué)性要求就比較容易得到滿足。這樣對(duì)形式理論的擴(kuò)展導(dǎo)致了整個(gè)系統(tǒng)框架的發(fā)展。 邏輯推理是公理集合中演繹而得出結(jié)論的過(guò)程。由于邏輯及形式系統(tǒng)具有的重要性質(zhì)，可以保證知識(shí)庫(kù)中新舊知識(shí)在邏輯上的一致性（或通過(guò)相應(yīng)的一套處理過(guò)程檢驗(yàn)）、和所演繹出來(lái)的結(jié)論的正確性。而其它的表示方法在這點(diǎn)上還不能與其相比。 282019-6-19謝謝觀賞表示方法 邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一謝謝觀賞表示方法 邏輯表示法 用邏輯（謂詞）表示知識(shí)實(shí)質(zhì)上是把人類(lèi)關(guān)于世界的認(rèn)識(shí)變成一個(gè)包含個(gè)體、函數(shù)和謂詞的概念化形式?；静襟E：給出有關(guān)世界的個(gè)

15、體、函數(shù)和謂詞構(gòu)造一階謂詞公式（集）對(duì)公式（集）給出解釋?zhuān)乖摻忉屖窍鄳?yīng)公式（集）的一個(gè)模型。292019-6-19謝謝觀賞表示方法 邏輯表示法 用邏輯（謂詞）表示知識(shí)謝謝觀賞表示方法 邏輯表示法 為此邏輯表示法在實(shí)際人工智能系統(tǒng)上得到應(yīng)用。302019-6-19謝謝觀賞表示方法 邏輯表示法 為此邏輯表示法在實(shí)際人謝謝觀賞邏輯表示例例：一個(gè)房間里，有一機(jī)器人Robot，一個(gè)積木塊Box，兩個(gè)桌子A和B，怎樣用邏輯法描述從初始狀態(tài)到目標(biāo)狀態(tài)的機(jī)器人操作過(guò)程？先引入謂詞：Table(A)表示A是桌子EmptyHanded(Robot)機(jī)器人Robot雙手空空At(Robot,A)表示機(jī)器人Robo

16、t在A旁Holds(Robot,Box)機(jī)器人Robot拿著B(niǎo)oxOn(Box,A)積木塊Box在A上設(shè)定初始狀態(tài)：EmptyHanded(Robot)On(Box,A)Table(A)Table(B)目標(biāo)狀態(tài)是：EmptyHanded(Robot)On(Box,B)Table(A)Table(B)312019-6-19謝謝觀賞邏輯表示例例：一個(gè)房間里，有一機(jī)器人Robot，一個(gè)謝謝觀賞例（續(xù)） 機(jī)器人的每個(gè)操作的結(jié)果所引起的狀態(tài)變化，可用對(duì)原狀態(tài)的增添表和刪除表來(lái)表示。如機(jī)器人有初始狀態(tài)是把Box從A桌移到B桌上，然后仍回到Alcove，這時(shí)同初始狀態(tài)相比有：增添表 On（Box，B）刪除表

17、On（Box，A） 又如機(jī)器人從初始狀態(tài)，走近A桌，然后拿起B(yǎng)ox。這時(shí)同初始狀態(tài)相比有：增添表At（Robot，A）Holds（Robot，Box）刪除表At（Robot，Alcove）EmptyHanded( Robot )On（ Box，A）進(jìn)一步說(shuō)，機(jī)器人的每一操作還需要先決條件。如機(jī)器人拿起A桌上的Box這一操作，先決條件：On（Box，A）（Box在A上）At(Robot，A)（機(jī)器人在A旁邊）EmptyHanded（robot）（機(jī)器人手空空）322019-6-19謝謝觀賞例（續(xù)） 機(jī)器人的每個(gè)操作的結(jié)果所引起的狀態(tài)變化，可謝謝觀賞例（續(xù)）先決條件成立與否的驗(yàn)證可以使用歸結(jié)法。如

18、將初始狀態(tài)視作已知條件，而將要驗(yàn)證的先決條件作為結(jié)論，便可使用歸結(jié)法了。歸結(jié)過(guò)程如下：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，7 9) NULL2，8于是驗(yàn)證了先決條件的成立。 332019-6-19謝謝觀賞例（續(xù)）先決條件成立與否的驗(yàn)證可以使用歸結(jié)法。如將初謝謝觀賞表示方法 邏輯表

19、示法 存在問(wèn)題：謂詞表示越細(xì)，推力越慢、效率越低，但表示清楚。實(shí)際中是要折衷的。342019-6-19謝謝觀賞表示方法 邏輯表示法 342019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?52019-6-19謝謝觀賞表示方法概述框架表示法352019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?62019-6-19謝謝觀賞表示方法概述框架表示法362019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法美國(guó)數(shù)學(xué)家

20、Post，1943年提出了一種計(jì)算形式體系里所使用的術(shù)語(yǔ)。主要是使用類(lèi)似文法的規(guī)則，對(duì)符號(hào)串做替換運(yùn)算。這就是最早的一個(gè)產(chǎn)生式系統(tǒng)。到了60年代，產(chǎn)生式系統(tǒng)成為認(rèn)知心理學(xué)研究人類(lèi)心理活動(dòng)中信息加工過(guò)程的基礎(chǔ)，由此心理學(xué)家認(rèn)為，人腦對(duì)知識(shí)的存儲(chǔ)就是產(chǎn)生式形式。因此，用它來(lái)建立人類(lèi)認(rèn)知模型。到目前為止，產(chǎn)生式系統(tǒng)已發(fā)展成為人工智能系統(tǒng)中最典型最普遍的一種結(jié)構(gòu)。產(chǎn)生式表示方法是專(zhuān)家系統(tǒng)的第一選擇的知識(shí)表達(dá)方式。372019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法美國(guó)數(shù)學(xué)家Post，194謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法表示形式事實(shí)的表示：可看成是斷言一個(gè)語(yǔ)言變量的值或是多個(gè)語(yǔ)言變量間的關(guān)系的陳述句

21、，語(yǔ)言變量的值或語(yǔ)言變量間的關(guān)系可以是一個(gè)詞，不一定是數(shù)字。 例1：香蕉是黃色的。語(yǔ)言變量香蕉，值黃色的 例2：小李喜歡小莉。語(yǔ)言變量小李、小莉， 關(guān)系值喜歡 一般用三元組（對(duì)象，屬性，值）或 （關(guān)系，對(duì)象1，對(duì)象2）例：（Li, Age, 25）, (Friend, Li, Chang)382019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法表示形式382019-6-謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本特征： 一組規(guī)則，即產(chǎn)生式本身。 每個(gè)規(guī)則分左邊右邊。 如：天上下雨 地上濕 中國(guó)的首都是北京一般左邊表示情況，即什么條件。發(fā)生時(shí)產(chǎn)生式被調(diào)用。通常用匹配方法和式情況。匹配成功時(shí)，執(zhí)

22、行右邊規(guī)定的動(dòng)作。392019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本特征： 3謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本特征：數(shù)據(jù)庫(kù)存放的數(shù)據(jù)是構(gòu)成產(chǎn)生式的基本元素，又是產(chǎn)生式作用的對(duì)象。這里的數(shù)據(jù)是廣義的常量、變量、多元組謂詞、表、圖像等。往往事實(shí)或斷言知識(shí)元 一個(gè)解釋程序從匹配成功的規(guī)則（可能不止一個(gè)）中選出一個(gè)加以執(zhí)行。 402019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)的基本特征：40謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)基本結(jié)構(gòu)推理機(jī)數(shù)據(jù)庫(kù)規(guī)則庫(kù)知識(shí)庫(kù)產(chǎn)生式系統(tǒng)結(jié)構(gòu)圖 412019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)基本結(jié)構(gòu)

23、數(shù)據(jù)庫(kù)規(guī)謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)基本結(jié)構(gòu)工作存儲(chǔ)器(數(shù)據(jù)庫(kù))：存放當(dāng)前已知的數(shù)據(jù)，包括推理過(guò)程中形成的中間結(jié)論。數(shù)據(jù)是廣義的，可以是常量、多元數(shù)組、謂詞、表示結(jié)構(gòu)等。產(chǎn)生式規(guī)則：每條產(chǎn)生式規(guī)則分為左右兩個(gè)部分。左部表示激活該產(chǎn)生式規(guī)則的條件，右部表示調(diào)用該產(chǎn)生式規(guī)則后所作的動(dòng)作。條件是一組復(fù)雜的模式，規(guī)則之間的控制也不是語(yǔ)句的傳遞，而且滿足條件的規(guī)則被激活但不一定立即執(zhí)行，取決于產(chǎn)生式系統(tǒng)的沖突消解策略。.422019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)基本結(jié)構(gòu)4220謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)基本結(jié)構(gòu).規(guī)則解釋程序匹配器：判斷規(guī)則條件是否成立

24、。沖突消解器：選擇可調(diào)用的規(guī)則。解釋器：執(zhí)行規(guī)則的動(dòng)作。并且在滿足結(jié)束條件時(shí)終止產(chǎn)生式系統(tǒng)運(yùn)行。432019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法產(chǎn)生式系統(tǒng)基本結(jié)構(gòu)4320謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法推理方法：正向、反向、雙向，與或樹(shù)。例：442019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法推理方法：442019-6謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法正向推理方法：從已知事實(shí)出發(fā)，逐步推導(dǎo)出最后結(jié)論。 其推理過(guò)程大致是：用工作存儲(chǔ)器中的事實(shí)與產(chǎn)生式規(guī)則的前提條件進(jìn)行匹配。按沖突消解策略從匹配的規(guī)則中選擇一條規(guī)則。執(zhí)行選中規(guī)則的動(dòng)作（依次）。修改工作存儲(chǔ)器。用更新后的工作存儲(chǔ)器，重復(fù)上述工

25、作，直到得出結(jié)論或工作存儲(chǔ)器不再發(fā)生變化為止。452019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法正向推理方法：452019謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法反向推理方法：首先提出假設(shè)，然后驗(yàn)證這些假設(shè)的真假性，找到假設(shè)成立的所有證據(jù)或事實(shí)。 其推理過(guò)程大致是：看假設(shè)是否存在于工作存儲(chǔ)器中，若在，則假設(shè)成立，推理結(jié)束。找出結(jié)論與此假設(shè)匹配的規(guī)則。按沖突消解策略從匹配的規(guī)則實(shí)例中選擇一條規(guī)則。將選中的規(guī)則的前提條件作為新的假設(shè)，重復(fù)上述工作，直到假設(shè)的真假性被驗(yàn)證或不存在激活的規(guī)則。462019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法反向推理方法：462019謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法雙

26、向推理方法：即自頂向下、又自底向上作雙向推理，直至某個(gè)中間界面上兩方向結(jié)果相符便成功結(jié)束。 該方法較正向或反向推理所形成的推理網(wǎng)絡(luò)小，從而推理效果更高。472019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法雙向推理方法：472019謝謝觀賞與或樹(shù).核果梨果蘋(píng)果桃果肉乳黃色肉質(zhì)脆無(wú)石細(xì)胞外有縱溝果實(shí)扁圓果皮有毛李亞科蘋(píng)果亞科薔薇科花兩性花托杯形雙子葉綱網(wǎng)狀葉脈雙子葉胚花瓣5枚482019-6-19謝謝觀賞與或樹(shù).核果梨果蘋(píng)果桃果肉肉質(zhì)脆無(wú)石外有果實(shí)果皮李亞謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法推理方法的選擇推理方法的選擇取決于推理的目標(biāo)和搜索空間的形狀。如果目標(biāo)是從一組給定事實(shí)出發(fā)，找出所有可能的結(jié)論

27、，那么，通常使用正向推理。如果目標(biāo)是證實(shí)或否定某一特定結(jié)論，那么，通常使用反向推理，否則，從一組初始事實(shí)出發(fā)盲目地正向推理，可能得出許多和所要證實(shí)的結(jié)論無(wú)關(guān)的結(jié)論。492019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法推理方法的選擇492019謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法特點(diǎn)用產(chǎn)生式系統(tǒng)結(jié)構(gòu)求解問(wèn)題的過(guò)程和人類(lèi)求解問(wèn)題時(shí)的思維很相像。因而可以用它來(lái)模擬人類(lèi)求解問(wèn)題的思維過(guò)程?？梢园旬a(chǎn)生式系統(tǒng)作為人工智能系統(tǒng)的基本結(jié)構(gòu)單元或基本模型看待。就好像是積木世界中的積木塊一樣。因而研究產(chǎn)生式系統(tǒng)的基本問(wèn)題就具有一般意義。表示的格式固定、形式單一、規(guī)則間相互獨(dú)立,所以建立容易；推理方式單純、知識(shí)庫(kù)與推

28、理機(jī)分離，修改方便、容易理解。 502019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法特點(diǎn)502019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法優(yōu)點(diǎn)模塊性。規(guī)則與規(guī)則之間相互獨(dú)立靈活性。知識(shí)庫(kù)易于增加、修改、刪除自然性。方便地表示專(zhuān)家的啟發(fā)性知識(shí)與經(jīng)驗(yàn)透明性。易于保留動(dòng)作所產(chǎn)生的變化、軌跡512019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法優(yōu)點(diǎn)512019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法缺點(diǎn)：知識(shí)庫(kù)維護(hù)難。 效率低。為了模塊一致性。 理解難。由于規(guī)則一致性彼此之間不能調(diào)用。應(yīng)用實(shí)例：用于化工工業(yè)測(cè)定分子結(jié)構(gòu)的DENDRAL用于診斷腦膜炎和血液病毒感染的MYCIN估計(jì)礦藏的PROSP

29、ECTOR522019-6-19謝謝觀賞表示方法產(chǎn)生式規(guī)則表示法缺點(diǎn)：522019-6-1謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?32019-6-19謝謝觀賞表示方法概述框架表示法532019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?42019-6-19謝謝觀賞表示方法概述框架表示法542019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法概述1968年Quillian的博士論文建議用一種語(yǔ)義網(wǎng)絡(luò)來(lái)描述人對(duì)事物的認(rèn)

30、知，實(shí)際上是對(duì)人腦功能的模擬。 邏輯和產(chǎn)生式表示方法常用于表示有關(guān)領(lǐng)域中各個(gè)不同狀態(tài)間的關(guān)系。然而用于表示一個(gè)事物同其各個(gè)部分間的分類(lèi)知識(shí)就不方便了。 槽和填槽表示方法便于表示這種分類(lèi)知識(shí)。這種表示方法包括語(yǔ)義網(wǎng)絡(luò)、框架、概念從屬和腳本。語(yǔ)義網(wǎng)絡(luò)方法的特點(diǎn)就在于提出了槽和填槽的結(jié)構(gòu)。 語(yǔ)義網(wǎng)絡(luò)同一階邏輯有相同的能力。多用于自然語(yǔ)言處理。 552019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法概述552019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法表示形式 每一個(gè)要表達(dá)的事實(shí)用一個(gè)“結(jié)點(diǎn)”表示，而事實(shí)之間的關(guān)系用“弧線”表示。即，有向圖表示的三元組，（結(jié)點(diǎn)1， 弧，結(jié)點(diǎn)2）連接而成。562019-

31、6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法表示形式562019-6-1謝謝觀賞572019-6-19謝謝觀賞572019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法類(lèi)屬關(guān)系類(lèi)屬關(guān)系是指具體有共同屬性的不同事物間的分類(lèi)關(guān)系、成員關(guān)系或?qū)嵗P(guān)系。注：它體現(xiàn)的是“具體與抽象”、“個(gè)體與集體”的概念。類(lèi)屬關(guān)系的一個(gè)最主要特征是屬性的繼承性，處在具體層的結(jié)點(diǎn)可以繼承抽象層結(jié)點(diǎn)的所有屬性。常用的屬性有：A-Kind-of:表示一個(gè)事物是另一個(gè)事物的一種類(lèi)型A-Member-of:表示一個(gè)事物是另一個(gè)事物的成員Is-a:表示一個(gè)事物是另一個(gè)事物的實(shí)例類(lèi)屬關(guān)系實(shí)例注：在類(lèi)屬關(guān)系中，具體層的結(jié)點(diǎn)除了具有抽象層結(jié)點(diǎn)的所有

32、屬性外，還可以增加一些自己的個(gè)性。 582019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法類(lèi)屬關(guān)系582019-6-謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法包含關(guān)系包含關(guān)系也稱(chēng)為聚類(lèi)關(guān)系，是指具有組織或結(jié)構(gòu)特征的“部分與整體”之間的關(guān)系。注：它和類(lèi)屬關(guān)系的最主要的區(qū)別就是包含關(guān)系一般不具備屬性的繼承性。常用的包含關(guān)系的有：Part_of:表示一個(gè)事物是另一個(gè)事物的一部分 包含關(guān)系實(shí)例 592019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法包含關(guān)系592019-6-謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法屬性關(guān)系屬性關(guān)系是指事物和其屬性之間的關(guān)系。常用的屬性的關(guān)系有：Have：表示一個(gè)結(jié)點(diǎn)具有另一個(gè)結(jié)點(diǎn)所描述的屬性Ca

33、n：表示一個(gè)結(jié)點(diǎn)能做另一個(gè)結(jié)點(diǎn)的事情例：鳥(niǎo)有翅膀 屬性關(guān)系實(shí)例 602019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法屬性關(guān)系602019-6-謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法位置關(guān)系位置關(guān)系是指不同事物在位置方面的關(guān)系。常用的位置關(guān)系：Located-on:一物在另一物之上Located-at:一物在何位置Located-under: 一物在另一物之下Located-inside: 一物在另一物之中Located-outside: 一物在另一物之外612019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法位置關(guān)系612019-6-謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法相近關(guān)系相近關(guān)系是指不同事物在形狀、內(nèi)容等

34、方面相似和接近。常用的相近關(guān)系：Similar-to:相似Near-to:接近 622019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法相近關(guān)系622019-6-謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法時(shí)間關(guān)系是指不同事件在其發(fā)生時(shí)間方面的先后關(guān)系。常用的時(shí)間關(guān)系有： Before：表示一個(gè)事件在一個(gè)事件之前發(fā)生After：表示一個(gè)事件在一個(gè)事件之后發(fā)生。例如：香港回歸之后，澳門(mén)也會(huì)回歸了。 632019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法時(shí)間關(guān)系632019-6-謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法多元邏輯關(guān)系例如AC米蘭隊(duì)和國(guó)際米蘭隊(duì)在一場(chǎng)足球比賽中的成績(jī)?yōu)?：1，邏輯表示法為SCORE( AC-MILA

35、N, INTER-MILAN, 0:1),可以通過(guò)加入附加結(jié)點(diǎn)的辦法將其改成語(yǔ)義網(wǎng)絡(luò)表示法，其根本方法是將多元關(guān)系表示成二元關(guān)系的組合或合取。本例通過(guò)加入附加結(jié)點(diǎn)G22。多元邏輯關(guān)系語(yǔ)義網(wǎng)絡(luò)實(shí)例從圖中可以看出，原來(lái)的多元關(guān)系都變成了G22結(jié)點(diǎn)屬性。 642019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法多元邏輯關(guān)系642019-6謝謝觀賞例Micheal is an employee and Jack is his boss. Someday Micheal kicked his boss.語(yǔ)義描述652019-6-19謝謝觀賞例Micheal is an employee an謝謝觀賞表示方法

36、語(yǔ)義網(wǎng)絡(luò)表示法推理方法網(wǎng)絡(luò)匹配：結(jié)構(gòu)上的匹配，包括結(jié)點(diǎ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)系等具有繼承性質(zhì)的語(yǔ)義聯(lián)系建立一些并不一定顯示存在于網(wǎng)絡(luò)知識(shí)庫(kù)中的網(wǎng)絡(luò)結(jié)構(gòu)。語(yǔ)義網(wǎng)絡(luò)上的推理：網(wǎng)絡(luò)上的搜索過(guò)程，正向、逆向、雙向。662019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理方法662019-6-1謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法繼承的一般規(guī)則：IF X (AKO) Y and Y(AKO)Z then X(AKO)ZIF X (ISA) Y and Y(AKO)Z then X(ISA)ZIF X (AK

37、O) Y and Y(屬性)Z then X(屬性)ZIF X (ISA) Y and Y(屬性)Z then X(屬性)ZIF X (屬性) Y and Y(AKO)Z then X(屬性)ZIF X (屬性) Y and Y(ISA)Z then X(屬性)Z672019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法繼承的一般規(guī)則：672019謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理特點(diǎn)不十分明了，有繼承規(guī)則。可以用關(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é)推理法。 682019-6-

38、19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法推理特點(diǎn)682019-6-1謝謝觀賞表示方法語(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)了。 692019-6-19謝謝觀賞表示方法語(yǔ)義網(wǎng)絡(luò)表示法結(jié)論692019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?02019-6-19謝謝觀賞表示方法概述框架表示法702019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示

39、方法面向?qū)ο蟮谋硎痉椒?12019-6-19謝謝觀賞表示方法概述框架表示法712019-6-19謝謝觀賞表示方法框架表示法概述1975年 Minsky在論文中提出了框架理論。他從心理學(xué)的證據(jù)出發(fā)，認(rèn)為人的知識(shí)以框架結(jié)構(gòu)記存在人腦中。當(dāng)人們面臨新的情況，或?qū)?wèn)題的看法有重要變化時(shí)，總是從自己的記憶中找出一個(gè)合適的框架，然后根據(jù)細(xì)節(jié)加以修改補(bǔ)充，從而形成對(duì)新觀察到的事物的認(rèn)識(shí)。人類(lèi)對(duì)于一件事的了解，表現(xiàn)在對(duì)于這件實(shí)物的諸方面，即屬性的了解。掌握了事物的屬性，也就有了關(guān)于事物的知識(shí)，知識(shí)表示是從屬性描述開(kāi)始的。722019-6-19謝謝觀賞表示方法框架表示法概述722019-6-19謝謝觀賞表示方法

40、框架表示法定義框架是由若干個(gè)結(jié)點(diǎn)和關(guān)系（統(tǒng)稱(chēng)為槽）構(gòu)成的網(wǎng)絡(luò)。是語(yǔ)義網(wǎng)絡(luò)的一般化形式的一種結(jié)構(gòu)。同語(yǔ)義網(wǎng)絡(luò)沒(méi)有本質(zhì)的區(qū)別。如書(shū)上的所示如將語(yǔ)音網(wǎng)絡(luò)結(jié)點(diǎn)間弧上的標(biāo)注也放到槽內(nèi)就成了框架表示形式。表示形式：由框架名、槽名、側(cè)面、值組成推理方法：沒(méi)有固定的推理機(jī)理。但和語(yǔ)義網(wǎng)絡(luò)一樣遵循匹配和繼承的原理。 732019-6-19謝謝觀賞表示方法框架表示法定義732019-6-19謝謝觀賞表示方法框架表示法性質(zhì)對(duì)事物進(jìn)行描述。而且對(duì)其中某些細(xì)節(jié)做進(jìn)一步描述。則可將其擴(kuò)充為另外一些框架。 如：汽車(chē)載貨或人可以通過(guò)它對(duì)一些從感官中沒(méi)有直接得到的信息進(jìn)行預(yù)測(cè)，對(duì)于人來(lái)說(shuō)這種功能是很強(qiáng)的。如：一想到桌子就可以想

41、到它腿的形狀與位置?？梢栽谒A(chǔ)上進(jìn)行判斷推理?？赏ㄟ^(guò)它來(lái)認(rèn)識(shí)某一類(lèi)事物?？梢酝ㄟ^(guò)一系列實(shí)例來(lái)修正框架對(duì)某些事物的不完整描述。（填充空的框架，修改默認(rèn)值）742019-6-19謝謝觀賞表示方法框架表示法性質(zhì)742019-6-19謝謝觀賞表示方法框架表示法752019-6-19謝謝觀賞表示方法框架表示法752019-6-19謝謝觀賞表示方法框架表示法簡(jiǎn)單框架的例子：MichealGender：manProfession:singerHeight:185cmWeight: 79kgAge:27762019-6-19謝謝觀賞表示方法框架表示法簡(jiǎn)單框架的例子：762019-6謝謝觀賞表示方法框架表示法

42、（附加過(guò)程）例如，要確定一個(gè)人的性別，已匹配的知識(shí)庫(kù)中的框架為【槽名Gender NILIf needed ASKIf added CHECK】啟動(dòng)過(guò)程如下：1）如果沒(méi)有默認(rèn)值，if needed條件滿足2）啟動(dòng)ASK，向用戶查詢并等待輸入 3）若有輸入（if added），執(zhí)行CHECK，檢查輸入的合法性 若有默認(rèn)值而無(wú)輸入，則不執(zhí)行CHECK772019-6-19謝謝觀賞表示方法框架表示法（附加過(guò)程）例如，要確定一個(gè)人的謝謝觀賞表示方法框架表示法框架之間的關(guān)系框架也分為類(lèi)框架和實(shí)例框架。通過(guò)引入類(lèi)-超類(lèi)（AKO）及實(shí)例-類(lèi)（ISA）關(guān)系來(lái)表示框架之間的包含關(guān)系和屬于關(guān)系?？蚣芾碚搶⒅R(shí)看成

43、相互關(guān)系的成塊組織。推理方法：匹配：和語(yǔ)義網(wǎng)絡(luò)一樣遵循匹配原理。槽計(jì)算：繼承（屬性值、屬性、限制）， 附加過(guò)程，即附加在數(shù)據(jù)結(jié)構(gòu)上，啟動(dòng)時(shí) 計(jì)算槽值。782019-6-19謝謝觀賞表示方法框架表示法框架之間的關(guān)系782019-6-謝謝觀賞框架名：類(lèi) 屬：類(lèi) 型： 范圍：（綜合性大學(xué)，專(zhuān)科性大學(xué)）專(zhuān) 業(yè)：默認(rèn)值：綜合學(xué) 院 數(shù)：教 學(xué) 樓：教工人數(shù)：職工人數(shù)：學(xué)生人數(shù)：位 置：（?。ㄖ陛犑校?，市）面 積：?jiǎn)挝唬ㄆ椒矫祝┛蚣苊侯?lèi) 屬：類(lèi) 型： 范圍：（大學(xué)，中學(xué)，小學(xué)）位 置：（?。ㄖ陛犑校?，市）面 積：?jiǎn)挝唬ㄆ椒矫祝┙坦と藬?shù)：學(xué)生人數(shù)： 792019-6-19謝謝觀賞框架名：框架名：79201

44、9-6-1謝謝觀賞框架名：類(lèi) 屬：姓 名：中華醫(yī)學(xué)大學(xué) 專(zhuān) 業(yè)：醫(yī)學(xué)學(xué) 院 數(shù)：13教 學(xué) 樓：20辦 公 樓：40學(xué)生宿舍：20教工宿舍：60教工人數(shù)：4000職工人數(shù)：5000學(xué)生人數(shù)：20000位 置：北京市面 積：10000（平方米）創(chuàng)建時(shí)間：2002年4月802019-6-19謝謝觀賞框架名：類(lèi) 屬：姓 謝謝觀賞教育機(jī)構(gòu)高等教育綜合特殊教育醫(yī)學(xué)初等教育幼兒園殘疾專(zhuān)科大學(xué)小學(xué)幼兒教育中國(guó)醫(yī)學(xué)大學(xué)藍(lán)天幼兒園北京盲人學(xué)?？蚣芟到y(tǒng)結(jié)構(gòu) 812019-6-19謝謝觀賞教育高等綜合特殊醫(yī)學(xué)初等幼兒園殘疾專(zhuān)科大學(xué)小學(xué)幼兒中謝謝觀賞表示方法框架表示法性質(zhì)對(duì)事物進(jìn)行描述。而且對(duì)其中某些細(xì)節(jié)做進(jìn)一步描述

45、。則可將其擴(kuò)充為另外一些框架。 如：汽車(chē)載貨或人可以通過(guò)它對(duì)一些從感官中沒(méi)有直接得到的信息進(jìn)行預(yù)測(cè)，對(duì)于人來(lái)說(shuō)這種功能是很強(qiáng)的。如：一想到桌子就可以想到它腿的形狀與位置?？梢栽谒A(chǔ)上進(jìn)行判斷推理。可通過(guò)它來(lái)認(rèn)識(shí)某一類(lèi)事物。可以通過(guò)一系列實(shí)例來(lái)修正框架對(duì)某些事物的不完整描述。（填充空的框架，修改默認(rèn)值）822019-6-19謝謝觀賞表示方法框架表示法性質(zhì)822019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?32019-6-19謝謝觀賞表示方法概述框架表示法832019-6-19謝謝觀賞表示方法概述

46、直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?42019-6-19謝謝觀賞表示方法概述框架表示法842019-6-19謝謝觀賞表示方法腳本表示法腳本方式是采用一個(gè)專(zhuān)用的框架，用來(lái)表示特定領(lǐng)域的知識(shí)。腳本通過(guò)一些元語(yǔ)作為槽名來(lái)表代要表示的對(duì)象的基本行為。有些象電影劇本。852019-6-19謝謝觀賞表示方法腳本表示法腳本方式是采用一個(gè)專(zhuān)用的框架，用謝謝觀賞開(kāi)場(chǎng)條件1 病人有病。2 病人的病需要找醫(yī)生診治。3 病人有錢(qián)。4 病人能夠去醫(yī)院。角色 病人、醫(yī)生、護(hù)士。道具 醫(yī)院、掛號(hào)室、椅子、 桌子、藥方、藥房、 錢(qián)、藥。場(chǎng)景 場(chǎng)景1 進(jìn)

47、入醫(yī)院 （1） 人走進(jìn)醫(yī)院 （2） 病人掛號(hào) （3） 病人在椅子上坐下等待看病 場(chǎng)景2 看病 （1） 病人進(jìn)入醫(yī)生的辦公室 （2） 病人向醫(yī)生所說(shuō)病狀 （3） 醫(yī)生向病人解釋病情 （4） 醫(yī)生給病人開(kāi)藥方 場(chǎng)景3 交費(fèi) （1） 病人到交費(fèi)處 （2） 病人遞交藥方 （3） 病人交錢(qián) （4） 病人取回藥方及收據(jù) 場(chǎng)景4 取藥 （1） 病人到藥房 （2） 病人遞交藥方 （3） 病人取藥 場(chǎng)景5 離開(kāi) （1） 病人離開(kāi)醫(yī)院結(jié)果 1病人看病了，明白了 自己的病是怎么回事。 2病人花了錢(qián)，買(mǎi)了藥。 3醫(yī)生付出了勞動(dòng)。 4醫(yī)院的藥品少了.862019-6-19謝謝觀賞開(kāi)場(chǎng)條件1 病人有病。2 病人的病需要找

48、謝謝觀賞表示方法腳本表示法（推理）腳本表使得知識(shí)有強(qiáng)烈的因果結(jié)構(gòu)，系統(tǒng)對(duì)事件的處理必須是一個(gè)動(dòng)作完成后才能完成另一個(gè)。整個(gè)過(guò)程的啟動(dòng)取決于開(kāi)場(chǎng)條件，滿足腳本的開(kāi)場(chǎng)條件，腳本中的事件才有可能發(fā)生。而腳本的結(jié)果就是動(dòng)作完成后的系統(tǒng)結(jié)果。由于腳本是以非常固定的形式描述的，在預(yù)言一些沒(méi)有直接提到的事件方面特別有用。如已知某一腳本適用于所給定的情形，一旦腳本被起用，則可以應(yīng)用它按照事件發(fā)生的順序推理。如果其中的某一個(gè)情景的描述發(fā)生了跳躍，可以根據(jù)腳本的故事情節(jié)推斷出整個(gè)事件正常進(jìn)行時(shí)所得出的結(jié)論。但是如果事件被強(qiáng)行中斷，也就是給定的情節(jié)中的某個(gè)時(shí)間與腳本中的事件不能對(duì)應(yīng)時(shí)，則腳本便不能預(yù)測(cè)被中斷以后的事

49、件。如，上例中，如果醫(yī)生說(shuō)病人沒(méi)病，病人就回家了。那么，對(duì)于病人所發(fā)生的變化；醫(yī)院的藥所發(fā)生的變化都不能作出推斷。 872019-6-19謝謝觀賞表示方法腳本表示法（推理）腳本表使得知識(shí)有強(qiáng)烈的因謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?82019-6-19謝謝觀賞表示方法概述框架表示法882019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?92019-6-19謝謝觀賞表示方法概述框架表示法892019-6-19

50、謝謝觀賞表示方法過(guò)程表示法前面的幾種知識(shí)表示方法均是知識(shí)和事實(shí)的一種靜止的表示方法。我們稱(chēng)這類(lèi)知識(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ò)程。 902019-6-19謝謝觀賞表示方法過(guò)程表示法前面的幾種知識(shí)表示方法均是知識(shí)和謝謝觀賞表示方法過(guò)程表示法說(shuō)明性知識(shí)和過(guò)程性知識(shí)相比：說(shuō)明性知識(shí)比較簡(jiǎn)要、清晰、可靠、便于修改。但往往效率低。 過(guò)程性知識(shí)比較直截了當(dāng)，效率高。但由于詳細(xì)地給出了解

51、決過(guò)程，使這種知識(shí)表示顯得復(fù)雜、不直觀、容易出錯(cuò)、不便于修改。 實(shí)際上，說(shuō)明性表示和過(guò)程性表示實(shí)際上沒(méi)有絕對(duì)的分界線。因此，任何說(shuō)明性知識(shí)如果要被實(shí)際使用，必須有一個(gè)相應(yīng)的過(guò)程去解釋執(zhí)行它。對(duì)于一個(gè)以使用說(shuō)明性表示為主的系統(tǒng)來(lái)說(shuō)，這種過(guò)程往往是隱含在系統(tǒng)之中，而不是面向用戶。 912019-6-19謝謝觀賞表示方法過(guò)程表示法說(shuō)明性知識(shí)和過(guò)程性知識(shí)相比：91謝謝觀賞表示方法過(guò)程表示法知識(shí)過(guò)程性的兩個(gè)含義：含義1：把解決一個(gè)問(wèn)題的過(guò)程描述出來(lái)?？梢苑Q(chēng)它為解題知識(shí)的過(guò)程表示。 含義2：把客觀事物的發(fā)展過(guò)程用某種方式表示出來(lái)。 在某些情況下，這兩種含義是很難決然分開(kāi)的。如，任何一個(gè)解題系統(tǒng)的基本構(gòu)成都

52、是一個(gè)數(shù)據(jù)集，一組運(yùn)算符和一個(gè)解釋程序。過(guò)程性知識(shí)使用狀態(tài)來(lái)表示，在狀態(tài)空間運(yùn)作。922019-6-19謝謝觀賞表示方法過(guò)程表示法知識(shí)過(guò)程性的兩個(gè)含義：92201謝謝觀賞表示方法過(guò)程表示法過(guò)程式表示定義：過(guò)程式表示就是將有關(guān)某一問(wèn)題領(lǐng)域的知識(shí)連同如何使用這些知識(shí)的方法均隱式地表達(dá)為一個(gè)求解過(guò)程。 它所給出的是事物的一些客觀規(guī)律，表達(dá)的是如何求解問(wèn)題，知識(shí)的描述形式就是程序。所有信息均隱含在程序中效率高、沒(méi)有固定形式。 如何描述知識(shí)完全取決定于具體的問(wèn)題。 實(shí)際上的系統(tǒng)都是陳述與過(guò)程觀點(diǎn)的結(jié)合。陳述之中多少包含了過(guò)程方法。932019-6-19謝謝觀賞表示方法過(guò)程表示法過(guò)程式表示定義：實(shí)際上的系統(tǒng)都是謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?42019-6-19謝謝觀賞表示方法概述框架表示法942019-6-19謝謝觀賞表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語(yǔ)義網(wǎng)絡(luò)表示法框架表示法腳本方法過(guò)程表示混合型知識(shí)表示方法面向?qū)ο蟮谋硎痉椒?52019-6-19謝謝觀賞表示方法概述框架表示法952019-6-19謝謝觀賞表示方法混合型知識(shí)表示法上述的知識(shí)表示雖各有特點(diǎn)，而且適用的領(lǐng)域也不同。如：謂詞邏輯方法只適用于確定性、陳述性、靜態(tài)性知識(shí)，而對(duì)動(dòng)態(tài)的、變化性、模糊性