【正文】 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 三、產(chǎn)生式的知識(shí)元形式 注： 1)知識(shí)元可涉及復(fù)雜的計(jì)算，如 exist(x,D) 2)一般地，變量的作用域僅限于它所在的產(chǎn)生式。其關(guān)鍵在于知識(shí)能否模塊化。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)特點(diǎn) c)相互影響的間接性 產(chǎn)生式系統(tǒng)一般是“數(shù)據(jù)驅(qū)動(dòng)”，看不見控制流。這種有關(guān)元知識(shí)的知識(shí)稱為高階元知識(shí)。規(guī)則匹配失敗時(shí)，對(duì)數(shù)據(jù)基無影響。 注：數(shù)據(jù)基不同于數(shù)據(jù)庫。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)構(gòu)成 a)一組規(guī)則 (即產(chǎn)生式本身 ) 每個(gè)規(guī)則分為左部 (LHS)和右部 (RHS)。 第二章 知識(shí)與知識(shí)表示 第二節(jié) 演繹系統(tǒng) 四、子句演繹系統(tǒng) 子句 只有或符號(hào)和非符號(hào)的合式謂詞公式稱為子句，用或符號(hào)連接多個(gè)句節(jié)而成。 第二章 知識(shí)與知識(shí)表示 第二節(jié) 演繹系統(tǒng) 二、自然演繹系統(tǒng) 注： 3）在實(shí)際應(yīng)用中，僅推演永真式是不夠的，任何有意義的知識(shí)推理系統(tǒng)均需處理非永真公式，它的謂詞被指派以某種解釋，即語義。 第二章 知識(shí)與知識(shí)表示 第二節(jié) 演繹系統(tǒng) 一、謂詞演算 謂詞解釋 人為地指派給謂詞的含義 注： 5） 利用謂詞演算進(jìn)行邏輯推理的核心任務(wù)就是判斷一個(gè)謂詞公式是否永真。 是否適合于推理？ 注：人工智能主要對(duì)適合推理的知識(shí)表示感興趣。 注：從某種意義上說，行為性知識(shí)是描述事物的內(nèi)涵，而非外延。 行為性知識(shí) 不直接給出事實(shí)本身，只給出它在某方面的行為。 第二章 知識(shí)與知識(shí)表示 第一節(jié) 引言 三、知識(shí)表示原則 表示知識(shí)的范圍是否廣泛？ 注：邏輯是一種廣譜的知識(shí)表示工具。 第二章 知識(shí)與知識(shí)表示 第二節(jié) 演繹系統(tǒng) 一、謂詞演算 謂詞解釋 人為地指派給謂詞的含義 注： 4）每種解釋由下列基本部分組成： A）一組基本域 Di,i=1…n B）每個(gè)常量均是某個(gè) Di中的一個(gè)元素 C）每個(gè)變量均在某個(gè) Di中取值 D） 每個(gè) m目函數(shù)均是一個(gè)映射 Di1?Di2 ?... ?Dim?Dim+1 （對(duì)于 j?k,可以有 Dij=Dik) 第二章 知識(shí)與知識(shí)表示 第二節(jié) 演繹系統(tǒng) 一、謂詞演算 謂詞解釋 人為地指派給謂詞的含義 注： 4）每種解釋由下列基本部分組成： E） 每個(gè) m目謂詞均是一個(gè)映射 Di1?Di2 ?... ?Dim?（ T， F） （ T代表真， F代表假 ) 5） 若一個(gè)謂詞公式在所有解釋下均為真，則稱此公式為永真公式。 2）（ Godel）對(duì)于一階謂詞演算，存在著完備的演繹系統(tǒng)，對(duì)于二階謂詞演算，不存在著完備的演繹系統(tǒng)。當(dāng)用作反向推理時(shí)，比較實(shí)用。以這種方式求得問題的解決的系統(tǒng)，稱為產(chǎn)生式系統(tǒng)。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)構(gòu)成 b)數(shù)據(jù)基 每個(gè)產(chǎn)生式系統(tǒng)均有一個(gè)數(shù)據(jù)基，其中存放的數(shù)據(jù)既是構(gòu)成產(chǎn)生式的基本元素，又是產(chǎn)生式作用的對(duì)象。 匹配過程中不允許產(chǎn)生副作用。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)特點(diǎn) b)知識(shí)的模塊化 此外，還有如何使用這些規(guī)則的知識(shí)，包括規(guī)則匹配的次序、匹配沖突的解決等解釋系統(tǒng)中所包含的功能。因?yàn)閺睦碚撋?，在某些情形下徹底的一致性檢驗(yàn)是不現(xiàn)實(shí)的。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 二、基本特征 產(chǎn)生式系統(tǒng)特點(diǎn) 注：產(chǎn)生式系統(tǒng)對(duì)某些領(lǐng)域的應(yīng)用是很有效的，如醫(yī)療診斷，而對(duì)另一些領(lǐng)域不那么適用，如數(shù)學(xué)。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 三、產(chǎn)生式的知識(shí)元形式 元組 在許多專家系統(tǒng)中，經(jīng)常以（對(duì)象 ,屬性 ,值）的三元組形式作為產(chǎn)生式系統(tǒng)的知識(shí)元。 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 四、推理方向 向前推理基本原理 每個(gè)產(chǎn)生式的左部有一組條件，右部有一組動(dòng)作。 3)對(duì)于產(chǎn)生式的激發(fā)還應(yīng)加一個(gè)條件：當(dāng)執(zhí)行一個(gè)產(chǎn)生式右部的動(dòng)作不能改變數(shù)據(jù)基的狀態(tài)時(shí)，即使產(chǎn)生式左部能與數(shù)據(jù)基匹配，也不應(yīng)當(dāng)激發(fā)該產(chǎn)生式。若有，則查看當(dāng)前數(shù)據(jù)基的狀態(tài)是否是 S2，若是，則只要執(zhí)行 R1，即可達(dá)到狀態(tài)S1，問題也可解決。按此辦法不斷進(jìn)行下去，可使與叉和或叉，與結(jié)點(diǎn)和或結(jié)點(diǎn)循環(huán)輪回，生成一棵樹，稱為與或樹。若到某個(gè)時(shí)刻，由于某些葉結(jié)點(diǎn)的失敗而使得推理不再能進(jìn)行，則整個(gè)推理失敗，否則，與或樹有可能無窮地生長下去。而其余部分則沒有變化。 注：可采用權(quán)、可信度來表示和確定事實(shí)與規(guī)則的匹配程度 第二章 知識(shí)與知識(shí)表示 第三節(jié) 產(chǎn)生式系統(tǒng) 七、匹配沖突的解決 匹配沖突 在向前推理時(shí)，有 n個(gè)產(chǎn)生式 (n1)的左部均能與當(dāng)前數(shù)據(jù)基中的數(shù)據(jù)匹配成功，或有 m組不同數(shù)據(jù)(m1)均能和同一產(chǎn)生式的左部匹配成功，或兩種情況的組合。 c)實(shí)例 注：子類的最低層是實(shí)例 ,它已不是一個(gè)類 ,而只是一個(gè)個(gè)體的描述 ,它是框架體系樹的樹葉 第二章 知識(shí)與知識(shí)表示 第四節(jié) 框架結(jié)構(gòu) 二、框架 框架系統(tǒng)應(yīng)具備的功能 d)匹配 注： 1)框架匹配一般是部分匹配，完全匹配是特殊情形 2)框架不完全符合實(shí)際事物的可能性有：規(guī)定的屬性不存在、規(guī)定的屬性值不符、屬性的缺省值和被匹配事物相應(yīng)屬性值不符、為某個(gè)屬性的值規(guī)定的類型或條件不成立 3)可通過規(guī)定必要條件、規(guī)定允許誤差范圍、規(guī)定計(jì)算偏差度、規(guī)定屬性加權(quán)、設(shè)置一組判定產(chǎn)生式、既規(guī)定充分因子又規(guī)定必要因子、不局限于絕對(duì)成功的匹配來確定匹配成功條件 第二章 知識(shí)與知識(shí)表示 第四節(jié) 框架結(jié)構(gòu) 二、框架 框架系統(tǒng)應(yīng)具備的功能 e)預(yù)測 根據(jù)框架對(duì)客觀事物進(jìn)行預(yù)測 注： 1)預(yù)測實(shí)際上是一種框架內(nèi)部的推理 2)預(yù)測的用途有：指導(dǎo)進(jìn)一步的觀察、假定還未觀察到的或難以觀察到的事物 第二章 知識(shí)與知識(shí)表示 第四節(jié) 框架結(jié)構(gòu) 二、框架 框架系統(tǒng)應(yīng)具備的功能 f)繼承 注：繼承除了子類繼承，還可有如下情形的繼承：有限制地繼承和排斥屬性、有限制地繼承和排斥屬性值、有限制地繼承和排斥條件、給出屬性值的映射函數(shù)、指明屬性的分裂等 第二章 知識(shí)與知識(shí)表示 第四節(jié) 框架結(jié)構(gòu) 二、框架 框架系統(tǒng)應(yīng)具備的功能 g)變異 用于處理實(shí)際事物與框架很不一致的反?，F(xiàn)象 注：變異的概念使框架匹配的定義進(jìn)一步精確化。前者用 AC弧連接 ,后者用 PR弧連接 第二章 知識(shí)與知識(shí)表示 第五節(jié) 語義網(wǎng)絡(luò) 四、數(shù)據(jù)語義網(wǎng)絡(luò) 主要形式 c)SuLo語義聯(lián)系模型 9)蘊(yùn)涵聯(lián)系 用 LRI節(jié)點(diǎn)表示，聯(lián)系的一方是前提 (可用 EI或DE等節(jié)點(diǎn)表示 )，另一方是結(jié)論。 注： 1)分類網(wǎng)絡(luò)是理解客觀事物的重要工具，常見于專家系統(tǒng)應(yīng)用中 第二章 知識(shí)與知識(shí)表示 第五節(jié) 語義網(wǎng)絡(luò) 六、幾種特殊的語義網(wǎng)絡(luò) 分類網(wǎng)絡(luò) 注： 2)若令分類網(wǎng)絡(luò)為嚴(yán)格的樹形結(jié)構(gòu)，并且在每條弧上標(biāo)出循這條弧往下走的條件，則分類網(wǎng)絡(luò)就成了一種判定樹，在專家系統(tǒng)中有廣泛的應(yīng)用，許多專家系統(tǒng)都是基于分類的專家系統(tǒng) 第二章 知識(shí)與知識(shí)表示 第五節(jié) 語義網(wǎng)絡(luò) 六、幾種特殊的語義網(wǎng)絡(luò) 推理網(wǎng)絡(luò) 本質(zhì)上是一種已規(guī)范化的命題網(wǎng)絡(luò)，其基本節(jié)點(diǎn)是事實(shí)或概念，而節(jié)點(diǎn)間的關(guān)系則表示推理規(guī)則 注： 1)推理網(wǎng)絡(luò)較適合于專家系統(tǒng)中的推理 2)有的推理網(wǎng)絡(luò)將每個(gè)判斷中的謂詞部分和變?cè)糠址珠_，以得到更深入的推理關(guān)系和更模塊化的推理規(guī)則表示 3)推理網(wǎng)絡(luò)表示的推理可以是不精確的 第二章 知識(shí)與知識(shí)表示 第五節(jié) 語義網(wǎng)絡(luò) 六、幾種特殊的語義網(wǎng)絡(luò) 框架網(wǎng)絡(luò) 是語義網(wǎng)絡(luò)和框架的聯(lián)合使用，其中，網(wǎng)絡(luò)中的節(jié)點(diǎn)是框架，相當(dāng)于基本事實(shí)或假設(shè)，利用節(jié)點(diǎn)之間的關(guān)系可由某些框架推論出另一些框架；或者，網(wǎng)絡(luò)中的節(jié)點(diǎn)既可代表框架，也可代表框架中的槽，每條弧的一頭連著某個(gè)框架的一個(gè)槽，另一頭連著另一個(gè)框架，其意義是，后面的框架是前面的槽所代表的子框架，以此實(shí)現(xiàn)框架的任意深度的嵌套調(diào)用。 第二章 知識(shí)與知識(shí)表示 第五節(jié) 語義網(wǎng)絡(luò) 七、語義網(wǎng)絡(luò)上的推理 開式推理 a)作用 針對(duì)語義網(wǎng)絡(luò)中的某個(gè)或某些概念提出問題，并通過語義網(wǎng)上的推理來回答問題 b)工作原理 從被提問的概念出發(fā)，順著網(wǎng)中的通路進(jìn)行搜索，直到找到能回答這個(gè)問題的概念節(jié)點(diǎn)為止 第二章 知識(shí)與知識(shí)表示 第五節(jié) 語義網(wǎng)絡(luò) 七、語義網(wǎng)絡(luò)上的推理 開式推理 c)實(shí)現(xiàn)方式 1)建立一套有關(guān)弧的推理體系 首先確定一組基本元素，然后給出它們的推理關(guān)系，此時(shí)可把每個(gè)基本元素看成一個(gè)謂詞，并用產(chǎn)生規(guī)則來表達(dá)這種關(guān)系。 第二章 知識(shí)與知識(shí)表示 第七節(jié) 常識(shí)性知識(shí)表示 一、常識(shí)定義 常識(shí)是人類社會(huì)中經(jīng)過長期驗(yàn)證使用，眾所周知、不言自明的知識(shí)。所以很難從一個(gè)系統(tǒng)中提取知識(shí)運(yùn)用到另一個(gè)系統(tǒng)中。 kindof 表達(dá)概念之間的繼承關(guān)系 ， 類似于面向?qū)ο笾械母割惻c子類之間的關(guān)系 。 GUM 面向自然語言處理 ， 支持多語種處理 ， 包括基本概念及獨(dú)立于各種具體語言的概念組織方式 。 OWL 添加了更多的用于描述屬性和類型的詞匯 ， 例如類型之間的不相交性 （ disjointness） ， 基數(shù)（ cardinality） ， 等價(jià)性 ， 屬性的更豐富的類型 ，屬性特征 （ 例如對(duì)稱性 ， symmetry） ， 以及枚舉類型 （ enumerated classes） 等 。 一個(gè)類可以被同時(shí)表達(dá)為許多個(gè)體的一個(gè)集合以及這個(gè)集合中的一個(gè)個(gè)體 。 它包括了 OWL語言的所有約束 ， 但是可以被僅僅置于特定的約束下 。 The Ontology Language Stack Ontology語言棧 名稱 描述 XML 結(jié)構(gòu)化文檔的表層語法 ， 對(duì)文檔沒有任何語義約束 。 構(gòu)造 Ontology的規(guī)則 最有影響的是 Gruber在 1995年提出的 5條規(guī)則： ? 明確性和客觀性 ： Ontology應(yīng)該用自然語言對(duì)所定義的術(shù)語給出明確、客觀的語義定義 ? 完全性 ：所給出的定義是完整的，完全能表達(dá)所描述的術(shù)語的含義 ? 一致性 ：由術(shù)語得出的推論與術(shù)語本身的含義是相容的，不會(huì)產(chǎn)生矛盾 ? 最大單調(diào)可擴(kuò)展性 ：向 Ontology中添加通用或?qū)Ｓ玫男g(shù)語時(shí)，不需要修改已有的內(nèi)容 ? 最小承諾 ：對(duì)待建模對(duì)象給出盡可能少的約束 目前大家公認(rèn)在構(gòu)造特定領(lǐng)域的 Ontology的過程中需要領(lǐng)域?qū)＜业膮⑴c 本體構(gòu)建工具 (1) ? Prot233。從語義上講，它表示的是對(duì)象的集合，其定義一般采用框架（ frame）結(jié)構(gòu)，包括概念的名稱，與其他概念之間的關(guān)系的集合，以及用自然語言對(duì)概念的描述 ? . In universityontology: student and professor are two classes – 關(guān)系（ relations） ?在領(lǐng)域中概念之間的交互作用，形式上定義為 n維笛卡兒積的子集： R:C1 C2 … Cn ? Such as: subclassof, isa Ontology的建模元語 (Cont.) – 函數(shù)（ functions） ?一類特殊的關(guān)系。 2)對(duì)常識(shí)進(jìn)行描述時(shí)，會(huì)涉及多個(gè)實(shí)體、函數(shù)和關(guān)系，從而會(huì)使描述非常復(fù)雜，產(chǎn)生混淆。 2)對(duì)原子概念的要求是：無二義性、表示唯一性、正交性 (表達(dá)范圍不應(yīng)重復(fù) )、原子性、概括性 第二章 知識(shí)與知識(shí)表示 第六節(jié) 過程性知識(shí)表示 二、常見的過程性知識(shí)表示法 概念依賴?yán)碚? b)Schank的概念依賴?yán)碚? 1)將概念分為七個(gè)范疇： PP(概念名詞 )、 PA(對(duì)象屬性 )、 ACT(動(dòng)作 )、 LOC(位置 )、 TIME、 AA(動(dòng)作屬性 )、 VAL(各類屬性的值 ) 2)用“概念體 (conceptualization)” 表示概念之間的關(guān)系 第二章 知識(shí)與知識(shí)表示 第六節(jié) 過程性知識(shí)表示 二、常見的過程性知識(shí)表示法 腳本 第二章 知識(shí)與知識(shí)表示 第七節(jié) 常識(shí)性知識(shí)表示 一、常識(shí)定義 常識(shí)是人類社會(huì)中經(jīng)過長期驗(yàn)證使用，眾所周知、不言自明的知識(shí)