第二章 知識表示方法(三)

第二章知識表示方法

第五節(jié)語義網(wǎng)絡(luò)表示

?語義網(wǎng)絡(luò)的基本概念

耳什么是語義網(wǎng)絡(luò)

＞語義網(wǎng)絡(luò)是一種用實體及其語義關(guān)系來表達知識的有向圖。

■帶標志的有向圖

■語義網(wǎng)絡(luò)是知識的一種結(jié)構(gòu)化圖解表示方法

■由節(jié)點（node）和弧線或鏈線組成

＞節(jié)點：表示實體，表示各種事物、概念、情況、屬性、狀態(tài)、事件、動作等。

＞弧線：代表語義關(guān)系，表示它所連接的兩個實體之間的語義聯(lián)系

＞在語義網(wǎng)絡(luò)表示中，每一個節(jié)點和弧都必須有標志，用來說明它所代表的實體或

語義。

＞語義網(wǎng)絡(luò)的結(jié)構(gòu)

■詞法：詞匯表中允許有哪些符號，它涉及各個節(jié)點和弧

■結(jié)構(gòu)：符號排列的約束條件，指定各弧線連接的節(jié)點對

■過程：訪問過程，這些過程能用來建立和修正描述，以及回答相關(guān)問題

■語義：確定有關(guān)節(jié)點的排列及其占有物和對應(yīng)弧線

＞從結(jié)構(gòu)上來看，語義網(wǎng)絡(luò)一般由一些最基本的語義單元組成。這些最基本的語義

單元被稱為語義基元。語義基元可用如（節(jié)點1,弧，節(jié)點2）這樣一個三元組來

描述。它的結(jié)構(gòu)可以用一個基本網(wǎng)元來表示。

＞基本網(wǎng)元：指一個語義基元對應(yīng)的有向圖。

例如：若有語義基元（A,R,B）,其中，A、B分別表示兩個結(jié)點，R表示A與B之間的

某種語義聯(lián)系，則它所對應(yīng)的基本網(wǎng)元如下圖所示：

R

A--------->B

當把多個語義基元用相應(yīng)的語義聯(lián)系關(guān)聯(lián)到一起就形成了語義網(wǎng)絡(luò)。語義網(wǎng)絡(luò)中弧的方向

是有意義的，不能隨意調(diào)換。

》語義網(wǎng)絡(luò)與謂詞邏輯

＞語義網(wǎng)絡(luò)表示和謂詞邏輯表示有著對應(yīng)的表示能力。從邏輯上看，一個基本網(wǎng)元

相當于一組二元謂詞。三元組（節(jié)點1,弧，節(jié)點2）可用謂詞邏輯表示為P（節(jié)

點1,節(jié)點2）,其中弧的功能由謂詞完成。

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

＞實例關(guān)系：即一個事物是另一個事物的具體例子。例如"我是一個人"?；∩系?/p>

語義標記為"ISA",即為"isa",含義為"是一個"。

＞分類關(guān)系（泛化關(guān)系）：表示一個事物是另一個事物的一個成員，體現(xiàn)的是子類

H

與父類的關(guān)系，弧的語義標記為"AKO",即為akindofo

AKOII

鳥-----------------H動物

＞成員關(guān)系：體現(xiàn)個體與集體的關(guān)系，表示一個事物是另一個事物的成員型。弧的

語義標志為"A-Member-of*'。

----------|A_Member_Of------------

李-------J黨員

上述關(guān)系的主要特征一屬性繼承，處在具體層的結(jié)點可以繼承抽象層結(jié)點的所有屬性。

＞包含關(guān)系（聚類關(guān)系）：是指具有組織或結(jié)構(gòu)特征的"部分與整體”之間的關(guān)

系。弧的語義標志為“Part-o『。跟分類關(guān)系最主要區(qū)別在于包含關(guān)系一般不具備

屬性的繼承性。

Part-of

手----------------A人

＞屬性關(guān)系：指事物和其屬性之間的關(guān)系，一個結(jié)點是另一個結(jié)點的屬性值。常用的

屬性關(guān)系有：Is,Can等；或具體的屬性名詞。

2

A擁有關(guān)系：Have,Own

Has

李---------*Car

＞時間關(guān)系：表示時間上的先后次序關(guān)系。常用的時間關(guān)系有:

■Before：表示一個事件在另一個事件之前發(fā)生

■After：表示一個事件在另一個事件之后發(fā)生

Before

唐朝------------1宋朝

＞位置關(guān)系：是指不同的事物在位置方面的關(guān)系，常用的有:

■Located-on：表示某一物體在另一物體上面

■Located-at：表示某一物體所處的位置

■Located-under：表示某一物體在另一物體下方

■Located-inside:表示某一物體在另一物體內(nèi)

■Located-outside:表示某一物體在另一物體外

當把多個基元用相應(yīng)語義關(guān)聯(lián)在一起時，就可以得到一個語義網(wǎng)絡(luò)

3

?語義網(wǎng)絡(luò)表示法的應(yīng)用

府語義網(wǎng)絡(luò)表示一元關(guān)系

＞所謂一元關(guān)系就是一些最簡單、最直觀的事物或概念，例如"雪是白的"、"天

是藍的"。

■具體的表示就如同上面"我是一個人"這個例子，這就是一個一元關(guān)系。

■再例如，"狗能吃，會跑"

府語義網(wǎng)絡(luò)表示二元關(guān)系

首先讓我們用語義網(wǎng)絡(luò)來表示一些簡單的事實。

例如：

(1)所有的燕子(swallow)都是鳥(bird)。建立兩個節(jié)點，SWALLOW和

BIRD,分別表示燕子和鳥。兩節(jié)點以"是一個"(ISA)鏈相連，如圖2.17(a)所示。

4

(2)再如，我們希望表示小燕(xiaoyan)是一只燕子。那么，只需要在語義網(wǎng)絡(luò)上

增加一個節(jié)點(XIAOYAN)和一根ISA鏈，如圖圖2.17(b)所示。

(3)除了按分類學對物體進行分類以外，人們通常需要表示有關(guān)物體性質(zhì)的知識。例

如，要用語義網(wǎng)絡(luò)表示鳥有翹膀的事實，我們可按圖2.17(c)來建立語義網(wǎng)絡(luò)。

＞事物與概念的表示

■例如：動物能吃、能運動

鳥是一種動物，鳥有翅膀、會飛

魚是一種動物，魚生活在水中、會游泳

5

＞情況的表示：

由西蒙斯（Simmons）和斯洛克姆（Slocum）提出來的方法允許節(jié)點既可以表示一個

物體或一組物體,也可以表示情況和動作。每一情況節(jié)點可以有一組向外的?。ㄊ吕?/p>

?。?，稱為事例框,用以說明與該事例有關(guān)的各種變量。

例如，應(yīng)用具有事例弧的情況節(jié)點表示“小燕從春天到秋天占有一個巢"這個事實的

語義網(wǎng)絡(luò)就如圖所示。圖中設(shè)立了"占有權(quán)-1"（OWN-1）節(jié)點，表示小燕有自己的

巢。當然，小燕還可以有其它東西。所以，占有權(quán)-1只是占有權(quán)（ownership）的一個

實例。而占有權(quán)又只是一種特定的"情況"（situation）。小燕是占有權(quán)-1的一個特定

的“物主"（owner）,而巢-1是占有權(quán)-1的一個特定的“占有物"（ownee）。小燕

占有"占有權(quán)-1"的時間從春天（spring）到秋天（fall春天"和"秋天"又被

定為"時間"（time）的實例。

＞事件和動作的表示：

用語義網(wǎng)絡(luò)表示事件或動作時需要設(shè)立一個事件節(jié)點。事件節(jié)點有一些向外引出的

弧，表示動作的主體和客體。

例如，"我給他一本書"

6

府多元語義網(wǎng)絡(luò)的表示

＞基本網(wǎng)絡(luò)單元只能表示一元或二元語義關(guān)系，如何處理多元語義呢？

語義網(wǎng)絡(luò)從本質(zhì)上來說，只能表示二元關(guān)系。解決這個矛盾的一種方法是把這個

多元關(guān)系轉(zhuǎn)化成一組二元關(guān)系的組合，或二元關(guān)系的合取。具體來說，多元關(guān)系

R(XI,X2,...,Xn)總可以轉(zhuǎn)換成

R(Xll,X12)AR2(X21,X22)A...ARn(Xnl,Xn2)

■例如，要表達北京大學(BEIJINGUniversity，簡稱BU)和清華大學

(TSINGHUAUniversity，簡稱TU)兩?；@球隊在北大進行的一場比賽的比分是

85比89。若用謂詞邏輯可表示為SCORE(BU,TU,(85—89))。要在語義網(wǎng)

絡(luò)中進行這種轉(zhuǎn)換需要引入附加節(jié)點。對于上述球賽，我們可以建立一個G25節(jié)

點來表示這場特定的球賽。然后，把有關(guān)球賽的信息和這場球賽聯(lián)系起來

7

■例如，三根線a,b,c組成一個三角形。這可表示成TRIANGLE(a,b,c)。這個

三元關(guān)系可轉(zhuǎn)換成一組二元關(guān)系的合取，即

CAT(a,b)ACAT(b,c)ACAT(c,a)其中,CAT表示串彳亍連接。

?連接詞和量化的表示

＞合取

多元關(guān)系可以被轉(zhuǎn)換成一組二元關(guān)系的合取，從而可以用語義網(wǎng)絡(luò)的形式表示出來。

例如：JohngaveMarythebook這個事實，可用謂詞邏輯表示為GIVE(JOHN,

MARY,BOOK)

其中包括3項。若用語義網(wǎng)絡(luò)表示這個事實，就如圖2.22所示。其中引入了一個附加

的節(jié)點G1,表示一個特定的給某人東西的事件。B23表示一件給人的東西。與節(jié)點

G1相連的鏈GIVER、OBJECT以及RECIEPIENT之間是合取關(guān)系。因此，在語義網(wǎng)

絡(luò)中，如不加標志，就意味著連接之間的關(guān)系是合取。

＞析取

在語義網(wǎng)絡(luò)中，為與合取關(guān)系相區(qū)別，在析取關(guān)系的連接上加注析取界限，并標記

DIS0例如要表示ISA(A,B)vPART-OF(B,C)

8

這時語義網(wǎng)絡(luò)就如圖所示。如果沒有加注析取界限，則這個網(wǎng)絡(luò)就會被解釋為

ISA(A,B)APART-OF(B,C)

當2條(或多條)關(guān)系弧有邏輯"或”關(guān)系時，可以用虛線框?qū)⒃谶@些弧圍起來，并在

虛線框上加標記DIS(disjunction)。

＞否定

為表示否定關(guān)系，我們可以采用~ISA和~PARTOF關(guān)系或標注NEG界限，如圖所

示,其中(a)和(b)分別表示~(AisaB)和~(BpartofC).

FA

AB

Cb)

如果我們要用語義網(wǎng)絡(luò)表示~[ISA(A,b)人PART-OF(B,C)]

一種方法可以利用狄?摩根定理使否定關(guān)系只作用于ISA和PART-OF關(guān)系。這時，仍

可利用~ISA和~PART-OF來表示這個事實。如果，不希望改變這個表達式的形式,

那么可以利用NEG界限，如圖所示

9

1IEG

(c)

＞蘊涵

在語義網(wǎng)絡(luò)中可用標注ANTE和CONSE界限來表示蘊涵關(guān)系。ANTE和CONSE界限

分別用來把與先決條件(antecedent)及與結(jié)果(consequence)相關(guān)的鏈聯(lián)系在一起

例如，“如果學校組織大學生機器人競賽活動，那

么李強就參加比賽”,該蘊涵關(guān)系的語義網(wǎng)絡(luò)如下

圖。

?語義網(wǎng)絡(luò)的推理過程

府語義網(wǎng)絡(luò)的推理過程主要有兩種，一種是繼承，另一種是匹配。

府繼承：是指把對事物的描述從抽象節(jié)點傳遞到具體節(jié)點。通過繼承

(沿著ISA、AKO這些弧)可以得到所需節(jié)點的一些屬性值。繼承可

分為值繼承、如果需要繼承和缺省繼承等類型。

＞值繼承(ISA、AKO)：把知識從某一層直接傳遞到另一層，子節(jié)點直接繼承父節(jié)點

的屬性

10

A"如果需要”繼承：某些情況下，對事物的描述不能直接從概念節(jié)點或類節(jié)點繼

承得到，但可利用已知信息來計算，這種計算程序稱為if-needed程序

假設(shè)我們希望計算圖中BRICK12節(jié)點的重量，BLOCK節(jié)點中的程序就根據(jù)

BRLCK12的體積和密度計算重量，并把計算結(jié)果存入BRICK12的WHIGHT槽的

值側(cè)面中

>“缺省"繼承：把具有相當程度的真實性，但又不能十分肯定的值放入槽的

DEFAULT（缺?。﹤?cè)面中。例如，我們可以認為法官可能是誠實的，但不一定是；

或認為寶石可能是很昂貴的，但不一定是。

>一般過程：

1.建立一個節(jié)點表，用來存放待解節(jié)點和所有以ISA、AKO等繼承弧于此節(jié)點相連的節(jié)

點。初始情況下，節(jié)點表中只有待解節(jié)點。

2.檢查表中的第一個節(jié)點是否有繼承弧。若有則把該弧所指的所有節(jié)點放入節(jié)點表末

尾。記錄這些節(jié)點的屬性，并從節(jié)點表中刪除第一個節(jié)點。若沒有則直接刪除第一個

節(jié)點。

3.重復第2步，直到節(jié)點表為空。

記錄下的全部屬性就是待解節(jié)點繼承來的屬性。

11

求出鳥（待解節(jié)點）可以（Can）進行的活動？

①將鳥（待求解節(jié)點）加入節(jié)點表

②檢查第一個節(jié)點（鳥）的繼承弧，將繼承弧所指的節(jié)點（動物）加入節(jié)點表，刪除第一

個節(jié)點（鳥）

③檢查第一個節(jié)點（動物）的繼承弧，不存在繼承弧，刪除第一個節(jié)點（動物），并記錄

第一個節(jié)點（動物）Can對應(yīng)的屬性（運動，吃）。

故鳥Can運動和吃。

府匹配：是指在知識庫的語義網(wǎng)絡(luò)中尋找與待求解問題相符的語義網(wǎng)絡(luò)

模式。

＞根據(jù)待求解問題的要求，構(gòu)造一個網(wǎng)絡(luò)片斷，該網(wǎng)絡(luò)片斷中有些結(jié)點或弧的標識

是空的，稱為詢問處，它反映的是待求解的問題。

＞根據(jù)該語義片斷到知識庫中去尋找所需要的信息。

＞當待求解問題的網(wǎng)絡(luò)片斷與知識庫中的某語義網(wǎng)絡(luò)片斷相匹配時，則與詢問處相

匹配的事實就是問題的解。

例：假設(shè)系統(tǒng)知識庫中有下列語義網(wǎng)絡(luò)。問李在哪個公司工作。

解：根據(jù)這個問題的要求，可構(gòu)造如下語義網(wǎng)絡(luò)片斷。到知識庫中匹配，找到下

圖的匹配片段，可知李為“理想公司”工作。

12

?匹配

例：設(shè)在語義網(wǎng)絡(luò)系統(tǒng)的知識庫中，存在下列事實的語義網(wǎng)絡(luò)："山西大學是一個

學校，位于太原市，建立時間是1902年"。這一事實的語義網(wǎng)絡(luò)表示如下：

太原市l(wèi)ocatedat—山西大學一ISA>學校

J建立于

1902年

假如要求解的問題是：山西大學位于哪個城市？

解：首先將待求解的問題表示成一個局部的語義網(wǎng)絡(luò)，如下圖：

?(locatedat—山西大學一ISA>學校

然后到語義網(wǎng)絡(luò)系統(tǒng)的知識庫中去匹配，就會找到相匹配的事實是“太原市"。

第六節(jié)框架表示

?框架的構(gòu)成

府框架理論

>框架理論認為，我們對世間事物的認識都是以類似框架的結(jié)構(gòu)存儲在記憶中的。

當遇到一個新事物就從記憶中找出一個合適的框架，并根據(jù)新的情況對齊細節(jié)加

以修改、補充，從而形成對這個新事物的認識。

13

＞用以往經(jīng)驗來認識新事物使人們常用的方法，但是我們又不可能把過往發(fā)生過的

所有經(jīng)驗都存在腦海中，而只能用一種通用的數(shù)據(jù)結(jié)構(gòu)把它們存儲起來，當新情

況發(fā)生的時候只需把新的數(shù)據(jù)添加到已有的通用數(shù)據(jù)結(jié)構(gòu)中便可以實例化一個具

體的實體。這種通用數(shù)據(jù)結(jié)構(gòu)就是框架。

＞框架也是一種語義網(wǎng)絡(luò)，其中繼承性是其重要特性

府框架的構(gòu)成

框架是一種描述所討論對象（事物、事件、概念等）屬性和行為的數(shù)據(jù)結(jié)構(gòu)。由以下

部分構(gòu)成：

＞框架名：每個框架都有一個框架名子，唯一標識一個框架。

＞槽（Slot）、槽名、槽值

■一個框架由若干個槽構(gòu)成，每個槽都有槽名；

■一個槽用于說明框架某一方面的屬性；

■屬性的值即為槽值。

＞側(cè)面（Facet）、側(cè)面名、側(cè)面值

■一個槽有可能劃分為若干個側(cè)面，具有相應(yīng)的側(cè)面名；

■一個槽可能含有若干細分屬性，一個側(cè)面用來說明其中的一個屬性；

■屬性的值即為側(cè)面值。

＞約束條件：用來約束、限制槽值、側(cè)面值的填寫。一般不單獨列出，而包含在值

的填寫約束中。

府常用槽

通常在框架系統(tǒng)中定義一些供用、常用且標準的槽名，并把這些槽名稱為系統(tǒng)預定

義槽名

14

AISA槽：用于指出對象間抽象概念上的類屬關(guān)系。直觀意義是"是一個"，"是

一種"，"是一只"。一般情況下用ISA槽指出的聯(lián)系都具有繼承性

〈運動員〉

姓名：

年齡：

性別：

〈棋手〉

ISA:〈運動員〉

腦力：擅長

>AKO槽：用于具體地指出對象間的類屬關(guān)系。直觀意義是"是一種"。當用它作

為某下層框架的槽時，就明確地指出了該下層框架所描述的事務(wù)是其上層框架所

描述事務(wù)中的一種，下層框架可繼承上層框架中的值或?qū)傩?/p>

>Instance槽：表示AKO槽的逆關(guān)系。當用它作為某上層框架的槽時，可在該槽中

指出它所聯(lián)系的下層框架。

〈運動員〉

Instance:〈棋手〉，〈足球運動員〉，〈排球運動員〉

年齡：

性別：

>Part-of槽：用于指出部分和全體的關(guān)系。當用其作為某框架的一個槽時，槽中所

填的值稱為該框架的上層框架名，該框架所描述的對象只是其上層框架所描述對

象的一部分。

15

例如：汽車和輪胎。上層框架是對汽車的描述，下層框架是對輪胎的描述，顯然

輪胎是汽車的一部分。Part-of指出下層是上層的一個子結(jié)構(gòu)

＞Infer槽：指出兩個框架間的邏輯推理關(guān)系，可表示相應(yīng)的產(chǎn)生式規(guī)則

>Possible-Reason槽：與Infer槽相反

設(shè)有下面知識：如果咳嗽，發(fā)燒且流涕，則八成是患了感冒，需服用感冒膠囊，一日3

次，每次2-3粒。并要多喝開水。對該知識，可用如下兩個框架表示：

-

及新規(guī)則＞、

r〈結(jié)-論;〉

癥狀1：咳嗽

病名：感冒

癥狀2：發(fā)燒

癥狀3：流涕治療方法：月艮用感冒膠囊，一日3次，每次2-3拉

Infer：（結(jié)論〉注意事項：多喝開水

UT信度：0.8Possible-Reason：（含新規(guī)則〉

府框架網(wǎng)絡(luò)

當知識比較復雜時，往往需要通過各框架之間的橫向或縱向聯(lián)系形成一種框架系統(tǒng)。

＞框架之間的縱向聯(lián)系

指具有繼承關(guān)系的上下層框架之間的聯(lián)系；縱向聯(lián)系是通過定義槽名AKO、ISA來實現(xiàn)的。

框架名：〈教師〉框架名：〈教職工〉

繼承：〈教職工〉繼承：〈師生員工〉

部門：單位（系、教研室）工作類型：范圍（教師、干部、工人）

語種：范圍（英語、法語、德語、日缺?。航處?/p>

語、俄語）開始工作時間：單位（年，月）

缺?。河⒄Z健康狀況：范圍（健康、一般、差）

外語水平：范圍（優(yōu)、良、中、差）截止工作時間：單位（年，月）

缺省：良缺?。含F(xiàn)在

研究方向：離退休狀況：范圍（離休、退休）

＞框架之間的橫向聯(lián)系

16

指以另外一個框架名作為一個槽的槽值或側(cè)面值建立起來的框架之間的聯(lián)系

框架名：〈師生員工〉

姓名：單位（姓，名）

年齡：單位（歲）

性別：范圍（男、女）

缺省：男

健康狀況：范圍（健康、一般、差）

缺省：一般

住址：〈住址框架〉

缺?。和诵?/p>

》框架推理

在框架系統(tǒng)中，問題求解主要是通過對框架的繼承、匹配與填槽來實現(xiàn)的。

■問題求解過程：

1.首先要把該問題用框架表示出來。

2.然后利用框架之間的繼承關(guān)系，把它與知識庫中的已有框架進行匹配，找出一個或多個候

選框架，并在這些候選框架引導下進一步獲取附加信息，填充盡量多的槽值，以建立一個

描述當前情況的實例。

3.最后再用某種評價方法對候選框架進行評價，以決定是否接收該框架。

＞繼承

由于框架的槽包含多個側(cè)面，框架系統(tǒng)可以提供功能強大的特性繼承技術(shù)。

框架有三種側(cè)面：Value、If-Needed和If-Added

＞匹配

■將待解問題用框架表示

匹配通過對相應(yīng)槽的槽名和值逐個比較實現(xiàn)

17

■比較往往牽涉到其它框架

■問題的隨機性也使匹配復雜化

＞填槽

■查詢：中間結(jié)果或用戶輸入

■默認

■繼承

■附加過程計算

第七節(jié)本體技術(shù)

?本體的概念

府本體是概念化的一個顯式的規(guī)范說明或表示

府本體是概念化某些方面的一個顯式規(guī)范說明或表示

府對"概念化”的形式解釋和規(guī)范說明

在計算機科學與信息科學領(lǐng)域，理論上，本體是指一種"形式化的，對于共享概

念體系的明確而又詳細的說明"。本體提供的是一種共享詞表，也就是特定領(lǐng)域之中

那些存在著的對象類型或概念及其屬性和相互關(guān)系；或者說,本體就是一種特殊類型

的術(shù)語集，具有結(jié)構(gòu)化的特點，且更加適合于在計算機系統(tǒng)之中使用；或者說，本體

實際上就是對特定領(lǐng)域之中某套概念及其相互之間關(guān)系的形式化表達(formal

representation)。本體是人們以自己興趣領(lǐng)域的知識為素材，運用信息科學的本體論

原理而編寫出來的作品。本體一般可以用來針對該領(lǐng)域的屬性進行推理，亦可用于定

義該領(lǐng)域(也就是對該領(lǐng)域進行建模)。此外，有時人們也會將"本體"稱為"本體

論"。

府本體(Ontology)的概念源自于哲學領(lǐng)域，在哲學中的定義為"對世

界上客觀事物的系統(tǒng)描述，即存在論"。哲學中的本體關(guān)心的是客觀

18

現(xiàn)實的抽象本質(zhì)。而在計算機領(lǐng)域，本體可以在語義層次上描述知

識，可以看成描述某個學科領(lǐng)域知識的一個通用概念模型。

4本體可定義為被共享的概念化的一個形式規(guī)范說明

府這個定義包含了四層含義

(1)共享(share):指本體中體現(xiàn)的知識是共同認可的，反映在領(lǐng)域中公認的術(shù)語

集合。

(2)概念化(Conceptualization):指本體對于事物的描述表示成一組概念。

(3)明確性(Explicit):指本體中全部的術(shù)語、屬性及公理都有明確的定義。

(4)形式化(Formal):指本體能夠被計算機所處理，是計算機可讀的。

府本體通常用來描述領(lǐng)域知識?？梢赃@樣理解它：本體是從客觀世界中

抽象出來的一個概念模型，這個模型包含了某個學科領(lǐng)域內(nèi)的基本術(shù)

語和術(shù)語之間的關(guān)系(或者稱為概念以及概念之間的關(guān)系)。本體不

等同于個體，它是團體的共識，是相應(yīng)領(lǐng)域內(nèi)公認的概念集合。

4本體的組成

＞概念(類)：描述領(lǐng)域內(nèi)的實際概念，既可是實際存在的事物，也可是抽象的概

念；如大學、電影、人等；

＞關(guān)系：用于描述類(概念)之間的關(guān)系；如part-of.kind-of等；

＞函數(shù)：是一類特殊的關(guān)系，在這種關(guān)系中前n-1個元素可以唯一決定第n個元素；

如mother-of關(guān)系就是一個函數(shù)，mother-of(x,y)表示y是x的母親，x可以唯

一確定它的母親y；

＞公理：代表本體內(nèi)存在的事實，可以對本體內(nèi)類或者關(guān)系進行約束；如概念甲屬

于概念乙的范圍；

＞實例：表示具體某個類的實際存在；如鄭大是大學的一個實例；

19

*本體中類（概念）之間的四種基本關(guān)系

>part-of局部與整體的關(guān)系

>kind-of父類與子類之間的關(guān)系

>Instance-of在類中填充實例，類與實例之間的關(guān)系

>Attribute-of類的屬性,有對象屬性和數(shù)據(jù)屬性

府本體的分類

根據(jù)本體應(yīng)用主題，將本體劃分為五種類型：領(lǐng)域本體、通用或常識本體、知識本

體、語言學本體和任務(wù)本體。

依據(jù)本體的層次和領(lǐng)域依賴度，Guarino等人將其分為四類

■頂層本體：研究通用的概念以及概念之間的關(guān)系，如空間、時間、事件、行為等，與具體

的應(yīng)用無關(guān)，完全獨立于限定的領(lǐng)域，因此可以在較大范圍內(nèi)進行共享。

■領(lǐng)域本體：研究的是特定領(lǐng)域內(nèi)概念及概念之間的關(guān)系。

■任務(wù)本體：定義一些通用任務(wù)或者相關(guān)的推理活動，用來表達具體任務(wù)內(nèi)的概念及概念之

間關(guān)系。

■應(yīng)用本體：用來描述一些特定的應(yīng)用，既可以引用領(lǐng)域本體中特定的概念，又可以引用任

務(wù)本體中出現(xiàn)的概念。

府本體的構(gòu)建方法

20

本體的構(gòu)建方法多種多樣，常見的有如下幾種。

1、TOVE法：TOVE是指多倫多虛擬企業(yè)（TorontoVirtualEnterprise）專門用于構(gòu)建TOVE本

體（關(guān)于企業(yè)建模過程的本體）。

2、METHONTOLOGY法：專用于構(gòu)建化學本體（有關(guān)化學元素周期表的本體）。

3、骨架法：專門用于構(gòu)建企業(yè)本體，建立在企業(yè)本體基礎(chǔ)之上，是相關(guān)商業(yè)企業(yè)間術(shù)語和定

義的集合。

4、KACTUS工程法：是基于KACTUS項目而產(chǎn)生的，KACTUS是指關(guān)于多用途復雜技術(shù)系

統(tǒng)的知識建模工程。

5、七步法：斯坦福大學醫(yī)學院開發(fā)的七步法，用于領(lǐng)域本體構(gòu)建。七步驟為：確定領(lǐng)域本體

的范疇；復用現(xiàn)有的本體；列出領(lǐng)域內(nèi)的術(shù)語；定義類和類的等級關(guān)系；定義類的屬性；定義

屬性的分面；填充實例。

6、基于敘詞表的領(lǐng)域本體構(gòu)建：敘詞表又稱為主題詞表，是一種語義詞典，由術(shù)語及術(shù)語之

間的關(guān)系組成，能夠反映某學科領(lǐng)域的語義相關(guān)概念。由于敘詞表包含豐富的領(lǐng)域概念和一定

的語義關(guān)系，在表達和知識結(jié)構(gòu)上與本體有著天然聯(lián)系，包含了本學科比較完整的術(shù)語，因

此，國內(nèi)外很多學者都在嘗試將敘詞表轉(zhuǎn)換為本體。國內(nèi)目前基于敘詞表已經(jīng)轉(zhuǎn)化成型的本體

原型有《國防科學技術(shù)敘詞表》和《中國農(nóng)業(yè)科學敘詞表》。

4本體的描述語言

本體的描述語言眾多，而W3c推薦的本體描述語言主要有RDF、RDFS和OWL。

1、RDF（ResourceDescriptionFramework,資源描述框架）

客觀世界中任何一種關(guān)系都可以用一個三元組（主體/主語、謂語、客體/賓語）來進行

表達。RDF用于描述web上的資源，是使用XML語言編寫、計算機可讀的,不是為了向用戶

展示。RDF使用web標識符（主體/主語）來標記資源，使用屬性（謂語）和屬性值（客體/賓

語）來描述資源。這里的資源、屬性和屬性值就構(gòu)成了一個陳述（或者被稱為陳述中的主體、

謂語和客體）。

比如—個陳述：Theauthorofbookisfengxianhe.

這里，陳述的主體是book,謂語是author,客體是fengxianheo

21

本體中的類（概念）就是RDF三元組中的主體/客體，類的屬性就是RDF三元組中的

謂語。RDF數(shù)據(jù)也可以被表示為一個帶有標記的有向圖，圖上的節(jié)點對應(yīng)三元組中的主體和

客體，邊對應(yīng)謂語。

2、RDFS（RDFSchem,RDF詞匯描述語言）

RDFS是在RDF基礎(chǔ)上對其進行擴展而形成的本體語言，解決了RDF模型原有的缺

點，定義了類、屬性、屬性值來描述客觀世界，并且通過定義域和值域來約束資源，更加形象

化表達了知識。

3、OWL（WebOntologyLanguage,Web本體語言）

OWL是由W3c開發(fā)的網(wǎng)絡(luò)本體語言,用來對本體進行語義描述。OWL保持了原有

RDF、RDFS的兼容性，有保證率較好的語義表達能力，根據(jù)表達能力的增強順序OWL分為

三種子語言：OWL-Lite、OWL-DL和OWL-Full。OWL本體中有3中基本元素：類、屬性和

實例。

府本體的開發(fā)工具

大規(guī)模領(lǐng)域本體的構(gòu)建比較復雜，耗時耗力，而且需要具備領(lǐng)域背景知識的專家參

與。手工構(gòu)建一個規(guī)?；念I(lǐng)域本體是不可能的，為了方便領(lǐng)域本體的構(gòu)建，國外研

究機構(gòu)提出了半自動化構(gòu)建領(lǐng)域本體的方法，借助流行的本體編輯工具protege。

protege是斯坦福大學醫(yī)學院基于Java語言編寫的，本體構(gòu)建工具，它提供了一個圖形

化和交互式的知識本體開發(fā)環(huán)境。支持RDF、RDFS、OWL等本體語言在系統(tǒng)外對本

體進行編輯和修改。

22

第八節(jié)過程表示

?過程表示法的概念

概念

＞所謂過程表示法，就是把問題求解的總目標劃分為一個個過程(Procedure)目標，再

結(jié)合知識利用環(huán)節(jié)確定為若干操作步驟，表示為一個個過程。每一個過程就是一

段程序，用于完成對一個具體事件或情況的處理。在問題求解中，當需要使用某

個過程時，就調(diào)用相應(yīng)的程序并執(zhí)行之。這樣，問題的求解與推理，就轉(zhuǎn)換成為

一個又一個過程的程序組織與調(diào)用了。

＞簡言之，依據(jù)問題的求解目標，按照事物的發(fā)展過程規(guī)律，用相關(guān)知識加以設(shè)計

和描述其求解過程的方法，稱之為過程表示法。

＞對比前述各種非過程表示法，往往只從個體動作'自身行為的獨立作用和影響出

發(fā)，注重于個體環(huán)境的靜態(tài)描述。而過程表示法把問題相關(guān)領(lǐng)域的知識、信息及

控制策略等，均隱含表示為一個或多個求解問題的過程，并著重于動態(tài)過程的描

述；具體描述其控制行為所導致的一系列狀態(tài)變遷,關(guān)注的是某個對象發(fā)出的看

干個連續(xù)操作而導致的過程目標。

＞過程式不像陳述式那樣具有固定的形式，如何描述知識完全取決于具體的問題

》舉例

這里以九宮問題(又叫做八數(shù)碼難題)求解過程狀態(tài)的描述為例，來說明過程表示法的

求解方法及其推理形式。如圖示，可用Xo~X8來標記問題中的九個小方格的對應(yīng)位

置，如圖⑵為問題的目標狀態(tài)Sg。其中，數(shù)字1?8是對應(yīng)棋子的名稱，中間的小方

格是可供移動的空位。求解從任意初始狀態(tài)到達目標狀態(tài)的解路徑。

23

X1X2X3123

X8XoX484

X7X6Xs765

（1）任意初始狀態(tài)⑵目標狀態(tài)Sg

步1,首先檢查棋盤布局，若So/Sg,則檢查XI處棋子是否為數(shù)碼1。是，則轉(zhuǎn)步

3；否則任意移動棋牌，使棋子1和空格均不在X3位置上。

步2,按照圖（a）所示的環(huán)形箭頭逆時針（或順時針）方向移動空格，并依次移動棋

牌，直到數(shù)碼1位于XI位置，空格位于X8位置時為止。

步3,保持Xl=l不動，按照圖（b）所示的箭頭方向（或相反方向）移動棋子和空格,

直到數(shù)碼2位于X2位置，空格位于X0位置時為止。若這時剛好數(shù)碼3在X3位置

上，則轉(zhuǎn)第7步。

步4,按照圖（c）所示環(huán)形的逆時針（或順時針）方向移動空格，并依次移動棋牌，直

到數(shù)碼3位于X0位置，空格位于X8位置時為止。

步5,按照圖（d）所示的環(huán)形順時針方向移動空格，并依次移動棋牌，直到空格到

X0為止。

24

步6,按照圖（e）所示的環(huán)形方向移動空格,并依次移動棋牌，直到空格又回到X8

為止。

步7,按照圖（c）所示的環(huán)形方向，依次移動空格，直到數(shù)碼4位于X4位置，空格

位于X0位置。若這時數(shù)碼5剛好位于X5位置上,則轉(zhuǎn)第11步。

步8,按照圖（g）所示的環(huán)形方向移動空格,并依次移動棋牌，直到數(shù)碼5位于X0,

空格位于X8位置時為止。

步9,依次移動棋牌，使得空格位置按照圖（f）所示的環(huán)形方向移動空格,并依次移動

棋牌，直到空格位于X4位置時為止。這時，使數(shù)碼5插入X4位置,再使X6位置數(shù)

碼插入X0位置,則空格位于X6位置。

25

步io,按照圖(f)所示的環(huán)形方向移動空格,并依次移動棋牌，直到數(shù)碼5位于

X5o

步11,按照圖(g)所示的環(huán)形方向移動空格,并依次移動棋牌，直到狀態(tài)如圖

(21)_Sgl的目標狀態(tài)，則問題得解；否則可得到圖(22)_Sg2所示,說明了所給初始狀

態(tài)達不到所要求的目標狀態(tài)。

XX12X2X

XX(4)

XX0

XXXXX

U(4)

2__3X12X

(5)