【正文】 寫成兩個網(wǎng)絡(luò)，顯得不方便。（續(xù)）172。分析上面的事實，發(fā)現(xiàn)它們都是和自行車相關(guān)的，因此，可以把自行車作為一個通用概念用節(jié)點來表示。于是，當(dāng)要查找有關(guān)自行車的信息時，只要找到自行車的節(jié)點即可，具體的語義 網(wǎng)絡(luò)如P92頁的圖 324所示。（續(xù)）172。用語義網(wǎng)絡(luò)表示比較復(fù)雜的知識時，往往還涉及到對量化變量的處理。對于存在量詞可以直接用 “是一個 ”， “是一種 ”等這樣的語義聯(lián)系來表示，對于全稱量詞則需要用網(wǎng)絡(luò)分區(qū)技術(shù)才能實現(xiàn)。網(wǎng)絡(luò)分區(qū)的基本思想是：把一個表示復(fù)雜知識的命題分為若干個子命題，每一個子命題是一個較簡單的語義網(wǎng)絡(luò)，并稱為一個子空間，多個子空間構(gòu)成一個大空間。每個子空間是大空間的一個節(jié)點，稱為超節(jié)點。（續(xù)）172。例如有如下事實：每個學(xué)生都背誦了一首唐詩?？捎萌缦碌恼Z義網(wǎng)絡(luò)表示：172。 GS 學(xué)生 背頌 唐詩172。 172。 F 是 是 是 172。 主體 客體 172。 g s r p 172。 ?172。 具有全稱量詞的語義網(wǎng)絡(luò)知識語義網(wǎng)絡(luò)表示（續(xù)） 172。在上圖中， s是全稱量詞，表示任一學(xué)生； r是存在量詞，表示某一次背頌； p也是存在量詞，表示某一首唐詩， s,r,p及其語義聯(lián)系構(gòu)成一個子網(wǎng)，是一個子空間，表示對每一個學(xué)生 s,都存在一個背誦事件 r和一首唐詩 p。節(jié)點 g是這個子空間的代表，由狐 F指出它所代表的子空間是什麼及其具體形式；弧 ?指出 s是一個全稱量詞，節(jié)點 GS代表整個空間。（續(xù)）172。在這種表示法中，要求子空間中的所有非全稱變量節(jié)點都是全稱變量的函數(shù)，否則，就應(yīng)該放在子空間的外面。例如，對于事實：每個學(xué)生都背誦了 “靜夜思 ”這首唐詩。這里因為 “靜夜思 ”是一首具體的唐詩，不是全稱變量的函數(shù)，所以，應(yīng)該把它放在子空間的外面。如P93頁的圖 326所示。（續(xù)）172。應(yīng)注意：在具體實現(xiàn)語義網(wǎng)絡(luò)時，一個節(jié)點的數(shù)據(jù)結(jié)構(gòu)應(yīng)記錄六種信息：即指向該節(jié)點的弧，該節(jié)點發(fā)出的弧，節(jié)點的名稱，該節(jié)點的位置，節(jié)點的特性表及相關(guān)空間。一個弧的數(shù)據(jù)結(jié)構(gòu)應(yīng)該記錄五種信息：即弧的名稱，弧的起始節(jié)點，終止節(jié)點，弧的特性表及包含該弧的空間等。172。語義聯(lián)系反映節(jié)點間的語義關(guān)系，下面列出的是一些常用的語義聯(lián)系：172。在框架表示法中討論的 AKO槽、 ISA槽、 Infer槽等在語義網(wǎng)絡(luò)中仍然可以用作聯(lián)系。172。172。它表示個體與集體（類或集合）之間的關(guān)系。見 P93頁的圖 327（續(xù)）172。172。它表示構(gòu)成聯(lián)系，是一種一對多的聯(lián)系，被它聯(lián)系的節(jié)點間不具有屬性繼承性。具體例子見 P93頁圖 328172。例子見 P93頁圖 329172。,After,At聯(lián)系172。它們表示事件之間的時間先后關(guān)系。其中172。Befor表示一個事件在另一個事件之前， After表示一個事件在另一個事件之后， At表示某一事件發(fā)生的時間。例子見 P93頁的圖 330。（續(xù)）172。(at,under,inside,outside等）172。這些語義表示實物間的位置關(guān)系。例子見 P94頁的圖 331172。,Nearto聯(lián)系172。這些語義聯(lián)系表示事物間的相似和接近關(guān)系。例子見 P94頁的圖 332基本過程 172。用語義網(wǎng)絡(luò)表示知識的問題求解系統(tǒng)由兩大部分組成：一是用語義網(wǎng)絡(luò)組成的知識庫，另一個是用于求解問題的解釋程序，稱為語義推理機。172。在語義網(wǎng)絡(luò)中問題的求解一般是通過匹配來實現(xiàn)的，其主要過程為：172。（ 1）根據(jù)待求解問題構(gòu)造一個網(wǎng)絡(luò)片段，其中有些節(jié)點或弧的標(biāo)識是空的，反映待求解的問題?；具^程 （ 續(xù)）172。（ 2）依此網(wǎng)絡(luò)片段到知識庫中尋找匹配的網(wǎng)絡(luò)，以找出所需要的信息。但這種匹配可能存在不確定性，需要解決不確定性匹配問題。172。（ 3）當(dāng)匹配成功時，則匹配的事實就是問題的解。下面通過例子來說明這個過程。設(shè)有如下事實：172。趙云是一個學(xué)生。172。他在東方大學(xué)主修計算機課程。172。他入校的時間是 1990年。基本過程 （ 續(xù)）172。這些事實可用如下的語義網(wǎng)絡(luò)來表示：172。在上面的圖中教育 1是指趙云所受的教育。如果現(xiàn)在想知道趙云所主修的課程，根據(jù)這個問題可以構(gòu)造一個語義網(wǎng)絡(luò)片段：172。 基本過程 （ 續(xù)）語義網(wǎng)絡(luò)系統(tǒng)中求解問題的基本過程（續(xù)）在表示問題的語義網(wǎng)絡(luò)片段中增加相應(yīng)的空節(jié)點及弧就可以了。172。后一個語義網(wǎng)絡(luò)和前一個語義網(wǎng)絡(luò)匹配時，由 Major弧所指的節(jié)點可知趙云的主修課程是計算機，這就得到了問題的答案。如果還希望知道趙云是什麼時間入學(xué)的以及他在哪個學(xué)校學(xué)習(xí)等，只需在表示問題的語義網(wǎng)絡(luò)片段中增加相應(yīng)的空結(jié)點及弧即可． 語義網(wǎng)絡(luò)表示法的特點172。語義網(wǎng)絡(luò)主要有以下優(yōu)點：172。結(jié)構(gòu)性172。聯(lián)想性172。自然性172。缺點是：172。非嚴(yán)格性、處理上的復(fù)雜性172。知識表示方法還有腳本表示法、過程表示法，在這里我們不再詳細討論。接下來我們介紹 Petri網(wǎng)表示法和面向?qū)ο蟮谋硎痉ā?72。 Petri網(wǎng)是一個如下表示的有向圖（續(xù)）172。上圖中 Pj和 Pk分別代表第 j和第 k個位置 ,Yj、 Yk則是這兩個位置的標(biāo)記， Ti是某個轉(zhuǎn)換。如果用 Pj和 Pk分別對應(yīng)產(chǎn)生式規(guī)則的前提 dj和 dk用Ti代表規(guī)則強度 ?i則上面的圖與下面的產(chǎn)生式規(guī)則具有相同的含義。172。IF dj THEN dk (CF = ?i)（續(xù)）172。對于比較復(fù)雜的知識， Petri網(wǎng)通常用一個八元組來表示知識間的因果關(guān)系，具體如下所示：172。（ P， T， D， I， O， f, ?, ?)172。其中： P是位置的有限集，記為：172。P = {P1,P2,…, Pn}。172。T是轉(zhuǎn)換的有限集，記為：172。T = {t1,t2,…, tn}。（續(xù)）172。D是命題的有限集，記為：172。D = {d1,d2,…, dn}172。I為輸入函數(shù)，表示從位置到轉(zhuǎn)換的映射；172。O為輸出函數(shù)，表示從轉(zhuǎn)換到位置的映射；172。f為相關(guān)函數(shù)，表示從轉(zhuǎn)換到 0~1間一個實數(shù)的映射 ,用來表示規(guī)則強度；172。?為相關(guān)函數(shù)，表示從轉(zhuǎn)換到 0~1間一個實數(shù)的映射，用來表示位置到對應(yīng)命題的可信度；172。?為相關(guān)函數(shù)，表示從位置到命題的映射，用于表示位置對應(yīng)的命題。 （續(xù)） 172。在上面的論述中，用到了規(guī)則強度和可信度的概念，它們是用來表示不確定性知識的。對于一個產(chǎn)生式規(guī)則，其可信度稱為規(guī)則強度。下面我們用例子來說明 Petri網(wǎng)的用法。172。設(shè)有如下產(chǎn)生式規(guī)則：172。IF dj THEN dk (CF = ?i)172。若 dj 的可信度為 ，規(guī)則強度 ?i=,則Petri網(wǎng)中各元素的內(nèi)容分別是：（續(xù)）172。P={Pi, Pk} 位置的有限集172。T = {ti} 轉(zhuǎn)換的有限集172。D = {dj ,dk}命題的有限集 172。I = (Pj) = {ti}輸入函數(shù)，從位置到轉(zhuǎn)換的映射 172。O (ti) = {PK}輸出函數(shù)，從轉(zhuǎn)換到位置的映射172。f (ti) = ?i = ～１間一個實數(shù)的映射 172。?(Pj) = ～１間實數(shù)的映射，表示位置對應(yīng)命題的可信度 172。? (Pj) = dj ? (Pk) = dk位置對應(yīng)的命題（續(xù)）172。再如對于如下產(chǎn)生式規(guī)則集：172。r1: IF d1 THEN d2 (CF = )172。r2: IF d2 THEN d3 (CF = )172。r3: IF d2 THEN d4 (CF = )172。r4: IF d4 THEN d5 (CF = )172。r5: IF d1THEN d6 (CF = )172。r6: IF d6THEN d9 (CF = )172。r7: IF d1AND d8 THEN d7 (CF = )172。r8: IF d7THEN d4 (CF = )Petri網(wǎng)表示法（續(xù)）172。其 Petri網(wǎng)表示如下圖所示：172。Petri網(wǎng)表示法的特點是：172。便于描述系統(tǒng)狀態(tài)的變化及對系統(tǒng)特性進行分析．可以在不同層次上變換描述，而不必注意細節(jié)及相應(yīng)的物理表示，這樣可以把注意力集中到一個層次的研究上。172。172。對象、類、封裝、繼承是面向?qū)ο蠹夹g(shù)中的基本概念，對于理解面向?qū)ο蟮乃枷爰胺椒ㄓ兄匾饔谩?72。對象172。廣義上講，對象是客觀世界中的任何事物，可以是簡單的事物，也可以是復(fù)雜的事物；172。從問題求解的角度看，對象是與問題領(lǐng)域有關(guān)的客觀事物；172。從對象的實現(xiàn)機制來講，對象是一臺自動機，它有一個名字、有一組數(shù)據(jù)和一組操作，不同對象間的相互作用通過互傳消息實現(xiàn)。（續(xù)）172。 對象的自動機表示如下圖所示：（續(xù)）172。 類172。類在概念上是一種抽象，它是對一組相似對象的抽象。具體的說就是，在諸多對象中可能有一些具有相同的特征（如具有部分相同的數(shù)據(jù)，允許相同的操作），為了避免數(shù)據(jù)及操作的重復(fù)描述及存儲，就把共同的部分抽取出來構(gòu)成一個類。類也是對象，它是數(shù)據(jù)及操作為具體對象共同的那部分。例如，辦公桌、課桌，… 都是具體的對象，但它們又有共同的屬性，于是可以把它們抽象成桌子，桌子是一類對象。而對于桌子、椅子還可以形成超類 “家具 ”。于是超類、類、具體對象就形成了一個層次結(jié)構(gòu)。在這個結(jié)構(gòu)中，層次越高 越抽象、越低越具體。（續(xù)）172。對于一個對象的狀態(tài)只能由它的私有操作來改變它，其它對象的操作不能直接改變它的狀態(tài)。當(dāng)一個對象需要改變另一個對象的狀態(tài)時，它只能向?qū)ο蟀l(fā)送消息，該對象則根據(jù)消息的模式找出相應(yīng)的操作，并執(zhí)行操作改變自己的狀態(tài)。這里發(fā)送消息與通常所說的過程調(diào)用是不同的，發(fā)送消息是觸發(fā)自動機，同樣的輸入可能因自動機的狀態(tài)不同，而輸出不同的結(jié)果，而過程調(diào)用時只要輸入?yún)?shù)相同，得到的結(jié)果就是相同的。（續(xù)）172。另外，過程是一個獨立的實體，顯式的為它的調(diào)用者所見，而在面向?qū)ο笾?，操作是隸屬于對象的，它不是獨立存在的實體，只是對象的功能體現(xiàn)。172?！　∠筮@樣把一切局部于對象的信息及操作都局限于對象之內(nèi)，在外面是不可見的，對象之間除了互遞消息之外，不再有其它聯(lián)系。（續(xù)）172。這就是所謂封裝的概念。172。封裝是一種信息隱藏技術(shù)，是面向?qū)ο蟮闹饕卣鳎嫦驅(qū)ο蟮脑S多優(yōu)點都是靠這一手段獲得的，它使得對象的用戶可以不了解對象行為實現(xiàn)的細節(jié)，只需要消息來訪問對象，這樣就可以把精力用于系統(tǒng)一級的設(shè)計與構(gòu)成上。（續(xù)）172。172。在由超類、子類及對象所形成的層次結(jié)構(gòu)中，父類所具有的數(shù)據(jù)和操作可被子類繼承，除非在子類對相應(yīng)數(shù)據(jù)及操作重新進行了定義，這稱為類與對象類之間的繼承關(guān)系。這里所說的繼承關(guān)系和框架表示法中的屬性間的繼承關(guān)系類似，都避免了信息的冗余。（續(xù)）172。由面向?qū)ο蟮幕靖拍畈浑y看出對象的基本特征如下：172。模塊性172。繼承性172。封裝性172。多態(tài)性：所謂多態(tài)性是指一個名字可以有多種語義，可作多種解釋。（續(xù)）172。例如運算符 “+”、 “”、 “*”、 “/”既可做整數(shù)四則運算，也可做實數(shù)四則運算，但它們的執(zhí)行代碼卻全然不同。172。在面向?qū)ο蟮牡南到y(tǒng)中，對象封裝了操作，就是利用了重名操作，讓各對象自己去根據(jù)實際情況執(zhí)行，不會引起混亂。172。易維護性172。便于進行增量設(shè)計172。在面向?qū)ο蟮姆椒ㄖ校?、子類具體對象（又稱為類的實例）構(gòu)成了一個層次結(jié)構(gòu)，而且子類可以繼承父類的數(shù)據(jù)及操作。這種層次結(jié)構(gòu)及繼承機制直接支持了分類知識的表示，而且其表示方法與框架表示法有許多相似之處，知識可按類以一定層次形式進行組織，類之間通過鏈實現(xiàn)聯(lián)系。172。用面向?qū)ο蟊硎痉椒ū硎局R時也需要對類進行描述，下面給出一種描述形式：（續(xù)）172。Class 類名 [:超類名 ]172。 [類變量表 ]172。 Structure172。 對象的靜態(tài)結(jié)構(gòu)描述 172。 Method172。 關(guān)于對象的操作定義 172。 Restraint172。 限制條件 172。END （續(xù)）172。其中 Class是類描述的開始標(biāo)志； 類名 是該類的名字，它是系統(tǒng)中該類的唯一標(biāo)識； 超類名 是任選的，當(dāng)該類有父類時，用它指出父類的名字； 類變量表 是一組變量名構(gòu)成的序列，該類中所有對象都共享這些變量，對該類對象來說它們是全局變量，當(dāng)把這些變量實例化為一組具體的值時，就得到了該類中一個具體對象。（續(xù)）172。即一個實例 Structure后面的 對象的靜態(tài)結(jié)構(gòu)描述 用來描述該類對象的構(gòu)成方法；Method后面的 關(guān)于對象的操作定義 用于定義對類元素可施行的各種操作，它既可以是一組規(guī)則，也可以是為實現(xiàn)相應(yīng)操作所需要執(zhí)行的一段程序，在 C++中則為成員函數(shù)調(diào)用； Restraint后面的 限制條件 指出該類元素所應(yīng)滿足的限制條件，可用包