




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
智能控制第二章知識表示方法第一頁,共六十六頁,2022年,8月28日數(shù)據(jù)與信息
數(shù)據(jù)——用一組符號及其組合表示的信息數(shù)據(jù)和信息是兩個密切相關(guān)的概念:數(shù)據(jù)是信息的載體和表示;信息是數(shù)據(jù)在特定場合下的具體含義。數(shù)據(jù)和信息又是兩個不同的概念:知識
人們通過體驗、學(xué)習(xí)或聯(lián)想而知曉的對客觀世界規(guī)律性的認(rèn)識。知識及其表示的有關(guān)概念:第二頁,共六十六頁,2022年,8月28日3.知識的特性相對正確性不確定性可表示性和可利用性4.知識的分類從作用范圍來劃分:常識性、領(lǐng)域性從知識的作用及表示來劃分:事實性、過程性、控制性從知識的確定性來劃分:確定性、不確定性從知識的結(jié)構(gòu)及表現(xiàn)形式來劃分:邏輯性、形象性第三頁,共六十六頁,2022年,8月28日知識表示——對知識的一種描述,或者說是一組約定,一種計算機可以接受的用于描述知識的數(shù)據(jù)結(jié)構(gòu)。對知識進行表示的過程就是把知識編碼成某種數(shù)據(jù)結(jié)構(gòu)的過程。在選擇知識的表示方法時,可從以下幾個方面進行考慮:
(1)充分表示領(lǐng)域知識;(2)有利于對知識的利用;(3)便于對知識的組織、維護與管理;(4)便于理解和實現(xiàn)。5.知識的表示第四頁,共六十六頁,2022年,8月28日2.1狀態(tài)空間法(StateSpaceRepresentation)問題求解技術(shù)主要包括兩個方面:問題的表示求解的方法狀態(tài)空間法狀態(tài)(state):表示問題解法中每一步問題狀況的數(shù)據(jù)結(jié)構(gòu)算符(operator):把問題從一種狀態(tài)變換為另一種狀態(tài)的手段狀態(tài)空間方法:基于解答空間的問題表示和求解方法,它是以狀態(tài)和算符為基礎(chǔ)來表示和求解問題的第五頁,共六十六頁,2022年,8月28日
問題狀態(tài)描述定義狀態(tài):描述某類不同事物間的差別而引入的一組最少變量q0,q1,…,qn的有序集合:2.1狀態(tài)空間法算符:使問題從一種狀態(tài)變化為另一種狀態(tài)的手段稱為操作符或算符。問題的狀態(tài)空間:是一個表示該問題全部可能狀態(tài)及其關(guān)系的圖,它包含三種說明的集合,即三元狀態(tài)(S,F(xiàn),G)。第六頁,共六十六頁,2022年,8月28日2.
狀態(tài)空間表示概念詳釋狀態(tài)空間法:從某個初始狀態(tài)開始,每次加一個操作符,遞增地建立起操作符的實驗序列,直至達(dá)到目標(biāo)狀態(tài)止。例如下棋、迷宮及各種游戲。OriginalStateMiddleStateGoalState……2.1狀態(tài)空間法第七頁,共六十六頁,2022年,8月28日例:三數(shù)碼難題
(3puzzleproblem)123123123312312312初始棋局目標(biāo)棋局2.1狀態(tài)空間法第八頁,共六十六頁,2022年,8月28日有向圖一對節(jié)點用弧線連接起來,從一個節(jié)點指向另一個節(jié)點,這種圖叫做有向圖。路徑某個節(jié)點序列(ni1,ni2,…,nik)當(dāng)j=2,3,…,k時,如果對于每一個ni,j-1都有一個后繼節(jié)點ni,j存在,那么就把這個節(jié)點序列叫做從節(jié)點ni1至節(jié)點nik的長度為k的路徑。代價用C(ni,nj)來表示從節(jié)點ni指向節(jié)點nj的那段弧線的代價(cost)。兩點間路徑的代價等于連接該路徑上各節(jié)點的所有弧線代價之和。2.1.2狀態(tài)圖示法AB2.1狀態(tài)空間法第九頁,共六十六頁,2022年,8月28日圖的隱式說明
節(jié)點的無限集合{si}作為起始節(jié)點是已知的。后繼節(jié)點算符Γ也是已知的,它能作用于任一節(jié)點以產(chǎn)生該節(jié)點的全部后繼節(jié)點和各連接弧線的代價。圖的顯式說明對于顯式說明,各節(jié)點及其具有代價的弧線由一張表明確給出。此表可能列出該圖中的每一節(jié)點、它的后繼節(jié)點以及連接弧線的代價。第十頁,共六十六頁,2022年,8月28日2.1.3狀態(tài)空間表示舉例產(chǎn)生式系統(tǒng)(productionsystem)一個總數(shù)據(jù)庫(GlobalDatabase):它含有與具體任務(wù)有關(guān)的信息。隨著應(yīng)用情況的不同,這些數(shù)據(jù)庫可能簡單,或許復(fù)雜。一套規(guī)則:它對數(shù)據(jù)庫進行操作運算。每條規(guī)則由左右兩部分組成,左部鑒別規(guī)則的適用性或先決條件,右部描述規(guī)則應(yīng)用時所完成的動作。一個控制策略:它確定應(yīng)該采用哪一條適用規(guī)則,而且當(dāng)數(shù)據(jù)庫的終止條件滿足時,就停止計算。2.1狀態(tài)空間法第十一頁,共六十六頁,2022年,8月28日
狀態(tài)空間表示舉例例:猴子和香蕉問題2.1狀態(tài)空間法第十二頁,共六十六頁,2022年,8月28日解題過程:用一個四元表列(W,x,Y,z)來表示這個問題狀態(tài).W猴子的水平位置x當(dāng)猴子在箱子頂上時取x=1;否則取x=0Y箱子的水平位置z 當(dāng)猴子摘到香蕉時取z=1;否則取z=0這個問題的操作(算符)如下:goto(U)表示猴子走到水平位置U,或者用產(chǎn)生式規(guī)則表示為: (W,0,Y,z)goto(U)
(U,0,Y,z)2.1狀態(tài)空間法第十三頁,共六十六頁,2022年,8月28日pushbox(V)猴子把箱子推到水平位置V,即有
(W,0,W,z)pushbox(V)
(V,0,V,z)
climbbox猴子爬上箱頂,即有
(W,0,W,z)climbbox
(W,1,W,z)
2.1狀態(tài)空間法應(yīng)當(dāng)注意的是,要應(yīng)用算符pushbox(V),就要求產(chǎn)生式規(guī)則的左邊,猴子與箱子必須在同一位置上,并且,猴子不是箱子頂上。這種強加于操作的適用性條件,叫做產(chǎn)生式規(guī)則的先決條件。應(yīng)用算符climbbox的先決條件是什么?第十四頁,共六十六頁,2022年,8月28日grasp猴子摘到香蕉,即有
(c,1,c,0)
grasp
(c,1,c,1)
令初始狀態(tài)為(a,0,b,0)。這時,goto(U)是唯一適用的操作,并導(dǎo)致下一狀態(tài)(U,0,b,0)?,F(xiàn)在有3個適用的操作,即goto(U),pushbox(V)和climbbox(若U=b)。把所有適用的操作繼續(xù)應(yīng)用于每個狀態(tài),我們就能夠得到狀態(tài)空間圖,如下圖所示。從圖不難看出,把該初始狀態(tài)變換為目標(biāo)狀態(tài)的操作序列為:
{goto(b),pushbox(c),climbbox,grasp}2.1狀態(tài)空間法第十五頁,共六十六頁,2022年,8月28日(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)猴子與香蕉問題的狀態(tài)空間圖goto(U)U=V初始狀態(tài)graspV=c,climbbox2.1狀態(tài)空間法第十六頁,共六十六頁,2022年,8月28日猴子和香蕉問題自動演示:
猴子香蕉箱子
猴子香蕉箱子
Ha!Ha!2.1狀態(tài)空間法第十七頁,共六十六頁,2022年,8月28日2.2問題歸約法
(ProblemReductionRepresentation)
問題歸約法思想
先把問題分解為子問題及子-子問題,然后解決較小的問題。對該問題的某個具體子集的解答就意味著對原始問題的一個解答子問題1子問題n原始問題子問題集本原問題第十八頁,共六十六頁,2022年,8月28日
問題歸約表示的組成部分:一個初始問題描述;一套把初始問題變換為子問題的操作符;一套本原問題描述。問題歸約的實質(zhì):從目標(biāo)(要解決的問題)出發(fā)逆向推理,建立子問題以及子問題的子問題,直至最后把初始問題歸約為一個平凡的本原問題集合。2.2問題歸約法第十九頁,共六十六頁,2022年,8月28日2.2.1問題歸約描述
(ProblemReductionDescription)梵塔難題(TowerofHanoiPuzzle)123…64disks
Movingtimes:64disks264-1≈264=1019.27
Ifonepersonmove1diskinonesecond,thentofinishthisproblemneedsmorethan3000billionyears.(30000多億年)2.2問題歸約法第二十頁,共六十六頁,2022年,8月28日123CBA初始配置123CBA目標(biāo)配置3-圓盤梵塔難題:2.2問題歸約法第二十一頁,共六十六頁,2022年,8月28日解題過程:把原始梵塔難題歸約(簡化)為下列3個子難題:移動圓盤A和B至柱子2的雙圓盤難題;移動圓盤C至柱子3的單圓盤難題;移動圓盤A和B至柱子3的雙圓盤難題。123ABC123ABC(322)(333)(122)123ABC123ABC(322)123ABC123ABC(111)(122)第二十二頁,共六十六頁,2022年,8月28日解題過程(3圓盤難題)1231231231231231231231232.2問題歸約法第二十三頁,共六十六頁,2022年,8月28日梵塔難題歸約圖(與或圖)(113)(123)
(111)(113)
(123)(122)
(111)(333)
(122)(322)
(111)(122)
(322)(333)
(321)(331)
(322)(321)
(331)(333)
Fig2.8AND/ORgraphforthe3-diskTHP(b)(a)(c)2.2問題歸約法第二十四頁,共六十六頁,2022年,8月28日多圓盤梵塔難題演示2.2問題歸約法第二十五頁,共六十六頁,2022年,8月28日2.2.2與或圖表示1.與圖、或圖、與或圖一般,用一個似圖結(jié)構(gòu)來表示把問題歸約為后繼問題的替換集合,這一似圖結(jié)構(gòu)叫做問題歸約圖,或叫與或圖。如下所示ABCD與圖ABC或圖2.2問題歸約法第二十六頁,共六十六頁,2022年,8月28日BCDEFHAHMBCDEFGAN與或圖2.2問題歸約法第二十七頁,共六十六頁,2022年,8月28日2.一些關(guān)于與或圖的術(shù)語HMBCDEFGAN父節(jié)點與節(jié)點弧線或節(jié)點子節(jié)點終葉節(jié)點2.2問題歸約法第二十八頁,共六十六頁,2022年,8月28日一些關(guān)于與或圖的術(shù)語父節(jié)點、子(后繼)節(jié)點、弧線起始節(jié)點:對應(yīng)于原始問題描述的節(jié)點終葉節(jié)點:對應(yīng)于本原問題的節(jié)點或節(jié)點:只要解決某個問題就可解決其父輩問題的節(jié)點集合,如(M,N,H)。與節(jié)點:只有解決所有子問題,才能解決其父輩問題的節(jié)點集合,如(B,C)和(D,E,F(xiàn))。各個節(jié)點之間用一段小圓弧連接標(biāo)記。與或圖:由與節(jié)點及或節(jié)點組成的結(jié)構(gòu)圖。2.2問題歸約法第二十九頁,共六十六頁,2022年,8月28日3.定義
可解節(jié)點的一般定義終葉節(jié)點是可解節(jié)點(因為它們與本原問題相關(guān)聯(lián))。如果某個非終葉節(jié)點含有或后繼節(jié)點,那么只要有一個后繼節(jié)點是可解的時,此非終葉節(jié)點就是可解的。如果某個非終葉節(jié)點含有與后繼節(jié)點,那么只有其全部后繼節(jié)點為可解時,此非終葉節(jié)點才是可解的。2.2問題歸約法第三十頁,共六十六頁,2022年,8月28日沒有后裔的非終葉節(jié)點為不可解節(jié)點。如果某個非終葉節(jié)點含有或后繼節(jié)點,那么只有當(dāng)其全部后裔為不可解時,此非終葉節(jié)點才是不可解的。如果某個非終葉節(jié)點含有與后繼節(jié)點,那么只要當(dāng)其后裔有一個為不可解時,此非終葉節(jié)點就是不可解的。不可解節(jié)點的一般定義2.2問題歸約法第三十一頁,共六十六頁,2022年,8月28日如圖所示與或圖例子ttttttttt(a)(b)有解節(jié)點無解節(jié)點終葉節(jié)點2.2問題歸約法第三十二頁,共六十六頁,2022年,8月28日與或圖構(gòu)成規(guī)則(1)與或圖中的每個節(jié)點代表一個要解決的單一問題或問題集合。起始節(jié)點對應(yīng)于原始問題。(2)對應(yīng)于本原問題的節(jié)點,叫做終葉節(jié)點。(3)對于把算符應(yīng)用于問題A的每種可能情況,都把問題變換為一個子問題集合;有向弧線自A指向后繼節(jié)點,表示所求得的子問題集合,這些子問題節(jié)點叫做或節(jié)點。(4)一般對于代表兩個或兩個以上子問題集合的每個節(jié)點,有向弧線從此節(jié)點指向此子問題集合中的各個節(jié)點,這些子問題節(jié)點叫做與節(jié)點。2.2問題歸約法第三十三頁,共六十六頁,2022年,8月28日2.3謂詞邏輯法邏輯語句:一種形式語言,它能夠把邏輯論證符號化,并用于證明定理,求解問題。形式語言:嚴(yán)格地按照相關(guān)領(lǐng)域的特定規(guī)則,以數(shù)學(xué)符號(符號串)形式描述該領(lǐng)域有關(guān)客體的表達(dá)式。2.3.1謂詞演算
1.語法和語義基本符號:謂詞符號、變量符號、函數(shù)符號、常量符號、括號和逗號MARRIED(father(LI),mother(LI))謂詞符號函數(shù)符號常量符號第三十四頁,共六十六頁,2022年,8月28日原子公式:由若干謂詞符號和項組成的謂詞演算。原子公式是謂詞演算的基本積木塊。如:INROOM(ROBOT,r1)
(機器人在1號房間內(nèi))2.3謂詞邏輯法第三十五頁,共六十六頁,2022年,8月28日2.連詞和量詞(Connective&Quantifiers)
連詞(∧,∨,=>,~)
與及合?。╟onjunction):用連詞∧把幾個公式連接起來而構(gòu)成的公式。合取項是合取式的每個組成部分。例:LIKE(I,MUSIC)LIKE(I,PAINTING)
(我喜愛音樂和繪畫。)∧LIVES(L1,HOUSE-1)COLOR(HOUSE-1,YELLOW)
(李住在一幢黃色的房子。)∧2.3謂詞邏輯法第三十六頁,共六十六頁,2022年,8月28日例:
PLAYS(LILI,BASKETBALL)∨PLAYS(LILI,F(xiàn)OOTBALL)
(李力打籃球或踢足球。)或及析?。╠isjunction):用連詞∨把幾個公式連接起來而構(gòu)成的公式。析取項是析取式的每個組成部分2.3謂詞邏輯法第三十七頁,共六十六頁,2022年,8月28日蘊涵(Implication):“=>”表示“如果—那么”(IF—THEN)關(guān)系,其所構(gòu)成的公式叫做蘊涵。蘊涵的左式叫做前件,后式叫做后件。例:RUNS(LIUHUA,FASTEST)=>WINS(LIUHUA,CHAMPION)非(Not):表示否定,~、—均可表示,用來否定一個公式的真值。例:~I(xiàn)NROOM(ROBOT,r2)2.3謂詞邏輯法第三十八頁,共六十六頁,2022年,8月28日以上講的是命題演算(謂詞演算的一個子集),但它缺乏用有效的方法來表達(dá)多個命題的能力,如:“所有機器人都是灰色的”可以表示為:(x)[ROBOT(x)=>COLOR(x,GRAY)]
但命題演算就無法表示,所以需要使公式中的命題帶有變量。2.3謂詞邏輯法第三十九頁,共六十六頁,2022年,8月28日量詞全稱量詞(UniversalQuantifier):若一個原子公式P(x),對于所有可能變量x都具有T值,則用(
x)P(x)表示約束變元全稱量詞作用域存在量詞(ExistentialQuantifier)
若一個原子公式P(x),至少有一個變元x,可使P(x)為T值,則用(x)P(x)表示。全稱量詞約束變元存在量詞作用域存在量詞例:(x)INROOM(x,r1)(1號房間內(nèi)有個物體)2.3謂詞邏輯法第四十頁,共六十六頁,2022年,8月28日2.3.2謂詞公式原子公式的的定義用P(x1,x2,…,xn)表示一個n元謂詞公式,其中P為n元謂詞,x1,x2,…,xn為客體變量或變元。通常把P(x1,x2,…,xn)叫做謂詞演算的原子公式,或原子謂詞公式。分子謂詞公式可以用連詞把原子謂詞公式組成復(fù)合謂詞公式,并把它叫做分子謂詞公式。2.3謂詞邏輯法第四十一頁,共六十六頁,2022年,8月28日合適公式(WFF,well-formedformulas)在謂詞演算中,合適公式的遞歸定義如下:(1)原子謂詞公式是合適公式。(4)若A是合適公式,x為A中的自由變元,則(x)A和(x)A都是合適公式。(2)若A為合適公式,則~A也是一個合適公式。
(3)若A和B都是合適公式,則(A∧B),(A∨B),(A=>B)和(AB)也都是合適公式。(5)只有按上述規(guī)則(1)至(4)求得的那些公式,才是合適公式。2.3謂詞邏輯法第四十二頁,共六十六頁,2022年,8月28日合適公式的性質(zhì)合適公式的真值T F T F FF表2-1真值表PQP∨QP∧QPQ~PT T T T TFF T T F TTF F F F TT等價(Equivalence)
如果兩個合適公式,無論如何解釋,其真值表都是相同的,那么我們就稱此兩合適公式是等價的。2.3謂詞邏輯法第四十三頁,共六十六頁,2022年,8月28日(1)否定之否定~(~P)等價于P(2)P∨Q等價于~P=>Q(3)狄·摩根定律~(P∨Q)等價于~P∧~Q~(P∧Q)等價于~P∨~Q(4)分配律P∧(Q∨R)等價于(P∧Q)∨(P∧R)P∨(Q∧R)等價于(P∨Q)∧(P∨R)(5)交換律P∧Q等價于Q∧PP∨Q等價于Q∨P(6)結(jié)合律(P∧Q)∧R等價于P∧(Q∧R)(P∨Q)∨R等價于P∨(Q∨R)(7)逆否律P=>Q等價于~Q=>~P2.3謂詞邏輯法第四十四頁,共六十六頁,2022年,8月28日(8)~(?x)P(x)等價于(x)[~P(x)]~(?x)P(x)等價于(?x)[~P(x)](9)(?x)[P(x)∧Q(x)]等價于(?x)P(x)∧(?x)Q(x)(?x)[P(x)∨Q(x)]等價于(?x)P(x)∨(?x)Q(x)(10)(?x)P(x)等價于(?y)P(y)(?x)P(x)等價于(?y)P(y)2.3謂詞邏輯法第四十五頁,共六十六頁,2022年,8月28日2.3.3置換與合一置換概念假元推理W1產(chǎn)生W2(x)[W1(x)W2(x)]產(chǎn)生W2(A)W(x)任意變量約束變元全稱化推理綜合推理W1W2(x)W(A)W1(A)2.3謂詞邏輯法第四十六頁,共六十六頁,2022年,8月28日置換的定義:就是在表達(dá)式中用置換項置換變量。如果用E表示表達(dá)式,s為一置換,則置換后的表達(dá)式記為Es。性質(zhì)可結(jié)合律(Ls1)s2=L(s1s2)(s1s2)s3=s1(s2s3)不可交換律
s1s2≠s2s12.3謂詞邏輯法第四十七頁,共六十六頁,2022年,8月28日例如:
表達(dá)式P[x,f(y),B]的4個置換為s2={A/y}則P[x,f(y),B]s2=P[x,f(A),B]
s1={z/x,w/y}則P[x,f(y),B]s1=P[z,f(w),B]
s3=(q(z)/x,A/y)則P[x,f(y),B]s3=P[q(z),f(A),B]
s4=(c/x,A/y)則P[x,f(y),B]s3=P[c,f(A),B]
2.3謂詞邏輯法第四十八頁,共六十六頁,2022年,8月28日合一(Unification)合一:尋找項對變量的置換,以使兩表達(dá)式一致??珊弦唬喝绻粋€置換s作用于表達(dá)式集{Ei}的每個元素,則我們用{Ei}s來表示置換例的集。并稱表達(dá)式集{Ei}是可合一的,如果存在一個置換s使得:
E1s=E2s=E3s=…s稱為{Ei}的合一者。2.3謂詞邏輯法第四十九頁,共六十六頁,2022年,8月28日單一形式所以s={A/x,B/y}是{P[x,f(y),B],P[x,f(B),B]}的合一者而s={B/y}是{P[x,f(y),B],P[x,f(B),B]}最簡單的合一者令置換
s={A/x,B/y}則
P[x,f(y),B]s=P[A,f(B),B]P[x,f(B),B]s=P[A,f(B),B]例如:對于表達(dá)式集{P[x,f(y),B],P[x,f(B),B]}2.3謂詞邏輯法第五十頁,共六十六頁,2022年,8月28日2.4語義網(wǎng)絡(luò)法(SemanticNetworkRepresentation)語義網(wǎng)絡(luò)的結(jié)構(gòu)定義語義網(wǎng)絡(luò)是知識的一種圖解表示,它由節(jié)點和弧線或鏈線組成。節(jié)點用于表示實體、概念和情況等,弧線用于表示節(jié)點間的關(guān)系。組成部分詞法決定表示詞匯表中允許有哪些符號,它涉及各個節(jié)點和弧線。結(jié)構(gòu)敘述符號排列的約束條件,指定各弧線連接的節(jié)點對。過程說明訪問過程,這些過程能用來建立和修正描述,以及回答相關(guān)問題。語義確定與描述相關(guān)的(聯(lián)想)意義的方法即確定有關(guān)節(jié)點的排列及其占有物和對應(yīng)弧線。第五十一頁,共六十六頁,2022年,8月28日表示簡單事實和占有關(guān)系2.4語義網(wǎng)絡(luò)法2.4.1二元語義網(wǎng)絡(luò)的表示例.所有的燕子(SWALLOW)都是鳥(BIRD)SWALLOWBIRDISA我們希望表示“小燕子(XIAOYAN)是一只燕子”XIAOYANISAWNGSHAS-PART我們希望表示“鳥有翅膀”NEST1NESTISAOWNS我們希望表示“小燕子有一個巢(nest)”第五十二頁,共六十六頁,2022年,8月28日表示簡單事實和占有關(guān)系2.4語義網(wǎng)絡(luò)法2.4.1二元語義網(wǎng)絡(luò)的表示SWALLOWBIRDISAXIAOYANISANEST1NESTISAOWNEE我們希望把“小燕從春天到秋天占有一個巢”的信息加到網(wǎng)絡(luò)中去。OWN-1SPRINGTIMESTARTTIMEISAFALLENDTIMEISAOWNERSHIPISAISASITUATIONOWNER第五十三頁,共六十六頁,2022年,8月28日選擇語義基元問題就是試圖用一組基元來表示知識,以便簡化表示,并可用簡單的知識來表示更復(fù)雜的知識。2.4語義網(wǎng)絡(luò)法2.4.1二元語義網(wǎng)絡(luò)的表示“我的汽車是棕黃色的”表示為:TANCOLORMYCARCARGREENCOLORLIHUA’SCARISAISA“李華的汽車是棕綠色的”表示為:第五十四頁,共六十六頁,2022年,8月28日2.4.2多元語義網(wǎng)絡(luò)的表示LIMINGMANISAISA(LIMING,MAN)或MAN(LIMING)(語義網(wǎng)絡(luò))(謂詞邏輯)2.4語義網(wǎng)絡(luò)法李明是一個人:說明:語義網(wǎng)絡(luò)可以毫無困難地表示二元關(guān)系表示二元關(guān)系第五十五頁,共六十六頁,2022年,8月28日把多元關(guān)系轉(zhuǎn)化為一組二元關(guān)系的組合,或二元關(guān)系的合取。R(X1,X2,…,Xn)R12(X1,X2)∧R13(X1,X3)∧…∧R1n(X1,Xn)......Rn-1n(Xn-1,Xn)可轉(zhuǎn)換為2.4語義網(wǎng)絡(luò)法表示多元語義2.4.2多元語義網(wǎng)絡(luò)的表示第五十六頁,共六十六頁,2022年,8月28日例如,要表達(dá)北京大學(xué)(BEIJINGUniversity,簡稱BU)和清華大學(xué)(TSINGHUAUniversity,簡稱TU)兩?;@球隊在北大進行的一場比賽的比分是85比89。2.4.2多元語義網(wǎng)絡(luò)的表示謂詞邏輯:語義網(wǎng)絡(luò):SCORE(BU,TU,(85-89))G2585-89TUVISTINGTEAMSCOREBUGAMEISAHOMETEAM在語義網(wǎng)絡(luò)中進行上述轉(zhuǎn)換需要引入附加節(jié)點2.4語義網(wǎng)絡(luò)法第五十七頁,共六十六頁,2022年,8月28日2.4.3語義網(wǎng)絡(luò)的推理過程
語義網(wǎng)絡(luò)中的推理過程主要有兩種,一種是繼承,另一種是匹配。
1.繼承
繼承就是把對事物的描述從概念節(jié)點或類節(jié)點傳遞到實例節(jié)點。這種推理過程,類似于人的思維過程。一旦知道了某種事物的身份以后,可以聯(lián)想起很多關(guān)于這件事物的一般描述。例如,通常認(rèn)為鯨魚很大,鳥比較小,城堡很古老,運動員很健壯等。2.4語義網(wǎng)絡(luò)法第五十八頁,共六十六頁,2022年,8月28日有3種繼承過程:值繼承
“如果需要”繼承
“默認(rèn)”繼承2.匹配(1)虛節(jié)點和虛鏈(圖2.19)(2)部件匹配(圖2.20)當(dāng)解決涉及由幾部分組成的事物時,繼承過程將如何進行?2.4語義網(wǎng)絡(luò)法第五十九頁,共六十六頁,2022年,8月28日2.5其他知識表示方法(Others)框架(Frame)表示框架是一種數(shù)據(jù)結(jié)構(gòu),在這個結(jié)構(gòu)中,新的資料可以從過去的經(jīng)驗中得到的概念來分析和解釋。
框架是一種結(jié)構(gòu)化知識表示法,通常采用語義網(wǎng)絡(luò)中的節(jié)點-槽-值表示結(jié)構(gòu)。這組節(jié)點和槽可以描述格式固定的事物、行動和事件。第六十頁,共六十六頁,2022
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 內(nèi)控審計合同范本
- 仁和經(jīng)銷合同范本
- 加盟返利合同范本
- 代購代理合同范本
- 農(nóng)村建房簽合同范本
- 共同合作居間合同范本
- 化學(xué)桶回收合同范本
- it行業(yè)采購合同范本
- 分戶協(xié)議合同范本
- 勞動合同正規(guī)合同范本
- 2024智能燃?xì)獗硗ㄓ眉夹g(shù)要求
- 2024年貴州水投水務(wù)集團有限公司招聘筆試參考題庫含答案解析
- (完整版)ERP流程及操作手冊
- 接上童氣:小學(xué)《道德與法治》統(tǒng)編教材研究
- 武器講解課件
- 通勤車租賃投標(biāo)方案(技術(shù)標(biāo))
- 關(guān)于魯迅簡介
- 余華讀書分享名著導(dǎo)讀《文城》
- 高三二輪專題復(fù)習(xí)化學(xué)課件-分布系數(shù)(分?jǐn)?shù))圖像
- 支委委員辭去職務(wù)申請書
- 【橋梁工程的發(fā)展趨勢與思考5300字】
評論
0/150
提交評論