版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
第二章知識(shí)表示方法2.1基本概念2.2謂詞邏輯表示法2.3狀態(tài)空間法2.4問(wèn)題歸約法2.6語(yǔ)義網(wǎng)絡(luò)法2.7框架表示法2.8小結(jié)中南大學(xué)智能系統(tǒng)與智能軟件研究所第2.1節(jié)基本概念2.1.1什么是知識(shí)2.1.2知識(shí)的特性2.1.3知識(shí)的分類(lèi)2.1.4知識(shí)的表示22.1.1什么是知識(shí)什么是知識(shí)(1)數(shù)據(jù)與信息用一組符號(hào)及其組合表示的信息稱(chēng)為數(shù)據(jù),泛指對(duì)客觀事物的數(shù)量、屬性、位置及其相互關(guān)系的的抽象表示。例:12ABC中午32.1.1什么是知識(shí)數(shù)據(jù)是信息的載體和表示,信息是數(shù)據(jù)在特定場(chǎng)合下的具體含義,即信息是數(shù)據(jù)的語(yǔ)義。兩者只有密切結(jié)合,才能實(shí)現(xiàn)世界中某一具體事務(wù)的描述。例如:2可以表示成2本書(shū)或2個(gè)人知識(shí):把有關(guān)信息關(guān)聯(lián)起來(lái)所形成的信息結(jié)構(gòu)42.1.2知識(shí)的特性相對(duì)正確性知識(shí)是否正確是有前提條件的,比如說(shuō)唐朝人以胖為美;1+1=10不確定性信息與關(guān)聯(lián)是構(gòu)成知識(shí)的兩個(gè)要素信息:精確地,不確定的,模糊的關(guān)聯(lián):確定的,不確定的,除了真假之外還有其他狀態(tài)52.1.2知識(shí)的特性可表示性和可利用性表示:語(yǔ)言、圖形、文字、神經(jīng)元網(wǎng)絡(luò)等利用:用知識(shí)解決所面臨的各種各樣的問(wèn)題62.1.2知識(shí)的特性(1)由隨機(jī)性引起的不確定性例如:隨機(jī)事件拋幣(2)由模糊性引起的不確定性由模糊概念,模糊關(guān)系所形成的知識(shí)是不確定的比如,個(gè)子的高低72.1.2知識(shí)的特性(3)由不完全性引起的不確定性只有積累了大量的感性認(rèn)識(shí)才能升華到理性認(rèn)識(shí)的高度例如:疾病(4)由經(jīng)驗(yàn)性形成的不確定性專(zhuān)家的經(jīng)驗(yàn)—專(zhuān)家系統(tǒng)—精確描述有問(wèn)題82.1.3知識(shí)的分類(lèi)從作用范圍劃分(1)常識(shí)性知識(shí):通用性知識(shí)是人們普遍知道的知識(shí),適用于所有領(lǐng)域(2)領(lǐng)域性知識(shí):是面向某個(gè)領(lǐng)域的知識(shí),是專(zhuān)業(yè)性知識(shí),只有相應(yīng)專(zhuān)業(yè)的人員才能掌握并用來(lái)求解領(lǐng)域內(nèi)的問(wèn)題92.1.3知識(shí)的分類(lèi)從知識(shí)的作用劃分(1)事實(shí)性知識(shí):用于描述領(lǐng)域內(nèi)有關(guān)概念、事實(shí)、事物的屬性和狀態(tài)等例如:糖的甜的一年有春夏秋冬四個(gè)季節(jié)102.1.3知識(shí)的分類(lèi)(2)過(guò)程性知識(shí):是指領(lǐng)域相關(guān)的知識(shí),用于指出如何處理與領(lǐng)域相關(guān)的信息,以求得問(wèn)題的解。用產(chǎn)生式規(guī)則和語(yǔ)義網(wǎng)絡(luò)求解(3)控制性知識(shí):又稱(chēng)深層知識(shí)。用已有的知識(shí)進(jìn)行問(wèn)題求解的知識(shí),即關(guān)于知識(shí)的知識(shí)112.1.3知識(shí)的分類(lèi)從確定性劃分(1)確定性知識(shí):可指出真值是“真”和“假”的知識(shí)(2)不確定性知識(shí):是對(duì)不精確,不完全,模糊性知識(shí)的總稱(chēng)。122.1.3知識(shí)的分類(lèi)從知識(shí)結(jié)構(gòu)及表現(xiàn)形式劃分(1)邏輯性知識(shí):反映人們邏輯思維過(guò)程的知識(shí),一般具有因果關(guān)系和難以精確描述的特點(diǎn),通常基于專(zhuān)家經(jīng)驗(yàn)。一階謂詞邏輯,產(chǎn)生式表示法用來(lái)表示這種知識(shí)132.1.3知識(shí)的分類(lèi)(2)形象性知識(shí):例如:樹(shù)從抽象、整體的觀點(diǎn)劃分(1)零級(jí)知識(shí)事實(shí),領(lǐng)域,方程,常識(shí)性知識(shí)及原理性知識(shí)(2)一級(jí)知識(shí)經(jīng)驗(yàn)性啟發(fā)性知識(shí)(3)二級(jí)知識(shí)運(yùn)用以上兩級(jí)知識(shí)的知識(shí)142.1.4知識(shí)的表示知識(shí)的表示:在選擇知識(shí)表示方法時(shí),應(yīng)考慮以下幾個(gè)方面(1)充分表示領(lǐng)域知識(shí)在醫(yī)療診斷領(lǐng)域,只是具有經(jīng)驗(yàn)性,因果性,適合于用產(chǎn)生式表示法進(jìn)行表示152.1.4知識(shí)的表示在設(shè)計(jì)領(lǐng)域,一個(gè)部件由多個(gè)子部件組成,它們即有共性又有個(gè)性,需要用框架表示法和產(chǎn)生式表示結(jié)合起來(lái)。(2)有利于對(duì)知識(shí)的利用表示:領(lǐng)域知識(shí)—形式化—計(jì)算機(jī)內(nèi)部存儲(chǔ)利用:使用知識(shí)進(jìn)行推理,求解現(xiàn)實(shí)問(wèn)題表示的目的是利用,利用的基礎(chǔ)是表示162.1.4知識(shí)的表示(3)便于對(duì)知識(shí)的組織,維護(hù)和管理組織:依賴于知識(shí)的表示方法維護(hù):知識(shí)的質(zhì)量、數(shù)量、性能方面補(bǔ)充、修改、刪除管理:保持知識(shí)的一致性、完整性(4)便于理解和實(shí)現(xiàn)17謂詞邏輯是在命題邏輯的基礎(chǔ)上發(fā)展來(lái)的,命題邏輯是謂詞邏輯的一種特殊形式命題:是具有某種真假意義的語(yǔ)句。代表人們進(jìn)行思維是的一種判斷,或?yàn)榭隙?,或?yàn)榉穸āS勒妫禾?yáng)是東升西落的。2.2謂詞邏輯法18謂詞:一個(gè)謂詞可分為謂詞名+個(gè)體兩部分,謂詞名用于刻畫(huà)個(gè)體的性質(zhì)、狀態(tài)或個(gè)體間的關(guān)系,個(gè)體用于表示某個(gè)獨(dú)立存在的事物或某個(gè)抽象的概念。謂詞的一般形式:P(x1,x2…..xn)謂詞名用大寫(xiě)字母?jìng)€(gè)體用小寫(xiě)字母,可為常量、變?cè)?、函?shù)謂詞中包含的個(gè)體的數(shù)目稱(chēng)為謂詞的元數(shù)P(x):一元謂詞P(x,y):二元謂詞P(x1,x2…..xn):n元謂詞2.2謂詞邏輯法19P(x1,x2…..xn)中,若xi都是個(gè)體常量、變?cè)?、函?shù)稱(chēng)它為一階謂詞。如果xi本身又是一個(gè)一階謂詞,稱(chēng)為二階謂詞。例:老張是教師。Teacher(zhang)小張的母親是教師Teacher(mother(zhang))202.2.1謂詞邏輯的語(yǔ)法語(yǔ)義謂詞邏輯的基本組成是謂詞符號(hào)、變量符號(hào)、函數(shù)符號(hào)和常量符號(hào),并用圓括號(hào)、方括號(hào)、花括號(hào)、逗號(hào)隔開(kāi),以表示論域內(nèi)的關(guān)系。例如:機(jī)器人在1號(hào)房間(Room1)內(nèi)INROOM(ROBOT,r1)212.2.1謂詞邏輯的語(yǔ)法語(yǔ)義常量符號(hào)是簡(jiǎn)單的項(xiàng),用來(lái)表示論域內(nèi)的物體和實(shí)體,也可以是實(shí)際的問(wèn)題和人,也可以是概念或者是具有名字的任何事情。變量符號(hào)也是項(xiàng),但是不必明確涉及是哪一個(gè)實(shí)體。函數(shù)符號(hào)表示論域內(nèi)的函數(shù)222.2.1謂詞邏輯的語(yǔ)法語(yǔ)義對(duì)于每個(gè)謂詞符號(hào),必須規(guī)定定義域內(nèi)的一個(gè)相應(yīng)關(guān)系;對(duì)于每個(gè)常量符號(hào),必須規(guī)定定義域內(nèi)相應(yīng)的一個(gè)實(shí)體;對(duì)于每個(gè)函數(shù)符號(hào),則必須規(guī)定定義域內(nèi)相應(yīng)的一個(gè)函數(shù)。232.2.2謂詞邏輯的連詞和量詞謂詞公式(1)、連接詞~:否定、非、P為真,~P為假:合取,與:析取,或:蘊(yùn)含:雙條件,P當(dāng)且僅當(dāng)Q242.2.2謂詞邏輯的連詞和量詞用連詞符號(hào)組合多個(gè)原子公式以構(gòu)成比較復(fù)雜的合式公式。我喜愛(ài)音樂(lè)和繪畫(huà)李住在一棟黃色的房子里李明打籃球或踢足球252.2.2謂詞邏輯的連詞和量詞如果該書(shū)是何平的,那么它是藍(lán)色的如果劉華跑的最快,那么他取得冠軍機(jī)器人不在2號(hào)房間內(nèi)262.2.2謂詞邏輯的連詞和量詞一個(gè)原子公式P(x),對(duì)于所有可能的變量x都具有T,這個(gè)特性可以在P(x)前面加上全稱(chēng)量詞來(lái)表示。如果至少一個(gè)x值可使P(x)具有真值T,那么這一特性可由P(x)前面加上存在量詞來(lái)表示。例如:所有機(jī)器人都是灰色的1號(hào)房間內(nèi)有個(gè)物體272.2.3謂詞公式原子公式的的定義:用P(x1,x2,…,xn)表示一個(gè)n元謂詞公式,其中P為n元謂詞,x1,x2,…,xn為客體變量或變?cè)Mǔ0裀(x1,x2,…,xn)叫做謂詞演算的原子公式,或原子謂詞公式。分子謂詞公式可以用連詞把原子謂詞公式組成復(fù)合謂詞公式,并把它叫做分子謂詞公式。2.3謂詞邏輯法28合式公式的遞歸定義:(1)原子謂詞公式是合式公式(2)若A是合式公式,則~A也是合式公式(3)若A和B是合式公式,則也是合式公式(4)若A是合式公式,X是A中的自由變?cè)?,則都是合式公式29等價(jià)—如果兩個(gè)合式公式,無(wú)論如何解釋?zhuān)湔嬷当矶际窍嗤?,那么就稱(chēng)此二者是等價(jià)的。~(~P)等價(jià)于P等價(jià)于
等價(jià)于等價(jià)于302.2.4置換與合一假元推理—由合式公式W1和W1W2產(chǎn)生合式公式W2的運(yùn)算。全程化推理—它是由合式公式產(chǎn)生合式W(A),其中A為任意常量符號(hào)。綜合推理---同時(shí)應(yīng)用假元推理和全程化推理,可由合式公式和
W1(A)生成合式公式W2(A),即尋找A對(duì)x的替換,使W1(A)和W1(x)一致。312.2.4置換與合一置換一個(gè)表達(dá)式可為變量符號(hào)、常量符號(hào)或函數(shù)表達(dá)式。函數(shù)表達(dá)式由函數(shù)符號(hào)和項(xiàng)組成。一個(gè)表達(dá)式的置換就是在該表達(dá)式中用置換項(xiàng)置換變量。例2.2表達(dá)式P[x,f(y),B]的四個(gè)置換為s1={z/x,w/y}s2={A/y}s3={q(z)/x,A/y}s4={c/x,A/y}置換P[x,f(y),B]后得:322.2.4置換與合一置換P[x,f(y),B]s1=P[z,f(w),B]P[x,f(y),B]s2=P[x,f(A),B]P[x,f(y),B]s3=P[q(z),f(A),B]P[x,f(y),B]s4=P[c,f(A),B]33合一(Unification)合一:尋找項(xiàng)對(duì)變量的置換,以使兩表達(dá)式一致??珊弦唬喝绻粋€(gè)置換s作用于表達(dá)式集{Ei}的每個(gè)元素,則我們用{Ei}s來(lái)表示置換例的集。我們稱(chēng)表達(dá)式集{Ei}是可合一的。如果存在一個(gè)置換s使得:E1s=E2s=E3s=…….那么就稱(chēng)s為{Ei}合一者2.3謂詞邏輯法34合一例2.3表達(dá)式集{P[x,f(y),B],P[x,f(B),B]}的合一者為s={A/x,B/y}
P[x,f(y),B]s=P[x,f(B),B]s=P[A,f(B),B]
即s使表達(dá)式成為單一形式p[A,f(B),B]352.2.5一階謂詞邏輯表示法2.2.4.1表示知識(shí)的方法謂詞邏輯適合于表示事物的狀態(tài)、屬性、概念等事實(shí)性的知識(shí),事務(wù)間確定的因果關(guān)系。首先確定謂詞,然后用連詞連接例:362.2.5.1表示知識(shí)的方法有下列知識(shí):自然數(shù)都是大于零的整數(shù)所以整數(shù)不是偶數(shù)就是奇數(shù)偶數(shù)除以2是整數(shù)定義謂詞為:N(x):x是自然數(shù)I(x):x是整數(shù)E(x):x是偶數(shù)O(x):x是奇數(shù)G(x):x大于零S(x):表示x除以2372.2.5.1表示知識(shí)的方法連詞連接表示:自然數(shù)都是大于零的整數(shù)所有整數(shù)不是偶數(shù)就是奇數(shù)偶數(shù)除以2是整數(shù)382.2.5.1表示知識(shí)的方法例2設(shè)在房間c處有一個(gè)機(jī)器人,在a及b處各有一張桌子,a桌子上有一個(gè)盒子,為了讓機(jī)器人把盒子從a處拿到b處的桌子上,然后再回到c處,需要制定相應(yīng)的行動(dòng)規(guī)則,用一階謂詞邏輯來(lái)描述機(jī)器人的行動(dòng)過(guò)程392.2.5.1表示知識(shí)的方法謂詞定義:Table(x):x是桌子Empty(y):y手中是空的At(y,z):y在z的附近Holds(y,w):y拿著wOn(w,x):w在x上面402.2.5.1表示知識(shí)的方法域x的個(gè)體域{a,b}y的個(gè)體域{robot}z的個(gè)體域{a,b,c}w的個(gè)體域{box}412.2.5.1表示知識(shí)的方法狀態(tài)初始狀態(tài)At(robot,c)Empty(robot)On(box,a)Table(a)Table(b)422.2.5.1表示知識(shí)的方法狀態(tài)目標(biāo)狀態(tài)At(robot,c)Empty(robot)On(box,b)Table(a)Table(b)432.2.5.1表示知識(shí)的方法操作:條件+動(dòng)作條件:謂詞方式動(dòng)作:通過(guò)動(dòng)作前后的狀態(tài)變化表示Goto(x,y):從x走到y(tǒng)處Pick-up(x):在x處拿起盒子Set-down(x):在x處放下盒子442.2.5.1表示知識(shí)的方法行動(dòng)規(guī)則452.2.5.1表示知識(shí)的方法462.2.5.1表示知識(shí)的方法一階謂詞邏輯表示法的特點(diǎn)(1)優(yōu)點(diǎn)自然性、精確性、嚴(yán)密性、容易實(shí)現(xiàn)(2)局限性不能表示不確定的知識(shí)組合爆炸效率低472.3狀態(tài)空間法
(StateSpaceRepresentation)問(wèn)題求解技術(shù)主要是兩個(gè)方面:?jiǎn)栴}的表示求解的方法狀態(tài)空間法狀態(tài)(state)算符(operator)狀態(tài)空間方法482.3狀態(tài)空間法
(StateSpaceRepresentation)狀態(tài):是為描述某類(lèi)不同事物間的差別而引入的一組最少變量q0,q1,…,qn的有序集合,其矢量形式如下:
Q=[q0,q1,…,qn]T
式中每個(gè)元素qi(i=0,1,…,n)為集合的分量,稱(chēng)為狀態(tài)變量。給定每個(gè)分量的一組值就得到一個(gè)具體的狀態(tài),如
=[q0k,q1k,…,qnk]T492.3狀態(tài)空間法
(StateSpaceRepresentation)算符:使問(wèn)題從一種狀態(tài)變化為另一種狀態(tài)的手段稱(chēng)為操作符或算符。操作符可為走步、過(guò)程、規(guī)則、數(shù)學(xué)算子、運(yùn)算符號(hào)或邏輯符號(hào)等。502.3狀態(tài)空間法
(StateSpaceRepresentation)問(wèn)題的狀態(tài)空間(statespace)是一個(gè)表示該問(wèn)題全部可能狀態(tài)及其關(guān)系的圖,它包含三種說(shuō)明的集合,即所有可能的問(wèn)題初始狀態(tài)集合S、操作符集合F以及目標(biāo)狀態(tài)集合G。因此,可把狀態(tài)空間記為三元狀態(tài)(S,F(xiàn),G)。512.3狀態(tài)空間法
(StateSpaceRepresentation)狀態(tài)空間表示法對(duì)一個(gè)問(wèn)題的狀態(tài)描述,必須確定3件事:(1)該狀態(tài)描述方式,特別是初始狀態(tài)描述;
(2)操作符集合及其對(duì)狀態(tài)描述的作用;
(3)目標(biāo)狀態(tài)描述的特性。522.
狀態(tài)空間表示概念詳釋例如下棋、迷宮及各種游戲。OriginalStateMiddleStateGoalState2.1狀態(tài)空間法53例:三數(shù)碼難題
(3puzzleproblem)123123123312312312初始棋局目標(biāo)棋局2.1狀態(tài)空間法542.3狀態(tài)空間法
(StateSpaceRepresentation)狀態(tài)空間表示舉例—產(chǎn)生式系統(tǒng)552.3.1產(chǎn)生式表示法“產(chǎn)生式”這一術(shù)語(yǔ)是由美國(guó)數(shù)學(xué)家波斯特在1943年提出的,它根據(jù)串代替原則提出了一種被稱(chēng)為波斯特機(jī)的計(jì)算機(jī)模型,模型中每條規(guī)則稱(chēng)為一個(gè)產(chǎn)生式。1965年年美國(guó)的紐厄爾和西蒙利用這一原理建立了一個(gè)人類(lèi)的認(rèn)知模型。562.3.1產(chǎn)生式表示法一個(gè)產(chǎn)生式系統(tǒng)由下列3部分組成:總數(shù)據(jù)庫(kù)(globaldatabase),它含有與具體任務(wù)有關(guān)的信息。用于存儲(chǔ)求解過(guò)程中各種當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu),如問(wèn)題的初始狀態(tài)、事實(shí)或證據(jù)、中間推理結(jié)論和最后結(jié)果等。當(dāng)產(chǎn)生式規(guī)則中某條規(guī)則的前提與總數(shù)據(jù)庫(kù)中的某些事實(shí)相匹配時(shí),該規(guī)則被激活。并把其結(jié)論作為新的事實(shí)存入數(shù)據(jù)庫(kù)。572.3.1產(chǎn)生式表示法一套規(guī)則,用于存放與求解問(wèn)題有關(guān)的某個(gè)領(lǐng)域的知識(shí)的規(guī)則集合及其交換規(guī)則。它對(duì)數(shù)據(jù)庫(kù)進(jìn)行操作運(yùn)算。每條規(guī)則由左右兩部分組成,左部鑒別規(guī)則的適用性或先決條件,右部描述規(guī)則應(yīng)用時(shí)所完成的動(dòng)作。應(yīng)用規(guī)則來(lái)改變數(shù)據(jù)庫(kù)。582.3.1產(chǎn)生式表示法控制策略為一推理機(jī)構(gòu),由一組程序組成,用來(lái)控制產(chǎn)生式系統(tǒng)的運(yùn)行,決定問(wèn)題求解過(guò)程的推理線路,實(shí)現(xiàn)對(duì)問(wèn)題的求解。59有向圖路徑代價(jià)圖的顯示說(shuō)明圖的隱示說(shuō)明2.3.2狀態(tài)圖示法AB2.1狀態(tài)空間法602.3.2狀態(tài)圖示法有向圖:一對(duì)節(jié)點(diǎn)用弧線連接起來(lái),從一個(gè)節(jié)點(diǎn)指向另外一個(gè)節(jié)點(diǎn),這種圖稱(chēng)為有向圖。路徑:代價(jià):給各弧線指定代價(jià)以表示加在相應(yīng)算符上的代價(jià)。用c(ni,nj)來(lái)表示從節(jié)點(diǎn)ni指向節(jié)點(diǎn)nj上的代價(jià)。兩節(jié)點(diǎn)上路徑的代價(jià)等于連接該路徑上各節(jié)點(diǎn)的所有弧線的代價(jià)之和。612.3.2狀態(tài)圖示法圖的顯示表示:各個(gè)節(jié)點(diǎn)及其具有代價(jià)的弧線由一張表明確給出。圖的每一個(gè)節(jié)點(diǎn),后繼節(jié)點(diǎn),連接弧線的代價(jià)622.3.3狀態(tài)空間表示舉例在一個(gè)房間內(nèi)有一只猴子(可把這只猴子看做一個(gè)機(jī)器人)、一個(gè)箱子和一束香蕉。香蕉掛在天花板下方,但猴子的高度不足以碰到它。那么這只猴子怎樣才能摘到香蕉呢?圖1表示出猴子、香蕉和箱子在房間內(nèi)的相對(duì)位置。用四元表列(W,x,Y,z)來(lái)表示這個(gè)問(wèn)題的狀態(tài)。63
狀態(tài)空間表示舉例例:猴子和香蕉問(wèn)題2.1狀態(tài)空間法642.3.3狀態(tài)空間表示舉例其中,W-猴子的水平位置x-當(dāng)猴子在箱子頂上時(shí)取x=1;否則取x=0Y-箱子的水平位置z-當(dāng)猴子摘到香蕉時(shí)取z=1;否則取z=0652.3.3狀態(tài)空間表示舉例這個(gè)問(wèn)題中的操作(算符)如下:
1、goto(U)猴子走到水平位置U
或者用產(chǎn)生式規(guī)則表示為 (W,0,Y,z)goto(U)(U,0,Y,z)(W,0,Y,z)變換為狀態(tài)(U,0,Y,z)。662.3.3狀態(tài)空間表示舉例2、pushbox(V)猴子把箱子推到水平位置V用產(chǎn)生式規(guī)則表示為(W,0,W,z)pushbox(V)(V,0,V,z)672.3.3狀態(tài)空間表示舉例條件:猴子與箱子必須在同一位置上,并且,猴子不是在箱子頂上。應(yīng)當(dāng)注意的是,要應(yīng)用算符pushbox(V),就要求產(chǎn)生式規(guī)則的左邊,猴子與箱子必須在同一位置上,并且,猴子不是在箱子頂上。這種強(qiáng)加于操作的適用性條件,叫做產(chǎn)生式規(guī)則的先決條件682.3.3狀態(tài)空間表示舉例3、climbbox猴子爬上箱頂,即有
(W,0,W,z)climbbox
(W,1,W,z)條件:猴子和箱子應(yīng)當(dāng)在同一位置上,而且猴子在箱頂上。
692.3.3狀態(tài)空間表示舉例4、grasp猴子摘到香蕉,即有(c,1,c,0)grasp(c,1,c,1)
條件:猴子和箱子都在位置c上,并且猴子已在箱子頂上。702.3.3狀態(tài)空間表示舉例求解過(guò)程令初始狀態(tài)為(a,0,b,0)。這時(shí),goto(U)是唯一適用的操作,并導(dǎo)致下一狀態(tài)(U,0,b,0)。現(xiàn)在有3個(gè)適用的操作,即goto(U),pushbox(V)和climbbox(若U=b)。其中,c是香蕉正下方的地板位置。712.3.3狀態(tài)空間表示舉例該初始狀態(tài)變換為目標(biāo)狀態(tài)的操作序列為:{goto(b),pushbox(c),climbbox,grasp}722.3.3狀態(tài)空間表示舉例應(yīng)當(dāng)說(shuō)明的是,在這種情況下,算符(操作)的適用性及作用均由產(chǎn)生式規(guī)則表示。例如,對(duì)于規(guī)則(2),只有當(dāng)算符pushbox(V)的先決條件,即猴子與箱子在同一位置上而且猴子不在箱頂上這些條件得到滿足時(shí),算符pushbox(V)才是適用的。732.3.3狀態(tài)空間表示舉例這一操作算符的作用是猴子把箱子推到位置v。在這一表示中,目標(biāo)狀態(tài)的集合可由任何最后元素為1的表列來(lái)描述。74(b,1,b,0)(U,0,b,0)(V,0,V,0)(c,1,c,0)(U,0,V,0)(c,1,c,1)(a,0,b,0)目標(biāo)狀態(tài)goto(U)goto(U)U=b,climbboxgoto(U)U=bpushbox(V)猴子和香蕉問(wèn)題的狀態(tài)空間圖goto(U)U=V2.1狀態(tài)空間法752.4問(wèn)題歸約法
(ProblemReductionRepresentation)子問(wèn)題1子問(wèn)題n原始問(wèn)題子問(wèn)題集本原問(wèn)題76問(wèn)題歸約是另一種基于狀態(tài)空間的問(wèn)題描述與求解方法。已知問(wèn)題的描述,通過(guò)一系列變換把此問(wèn)題最終變?yōu)橐粋€(gè)子問(wèn)題集合,這些子問(wèn)題的解可以直接得到,從而解決了初始問(wèn)題。77問(wèn)題歸約表示的組成部分:一個(gè)初始問(wèn)題描述;一套把問(wèn)題變換為子問(wèn)題的操作符;一套本原問(wèn)題描述。問(wèn)題歸約的實(shí)質(zhì):從目標(biāo)(要解決的問(wèn)題)出發(fā)逆向推理,建立子問(wèn)題以及子問(wèn)題的子問(wèn)題,直至最后把初始問(wèn)題歸約為一個(gè)平凡的本原問(wèn)題集合。2.2問(wèn)題規(guī)約法782.4.1問(wèn)題歸約描述
(ProblemReductionDescription)梵塔難題123CBA2.2問(wèn)題規(guī)約法79(1)移動(dòng)圓盤(pán)A和B至柱子2的雙圓盤(pán)難題(2)移動(dòng)圓盤(pán)C至柱子3的單圓盤(pán)難題(3)移動(dòng)圓盤(pán)A和B至柱子3上的雙圓盤(pán)難題80解題過(guò)程(3個(gè)圓盤(pán)問(wèn)題)1231231231231231231232.2問(wèn)題規(guī)約法81梵塔問(wèn)題歸約圖(113)(123)
(111)(113)
(123)(122)
(111)(333)
(122)(322)
(111)(122)
(322)(333)
(321)(331)
(322)(321)
(331)(333)
2.2問(wèn)題規(guī)約法822.4.2與或圖表示與或圖表示能夠方便的用一個(gè)類(lèi)似于圖的結(jié)構(gòu)來(lái)表示把問(wèn)題規(guī)約為后繼問(wèn)題的替換集合,畫(huà)出規(guī)約問(wèn)題圖。模擬問(wèn)題規(guī)約方法的相關(guān)結(jié)構(gòu)是一個(gè)與或圖。與或圖的中的節(jié)點(diǎn)之一—起始節(jié)點(diǎn)對(duì)應(yīng)于原始問(wèn)題描述,而對(duì)應(yīng)于本源問(wèn)題的節(jié)點(diǎn)叫做終葉節(jié)點(diǎn)。832.4.2與或圖表示1.與圖、或圖、與或圖2.2問(wèn)題規(guī)約法ABCD與圖ABC或圖842.2問(wèn)題規(guī)約法BCDEFGAHMBCDEFGAN852.一些關(guān)于與或圖的術(shù)語(yǔ)2.2問(wèn)題規(guī)約法HMBCDEFGAN父節(jié)點(diǎn)與節(jié)點(diǎn)弧線或節(jié)點(diǎn)子節(jié)點(diǎn)終葉節(jié)點(diǎn)863.定義2.2問(wèn)題規(guī)約法與或圖例子ttttttttt(a)(b)有解節(jié)點(diǎn)無(wú)解節(jié)點(diǎn)終葉節(jié)點(diǎn)87不可解節(jié)點(diǎn)的一般定義沒(méi)有后裔的非終葉節(jié)點(diǎn)為不可解節(jié)點(diǎn)。全部后裔為不可解的非終葉節(jié)點(diǎn)且含有或后繼節(jié)點(diǎn),此非終葉節(jié)點(diǎn)才是不可解的。后裔至少有一個(gè)為不可解的非終葉節(jié)點(diǎn)且含有與后繼節(jié)點(diǎn),此非終葉節(jié)點(diǎn)才是不可解的。2.2問(wèn)題規(guī)約法88與或圖構(gòu)成規(guī)則1、與或圖中的每一個(gè)節(jié)點(diǎn)代表一個(gè)要解決的單一問(wèn)題或問(wèn)題集合。圖中所含起始節(jié)點(diǎn)對(duì)應(yīng)于原始問(wèn)題。2、對(duì)應(yīng)于本源問(wèn)題的節(jié)點(diǎn),叫做終葉節(jié)點(diǎn),它沒(méi)有后裔3、對(duì)于把算符應(yīng)用于問(wèn)題A的每種可能情況,都把問(wèn)題變換為子問(wèn)題集合。4、對(duì)于代表兩個(gè)或兩個(gè)以上子問(wèn)題集合的每個(gè)節(jié)點(diǎn),有向弧從此節(jié)點(diǎn)指向此子問(wèn)題集合的各個(gè)節(jié)點(diǎn)。892.6語(yǔ)義網(wǎng)絡(luò)表示法語(yǔ)義網(wǎng)絡(luò)的概念語(yǔ)義網(wǎng)絡(luò)是通過(guò)概念及其語(yǔ)義關(guān)系來(lái)表達(dá)知識(shí)的一種網(wǎng)絡(luò)圖。從圖論的觀點(diǎn)看,它是一個(gè)“帶標(biāo)識(shí)的有向圖”。90語(yǔ)義網(wǎng)絡(luò)表示法有向圖的節(jié)點(diǎn):表示各種事物,狀態(tài),概念,情況,屬性,動(dòng)作等。?。罕硎靖鞣N語(yǔ)義關(guān)系,指明它所連接的結(jié)點(diǎn)間的某種語(yǔ)義關(guān)系。91語(yǔ)義網(wǎng)絡(luò)表示法語(yǔ)義網(wǎng)絡(luò)具有下列特點(diǎn):(1)能把實(shí)體的結(jié)構(gòu)、屬性與實(shí)體間的因果關(guān)系顯式和簡(jiǎn)明的表達(dá)出來(lái),與實(shí)體相關(guān)的事實(shí)、特征和關(guān)系可以通過(guò)相應(yīng)的節(jié)點(diǎn)弧線推導(dǎo)出來(lái)。(2)由于概念相關(guān)的屬性和聯(lián)系被組織在一個(gè)相應(yīng)的節(jié)點(diǎn)中,因而使概念易于受訪和學(xué)習(xí)(3)表示問(wèn)題更加直觀,易于理解(4)語(yǔ)義網(wǎng)絡(luò)的語(yǔ)義解釋依賴于該結(jié)構(gòu)的推理過(guò)程而沒(méi)有結(jié)構(gòu)的約定,因而得到的推理不能保證像謂詞邏輯法那樣有效(5)節(jié)點(diǎn)間的聯(lián)系可以是線狀、樹(shù)狀或網(wǎng)狀,存儲(chǔ)和檢索比較復(fù)雜922.6.1語(yǔ)義網(wǎng)絡(luò)基本概念由語(yǔ)義單元構(gòu)成,稱(chēng)為語(yǔ)義基元,用三元組表示:(結(jié)點(diǎn)1,弧,結(jié)點(diǎn)2)基本網(wǎng)元:932.6.1語(yǔ)義網(wǎng)絡(luò)基本概念雪是白的李麗22歲王老師教小剛942.6.1語(yǔ)義網(wǎng)絡(luò)基本概念例:所有的燕子都是鳥(niǎo)。小燕是一只燕子。鳥(niǎo)有翅膀。952.6.1語(yǔ)義網(wǎng)絡(luò)基本概念語(yǔ)義網(wǎng)絡(luò)與謂詞邏輯有相似的表示能力(結(jié)點(diǎn)1,弧,結(jié)點(diǎn)2)
P(個(gè)體1,個(gè)體2)一個(gè)語(yǔ)義基元相當(dāng)于一個(gè)二元謂詞,謂詞邏輯中的個(gè)體也就是語(yǔ)義網(wǎng)絡(luò)中相關(guān)的實(shí)體。弧及其與上的關(guān)系相當(dāng)于謂詞P的意義。96以上例子用謂詞表示Color(snow,white)Age(Lilee,22)ISKINDOF(燕子,鳥(niǎo))Bird(燕子)972.6.2基本語(yǔ)義關(guān)系類(lèi)屬關(guān)系包含關(guān)系屬性關(guān)系位置關(guān)系相近關(guān)系推論關(guān)系982.6.2基本語(yǔ)義關(guān)系類(lèi)屬關(guān)系:指具有共同屬性的不同事物間的分類(lèi)關(guān)系、成員關(guān)系或?qū)嵗P(guān)系。--具有屬性的繼承性A-kind-ofA-member-ofIs-a992.6.2基本語(yǔ)義關(guān)系包含關(guān)系指具有組織中結(jié)構(gòu)特征的“部分與整體”之間的關(guān)系Part-of100屬性關(guān)系--指事物和其屬性之間的關(guān)系,如具有某種屬性,有某種能力等。--HaveCan101時(shí)間關(guān)系:指不同事件在其發(fā)生時(shí)間方面的先后次序關(guān)系。--BeforeAfter102位置關(guān)系:指不同事物在物理位置方面的關(guān)系。103相近關(guān)系:指不同事物在形狀和內(nèi)容等方面的相似和相近
Similar-toNear-to104推論關(guān)系:指從一個(gè)概念推出另一個(gè)概念的語(yǔ)義關(guān)系在實(shí)際的應(yīng)用中可以選擇以上通用的語(yǔ)義關(guān)系,也可以根據(jù)具體實(shí)體關(guān)系來(lái)自己定義語(yǔ)義關(guān)系1052.6.2語(yǔ)義網(wǎng)絡(luò)的知識(shí)表示方法一元關(guān)系的語(yǔ)義網(wǎng)絡(luò)表示--是指用一元謂詞P(x)表示的關(guān)系二元關(guān)系的語(yǔ)義網(wǎng)絡(luò)表示--是指用二元謂詞P(x,y)表示的關(guān)系多元關(guān)系的語(yǔ)義網(wǎng)絡(luò)表示是指用多元關(guān)系P(x1,x2,….)表示的關(guān)系邏輯關(guān)系的表示--連接詞與量詞的表示方法106一元關(guān)系的語(yǔ)義網(wǎng)絡(luò)表示一元關(guān)系:實(shí)體的性質(zhì)、屬性等STUDENT(LiMing)FLY(Bird)SHINE(sun)表示方法:用結(jié)點(diǎn)1表示實(shí)體,結(jié)點(diǎn)2表示實(shí)體的屬性或性質(zhì)等,用弧表示結(jié)點(diǎn)1和結(jié)點(diǎn)2之間的關(guān)系107二元關(guān)系的語(yǔ)義網(wǎng)絡(luò)二元關(guān)系例:所有的燕子都是鳥(niǎo)例:小燕是一只燕子,燕子是鳥(niǎo),巢-1是小燕的巢,巢-1是巢中的一個(gè)108多元關(guān)系表示方法:通過(guò)增加關(guān)系結(jié)點(diǎn)、動(dòng)作結(jié)點(diǎn)、事件結(jié)點(diǎn)或情況結(jié)點(diǎn)等方法把多元關(guān)系轉(zhuǎn)化為多個(gè)二元關(guān)系。例:長(zhǎng)河給江濤一張磁盤(pán)
GIVE(長(zhǎng)河,江濤,一張磁盤(pán))--長(zhǎng)河,江濤,一張磁盤(pán)之間找不到一個(gè)可以把三者都聯(lián)系起來(lái)的關(guān)系或?qū)嶓w109考慮增加結(jié)點(diǎn)使得各實(shí)體與此結(jié)點(diǎn)都能建立聯(lián)系,形成網(wǎng)絡(luò):動(dòng)作結(jié)點(diǎn)(給)或事件結(jié)點(diǎn)(給予事件)帶動(dòng)作結(jié)點(diǎn)的語(yǔ)義網(wǎng)絡(luò)的表示方法110多元關(guān)系(3)用語(yǔ)義網(wǎng)絡(luò)表示比較復(fù)雜的知識(shí)簡(jiǎn)單—有聯(lián)系—組織111112帶事件結(jié)點(diǎn)的語(yǔ)義網(wǎng)絡(luò)113(2)用語(yǔ)義網(wǎng)絡(luò)表示事實(shí)間的關(guān)系分類(lèi)關(guān)系114聚集關(guān)系—下層概念是其上層概念的一個(gè)方面或者是一個(gè)部分115多元關(guān)系的語(yǔ)義網(wǎng)絡(luò)表示小燕子這只燕子從春天到秋天占一個(gè)巢OCCUPATION(小燕子,燕子,春天,秋天,巢)116邏輯關(guān)系表示合取與析取的表示-是知識(shí)的常用邏輯關(guān)系-方法:添加合取結(jié)點(diǎn)和析取結(jié)點(diǎn)存在量詞和全稱(chēng)量詞表示-謂詞邏輯中的存在量詞通過(guò)添加一個(gè)實(shí)體結(jié)點(diǎn),并用“is-a”,“a-kind-of”等語(yǔ)義關(guān)系與其它實(shí)體結(jié)點(diǎn)相聯(lián)接。117邏輯關(guān)系表示合取、析取關(guān)系的語(yǔ)義網(wǎng)絡(luò)1182.6.3存在量詞和全稱(chēng)量詞的表示全稱(chēng)量詞:要用網(wǎng)絡(luò)分區(qū)技術(shù)來(lái)實(shí)現(xiàn)?;舅枷胧前岩粋€(gè)表示復(fù)雜知識(shí)的命題劃為若干個(gè)子命題,每個(gè)子命題用一個(gè)較簡(jiǎn)單的語(yǔ)義網(wǎng)絡(luò)表示,稱(chēng)為子空間,多個(gè)子空間構(gòu)成一個(gè)大空間??臻g可以逐層嵌套,子空間之間用弧互相連接。1192.6.3存在量詞和全稱(chēng)量詞的表示例:每個(gè)學(xué)生都背誦了一首唐詩(shī)
s是全稱(chēng)變量,表示任一個(gè)學(xué)生
r是存在量詞,表示某一次背誦
p是存在量詞,表示某一首唐詩(shī)
s,r,p及其語(yǔ)義網(wǎng)絡(luò)構(gòu)成了一個(gè)子網(wǎng)
g是子空間的代表
F指出它代表的子空間的具體形式1202.6.3存在量詞和全稱(chēng)量詞的表示指出s是個(gè)全稱(chēng)變量GS代表整個(gè)空間1212.6.4語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程語(yǔ)義網(wǎng)絡(luò)表示的系統(tǒng)--知識(shí)庫(kù):語(yǔ)義網(wǎng)絡(luò)表示知識(shí)--推理機(jī)構(gòu)語(yǔ)義網(wǎng)絡(luò)的推理--繼承:是指把對(duì)事物的描述從概念結(jié)點(diǎn)或類(lèi)結(jié)點(diǎn)傳遞到實(shí)例結(jié)點(diǎn)。--匹配:就是在知識(shí)庫(kù)的語(yǔ)義網(wǎng)絡(luò)中尋找與待求解問(wèn)題相符的語(yǔ)義網(wǎng)絡(luò)模式。1222.6.4語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程繼承例:已知事實(shí):李華的汽車(chē)是紅色的。通過(guò)結(jié)點(diǎn)關(guān)系可知,李華的汽車(chē)?yán)^承了所有汽車(chē)具有的屬性。1232.6.4語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程繼承的過(guò)程:(1)建立一個(gè)結(jié)點(diǎn)表F,將待求解結(jié)點(diǎn)放入F。建立一個(gè)集合S,存放待求結(jié)點(diǎn)的屬性。(2)從F表頭放入取出一個(gè)結(jié)點(diǎn),將與此結(jié)點(diǎn)以繼承弧相連的所有結(jié)點(diǎn)放入F表尾,同時(shí)將它們的所有屬性放入集合S。刪除F表的第一個(gè)結(jié)點(diǎn)。(3)重復(fù)2知道F為空。則S是待求解結(jié)點(diǎn)繼承來(lái)的所有屬性。124匹配--對(duì)于針對(duì)語(yǔ)義網(wǎng)中的某個(gè)或某些概念提出的問(wèn)題,通過(guò)語(yǔ)義網(wǎng)絡(luò)的匹配來(lái)回答--何時(shí),何地,做什么,誰(shuí)做,x是什么,什么是x,x的原因,x的目的,求證等。125匹配例:海浪把戰(zhàn)艦輕輕的搖海浪在輕輕的搖什么?怎么搖動(dòng)?搖動(dòng)是什么意思?126匹配過(guò)程(1)將待求解問(wèn)題用語(yǔ)義網(wǎng)絡(luò)表達(dá)出來(lái),用未知結(jié)點(diǎn)表示待求答案。(2)在知識(shí)庫(kù)中求解與問(wèn)題語(yǔ)義網(wǎng)絡(luò)相匹配的網(wǎng)絡(luò)片段。(3)當(dāng)找到與問(wèn)題語(yǔ)義網(wǎng)絡(luò)相匹配的網(wǎng)絡(luò)片段時(shí),網(wǎng)絡(luò)片段中與未知結(jié)點(diǎn)對(duì)應(yīng)的結(jié)點(diǎn)就是所求解的問(wèn)題。127匹配海浪在輕輕的搖什么?問(wèn)題語(yǔ)義網(wǎng)絡(luò)表示:128匹配的語(yǔ)義網(wǎng)絡(luò)片段129方法初始問(wèn)題算符目標(biāo)結(jié)果
狀態(tài)空間法
歸約法謂詞邏輯法
語(yǔ)義網(wǎng)絡(luò)法狀態(tài)結(jié)點(diǎn)合式公式結(jié)點(diǎn)算符弧子句集(setofclause)置換合一消解反演鏈目標(biāo)狀態(tài)結(jié)點(diǎn)根結(jié)點(diǎn)目標(biāo)網(wǎng)絡(luò)解答路徑(path)解答樹(shù)(tree)nil語(yǔ)義網(wǎng)絡(luò)知識(shí)表示方法間的關(guān)系1302.7框架表示法2.7.1框架理論--人們對(duì)現(xiàn)實(shí)世界各種事物的認(rèn)識(shí)都是以一種類(lèi)似于框架的結(jié)構(gòu)存儲(chǔ)在記憶中。--當(dāng)遇到新事物時(shí),就從記憶中找到一個(gè)合適的框架,并根據(jù)新的情況對(duì)其加以修改、補(bǔ)充,從而形成對(duì)這個(gè)新事物的認(rèn)識(shí),稱(chēng)為實(shí)例框架。1312.7.1框架表示法--框架是知識(shí)的基本單位,一組相關(guān)框架連接起來(lái)就形成了一個(gè)框架系統(tǒng)??蚣苁潜硎灸撤N對(duì)象屬性的數(shù)據(jù)結(jié)構(gòu)1322.7.2框架和實(shí)例框架框架的基本結(jié)構(gòu)1332.7.2框架和實(shí)例框架框架名:<教師>姓名:?jiǎn)挝唬ㄐ?,名)年齡:?jiǎn)挝唬q)性別:范圍(男,女)職稱(chēng):范圍(教授,副教授,講師,助教)部門(mén):?jiǎn)挝唬ㄏ?,教研室)住址?lt;住址-1>工資:<工資-1>開(kāi)始工作時(shí)間:?jiǎn)挝唬?,月)截止時(shí)間:?jiǎn)挝唬辏拢┤笔。含F(xiàn)在1342.7.2框架和實(shí)例框架框架名:<教師-1>姓名:陳華年齡:36性別:女職稱(chēng):副教授部門(mén):計(jì)算機(jī)系教研室住址:<住址框架>工資:<工資框架>開(kāi)始時(shí)間:2001.3截止時(shí)間:2009.61352.7.2框架及實(shí)例框架1362.7.2框架及實(shí)例框架實(shí)例框架:把具體信息填入其槽及側(cè)面1372.7.3框架系統(tǒng)框架系統(tǒng):多個(gè)相互聯(lián)系的框架組織起來(lái)就形成了框架系統(tǒng)?;窘Y(jié)構(gòu):橫向和縱向聯(lián)系--橫向聯(lián)系:一個(gè)框架的槽值或側(cè)面值是另外一個(gè)框架的名字,即對(duì)另一個(gè)框架的調(diào)用。--縱向聯(lián)系:具有繼承關(guān)系的框架之間構(gòu)成的縱向聯(lián)系。138框架網(wǎng)絡(luò):用框架名作為槽值,建立框架間的橫向聯(lián)系;用繼承槽建立框架間的縱向聯(lián)系,像這樣具有橫向和縱向聯(lián)系的一組框架成為框架網(wǎng)絡(luò)。師生員工框架教職工框架學(xué)生框架教師框架工人框架電子系學(xué)生框架機(jī)械系學(xué)生框架教師1教師2學(xué)生1學(xué)生21392.7.3框架系統(tǒng)框架名:<師生員工>姓名:?jiǎn)挝唬ㄐ?,名)年齡:?jiǎn)挝唬q)性別:范圍(男,女)缺?。耗薪】禒顩r:范圍(健康,一般,差)缺?。阂话阕≈罚?lt;住址框架>1402.7.3框架系統(tǒng)框架名:<教職工>繼承:師生員工工作類(lèi)型:范圍(教師、干部、工人)缺?。航處熼_(kāi)始工作時(shí)間:?jiǎn)挝唬?,月)截止工作時(shí)間:?jiǎn)挝唬?,月)缺?。含F(xiàn)在離退休狀況:范圍(離休,退休)缺?。和诵?412.7.3框架系統(tǒng)框架名<教師>繼承:教職工部門(mén):?jiǎn)挝唬ㄏ担萄惺遥┱Z(yǔ)種:范圍(英語(yǔ),法語(yǔ),日語(yǔ),德語(yǔ))缺?。河⒄Z(yǔ)外語(yǔ)水平:范圍(優(yōu)、良、中、差)缺?。毫悸毞Q(chēng):范圍(教授,副教授,講師,助教)缺?。褐v師1422.7.3框架系統(tǒng)1432.7.3框架系統(tǒng)1442.7.4框架中槽的設(shè)置與組織框架中槽的設(shè)置與組織(1)、充分表達(dá)事物有關(guān)方面的屬性系統(tǒng)設(shè)計(jì)目標(biāo)所要求的屬性,問(wèn)題求解可能用到的屬性僅對(duì)有關(guān)屬性設(shè)立槽,不可面面俱到(2)、充分表達(dá)相關(guān)事物間的各種關(guān)系在框架系統(tǒng)中,事物之間的聯(lián)系是通過(guò)在槽中填相應(yīng)的框架名來(lái)實(shí)現(xiàn)的,至于他們之間的關(guān)系,由槽名指定,常定義一些標(biāo)準(zhǔn)槽名,直接引用不說(shuō)明。1452.7.4框架中槽的設(shè)置與組織框架表示法中的標(biāo)準(zhǔn)槽名ISA槽AKO槽Subclass槽Instance槽Part-of槽Infer槽Possible-reason槽Similar槽Rotation槽1462.7.4框架中槽的設(shè)置與組織ISA槽:用于指出事物間抽象概念上類(lèi)屬關(guān)系(是一個(gè),是一種,是一只)。當(dāng)他作為下層框架的槽時(shí),表示該下層框架所描述的事物是其上層框架的一個(gè)特列,上層框架是下層框架的更一般或更抽象的概念例:“運(yùn)動(dòng)員”框架----“棋手”框架AKO槽:具體指出事物間類(lèi)屬關(guān)系Subclass槽:指出子類(lèi)與類(lèi)之間的類(lèi)屬關(guān)系Instance槽:用來(lái)建立AKO槽的逆關(guān)系,建立上層與下層之間的繼承性1472.7.4框架中槽的設(shè)置與組織Part-of槽:指出部分—全體的關(guān)系,不具有共性和繼承性,例如汽車(chē)和輪胎Infer槽:用來(lái)指出兩個(gè)框架描述事物的邏輯推論關(guān)系,用它可以表示相應(yīng)的產(chǎn)生式規(guī)則1482.7.4框架中槽的設(shè)置與組織框架名:<診斷規(guī)則>框架名:<結(jié)論>癥狀1:咳嗽病名:感冒癥狀2:發(fā)燒治療方法:服用感冒清癥狀3:流涕注意事項(xiàng):多喝開(kāi)水infer:<結(jié)論>預(yù)后:良好
可信度:0.81492.7.4框架中槽的設(shè)置與組織Possible-reason槽:與infer槽作用相反,它用來(lái)把某個(gè)結(jié)論與原因聯(lián)系起來(lái)例感冒感染流感病毒(3)對(duì)槽和側(cè)面進(jìn)行合理的組織盡量把不同框架描述的相同屬性抽取出來(lái)構(gòu)成上層框架,而在下層框架中只描述相應(yīng)事物
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 沖壓安全管理制度規(guī)定
- 2024年福建客運(yùn)資格證模擬考試題庫(kù)下載電子版
- 2024年陜西旅客運(yùn)輸從業(yè)資格證考試題庫(kù)
- 吉首大學(xué)《化工環(huán)境保護(hù)概論》2021-2022學(xué)年第一學(xué)期期末試卷
- 《機(jī)床夾具設(shè)計(jì)》試卷1
- 吉林藝術(shù)學(xué)院《流行音樂(lè)演唱錄音實(shí)踐Ⅲ》2021-2022學(xué)年第一學(xué)期期末試卷
- 2024年供應(yīng)協(xié)議書(shū)模板合同模板下載
- 吉林師范大學(xué)《篆書(shū)理論與技法I》2021-2022學(xué)年第一學(xué)期期末試卷
- 2024年大學(xué)助研聘用合同范本
- 2024年大水面出租轉(zhuǎn)讓合同范本
- 諾貝爾獎(jiǎng)獲得者的教育背景統(tǒng)計(jì)分析及對(duì)我國(guó)研究生教育的啟示
- 護(hù)理安全隱患及防范會(huì)議
- 小學(xué)生楷體字帖臨摹練習(xí)
- 天健軍衛(wèi)醫(yī)院信息系統(tǒng)住院部分ppt課件
- 學(xué)習(xí)王紅旭舍己救人光榮事跡心得體會(huì)(精選多篇)
- 廣西壯族自治區(qū)普通高級(jí)中學(xué)學(xué)籍管理規(guī)定.doc
- 產(chǎn)科常見(jiàn)的疾病護(hù)理診斷及要求措施
- 變形觀測(cè)記錄表.doc
- 《與朱元思書(shū)》《與顧章書(shū)》閱讀練習(xí)及答案
- 民辦中小學(xué)校教育收費(fèi)定價(jià)成本監(jiān)審表
- 山地項(xiàng)目場(chǎng)地平整設(shè)計(jì)方案說(shuō)明范本
評(píng)論
0/150
提交評(píng)論