知識(shí)表示方法課件

1、第二章 知識(shí)表示方法2022/8/1內(nèi)容簡(jiǎn)介2.2 一階謂詞邏輯表示法2.3 產(chǎn)生式表示法2.4 框架表示法2.6 面向?qū)ο蟊硎痉?2342.1 概述12.5 語(yǔ)義網(wǎng)絡(luò)表示法52022/8/12.1.1 知識(shí)知識(shí)定義 Feigenbaum Bernstein知識(shí)是經(jīng)過(guò)削減、塑造、解釋和轉(zhuǎn)換的信息。簡(jiǎn)單地說(shuō)，知識(shí)是經(jīng)過(guò)加工的信息。知識(shí)是由特定領(lǐng)域的描述、關(guān)系和過(guò)程組成的。 Hayes-Roth知識(shí)是事實(shí)、信念和啟發(fā)式規(guī)則。從知識(shí)庫(kù)的觀點(diǎn)看，知識(shí)是某領(lǐng)域中所涉及的各有關(guān)方面的一種符號(hào)表示。2022/8/12.1.1 知識(shí) 事實(shí) 規(guī)則有關(guān)問(wèn)題環(huán)境的一些事物的知識(shí)，常以“是”的形式出現(xiàn)。有關(guān)問(wèn)題中與事

2、物的行動(dòng)、動(dòng)作相聯(lián)系的因果關(guān)系知識(shí)，是動(dòng)態(tài)的，常以“如果那么”形式出現(xiàn)。 控制有關(guān)問(wèn)題的求解步驟、技巧性知識(shí)，告訴怎么做一件事。 元知識(shí)有關(guān)知識(shí)的知識(shí)，是知識(shí)庫(kù)中的高層知識(shí)。包括怎樣使用規(guī)則，解釋規(guī)則、校驗(yàn)規(guī)則、解釋程序結(jié)構(gòu)等知識(shí)。 知識(shí)要素2022/8/12.1.1 知識(shí)事實(shí)性知識(shí)過(guò)程性知識(shí)行為性知識(shí)知識(shí)分類實(shí)例性知識(shí)類比性知識(shí)元知識(shí)2022/8/12.1.2 知識(shí)表示選取知識(shí)表示的因素表示知識(shí)的范圍是否廣泛是否適于推理是否適于計(jì)算機(jī)處理是否有高效的求解算法能否表示不精確知識(shí)知識(shí)表示的分類陳述性知識(shí)表示：將知識(shí)表示與知識(shí)的運(yùn)用分開(kāi)處理，在表示知識(shí)時(shí)，并不涉及如何運(yùn)用知識(shí)的問(wèn)題，是一種靜態(tài)的描

3、述方法。過(guò)程性知識(shí)表示：將知識(shí)表示與知識(shí)的運(yùn)用相結(jié)合，知識(shí)寓于程序中，是一種動(dòng)態(tài)的描述方法。知識(shí)表示的定義可看成是一組事物的約定，以把人類知識(shí)表示成機(jī)器能處理的數(shù)據(jù)結(jié)構(gòu)。對(duì)知識(shí)進(jìn)行表示的過(guò)程就是把知識(shí)編碼成某種數(shù)據(jù)結(jié)構(gòu)的過(guò)程。能否在同一層次上和不同層次上模塊化知識(shí)和元知識(shí)能否用統(tǒng)一的形式表示是否適合于加入啟發(fā)信息過(guò)程性表示還是說(shuō)明性表示表示方法是否自然返回2022/8/12.2 一階謂詞邏輯表示法一種重要的知識(shí)表示方法，它以數(shù)理邏輯為基礎(chǔ)，是到目前為止能夠表達(dá)人類思維和推理的一種最精確的形式語(yǔ)言。它的表現(xiàn)方式和人類自然語(yǔ)言非常接近，它能夠被計(jì)算機(jī)作精確推理。一階謂詞邏輯表示法2022/8/12

4、.2.1 知識(shí)的謂詞邏輯表示法用謂詞公式既可表示事物的狀態(tài)、屬性和概念等事實(shí)性的知識(shí)，也可表示事物間具有因果關(guān)系的規(guī)則性知識(shí)。用謂詞公式表示知識(shí)的一般步驟2.根據(jù)所要表達(dá)的事物或概念，為每個(gè)謂詞中的變?cè)x以特定的值。1.定義謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確切含義。3.根據(jù)所要表達(dá)的知識(shí)的語(yǔ)義，用適當(dāng)?shù)倪B接符將各個(gè)謂詞連接起來(lái)形成謂詞公式。2022/8/12.2.2 謂詞邏輯表示知識(shí)舉例用謂詞邏輯表示下列知識(shí)：武漢是一個(gè)美麗的城市，但她不是一個(gè)沿海城市。如果馬亮是男孩，張紅是女孩，則馬亮比張紅長(zhǎng)得高。例2.2.1第一步第二步第三步定義謂詞如下：BCity(x)：x是一個(gè)美麗的城市 HCity(

5、x)：x是一個(gè)沿海城市Boy(x): x是男孩 Girl(x): x是女孩 High(x,y): x比y長(zhǎng)得高根據(jù)語(yǔ)義，用邏輯連接符連接BCity(wuhan)HCity(wuhan)(Boy(mal)Girl(zhangh)High(mal,zhangh)將個(gè)體代入謂詞中，得到 BCity(wuhan), HCity(wuhan), Boy(mal), Girl(zhangh), High(mal,zhangh)2022/8/12.2.3一階謂詞邏輯表示法特點(diǎn)優(yōu)點(diǎn)缺點(diǎn)嚴(yán)密性易于實(shí)現(xiàn)知識(shí)易表達(dá)通用性自然性效率低靈活性差組合爆炸返回2022/8/12.3 產(chǎn)生式表示法 又稱為產(chǎn)生式規(guī)則表示法，它

6、和圖靈機(jī)有相同的計(jì)算能力。目前產(chǎn)生式表示法已成為人工智能中應(yīng)用最多的一種知識(shí)表示方法。產(chǎn)生式知識(shí)表示方法2022/8/12.3.1 產(chǎn)生式的基本形式產(chǎn)生式通常用于表示具有因果關(guān)系的知識(shí)，其基本形式是PQ 或 IF P THEN Q 其中，P是產(chǎn)生式的前提或條件，用于指出該產(chǎn)生式是否是可用的條件；Q是一組結(jié)論或動(dòng)作，用于指出該產(chǎn)生式的前提條件P被滿足時(shí)，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作。P和Q都可以是一個(gè)或一組數(shù)學(xué)表達(dá)式或自然語(yǔ)言。2022/8/12.3.2 產(chǎn)生式表示知識(shí)方法確定性和不確定性規(guī)則知識(shí)的產(chǎn)生式表示確定性規(guī)則知識(shí) 可用前面介紹的產(chǎn)生式的基本形式表示即可。不確定性規(guī)則知識(shí) 用如下形式表

7、示 PQ （可信度） 或者 IF P THEN Q （可信度） 其中，P是產(chǎn)生式的前提或條件，用于指出該產(chǎn)生式是否是可用的條件；Q是一組結(jié)論或動(dòng)作，用于指出該產(chǎn)生式的前提條件P被滿足時(shí)，應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作。2022/8/12.3.2 產(chǎn)生式表示知識(shí)方法確定性和不確定性事實(shí)性知識(shí)的產(chǎn)生式表示 確定性事實(shí)性知識(shí) 一般使用三元組的形式表示如下（對(duì)象，屬性，值）或 （關(guān)系，對(duì)象1，對(duì)象2）不確定性事實(shí)性知識(shí) 一般用四元組的形式表示如下（對(duì)象，屬性，值，不確定度量值）或（關(guān)系，對(duì)象1，對(duì)象2，不確定度量值）2022/8/12.3.3產(chǎn)生式系統(tǒng)的組成產(chǎn)生式系統(tǒng)通常由規(guī)則庫(kù)、數(shù)據(jù)庫(kù)和推理機(jī)這3個(gè)

8、基本部分組成。推理機(jī)規(guī)則庫(kù)數(shù)據(jù)庫(kù)產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)2022/8/12.3.3產(chǎn)生式系統(tǒng)的組成產(chǎn)生式系統(tǒng)用于描述某領(lǐng)域內(nèi)知識(shí)的產(chǎn)生式集合，是某領(lǐng)域知識(shí)（規(guī)則）的存儲(chǔ)器。用來(lái)存放輸入事實(shí)、外部數(shù)據(jù)庫(kù)輸入的事實(shí)以及中間結(jié)果和最后結(jié)果。由一組程序組成，用來(lái)控制協(xié)調(diào)規(guī)則庫(kù)與數(shù)據(jù)庫(kù)的運(yùn)行，包含了推理方式和控制策略。規(guī)則庫(kù)數(shù)據(jù)庫(kù)推理機(jī)2022/8/12.3.4產(chǎn)生式系統(tǒng)推理方式產(chǎn)生式系統(tǒng)推理機(jī)的推理方式有正向推理、反向推理和雙向推理三種。推理過(guò)程從已知事實(shí)出發(fā)，通過(guò)規(guī)則求得結(jié)論。或稱數(shù)據(jù)驅(qū)動(dòng)方式也稱作自底向上的方式。（1）規(guī)則集中的規(guī)則與數(shù)據(jù)庫(kù)中的事實(shí)進(jìn)行匹配，得匹配的規(guī)則集合。（2）使用沖突解決算法，從

9、匹配規(guī)則集合中選擇一條規(guī)則作為啟用規(guī)則。（3）執(zhí)行啟用規(guī)則的后件。將該請(qǐng)用規(guī)則的后件送入數(shù)據(jù)庫(kù)。 重復(fù)這個(gè)過(guò)程直至達(dá)到目標(biāo)。正向推理2022/8/12.3.4產(chǎn)生式系統(tǒng)推理方式反向推理推理過(guò)程從目標(biāo)（作為假設(shè)）出發(fā)，反向使用規(guī)則，求得已知事實(shí)。這種推理方式也稱目標(biāo)驅(qū)動(dòng)方式或稱自頂向下的方式。（1）規(guī)則庫(kù)中的規(guī)則后件與目標(biāo)事實(shí)進(jìn)行匹配，得匹配的規(guī) 則集合。（2）使用沖突解決算法，從匹配規(guī)則集合中選擇一條規(guī)則作為啟用規(guī)則。（3）將啟用規(guī)則的前件作為子目標(biāo)。 重復(fù)這個(gè)過(guò)程直至各子目標(biāo)均為已知事實(shí)成功結(jié)束。2022/8/12.3.4產(chǎn)生式系統(tǒng)推理方式雙向推理是一種既自頂向下、又自底向上的推理方式，推理

10、從兩個(gè)方向同時(shí)進(jìn)行，直至某個(gè)中間界面上兩方向結(jié)果相符便成功結(jié)束。這種雙向推理較正向或反向推理所形成的推理網(wǎng)絡(luò)小，從而有更高的推理效率。 雙向推理2022/8/12.3.5產(chǎn)生表示法的特點(diǎn)控制飽和問(wèn)題組合爆炸問(wèn)題可信度因子自然性模塊化清晰性產(chǎn)生表示法的特點(diǎn)返回2022/8/12.4 框架表示法框架表示法是以框架理論為基礎(chǔ)發(fā)展起來(lái)的一種結(jié)構(gòu)化的知識(shí)表示，它適用于表達(dá)多種類型的知識(shí)?？蚣芾碚摰幕居^點(diǎn)是：人腦已存儲(chǔ)有大量的典型情景，當(dāng)面臨新的情景時(shí)，就從記憶中選擇一個(gè)稱作框架的基本知識(shí)結(jié)構(gòu)，其具體內(nèi)容依新的情景而改變，形成對(duì)新情景的認(rèn)識(shí)又記憶于人腦中。 框架表示法2022/8/12.4.1 框架的構(gòu)

11、成一般結(jié)構(gòu)框架名 槽名1 側(cè)面11 值111值11k1 側(cè)面1n1 值1n11值1n1kn1 槽名2 側(cè)面12 值121值1211 側(cè)面1n2 值1n21值1n21n2 2022/8/12.4.1 框架的構(gòu)成表示對(duì)象間關(guān)系的常用槽名： 用于指出部分和全體的關(guān)系。用Part-of槽指出的聯(lián)系所描述的下層框架和上層框架之間不具有繼承性。用來(lái)表示AKO槽的逆關(guān)系。用Instance槽指出的聯(lián)系都具有繼承性，即下層框架可繼承上層框架中所描述的屬性或值。用于指出對(duì)象間抽象概念上的類屬關(guān)系，直觀意義是“是一個(gè)”，“是一種”，“是一只”等。一般用ISA槽指出的聯(lián)系都具有繼承性。用于具體地指出對(duì)象間的類屬關(guān)系

12、。其直觀意義是“是一種”。ISA槽Instance槽AKO槽Part-of槽槽名2022/8/12.4.2框架表示知識(shí)舉例“教師”的框架。 框架名： 類屬： 工作：范圍：（教學(xué)，科研） 缺?。航虒W(xué) 性別：（男，女） 學(xué)歷：（中專，大學(xué)） 類別：（，）例2.4.1分析框架名：“教師”含有5個(gè)槽，槽名分別為：“類屬”、“工作”、“性別”、“學(xué)歷”和“類別”。槽名后面是其槽值。槽值“”又是一個(gè)框架名?！胺秶?、“缺省”是槽“工作”的兩個(gè)不同的側(cè)面，其后是側(cè)面值。2022/8/12.4.3框架系統(tǒng)的推理（3）使用一種評(píng)價(jià)方法對(duì)于選框架進(jìn)行評(píng)價(jià)，以便決定是否接受它。（1）把待解決的問(wèn)題用一個(gè)框架表示出來(lái)

13、。求解問(wèn)題的匹配推理步驟（4）若可接受，則與問(wèn)題框架空槽相匹配的事實(shí)就是問(wèn)題解。（2）與知識(shí)庫(kù)中已有的框架進(jìn)行匹配。找出一個(gè)或幾個(gè)可匹配的預(yù) 選框架作為初步架設(shè)，在初步架設(shè)的引導(dǎo)下收集進(jìn)一步的信息。2022/8/12.4.4 框架表示法的特點(diǎn)繼承性結(jié)構(gòu)化自然性推理靈活多變ABCD框架表示法的主要不足之處在于它不善于表達(dá)過(guò)程性知識(shí)。因此它經(jīng)常與產(chǎn)生式表示法結(jié)合起來(lái)使用，以取得互補(bǔ)效果。返回2022/8/12.5 語(yǔ)義網(wǎng)絡(luò)表示法目前，語(yǔ)義網(wǎng)絡(luò)已經(jīng)成為人工智能中應(yīng)用較多的一種知識(shí)表示方法，尤其是在自然語(yǔ)言處理方面的應(yīng)用。 語(yǔ)義網(wǎng)絡(luò)表示法2022/8/12.5.1語(yǔ)義網(wǎng)絡(luò)概念及結(jié)構(gòu)語(yǔ)義網(wǎng)絡(luò)一般由一些最

14、基本的語(yǔ)義單元組成。這些最基本的語(yǔ)義單元被稱為語(yǔ)義基元，可用如下三元組來(lái)表示為 （節(jié)點(diǎn)1，弧，節(jié)點(diǎn)2）ABRAAAAR5R4R2R1R3語(yǔ)義基元結(jié)構(gòu)語(yǔ)義網(wǎng)絡(luò)結(jié)構(gòu)2022/8/12.5.2語(yǔ)義網(wǎng)絡(luò)基本語(yǔ)義聯(lián)系類屬關(guān)系類屬關(guān)系是指具體有共同屬性的不同事物間的分類關(guān)系、成員關(guān)系或?qū)嵗P(guān)系，它體現(xiàn)的是“具體與抽象”、“個(gè)體與集體”的層次分類。常用的類屬關(guān)系有：AKO(A-Kind-of):表示一個(gè)事物是另一個(gè)事物的一種類型。AMO(A-Member-of):表示一個(gè)事物是另一個(gè)事物的成員。ISA(Is-a):表示一個(gè)事物是另一個(gè)事物的實(shí)例。包含關(guān)系也稱為聚類關(guān)系，是指具有組織或結(jié)構(gòu)特征的“部分與整體”

15、之間的關(guān)系，它和類屬關(guān)系的最主要的區(qū)別就是包含關(guān)系一般不具備屬性的繼承性。常用的包含關(guān)系的有：Part_of:表示一個(gè)事物是另一個(gè)事物的一部分，或說(shuō)是部分與整體的關(guān)系。用它連接的上下層節(jié)點(diǎn)的屬性很可能是很不相同的，即Part_of聯(lián)系不具備屬性的繼承性。包含關(guān)系2022/8/12.5.2語(yǔ)義網(wǎng)絡(luò)基本語(yǔ)義聯(lián)系屬性關(guān)系是指事物和其屬性之間的關(guān)系。常用的屬性的關(guān)系有：Have：表示一個(gè)結(jié)點(diǎn)具有另一個(gè)結(jié)點(diǎn)所描述性。Can：表示一個(gè)結(jié)點(diǎn)能做另一個(gè)結(jié)點(diǎn)的事情。時(shí)間關(guān)系是指不同事件在其發(fā)生時(shí)間方面的先后關(guān)系，節(jié)點(diǎn)間的不具備屬性繼承性。常用的時(shí)間關(guān)系有：Before：表示一個(gè)事件在一個(gè)事件之前發(fā)生。After

16、：表示一個(gè)事件在一個(gè)事件之后發(fā)生。屬性關(guān)系時(shí)間關(guān)系2022/8/12.5.2語(yǔ)義網(wǎng)絡(luò)基本語(yǔ)義聯(lián)系位置關(guān)系是指不同事物在位置方面的關(guān)系。節(jié)點(diǎn)間的不具備屬性繼承性。常用的位置關(guān)系有：Located-on:表示一物體在另一物體之上。Located-at: 表示一物體在某一位置。Located-under: 表示一物體在另一物體之下。Located-inside: 表示一物體在另一物體之中。Located-outside: 表示一物體在另一物體之外。相近關(guān)系是指不同事物在形狀、內(nèi)容等方面相似和接近。常用的相近關(guān)系有：Similar-to:表示一事物與另一事物相似。Near-to: 表示一事物與另一事物

17、接近。位置關(guān)系相近關(guān)系2022/8/12.5.2語(yǔ)義網(wǎng)絡(luò)基本語(yǔ)義聯(lián)系 因果關(guān)系是指由于某一事件的發(fā)生而導(dǎo)致另一事物的發(fā)生，適合表示規(guī)則性知識(shí)。通常用If-then聯(lián)系表示兩個(gè)節(jié)點(diǎn)之間的因果關(guān)系，其含義是“如果，那么”。 組成關(guān)系一種一對(duì)多的聯(lián)系，用于表示某一事物由其它一些事物構(gòu)成，通常用Composed-of聯(lián)系表示。Composed-of聯(lián)系所連接的節(jié)點(diǎn)間不具備屬性繼承性。因果關(guān)系組成關(guān)系2022/8/12.5.3 語(yǔ)義網(wǎng)絡(luò)表示知識(shí)的方法及步驟事實(shí)性知識(shí)的表示對(duì)于一些簡(jiǎn)單的事實(shí)，例如“鳥(niǎo)有翅膀”，“輪胎是汽車(chē)的一部分”，這里要描述這些事實(shí)需要兩個(gè)節(jié)點(diǎn)，用前面給出的基本語(yǔ)義聯(lián)系或自定義的基本語(yǔ)

18、義聯(lián)系就可以表示了。對(duì)于稍微復(fù)雜一點(diǎn)的事實(shí)，比如在一個(gè)事實(shí)中涉及到多個(gè)事物時(shí)，如果語(yǔ)義網(wǎng)絡(luò)只被用來(lái)表示一個(gè)特定的事物或概念，那么當(dāng)有更多的實(shí)例時(shí)，就需要更多的語(yǔ)義網(wǎng)絡(luò)。（1）情況的表示在用語(yǔ)義網(wǎng)絡(luò)表示表示那些不及物動(dòng)詞表示的語(yǔ)句或沒(méi)有間接賓語(yǔ)的及物動(dòng)詞表示的語(yǔ)句時(shí)，如果該語(yǔ)句的動(dòng)作表示了一些其它情況，如動(dòng)作作用的時(shí)間等，則需要增加一個(gè)情況節(jié)點(diǎn)用于指出各種不同的情況。情況動(dòng)作和事件的表示2022/8/12.5.3 語(yǔ)義網(wǎng)絡(luò)表示知識(shí)的方法及步驟（3）事件的表示如果要表示的知識(shí)可以看成是發(fā)生的一個(gè)事，那么可以增加一個(gè)事件節(jié)點(diǎn)來(lái)描述這條知識(shí)。情況動(dòng)作和事件的表示（2）動(dòng)作的表示有些表示知識(shí)的語(yǔ)句既有發(fā)

19、出動(dòng)作的主體，又有接受動(dòng)作的客體。在用語(yǔ)義網(wǎng)絡(luò)表示這樣的知識(shí)時(shí)，可以增加一個(gè)動(dòng)作節(jié)點(diǎn)用于指出動(dòng)作的主體和客體。情況動(dòng)作和事件的表示2022/8/12.5.3 語(yǔ)義網(wǎng)絡(luò)表示知識(shí)的方法及步驟（1）合取與析取的表示當(dāng)用語(yǔ)義網(wǎng)絡(luò)來(lái)表示知識(shí)時(shí)，為了能表示知識(shí)中體現(xiàn)出來(lái)的“合取與析取”的語(yǔ)義聯(lián)系，可通過(guò)增加合取節(jié)點(diǎn)與析取節(jié)點(diǎn)來(lái)表示。只是在使用時(shí)要注意其語(yǔ)義，不應(yīng)出現(xiàn)不合理的組合情況。連詞和量詞的表示（2）存在量詞與全稱量詞的表示在用語(yǔ)義網(wǎng)絡(luò)表示知識(shí)時(shí)，對(duì)存在量詞可以直接用“是一種”、“是一個(gè)”等語(yǔ)義關(guān)系來(lái)表示。對(duì)全稱量詞可以采用亨德里克(G .G .Hendrix)提出的語(yǔ)義網(wǎng)絡(luò)分區(qū)技術(shù)來(lái)表示。連詞和量詞

20、的表示2022/8/12.5.3 語(yǔ)義網(wǎng)絡(luò)表示知識(shí)的方法及步驟用語(yǔ)義網(wǎng)絡(luò)表示知識(shí)的步驟1確定問(wèn)題總所有對(duì)象和各對(duì)象的屬性。確定所討論對(duì)象間的關(guān)系。根據(jù)語(yǔ)義網(wǎng)絡(luò)中所涉及的關(guān)系，對(duì)語(yǔ)義網(wǎng)絡(luò)中的節(jié)點(diǎn)及弧進(jìn)行整理，包括增加節(jié)點(diǎn)、弧和歸并節(jié)點(diǎn)等。將各對(duì)象作為語(yǔ)義網(wǎng)絡(luò)的一個(gè)節(jié)點(diǎn)，而各對(duì)象間的關(guān)系作為網(wǎng)絡(luò)中各節(jié)點(diǎn)的弧，連接形成語(yǔ)義網(wǎng)絡(luò)。2342022/8/12.5.4語(yǔ)義網(wǎng)絡(luò)知識(shí)表示舉例 用語(yǔ)義網(wǎng)絡(luò)表示下列命題（1）豬和羊都是動(dòng)物；（2）豬和羊都是哺乳動(dòng)物；（3）野豬是豬，但生長(zhǎng)在森林中；（4）山羊是羊，頭上長(zhǎng)著角；（5）綿羊是一種羊，它能生產(chǎn)羊毛。例2.5.1分析對(duì)象有豬、羊都、動(dòng)物、哺乳動(dòng)物、野豬、山羊

21、、綿羊、森林、羊毛、角等。 語(yǔ)義關(guān)系，“動(dòng)物”和“哺乳動(dòng)物”、“哺乳動(dòng)物”和“豬”、“哺乳動(dòng)物”和“羊”、“羊”和“山羊”及“綿羊”、“野豬”和“豬”之間的關(guān)系是“是一種”的關(guān)系，可用AKO來(lái)表示?！吧窖颉焙汀邦^上有角” 之間是一種屬性關(guān)系，可用IS來(lái)描述；“綿羊”和“羊毛”之間是一種屬性關(guān)系，可用HAVE來(lái)描述；“野豬”和“森林”之間是位置關(guān)系，可用Locate-at來(lái)表示。2022/8/12.5.4語(yǔ)義網(wǎng)絡(luò)知識(shí)表示舉例語(yǔ)意網(wǎng)絡(luò)AKOAKOISHAVELocate-at山羊動(dòng)物羊豬綿羊野豬哺乳動(dòng)物頭上有角羊毛森林AKOAKOAKOAKO豬和羊的語(yǔ)義網(wǎng)絡(luò)2022/8/12.5.5 語(yǔ)義網(wǎng)絡(luò)的推

22、理過(guò)程用語(yǔ)義網(wǎng)絡(luò)表示知識(shí)的問(wèn)題求解系統(tǒng)主要有兩大部分組成，一部分是由語(yǔ)義網(wǎng)絡(luò)構(gòu)成的知識(shí)庫(kù)，另一部分是用于問(wèn)題求解的推理機(jī)。語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程主要有兩種繼承推理匹配推理繼承是指把對(duì)事物的描述從抽象結(jié)點(diǎn)傳遞到具體結(jié)點(diǎn)。通過(guò)繼承可以得到所需結(jié)點(diǎn)的一些屬性值，它通常是沿著ISA、AKO、AMO等繼承弧進(jìn)行的。所謂匹配就是在知識(shí)庫(kù)的語(yǔ)義網(wǎng)絡(luò)中尋找與待求問(wèn)題相符的語(yǔ)義網(wǎng)絡(luò)模式。2022/8/12.5.5 語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程123建立結(jié)點(diǎn)表，存放待求結(jié)點(diǎn)和所有以ISA、AKO、AMO等繼承弧與此結(jié)點(diǎn)相連的那些結(jié)點(diǎn)。初始情況下，只有待求解的結(jié)點(diǎn)。檢查表中的第一個(gè)是否有繼承弧。如果有，就從該弧所指的所有結(jié)點(diǎn)放入結(jié)點(diǎn)表的末尾，記錄這些結(jié)點(diǎn)的所有屬性，并從結(jié)點(diǎn)表中刪除第一個(gè)結(jié)點(diǎn)。如果沒(méi)有，僅從結(jié)點(diǎn)表中刪除第一個(gè)結(jié)點(diǎn)。重復(fù)檢查表中的第一個(gè)是否有繼承弧，直到結(jié)點(diǎn)表為空。記錄下來(lái)的屬性就是待求結(jié)點(diǎn)的所有屬性。 匹配推理主要過(guò)程2022/8/12.5.5 語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程123根據(jù)問(wèn)題的要求構(gòu)造網(wǎng)絡(luò)片斷，該網(wǎng)絡(luò)片斷中有些結(jié)