第四章 知識表示講義課件_第1頁
第四章 知識表示講義課件_第2頁
第四章 知識表示講義課件_第3頁
第四章 知識表示講義課件_第4頁
第四章 知識表示講義課件_第5頁
已閱讀5頁,還剩106頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)

文檔簡介

第四章知識表示4.1概述4.2產(chǎn)生式表示4.3語義網(wǎng)絡(luò)表示4.4框架表示4.5其他表示方法4.1概述人工智能研究中最基本的問題之一

如何表示知識?知識的定義Feigenbaum

:知識是經(jīng)過消減、塑造、解釋和轉(zhuǎn)換的信息。Bernstein:知識是由特定領(lǐng)域的描述、關(guān)系和過程組成的。Hayes-roth(斯坦福大學(xué)教授):知識是事實、信念和啟發(fā)式規(guī)則。知識庫的觀點:知識是某領(lǐng)域中所涉及的各有關(guān)方面的一種符號表示。NEXT愛德華?費根鮑姆

(EdwardA.Feigenbaum)

知識工程的提出者 大型人工智能系統(tǒng)的開拓者返回費根鮑姆-知識工程的創(chuàng)始人1977年,費根鮑姆教授提出了知識工程的概念,成為知識可操作化的一個里程碑。20多年來,知識工程的研究有了很大發(fā)展。知識工程的處理對象已從規(guī)范化的、相對好處理的知識進一步深入到非規(guī)范化的、相對難處理的知識。它的處理規(guī)模和方式從封閉式擴大為開放式,從小手工作坊式的知識工程擴大為能進行海量知識處理的大規(guī)模工程。返回知識的種類事實性知識:采用直接表示的形式。 如:凡是猴子都有尾巴過程性知識:描述做某件事的過程。 如:紅燒肉做法行為性知識:不直接給出事實本身,只給出它在某方面的行為。 如:微分方程、(事物的內(nèi)涵)……..NEXT猴子返回紅燒肉做法返回紅燒肉做法1、主料:五花腩,五層三花的肚腩肉。2、配料:八角茴、大蒜子。大蒜去皮,至少要2頭3、開始做紅燒肉先就植物油燒熱后。放入一小勺白糖,(上色用)這時火要開小一點,待糖熔化變成醬油色,倒入五花肉、八角茴翻炒炒到肉開始轉(zhuǎn)色。4、開始燜:放入足夠的熱水,要蓋過肉多一點,燒開后改小火,加蓋小火燜1個小時左右。5、等水份燒干開始出油時,加入大蒜、鹽、味精。6、再燜幾分鐘,將肉和大蒜拌勻,再放一點開水燜幾分鐘就行了。返回……..實例性知識:只給出一些實例,知識藏在實例中。類比性知識:

即不給出外延,也不給出內(nèi)涵,只給出它與其它事物的某些相似之處。 如:比喻、謎語元知識:有關(guān)知識的知識。最重要的元知識是如何使用知識的知識,如何從知識庫中找到想要的知識。知識的種類

知識的要素事實:事物的分類、屬性、事物間關(guān)系、科學(xué)事實、客觀事實等。(最低層的知識)規(guī)則:事物的行動、動作和聯(lián)系的因果關(guān)系知識。(啟發(fā)式規(guī)則)??刂疲寒?dāng)有多個動作同時被激活時,選擇哪一個動作來執(zhí)行的知識。(技巧性)元知識:高層知識。怎樣使用規(guī)則、解釋規(guī)則、校驗規(guī)則、解釋程序結(jié)構(gòu)等知識。知識表示研究用機器表示知識的可行性、有效性的一般方法。知識表示是理智推理的部分理論。知識表示是有效計算的載體。知識表示是交流的媒介。知識表示的定義選取知識表示的因素表示范圍是否廣泛是否適于推理是否適于計算機處理是否有高效的算法能否表示不精確知識能否模塊化總之………知識和元知識能否用統(tǒng)一的形式表示是否加入啟發(fā)信息過程性表示還是說明性表示表示方法是否自然選取知識表示的因素………..總之,人工智能問題的求解是以知識表示為基礎(chǔ)的。如何將已獲得的有關(guān)知識以計算機內(nèi)部代碼形式加以合理地描述、存儲、有效地利用便是知識表示應(yīng)解決的問題。

知識表示的研究內(nèi)容

表示觀的研究表示方法的研究

知識表示觀知識表示與推理機分離 注重常識知識的表示,忽略啟發(fā)式方法的研究知識表示與推理為一體 認(rèn)為推理是表示中不可缺少的部分表示方法分類表示方法直接表示局部表示分布表示陳述性表示過程性表示語義網(wǎng)絡(luò)表示產(chǎn)生式表示邏輯表示框架表示腳本表示替代表示知識表示研究的特點智能行為特有的靈活性?!俺WR問題”不能概括為一類簡潔的理論,是大量小理論的集合。AI的任務(wù)受到計算裝置的約束。這導(dǎo)致了所采用的“表示”必須同時滿足“刻畫智能現(xiàn)象”與“計算裝置可以接受”,這兩個有時是矛盾的條件。表示方法產(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒?.2產(chǎn)生式表示方法美國數(shù)學(xué)家Post,1943年提出了一種計算形式體系里所使用的術(shù)語。到了60年代,產(chǎn)生式系統(tǒng)成為認(rèn)知心理學(xué)研究人類心理活動中信息加工過程的基礎(chǔ),用它來建立人類認(rèn)知模型。到目前為止,產(chǎn)生式系統(tǒng)已發(fā)展成為人工智能系統(tǒng)中最典型最普遍的一種結(jié)構(gòu)。產(chǎn)生式表示方法是專家系統(tǒng)的第一選擇的知識表達(dá)方式。1.事實的表示:可看成是斷言一個語言變量的值或是多個語言變量之間關(guān)系的陳述句,語言變量的值或語言變量間的關(guān)系可以是一個詞,不一定是數(shù)字。

例1:香蕉是黃色的。語言變量——香蕉,值——黃色的

例2:小李喜歡小莉。語言變量——小李、小莉,關(guān)系值——喜歡

4.2.1事實與規(guī)則的表示一般用三元組(對象,屬性,值)或 (關(guān)系,對象1,對象2)例:(Li,Age,25),(Friend,Li,Chang)4.2.1事實與規(guī)則的表示2.規(guī)則的表示:規(guī)則用于表示事物間的因果關(guān)系,來表達(dá)求解問題所需要的知識。產(chǎn)生式規(guī)則的一般形式:

條件---->行動或前提---->結(jié)論

即表示成:if<前件>then<后件>

例1:如果天下雪,我就不騎車上班。

if天下雪

then不騎車上班

4.2.1事實與規(guī)則的表示推理機數(shù)據(jù)庫規(guī)則庫知識庫產(chǎn)生式系統(tǒng)結(jié)構(gòu)圖

4.2.2產(chǎn)生式系統(tǒng)結(jié)構(gòu)4.2.2產(chǎn)生式系統(tǒng)結(jié)構(gòu)1.?dāng)?shù)據(jù)庫是一個數(shù)據(jù)的集合,用于存放在推理過程中的已知條件、推導(dǎo)出的中間結(jié)果和最終結(jié)論等。往往是事實或斷言。這里的數(shù)據(jù)是廣義的常量、變量、多元組、謂詞、表、圖像等。存放的數(shù)據(jù)是構(gòu)成產(chǎn)生式的基本元素,又是產(chǎn)生式作用的對象。2.規(guī)則集相當(dāng)于系統(tǒng)的知識庫,它采用“IF<前件>THEN<后件>”的形式,來表達(dá)求解問題所需要的知識。4.2.2產(chǎn)生式系統(tǒng)結(jié)構(gòu)客觀規(guī)律知識求解策略知識規(guī)則

每條規(guī)則分為左右兩個部分。左部表示激活該規(guī)則的條件,右部表示調(diào)用該規(guī)則后所作的動作??捎|發(fā)規(guī)則:當(dāng)一個規(guī)則的前件被綜合數(shù)據(jù)庫中的數(shù)據(jù)滿足時,該規(guī)則稱為可觸發(fā)規(guī)則。被觸發(fā)規(guī)則:從可觸發(fā)規(guī)則中選擇一個規(guī)則來執(zhí)行,被執(zhí)行的規(guī)則稱為被觸發(fā)規(guī)則。

4.2.2產(chǎn)生式系統(tǒng)結(jié)構(gòu)3.推理機(規(guī)則解釋程序)匹配器:判斷規(guī)則條件是否成立。沖突消解器:選擇可調(diào)用的規(guī)則。解釋器:執(zhí)行規(guī)則的動作,并在滿足結(jié)束條件時終止產(chǎn)生式系統(tǒng)運行。4.2.2產(chǎn)生式系統(tǒng)結(jié)構(gòu)

產(chǎn)生式系統(tǒng)舉例--字符轉(zhuǎn)換問題字符轉(zhuǎn)換問題規(guī)則如下:

A∧B→C

A∧C→D

B∧C→G

B∧E→F

D→E

已知:A,B

求:F

產(chǎn)生式系統(tǒng)舉例--字符轉(zhuǎn)換問題1.綜合數(shù)據(jù)庫

綜合數(shù)據(jù)庫用集合{x}表示,其中x為字符。

2.規(guī)則集

用“IF~THEN~”的形式表示如下:

(1)IFA∧BTHENC

(2)IFA∧CTHEND

(3)IFB∧CTHENG

(4)IFB∧ETHENF

(5)IFDTHENE

產(chǎn)生式系統(tǒng)舉例--字符轉(zhuǎn)換問題3.控制策略

就是選擇規(guī)則的方法,可采用按照規(guī)則的自然順序選擇規(guī)則的方法,這種策略稱為順序排隊。4.初始狀態(tài)

{A,B},A、B是已知條件。5.結(jié)束條件

F∈{x},當(dāng)目標(biāo)F在綜合數(shù)據(jù)庫中出現(xiàn)時,則F被求得。

正向推理方法反向

雙向4.2.3產(chǎn)生式系統(tǒng)的推理基于與或樹的推理與或樹.核果梨果蘋果桃果肉乳黃色肉質(zhì)脆無石細(xì)胞外有縱溝果實扁圓果皮有毛李亞科蘋果亞科薔薇科花兩性花托杯形雙子葉綱網(wǎng)狀葉脈雙子葉胚花瓣5枚1、正向推理方法:從已知數(shù)據(jù)出發(fā),一步步應(yīng)用規(guī)則,一直到推出結(jié)論。又稱自低向上推理方式或數(shù)據(jù)驅(qū)動方式4.2.3產(chǎn)生式系統(tǒng)的推理正向推理過程:(1)用工作存儲器中的數(shù)據(jù)與產(chǎn)生式規(guī)則的前提條件進行匹配。(2)按沖突消解策略從匹配的規(guī)則中選擇一條規(guī)則。(3)執(zhí)行選中規(guī)則的動作(依次)。修改工作存儲器。(4)用更新后的工作存儲器,重復(fù)上述工作,直到得出結(jié)論或工作存儲器不再發(fā)生變化為止。舉例:字符轉(zhuǎn)換問題4.2.3產(chǎn)生式系統(tǒng)的推理2.反向推理方法:從結(jié)論出發(fā),一步步反向使用規(guī)則,最后看是否所有的前提條件都成立。又稱自頂向下推理方式或目標(biāo)驅(qū)動方式4.2.3產(chǎn)生式系統(tǒng)的推理反向推理過程:(1)首先假定結(jié)論正確,然后反向使用規(guī)則,看在哪些條件下該結(jié)論才能夠成立。(2)檢查這些條件是否是已知條件。如果全部是已知條件,則結(jié)論得證。如果部分或者全部條件都是非已知的,則將這些條件看成是新的要求解的結(jié)論,用同樣的逆向方法推斷它們是否正確。(3)依次類推,直到所有的條件都是已知的,就推導(dǎo)出了最初的結(jié)論。4.2.3產(chǎn)生式系統(tǒng)的推理3.雙向推理方法即自頂向下、又自底向上作雙向推理,直至某個中間界面上兩方向結(jié)果相符便成功結(jié)束。該方法較正向或反向推理所形成的推理網(wǎng)絡(luò)小,從而推理效果更高。4.2.3產(chǎn)生式系統(tǒng)的推理推理方法的選擇 推理方法的選擇取決于推理的目標(biāo)和搜索空間的形狀。如果目標(biāo)是從一組給定事實出發(fā),找出所有可能的結(jié)論,通常使用正向推理。如果目標(biāo)是證實或否定某一特定結(jié)論,通常使用反向推理。4.2.3產(chǎn)生式系統(tǒng)的推理與人類求解問題時的思維很相像,可用于模擬人類求解問題的思維過程。可以把產(chǎn)生式系統(tǒng)作為人工智能系統(tǒng)的基本結(jié)構(gòu)單元或基本模型看待,就像積木世界中的積木塊一樣。4.2.4產(chǎn)生式表示的特點優(yōu)點模塊性。 規(guī)則與規(guī)則之間相互獨立靈活性。 知識庫易于增加、修改、刪除自然性。 方便地表示專家的啟發(fā)性知識與經(jīng)驗透明性。 易于保留動作所產(chǎn)生的變化、軌跡4.2.4產(chǎn)生式表示的特點缺點:效率低。不能表示結(jié)構(gòu)性的知識。由于規(guī)則彼此之間不能調(diào)用。4.2.4產(chǎn)生式表示的特點應(yīng)用實例:用于化工工業(yè)測定分子結(jié)構(gòu)的DENDRAL用于診斷腦膜炎和血液病毒感染的MYCIN估計礦藏的PROSPECTOR4.2.4產(chǎn)生式表示的特點4.3語義網(wǎng)絡(luò)表示產(chǎn)生式表示方法常用于表示有關(guān)領(lǐng)域中各個不同狀態(tài)間的關(guān)系,但不適合表示事物間的分類關(guān)系。槽和填槽表示方法便于表示這種分類知識。這種表示方法包括語義網(wǎng)絡(luò)、框架、概念從屬和腳本。1968年Quillian的博士論文建議用一種語義網(wǎng)絡(luò)來描述人對事物的認(rèn)知,實際上是對人腦功能的模擬。語義網(wǎng)絡(luò)多用于自然語言處理。通過實體及其語義關(guān)系來表達(dá)知識語義網(wǎng)絡(luò)由一些基本的語義單元組成語義單元(語義基元):每一個要表達(dá)的事實用一個“結(jié)點”表示,而事實之間的關(guān)系用“弧線”表示。即,有向圖表示的三元組,(結(jié)點1,弧,結(jié)點2)連接而成。4.3.1語義網(wǎng)絡(luò)的結(jié)構(gòu)某學(xué)校小學(xué)生屬于某學(xué)校小學(xué)生屬于坐車春游動作目的動作方式多個語義基元通過相應(yīng)的語義聯(lián)系關(guān)聯(lián)起來語義網(wǎng)絡(luò)4.3.1語義網(wǎng)絡(luò)的結(jié)構(gòu)例如:小學(xué)生坐車去春游。一、類屬關(guān)系指具體有共同屬性的不同事物間的分類關(guān)系、成員關(guān)系或?qū)嵗P(guān)系。體現(xiàn)“具體與抽象”、“個體與集體”的概念。類屬關(guān)系的一個最主要特征是屬性的繼承性,處在具體層的結(jié)點可以繼承抽象層結(jié)點的所有屬性。4.3.2基本語義關(guān)系類屬關(guān)系常用屬性:

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

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

Is-a:表示一個事物是另一個事物的實例4.3.2基本語義關(guān)系注:在類屬關(guān)系中,具體層的結(jié)點除了具有抽象層結(jié)點的所有屬性外,還可以增加一些自己的個性。

靈長類動物A-Kind-of劉軍中共黨員A-Member-of草魚

魚類Is-a類屬關(guān)系實例二、包含關(guān)系也稱聚類關(guān)系,指具有組織或結(jié)構(gòu)特征的“部分與整體”之間的關(guān)系。 注:與類屬關(guān)系的最主要區(qū)別是包含關(guān)系一般不具備屬性的繼承性。常用的包含關(guān)系有:Part-of:表示一個事物是另一個事物的一部分 4.3.2基本語義關(guān)系輪胎汽車Part-Of顯示器PC電腦Part-Of

三、屬性關(guān)系指事物和其屬性之間的關(guān)系。常用的屬性關(guān)系:

Have:表示一個結(jié)點具有另一個結(jié)點所描述的屬性

Can:表示一個結(jié)點能做另一個結(jié)點的事情

例:鳥有翅膀。4.3.2基本語義關(guān)系屬性關(guān)系實例

鳥翅膀have

四、位置關(guān)系指不同事物在位置方面的關(guān)系。常用的位置關(guān)系:

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

Located-at:一物在何位置

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

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

Located-outside:一物在另一物之外4.3.2基本語義關(guān)系五、相近關(guān)系指不同事物在形狀、內(nèi)容等方面相似和接近。常用的相近關(guān)系:

Similar-to: 相似

Near-to: 接近

4.3.2基本語義關(guān)系

六、時間關(guān)系指不同事件在其發(fā)生時間方面的先后關(guān)系。常用的時間關(guān)系:

Before:表示一個事件在一個事件之前發(fā)生。After:表示一個事件在一個事件之后發(fā)生。

例如:

香港回歸之后,澳門也會回歸了。4.3.2基本語義關(guān)系七、多元邏輯關(guān)系

例如:

AC米蘭隊和國際米蘭隊在一場足球比賽中的成績?yōu)?:1,可以通過加入附加結(jié)點的辦法將多元關(guān)系表示成二元關(guān)系的組合或合取。本例通過加入附加結(jié)點G22。4.3.2基本語義關(guān)系七、多元邏輯關(guān)系4.3.2基本語義關(guān)系HostGuestscoreIs-a多元邏輯關(guān)系語義網(wǎng)絡(luò)實例從圖中看出,原來的多元關(guān)系都變成了G22結(jié)點屬性。

SoccerGameG220:1Inter-MLAC-ML4.3.2基本語義關(guān)系除表示事物間關(guān)系的語義網(wǎng)絡(luò)外,還有表示事件的語義網(wǎng)絡(luò)。事件的語義網(wǎng)絡(luò)結(jié)構(gòu):

Event:事件

Agent:施動者

Object:受動者event受動者AgentObject事件施動者例MichealisanemployeeandJackishisboss.SomedayMichealkickedhisboss.網(wǎng)絡(luò)匹配:結(jié)構(gòu)上的匹配,包括結(jié)點和弧的匹配。繼承推理:利用成員聯(lián)系、集合聯(lián)系、特征聯(lián)系、相互作用聯(lián)系等具有繼承性質(zhì)的語義聯(lián)系建立一些并不一定顯示存在于網(wǎng)絡(luò)知識庫中的網(wǎng)絡(luò)結(jié)構(gòu)。4.3.3語義網(wǎng)絡(luò)的推理方法繼承的一般規(guī)則: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(屬性)Z4.3.3語義網(wǎng)絡(luò)的推理方法IFX(AKO)YandY(AKO)ZthenX(AKO)Z例:如果喜鵲是一種鳥,同時,鳥是一種動物,則,喜鵲是一種動物。4.3.3語義網(wǎng)絡(luò)的推理方法推理特點推理機制不十分明了,有繼承規(guī)則。可以用關(guān)系如:成員聯(lián)系、特征聯(lián)系、相互作用聯(lián)系、集合聯(lián)系、合成聯(lián)系、因果聯(lián)系、活動方式聯(lián)式、活動目標(biāo)聯(lián)系、蘊含聯(lián)系等。還可以將語義網(wǎng)絡(luò)引入邏輯含義。表示∧,∨,~關(guān)系。4.3.3語義網(wǎng)絡(luò)的推理方法1、優(yōu)點:結(jié)構(gòu)性好,表達(dá)直觀、清晰。2、缺點:推理規(guī)則不十分明了。表達(dá)范圍有限,若結(jié)點數(shù)量過多將導(dǎo)致網(wǎng)絡(luò)結(jié)構(gòu)復(fù)雜,難以推理。4.3.4語義網(wǎng)絡(luò)表示法的特點1975年Minsky在論文中提出了框架理論。他從心理學(xué)的證據(jù)出發(fā),認(rèn)為人的知識以框架結(jié)構(gòu)記存在人腦中。當(dāng)人們面臨新的情況,或?qū)栴}的看法有重要變化時,總是從自己的記憶中找出一個合適的框架,然后根據(jù)細(xì)節(jié)加以修改補充,從而形成對新觀察到的事物的認(rèn)識。4.4框架表示人類對于一件事的了解,表現(xiàn)在對于這件實物的諸方面,即屬性的了解。掌握了事物的屬性,也就有了關(guān)于事物的知識,知識表示是從屬性描述開始的。4.4框架表示定義框架采用結(jié)點、槽和值表示結(jié)構(gòu),是一種結(jié)構(gòu)化的表示方法。表示形式:由框架名、槽名、側(cè)面、值組成4.4.1框架結(jié)構(gòu)4.4.1框架結(jié)構(gòu)簡單框架的例子:

Micheal Gender: man Profession: singer Height: 185cm Weight: 79kg Age: 274.4.1框架結(jié)構(gòu)框架之間的關(guān)系框架也分為類框架和實例框架。通過引入類-超類(AKO)及實例-類(ISA)關(guān)系來表示框架之間的包含關(guān)系和屬于關(guān)系??蚣芾碚搶⒅R看成相互關(guān)系的成塊組織。4.4.1框架結(jié)構(gòu)框架名:<大學(xué)>類

屬:<學(xué)校>類

型:

范圍:(綜合性大學(xué),??菩源髮W(xué))專

業(yè):默認(rèn)值:綜合學(xué)

數(shù):教

學(xué)

樓:教工人數(shù):職工人數(shù):學(xué)生人數(shù):位

置:(?。ㄖ陛犑校?市)面

積:單位(平方米)框架名:<學(xué)校>類屬:<教育機構(gòu)>類型:

范圍:(大學(xué),中學(xué),小學(xué))位置:(?。ㄖ陛犑校?,市)面積:單位(平方米)教工人數(shù):學(xué)生人數(shù):

框架名:<大學(xué)1>

屬:<大學(xué)>

名:中華醫(yī)學(xué)大學(xué)

業(yè):醫(yī)學(xué)

學(xué)

數(shù):13

學(xué)

樓:20

樓:40

學(xué)生宿舍:20

教工宿舍:60

教工人數(shù):4000

職工人數(shù):5000

學(xué)生人數(shù):20000

置:北京市

積:10000(平方米)

創(chuàng)建時間:2002年4月

教育機構(gòu)高等教育綜合特殊教育醫(yī)學(xué)初等教育幼兒園殘疾??拼髮W(xué)小學(xué)幼兒教育中國醫(yī)學(xué)大學(xué)藍(lán)天幼兒園北京盲人學(xué)校框架系統(tǒng)結(jié)構(gòu)

匹配:同語義網(wǎng)絡(luò)一樣遵循匹配原理。

槽計算:繼承(屬性值、屬性、限制)

查詢:使用推理的中間結(jié)果或者用戶輸入的數(shù)據(jù)附加過程:即附加在數(shù)據(jù)結(jié)構(gòu)上,啟動時計算槽值。4.4.2框架表示下的推理例如,要確定一個人的性別,已匹配的知識庫中的框架為:

【槽名

GenderNIL Ifneeded ASK Ifadded CHECK】啟動過程如下:

1)如果沒有默認(rèn)值,ifneeded條件滿足

2)啟動ASK,向用戶查詢并等待輸入

3)若有輸入(ifadded),執(zhí)行CHECK,檢查輸入的合法性。若有默認(rèn)值而無輸入,則不執(zhí)行CHECK4.4.2框架表示下的推理1、優(yōu)點:結(jié)構(gòu)性好適應(yīng)性強推理方式靈活2、缺點推理機制不明確框架系統(tǒng)各子框架數(shù)據(jù)結(jié)構(gòu)不一致將導(dǎo)致系統(tǒng)不清晰,推理困難。4.4.3框架表示法的特點混合型知識表示法上述的知識表示雖各有特點,而且適用的領(lǐng)域也不同。產(chǎn)生式規(guī)則方法推理方法太單一,如果前提條件太多,或規(guī)則條數(shù)太多,則推理的速度將慢得驚人。語義網(wǎng)絡(luò)方法表達(dá)的知識面比較窄??蚣芊椒ū硎镜闹R橫向關(guān)系不太明確。(縱向從屬繼承關(guān)系很明確)對于復(fù)雜的、深層次的知識,就很難用一種知識表示來解決問題。表示方法產(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法邏輯表示腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ā_本表示法腳本方式是采用一個專用的框架,用來表示特定領(lǐng)域的知識。腳本通過一些元語作為槽名來表代要表示的對象的基本行為。有些象電影劇本。開場條件

1.

病人有病。

2.

病人的病需要找醫(yī)生診治。

3.

病人有錢。

4.

病人能夠去醫(yī)院。

角色

病人、醫(yī)生、護士。

道具

醫(yī)院、掛號室、椅子、

桌子、藥方、藥房、

錢、藥。

場景場景1進入醫(yī)院(1)

人走進醫(yī)院(2)

病人掛號(3)

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

病人進入醫(yī)生的辦公室(2)

病人向醫(yī)生所說病狀(3)

醫(yī)生向病人解釋病情(4)

醫(yī)生給病人開藥方場景3交費(1)

病人到交費處(2)

病人遞交藥方(3)

病人交錢(4)

病人取回藥方及收據(jù)場景4取藥(1)

病人到藥房(2)

病人遞交藥方(3)

病人取藥場景5離開(1)

病人離開醫(yī)院結(jié)果

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

2.病人花了錢,買了藥。

3.醫(yī)生付出了勞動。

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

表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ā^程表示法前面的幾種知識表示方法均是知識和事實的一種靜止的表示方法。我們稱這類知識表示方式為陳述式表達(dá)。它所強調(diào)的是事物所涉及的對象是什么,是對事物有關(guān)知識的靜態(tài)描述,是知識的一種顯式、說明性知識表達(dá)形式。說明性表示知識給出事物本身的屬性及事物之間的相互關(guān)系。對問題的解答就隱含在這些知識之中。而過程性知識則給出解決一個問題的具體過程。表示方法—過程表示法說明性知識和過程性知識相比:說明性知識比較簡要、清晰、可靠、便于修改。但往往效率低。過程性知識比較直截了當(dāng),效率高。但由于詳細(xì)地給出了解決過程,使這種知識表示顯得復(fù)雜、不直觀、容易出錯、不便于修改。實際上,說明性表示和過程性表示實際上沒有絕對的分界線。因此,任何說明性知識如果要被實際使用,必須有一個相應(yīng)的過程去解釋執(zhí)行它。對于一個以使用說明性表示為主的系統(tǒng)來說,這種過程往往是隱含在系統(tǒng)之中,而不是面向用戶。表示方法—過程表示法知識過程性的兩個含義:含義1:把解決一個問題的過程描述出來??梢苑Q它為解題知識的過程表示。含義2:把客觀事物的發(fā)展過程用某種方式表示出來。在某些情況下,這兩種含義是很難決然分開的。如,任何一個解題系統(tǒng)的基本構(gòu)成都是一個數(shù)據(jù)集,一組運算符和一個解釋程序。過程性知識使用狀態(tài)來表示,在狀態(tài)空間運作。表示方法—過程表示法過程式表示定義:過程式表示就是將有關(guān)某一問題領(lǐng)域的知識連同如何使用這些知識的方法均隱式地表達(dá)為一個求解過程。它所給出的是事物的一些客觀規(guī)律,表達(dá)的是如何求解問題,知識的描述形式就是程序。所有信息均隱含在程序中——效率高、沒有固定形式。如何描述知識完全取決定于具體的問題。實際上的系統(tǒng)都是陳述與過程觀點的結(jié)合。陳述之中多少包含了過程方法。表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ā旌闲椭R表示法上述的知識表示雖各有特點,而且適用的領(lǐng)域也不同。如:謂詞邏輯方法只適用于確定性、陳述性、靜態(tài)性知識,而對動態(tài)的、變化性、模糊性知識則很難表示。產(chǎn)生式規(guī)則方法推理方法太單一,如果前提條件太多,或規(guī)則條數(shù)太多,則推理的速度將慢得驚人。語義網(wǎng)絡(luò)方法表達(dá)的知識面比較窄??蚣芊椒ū硎镜闹R橫向關(guān)系不太明確。(縱向從屬繼承關(guān)系很明確)對于復(fù)雜的、深層次的知識,就很難用一種知識表示來解決問題。表示方法—混合型知識表示法根據(jù)需要表示的知識的特征來決定用二、三種方式聯(lián)合表示。邏輯與框架:框架里的槽值可以對應(yīng)與謂詞項。語義網(wǎng)絡(luò)與框架:結(jié)點對應(yīng)與框架,結(jié)點的參數(shù)就是框架的槽值。產(chǎn)生式與框架:框架的槽值對應(yīng)于一條產(chǎn)生式規(guī)則。邏輯、產(chǎn)生式和過程式:產(chǎn)生式兩端以謂詞形式出現(xiàn)“活動”是個過程。與神經(jīng)網(wǎng)絡(luò)結(jié)合表示方法—混合型知識表示法框架與產(chǎn)生式在產(chǎn)生式系統(tǒng)中,隨著產(chǎn)生是規(guī)則數(shù)量的增加,系統(tǒng)設(shè)計著難以理解規(guī)則之間的相互作用。原因是每條規(guī)則的自含性使得知識表示的粒度過于細(xì)致。因此,需要對規(guī)則的適當(dāng)劃分,將其組織易于管理的功能模塊??蚣芟到y(tǒng)具有組織成塊知識的良好特性。兩者的有機結(jié)合,有利于系統(tǒng)的開發(fā)、調(diào)試和管理??蚣艿谋硎緳C制可以用作產(chǎn)生式語言和推理機制設(shè)計的一個重要構(gòu)件??蚣芸梢灾苯佑糜诒硎疽?guī)則(每個規(guī)則作為一個框架,一組規(guī)則組成一類)例:P186《人工智能與專家系統(tǒng)》吳泉源,國防科大

表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ǜ攀鲋苯颖硎具壿嫳硎井a(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ā嫦驅(qū)ο蟮闹R表示法面向?qū)ο蟊硎痉ㄖ械膶ο笾肝矬w,消息指物體間的聯(lián)系,通過發(fā)送消息使對象間相互作用來求得所需的結(jié)果。任何事物都是對象,對象按照“類”、“子類“進行分類。特點:有屬性繼承、特征描述結(jié)構(gòu)化等優(yōu)點。表示方法—newsCorpus-BasedKnowledgeRepresentation

KeyAdvantage:Avoidthelaboriousprocessofbuildinga(oftenbrittle)knowledgebase.“Weemphasizethecorpus-basedrepresentationisnotareplacementfortraditionalknowledgerepresentation.Therearemanytasksinwhichveryfinelytunedreasoningisrequired,andsuchreasoningcanonlybedonewithaverywelldesignedknowledgebase(e.g.,medicaldiagnosis,monitoringspacecraft,andmakingsenseoftaxlaw).”第四章知識表示方法結(jié)論: 本章介紹了若干種知識表達(dá)方式,絕大多數(shù)在應(yīng)用中得到了很好的驗證。但實際工作中,如果要建立一個人工智能系統(tǒng)、專家系統(tǒng)時,可能還是要根據(jù)具體情況提出一個混合性的知識表達(dá)方式。表示方法概述直接表示邏輯表示產(chǎn)生式規(guī)則表示法語義網(wǎng)絡(luò)表示法框架表示法腳本方法過程表示混合型知識表示方法面向?qū)ο蟮谋硎痉椒ū硎痉椒ā壿嫳硎痉ㄒ浑A謂詞邏輯是謂詞邏輯中最直觀的一種邏輯。它以謂詞形式來表示動作的主題、客體。客體可以多個。

如:張三與李四打網(wǎng)球(ZhangandLiplaytennis),可寫為:play(Zhang,Li,tennis)

這里謂詞是play,動詞主體是Zhang和Li,而客體是tennis。謂詞邏輯規(guī)范表達(dá)式:

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

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

Commit(x)→Punished(x),x不一定是人也可以是動物。 而,{[Human(x)→Lawed(x)]→[commit(x)→Punished(x)]}, 意為如果由于某個x是人而受法律管制,則這個人犯了罪就一定要受到懲罰。表示方法—邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一,其原因是:謂詞邏輯與數(shù)據(jù)庫,特別是關(guān)系數(shù)據(jù)庫就有密切的關(guān)系。在關(guān)系數(shù)據(jù)庫中,邏輯代數(shù)表達(dá)式是謂詞表達(dá)式之一。因此,如果采用謂詞邏輯作為系統(tǒng)的理論背景,則可將數(shù)據(jù)庫系統(tǒng)擴展改造成知識庫。一階謂詞邏輯具有完備的邏輯推理算法。如果對邏輯的某些外延擴展后,則可把大部分的知識表達(dá)成一階謂詞邏輯的形式。(知識易表達(dá))………..表示方法

—邏輯表示法謂詞邏輯法是應(yīng)用最廣的方法之一,其原因是:………..謂詞邏輯本身具有比較扎實的數(shù)學(xué)基礎(chǔ),知識的表達(dá)方式?jīng)Q定了系統(tǒng)的主要結(jié)構(gòu)。因此,對知識表達(dá)方式的嚴(yán)密科學(xué)性要求就比較容易得到滿足。這樣對形式理論的擴展導(dǎo)致了整個系統(tǒng)框架的發(fā)展。邏輯推理是公理集合中演繹而得出結(jié)論的過程。由于邏輯及形式系統(tǒng)具有的重要性質(zhì),可以保證知識庫中新舊知識在邏輯上的一致性(或通過相應(yīng)的一套處理過程檢驗)、和所演繹出來的結(jié)論的正確性。而其它的表示方法在這點上還不能與其相比。表示方法—邏輯表示法

用邏輯(謂詞)表示知識實質(zhì)上是把人類關(guān)于世界的認(rèn)識變成一個包含個體、函數(shù)和謂詞的概念化形式?;静襟E:給出有關(guān)世界的個體、函數(shù)和謂詞構(gòu)造一階謂詞公式(集)對公式(集)給出解釋,使該解釋是相應(yīng)公式(集)的一個模型。表示方法—邏輯表示法

為此邏輯表示法在實際人工智能系統(tǒng)上得到應(yīng)用。

邏輯表示例例:一個房間里,有一機器人Robot,一個積木塊Box,兩個桌子A和B, 怎樣用邏輯法描述從初始狀態(tài)到目標(biāo)狀態(tài)的機器人操作過程?先引入謂詞:

Table(A) 表示A是桌子

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

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

Holds(Robot,Box) 機器人Robot拿著Box On(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)例(續(xù))

機器人的每個操作的結(jié)果所引起的狀態(tài)變化,可用對原狀態(tài)的增添表和刪除表來表示。如機器人有初始狀態(tài)是把Box從A桌移到B桌上,然后仍回到Alcove,這時同初始狀態(tài)相比有: 增添表 On(Box,B) 刪除表 On(Box,A)又如機器人從初始狀態(tài),走近A桌,然后拿起B(yǎng)ox。這時同初始狀態(tài)相比有: 增添表 At(Robot,A) Holds(Robot,Box)

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

O

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論