第2章知識(shí)表示方法正式版

此，知識(shí)的表示成為人工智能中一個(gè)十分重要的2 233 從知識(shí)庫(kù)的觀點(diǎn)看，知識(shí)是某論域中所涉及的5 5知識(shí)與知識(shí)表示的概規(guī)則：有關(guān)問題中與事物的行動(dòng)、動(dòng)作相聯(lián)系的因果元知識(shí)：有關(guān)知識(shí)的知識(shí)，是知識(shí)庫(kù)中的知識(shí)。包括怎樣使用規(guī)則、解釋規(guī)則、校驗(yàn)規(guī)則、解釋程序 性知識(shí)：泛指普遍存在而且被普遍認(rèn)識(shí)了的客觀6 62.1知識(shí)與知識(shí)表示的概1+1=21+1=2（十進(jìn)制1+1=10(二進(jìn)制7 7

知識(shí)狀態(tài)：“真知“假知“真”與“假”之間的中間狀“如果頭痛且流涕，則有可能“如果頭痛且流涕，則有可能①隨機(jī)性引起的不確定性性知②模糊性引起的不確定性知③經(jīng)驗(yàn)引起的不確定④不完全性引起的不確定8 8知識(shí)的可表示性:知識(shí)可以用適當(dāng)形式表示出來(lái)，知識(shí)的可利用性9 9知識(shí)表示就是研究用機(jī)器表示上述這些知識(shí)的可行性、有效性的一般方法，可以看作是將知 高級(jí)的智能行為似乎強(qiáng)烈地依賴于陳述性知識(shí)，因此–過程性知識(shí)的陳述化式將過程性知識(shí)和陳述性知識(shí)綜合，可以提高智能系統(tǒng) 策略知解決問題的方略，包括在什么時(shí)間、什么地點(diǎn)、由什么主體采取什么行動(dòng)、達(dá)到什么目標(biāo)、注意什么事項(xiàng)等等一整套完整而具體的行動(dòng)計(jì)劃規(guī)劃、行動(dòng)步驟、工作方①有針對(duì)性地獲取問題——環(huán)境的信息，恰當(dāng)?shù)貙?duì)這②在此基礎(chǔ)上，把已有的知識(shí)與主體的目的信息相結(jié)③利用策略信息在給定環(huán)境下解決問題 獲取信息的功能由感覺完成，傳遞信息的功能由官完成，施用信息的功能由效應(yīng)完成。目標(biāo)信息傳遞信 處理信 再生信 傳遞信客 知 智信 策 智客 信 策信 信 自

獲取信

客體信

問題與環(huán)境

智能行

施用信55表示能力，要求能夠正確、有效地將問題求解所②可理解性，所表示的知識(shí)應(yīng)易懂、易讀便于知識(shí)的獲取，使得智能系統(tǒng)能夠漸進(jìn)地增加便于搜索，表示知識(shí)的符號(hào)結(jié)構(gòu)和推理機(jī)制應(yīng)支⑤便于推理，要能夠從己有的知識(shí)中推出需要的

案和結(jié)論

狀態(tài)空間（StateSpace問題求解技術(shù)主要是兩個(gè)方面狀態(tài)空間法：基于解答空間的問題表示和求解方法①狀態(tài)②算符 狀態(tài)空間

狀態(tài)空間③將狀態(tài)空間記為三元狀態(tài)、 狀態(tài)空間狀態(tài)空間表示的概念詮釋

①問題狀態(tài)的描述方式，特別是初始狀態(tài)描述②操作符集合及其對(duì)狀態(tài)描述的作用③目標(biāo)狀態(tài)的描述 狀態(tài)空間（3puzzle 3

3狀態(tài)空間*圖論的基本概念包： 2.2狀態(tài)空間 2.2狀態(tài)空間如果從節(jié)點(diǎn)ni到節(jié)點(diǎn)nj存在有一條路經(jīng)，則稱nj是ni可達(dá)到的節(jié)點(diǎn) 2.2狀態(tài)空間 2.2狀態(tài)空間圖論的基本概條件或算符Γ。*節(jié)點(diǎn)擴(kuò)展：將后繼算符Γ 2.2狀態(tài)空間

12

76767676

12 767623176762.2狀態(tài)空間 2.2態(tài)空間 九宮排序（寬度優(yōu)先搜 1 5 8 2 123847652.2態(tài)空間 2 1 6 自動(dòng)化學(xué)

2.2狀態(tài)空間

A 初始數(shù)據(jù)庫(kù) R3：IF沒有去過DTHEN下一步去DR5：IF都去過了THEN下一步去 2.2態(tài)空間 2.2態(tài)空間 狀態(tài)空間 goto（U）pushbox（V）猴子把箱子推到水平位置V，即（W，0，W，z）pushbox（V）（W，0，W，z） （（c，1，c，0） （c，1，c，1）

2.2態(tài)空間?初始狀態(tài)為

(c,0,c,0)climbbox

2.2態(tài)空間規(guī)則集(

IFA∧BTHEN IFA∧CTHEN IFB∧CTHEN FDE 2.2態(tài)空間C2、D3、G4、F5、 THEN結(jié)束條件

（2）（3）2.2態(tài)空間 野人數(shù)目總是不超過傳教士的數(shù)目。傳教士與野人均可擺渡MM30C30B10M03C03B01

綜合數(shù)據(jù)用(mc,b)表示左表述船從左岸移到人人無(wú)船，b=1有船）右岸的規(guī)則 }規(guī)則

IF(m,c,1)THEN(m-1,c,IF(m,c,1)THEN(m,c-1,IF(m,c,1)THEN(m-1,c-1,IF(m,c,1)THEN(m-2,c,IF(m,c,1)THEN(m,c-2,

IF(m,c,0)THEN(m+1,c,1)IF(m,c,0)THEN(m,c+1,IF(m,c,0)THEN(m+1,c+1,IF(m,c,0)THEN(m+2,c,IF(m,c,0)THEN(m,c+2,

IF(m,c,1)THEN(m-1,c,IF(m,c,0)THEN(m+1,c,IF(m,c,1)THEN(m,c-1,IF(m,c,0)THEN(m,c+1,IF(m,c,1)THEN(m-1,c-1,IF(m,c,0)THENIF(m,c,1)THEN(m-2,c,IF(m,c,0)THEN(m+2,c,IF(m,c,1)THEN(m,c-2,IF(m,c,0)THEN(m,c+2,

士士 (m,c,1)∧(1

于野人數(shù)c-左岸，傳教士數(shù)m+i2)∧{(c-j≤ 3-m+i∨3- (m- -j, (m,c,0)∧(1≤i+j≤2)∧{(c+j≤m+i∨m+i=0)∧(3-c-j≤3-m-i∨3-m-i +j,1)控制策初始條結(jié)束條

右岸傳教士人數(shù)3-m+i要于右岸，傳教士人數(shù)3-m-i要大于野人人數(shù)3-c-j，或無(wú)傳教士船從右岸向左岸運(yùn)送im+ic+j2.3題歸約（ProblemReduction子問題集合；這些子問題的解可以直接得到（即本原問子問題 2.3題歸約III面I的面A

③II面③①

1I面

2

3III面2.3題規(guī)約 問題規(guī)約

2.3題規(guī)約①要把所有的圓盤移到柱子3，首先把圓盤C②只有移開A、B之后，才能移動(dòng)C；且A、B最好不要③然后，把C從柱子1移至柱子3，并繼續(xù)解決難題的

2.3題規(guī)約①移動(dòng)圓盤②移動(dòng)圓盤C至柱子3③移到圓盤 A

①子 題

BA A

2.3題規(guī)約問題歸約描 描述：[(111),(333)]表示把初始配置(1,1,1)變換為目標(biāo)配置(3,3,3)?？捎脿顟B(tài)空間所表示的三元組(S,F,G)來(lái)描述問題。有關(guān)對(duì)于梵塔難題，子問題[(111)→(122122)→(32[(322)→(333)](122)和(322 2.3題規(guī)約

2.3題規(guī)約或者可能是其他具有已知解答 2.3題規(guī)約與圖、或圖、與或 2.3題規(guī)約A A

圖2.22.3題規(guī)約 2.3題規(guī)約 合，如(M,N,H) 間用一 小圓弧線標(biāo)記，

點(diǎn)，它沒有后1

2.3題規(guī)約 2.3題規(guī)約①與或圖中的每個(gè)節(jié)點(diǎn)代表一個(gè)要解決的單一問題或問題④對(duì)于把算符應(yīng)用于問題A的每種可能情況，都把問題變⑤對(duì)于與節(jié)點(diǎn)，需要用圓弧將有向弧線連接起來(lái)。而或節(jié) 2.3題規(guī)約得到原問題的子問題(S,F,Gf)。設(shè)狀態(tài)g∈Gf，則得到另一個(gè)子問題(Gf,F,{f(g)})。其中，f(g)表示把f應(yīng)用于g而得到?jīng)Q，所以子問題(Gf,F,{f(g)})本原的

2.3題規(guī)約 2.3題規(guī)約goto（U）表示猴子走到水平位f1：（W，0，Y，z）goto（U）（U，0，Y，z）pushbox（V）猴子把箱子推到水平位置V，0，W，z）pushbox(V)（V，0，V，z） （f4：（c，1，c，0） （c，1，c，1） 2.3題規(guī)約符問題變?yōu)?({(a,0,b,0)},Gf4)和(S1G)符【第二步】求解問題({(a,0,b,0)，，f2:pushbox(c)【先解決問題①，應(yīng)用f2使問題({(a,0,b,0)},Gf4)變?yōu)閱栴}({(a,0,b,0)},Gf2)和(S11,Gf4)，其中S11是應(yīng)用f2得到的狀態(tài)(c,0,c,0) 2.3題規(guī)約計(jì)算({(a,0,b,0Gf2)問題的差別，此差別為猴子不在b處。則得到關(guān)鍵算符f1：goto(b)，應(yīng)用f1使問題({(a,0,b,0)},Gf2)變?yōu)閱栴}({(a,0,b,0Gf1)和(S111Gf2)。S111是應(yīng)用f1得到的狀態(tài)(b,0,b,0)。)},因?yàn)闋顟B(tài)S111=(b,0,b,0)在規(guī)則f2的域內(nèi)，則問題Gf2)也是本原問題，且問題①目標(biāo)狀態(tài)S11為(c,0,c,0) 2.3題規(guī)約f1(a,0,b,0)f2pushboxf3(a,0,b,0)(a,0,b,0)(a,0,b,0)

(a,0,b,0)(a,0,b,0)(c,1,c,0)(c,1,c,0)(c,0,c,0) (a,0,b,0) (b,0,b,0)(a,0,b,0) 2.3題規(guī)約歸約操作方配,則可以對(duì)該問題節(jié)點(diǎn)進(jìn)行“或”擴(kuò)展。 2.3題規(guī)約BAD和BCDAD=CD 若：X3X1=Y3Y1∠X3X1X2=∠Y3Y1Y2,X1X2X3=則：?X1X2X3。?！蟈1X2X3+∠X2X3X1∠X3X1X2=∠Y3Y1Y2,∠X1X2X3=∠Y1Y2Y3 2.3題規(guī)約解：?jiǎn)栴}表示∠DBA=∠DBC,BA⊥AD, ?BAD,?BCD?DP1：∠X1=90o,∠X2=90o?∠X1=∠ P2：?X1X2X3，?Y1Y2Y3，X3X1=Y3Y1，∠X3X1X2=∠X1X2X3=∠Y1Y2Y3??X1X2X3??Y1Y2Y3P3：X1X2⊥X2X3?∠X1X2X3=90oP4：?X1X2X3??Y1Y2Y3?P5：?X1X2X3?∠X1X2X3+∠X2X3X1+∠X3X1X2=180oP6：?X1X2X3,?Y1Y2Y3,∠X3X1X2=∠Y3Y1Y2,∠X1X2X3=∠Y1Y2Y3?∠X2X3X1=∠ 問題規(guī)約問題歸約法小

謂詞邏輯人工智能中用到的邏輯可劃分為兩大類（如下圖所示

例如例如

2.4謂詞邏輯oo

是 是 的首假假， 種種

例如 從西邊升

件下為假*統(tǒng)*

也是詩(shī)PP：老李是小李

2.4謂詞邏輯更具體地說(shuō)，一階謂詞演算（firstorderpredicate 2.4謂詞邏輯42.4謂詞 函符號(hào)“5>3”：二元謂詞Greater(5,3) 隔開“Smith作為一個(gè)工程師為IBM工作”：三由若干謂詞符 組成 Smith由若干謂詞符 組成一謂詞的一般形式：P(x1x2,…x1x2,…xn：謂詞名P：刻 的一般形 2.4謂詞邏輯 “x<5”“x<5”：Less(x, ““小李的父親是教師”：Teacher(father(Li

Smith作為一個(gè)工程師為IBM工作二階謂詞Works(Engineer(Smith “機(jī)器人不在2號(hào)房間”：Inroom“機(jī)器人不在2號(hào)房間”：Inroom(robot“否定 “否定 ）打籃球或ys(ys(Liming, ys(Liming,basketball)

4謂詞邏輯 ②∨ ③∧

“我喜歡音樂和繪畫“*Like(I,music)∧Like(I,“*“合取”（conjunction）——與 2.4謂詞邏輯④→：“蘊(yùn)含”(implication)或 RUNS(Liuhua，faster)→RUNS(Liuhua，faster)→WINS“如果該書是何平的，那么它是藍(lán)色（封面） ，BOOK-1)→COLOR(BOOK- 2.4謂詞邏輯連接詞的謂詞邏輯真值 2.4謂詞邏輯量詞 x”。*存在量詞R)]個(gè) x”。*““1號(hào)房間有個(gè)物體（彐 2.4謂詞邏輯 (?x)(彐y)Friend(x,y)表示對(duì)于 (彐x)(?y)Friend(x,y)表示在 (彐x)(彐y)Friend(x,y)表示在 (?x)(?y)Friend(x,y)表示對(duì) 域中的任何兩 和y，x與y都是朋

2.4謂詞邏輯((?x)(彐y)(Employee(xManager(yx“每個(gè)雇員都有一個(gè)經(jīng)(彐y)(?x)(Employee(xManager(y“有一個(gè)人是所有雇員的經(jīng)理。 2.4謂詞邏輯謂 ①單個(gè)謂詞是謂 ②若A是謂 ，則﹁A也是謂 ③若A，B都是謂 ，則A∧B，A∨B，A→B，A ④若A是謂 ，則(?x)A，(彐(x)A也是謂 ⑤有限步應(yīng)用①－④生成 也是謂 。 華2.4謂詞邏輯量詞的轄 例如

(彐x)(P(xyQ(xy))∨R(x(P(x,y)Q(x,y))：(彐x)的轄域，轄域內(nèi)的變?cè)獂（彐x）約束的變?cè)?，R(xy)中的x是自由變?cè)械乃衴都是自由變?cè)?2.4謂詞邏輯過點(diǎn)y和z。E(x,y)表示x和y是同一直線。則得到：T(a)∧T(b)∧L(L1)∧L(L2)∧P(L1,a,b)∧P(L2,a,b)→E(L1,解：C(x)表示x是小孩，BH(x)表示x長(zhǎng)高了。則得到

[(?x(C(x)∧﹁2.4謂詞邏輯解：用A(x)表示x是偶數(shù)，B(x)表示x是素?cái)?shù)。則 Foreverysetx,thereisasety,suchthatthecardinality isgreaterthanthecardinalityofx.

?x{SET(x)→(?y)(?u)(?v)[SET(y)∧CARD(x,u)∧CARD(y,v)∧G(v, 2.4謂詞邏輯(?x)(HUMAN(x)→NEED-(?x)TEACHER例：

2.4謂詞邏輯 *Friends(george,Friends(george,susie) Friends(george,kate) 對(duì)于每一個(gè)解釋，謂 都可求出一個(gè)真值（T或F） 定義2.3如果謂詞P域定義2.3如果謂詞P域D上的任何一個(gè)解釋取得真值T，則稱P在D上是永真的；如果P在每個(gè)非空體域上均永真，則稱P永真 域D上的任何一個(gè)解體域上均永假，則稱P永假；如果P在每個(gè)非取得真值F，則稱P在D上是定義2.5對(duì)于謂詞P，如果至少存在一個(gè)解釋使得P華2.4謂詞邏輯 定義2.6設(shè)P與Q是兩個(gè)謂詞 域，則稱P和Q是等價(jià)的，記為P?Q。（3）德.摩根律(DeMorgen)﹁(P∧Q?﹁P∨﹁Q﹁(PQ?﹁P∧﹁P→Q?﹁P∨Q；P→Q?﹁Q→﹁（8）量詞轉(zhuǎn)換?(?x)P(x)?(?x)(?P(x))；?(?x)(P(x)?(?x)(? 2.4謂詞邏輯 假言（或假元）推理：P,PQ :P→Q,Q→R?P :(?x)P(x)?

2.4謂詞邏輯后件。（P→Q）前件。（﹁Q→﹁P） 2.4謂詞邏輯 2.4謂詞邏輯 2.4謂詞邏輯 例 2.4謂詞邏輯假 P→Q→ 2.4謂詞邏輯全 （或全稱化推理(?x)P(x) 存(?x)P(x) 2.4謂詞邏輯與(與(?x)[W1(xW2(xW1(A)生成謂W2(A)，即尋找A對(duì)的 ，使W1(A)與W1(x)一致些。集，以產(chǎn)生新的些。①假元推理：W1W1→W2②全稱化推理：(?x)W(x?W(A)③同時(shí)應(yīng)用假言推理和全稱化推理置換運(yùn)算：有表達(dá)式E和置換S={t1/x1,t2/x2tn/xn}，用表示以項(xiàng)ti(i=1,…,n)置換表達(dá)式E中出現(xiàn)的變量xi。其中①每個(gè)xi都是變量，且xi≠xj(i≠j)②每個(gè)ti都是項(xiàng),且ti中不能出現(xiàn)xi①E中變量xi(i=1,…,n)均用ti置換 2.4謂詞邏輯例：表達(dá)式P[x,f(y),B]的2個(gè)置換為：s1={z/x,w/y}，s2={A/y},例：P[x,f(y),B]的2個(gè)置換為：s3={q(z)/x,A/y},s4={c/x,A/y}，②置換是不可交換的，即：s1?s2≠s2?s1

2.4謂詞邏輯設(shè)有置換S1={t1/x1,tn/xnS2={u1/y1um/ym},則稱S=S1?S2={t1?S2/x1,……,tn?S2/xn；u1/y1,……,um/ym}①S1?S2中出現(xiàn)xi=yk(i=1,……,nk=1,……,m則刪去所ti?S2=xi(i=1,……,n則應(yīng)將ti?S2/xi從S中刪除例：S1={f(y)/xz/y}，S2={A/x,B/yy/z}，求S1?S2S1?S2={f(y)?S2/x,z?S2/y;A/x,B/y,y/z}={f(B)/x,y/y;={f(B)/x,例：S1={f(y)/x,A/z}，S2={B/x,B/y}，求S1?S2。S1?S2={f(y)?S2/xA?S2/z;B/xB/y}={f(B)/xA/z,B/y}

2.4謂詞邏輯合一：尋 變量的置換，以使兩表達(dá)式一致},S最一般合一者也的合一者*使得{Ei}S={Ei}g?S’，則稱g為{Ei}的最通用(最一般)的合一

2.4謂詞邏輯例：設(shè)在一含有凹室(alcove)的房間里，有兩張桌子A和一個(gè)機(jī)器人(robot)和一個(gè)箱子(box)。為讓機(jī)器人從凹室出AT(y,z)；y在z的附近；變量z{A,B,ALCOVE}HOLDS(y,w)；y手中拿著w；變量w域：{BOX} 2.4謂詞邏輯

GO-TO(y,x)：機(jī)器人從x處走到y(tǒng) 2.4謂詞邏輯增加),行動(dòng)：刪除HOLDS(ROBOT,BOX)增加

詞邏輯GO-TO(A,PICK-UP-GO-TO(B,GO-ON(BOX,B)∧ABLE(A)∧ABLE(B)

2.4謂詞邏輯①②③④

不能表示不確定的知識(shí)例如：“大多數(shù)同學(xué)都得了推理推理方法：消解反演

2.5語(yǔ)義網(wǎng)絡(luò)1968年奎蘭（Quilian）在研究人類聯(lián)想

2.5語(yǔ)義網(wǎng)絡(luò)

2.5語(yǔ)義網(wǎng)絡(luò)

絡(luò)絡(luò)例：所的燕子都是鳥*

念，那么當(dāng)有實(shí)例時(shí)就需要語(yǔ)義網(wǎng)絡(luò)，由此使問題復(fù)雜化。如果要進(jìn)一步表示“的汽車 33華

例:椅子的顏色是咖啡色 椅子包套是皮革，椅子的所者是X，X是個(gè)人；椅子是一種家具；椅子是座位的一部分。

ISA

示為MAN(LIMING)。用語(yǔ)義網(wǎng)絡(luò)，這就可以表示LI LI

在謂詞邏輯中表示為ISA(LIMING，MAN)。這說(shuō)明語(yǔ)義

2.5義網(wǎng)絡(luò)

（語(yǔ)義網(wǎng)絡(luò)（謂詞邏輯ISA（LIMING，MAN）或

2.5義網(wǎng)絡(luò)

R12(X1，X2)∧R13(X1，X3)∧…∧..... ①類屬關(guān)系：指不同事物間的分類關(guān)系、成員關(guān)系或?qū)嵗P(guān)系。其AMO(是一員)。 ④時(shí)間關(guān)系： 2.5義網(wǎng)絡(luò) AA

當(dāng)合取關(guān)系嵌套在析取關(guān)系之內(nèi)時(shí)需進(jìn)行標(biāo)記：CONJ如果析取關(guān)系是嵌套在合取關(guān)系之

會(huì)引 例：JohnisaprogrammerorMaryisa解：①存在兩個(gè)特定的職 OC1和OC2，它們之間是

JohnisaprogrammerMaryisalawyer

圖

CONJCONJ

圖（c

例：要表示～[ISA(A，B)∧PARTAC

例：用語(yǔ)義網(wǎng)絡(luò)法表示（蘊(yùn)涵Everyonewholivesat37MapleStreetisa

ThedogbitesthepostmanDAD

PPB更進(jìn)一步，要表示：Everydoghasbittenapostman?！八鵅

例：用語(yǔ)義網(wǎng)絡(luò)表示：“Everydoghasbittenapostman”解：分割空間用來(lái)表示Adoghasbittenapostman，稱作斷言G。

G

?

B 更進(jìn)一步，要表示：Everydoghasbittenevery

2.5.4語(yǔ)義網(wǎng)絡(luò)的推理過

語(yǔ)義網(wǎng)絡(luò)中的推理過程主要有兩種:繼承和匹配事物的以后，可以聯(lián)想起很多關(guān)于這件事物的一般承

值繼承就是從與之以類屬關(guān)系相連的概念節(jié)點(diǎn)繼承槽值繼承過程所進(jìn)行的是寬度優(yōu)先

為了進(jìn)行上述計(jì)算的程序，需要改進(jìn)節(jié)點(diǎn)-槽值的結(jié)構(gòu)，允有若干個(gè)側(cè)面，以這些不同類型的值。這樣，以前討論的IF-NEEDED側(cè)面中BRICK

只是在循環(huán)過程中檢查的是IF-NEEDED側(cè)面是否存在BRICKAKOBLOCKWEIGHT(IF-

BRICK12重量Y

2作的假設(shè)加上“可能”這樣的字眼。*

BRICK

COLOR

BWBW TP

B

語(yǔ)義網(wǎng)絡(luò)小

YXYDDPP

BB

相連的節(jié)點(diǎn)繼承值

框架表示的概

2.6框架表示用的數(shù)據(jù)結(jié)構(gòu)的形式以往的經(jīng)驗(yàn)。這樣的數(shù)據(jù)結(jié)構(gòu)稱 語(yǔ)義網(wǎng)絡(luò)可看作節(jié)點(diǎn)和弧線的集合，也可視為框架的集合

槽用于每個(gè)槽可以擁有若干個(gè)側(cè)面?zhèn)让嬗糜?/p>

自

下面是描述John的框架

：：：

女截止時(shí)間

自

前墻：〈墻框架〉后墻：〈墻框架〉左墻：〈墻框架〉右墻：〈墻框架〉 黑板：〈黑板框架〉例：*1將下列一則消息用框架表示：“某年某月某日，某地發(fā)生6.0級(jí)，若以膨脹注水孕震模式為標(biāo)準(zhǔn)，則三項(xiàng)前兆中的波速比為0.45，水氡含量為解：消息用框架如下圖所示 點(diǎn) 某 級(jí)

波速比：

框架名 〈診斷

條件 頭條件 發(fā)

框架網(wǎng)框架間的橫向聯(lián)框架間的縱向聯(lián) 具有橫向聯(lián)系及縱向聯(lián)系的一組框架稱為框架網(wǎng)絡(luò)

框架網(wǎng)絡(luò)的例例：下圖是一個(gè)關(guān)于師生員工的框架網(wǎng)

…

……

…

-例如：，，等； 教職工框架：用于描述教師、、工人的共同屬性。凡是在師生員工框架中已的屬性在這里可不再重復(fù)描述。 框架名：<教職工 如果一個(gè)在上層框架中最低層追搠到最，使的信息逐層向低層傳遞。幾條腿，則可以通過一般椅子的特性，得出它也有4 標(biāo)準(zhǔn)槽①ISA槽：用于 義是“是一個(gè)”，“是一種”，“是一只”……。

：?jiǎn)挝唬ㄐ眨?/p>

②AKO槽：用于具體的 例：對(duì)上面的例子，可將棋手框架中的ISA改為AKO 例： 運(yùn)動(dòng)員>，<排球運(yùn)動(dòng)員 ⑤Part-of槽：用 部分與全體的關(guān)系

⑦Possible-Reason槽：與Infer槽作用相反，用來(lái)把某個(gè)結(jié)論

框架是一種復(fù)雜結(jié)構(gòu)的語(yǔ)義網(wǎng)。語(yǔ)義網(wǎng)推理中的匹配和承在框架系統(tǒng)也可以使用在用框架表示知識(shí)的系統(tǒng)中，問題的求解主要是通過匹與填槽實(shí)現(xiàn)的。要求解某個(gè)問題時(shí)如果兩個(gè)框架的各對(duì)應(yīng)槽沒有，或者滿足預(yù)先規(guī)定的

：孫：健康狀況：健部門：計(jì)算機(jī)系軟件教研開始工作時(shí)間 便于表達(dá)結(jié)構(gòu)性知識(shí)，能夠?qū)⒅R(shí)的內(nèi)部結(jié)構(gòu)關(guān)系及知識(shí)框架網(wǎng)絡(luò)中，下層框架可以繼承上層框架的槽值，也可以性 框架表示法不僅可以從多方面、多重屬性表示知識(shí)，而且

例：餐廳劇 場(chǎng)景1給服務(wù)員；④顧客等待服務(wù)員送菜。

準(zhǔn)備劇本的方法①對(duì)于不屬于 例：：“蘇珊在去博物館的，經(jīng)過她喜歡的餐廳。她非常喜歡這次作品展覽會(huì)”。則對(duì)于②對(duì)于符合 劇本的啟用

本體的概定義得到了許多的認(rèn)可，即本體論是對(duì)概念化的精 本體的概 應(yīng)用本體– 本體的概

本體的概等人的本體定義包含四層含義:、形式化和共享“形式化”是指本體是計(jì)算機(jī)可讀的也就是計(jì)算

本體的概同主體(人、機(jī)器、軟件系統(tǒng)等)之間進(jìn)行交流(、互操像類樣解自然語(yǔ)中表語(yǔ)前計(jì)算

定義：領(lǐng)域空間領(lǐng)域空間義為<D,W>，其中D表示，W表示該領(lǐng) 最大狀態(tài)的集合（稱為可能世界）定義：概念關(guān)系*領(lǐng)域空間<D,W>上的n元概念關(guān)系義為ρn：W 表示從集合W到域D中所有n元關(guān)系所有外延合的映射，即全函數(shù)所有外延對(duì)于概念上的關(guān)系

念關(guān)系ρ接受

定義：概念化領(lǐng)域空間<D,W>中，領(lǐng)域D的概念化定義為一個(gè)有序三元組C=<D,WR’>，其中R’為領(lǐng)域空間<D,W>上概念關(guān)系的集合。 ρ∈R’},表示R’中概念關(guān)系的關(guān)于ω的外延符號(hào)Sc表示概念化C的所有意圖世界結(jié)構(gòu)

定義：模型假定邏輯語(yǔ)言L具有詞匯表V，詞匯表V由常量符<S,I>，其中S=<D,R>表示一個(gè)世界結(jié)構(gòu)；I：VD∪R一個(gè)解釋函數(shù)，把V中的常量符號(hào)映射為領(lǐng)域D中的元素，把中的謂詞符號(hào)映射為R中的元類似的，通過概念化C可以確定內(nèi)涵解釋為一個(gè)結(jié)構(gòu)<C,?>，其中C=<DW,R’?：VD∪R’表示一個(gè) 定義：本體承諾邏輯語(yǔ)言L的一個(gè)本體承諾K=<C,?>定義為邏輯語(yǔ)言L的一個(gè)內(nèi)涵解釋模型，其中概念化*C=<D,W,R>,?：V→D∪R表示一個(gè)解釋函數(shù)，把V中的

邏輯語(yǔ)言L模型<S,I>與邏輯語(yǔ)言的本體承諾K=<C,?>兼①S（世界結(jié)構(gòu)）∈SC（概念化C的所有意圖世界結(jié)構(gòu)②對(duì)每一常量cI(c?(c)（常量符號(hào)映射為領(lǐng)域D中的元③存在一個(gè)可能世界ω，對(duì)于每一個(gè)謂詞符號(hào)p，滿足I

定義：意圖模 使本體的模型集合最近于邏輯語(yǔ)言L關(guān)于本體承諾K的內(nèi)涵定義：本體本體是一種說(shuō)明“形式化詞匯”內(nèi)涵的邏輯理

如果存在本體承諾K=<C,?>使本體O包含邏輯語(yǔ)言L關(guān)于本體承諾K的內(nèi)涵模型，那么稱邏輯語(yǔ)言L的本體O相似于概念化C

語(yǔ)言L、本體O與概念化C之間關(guān)系如下圖所示*本體承諾 模型本體 本體念 化C

內(nèi)涵模型圖：概念化、語(yǔ)言和本體關(guān)系圖

概念是廣義的概念，除了一般意義上的概念之外，關(guān)系表示概念之間的一類關(guān)聯(lián)。典型的二元關(guān)聯(lián)繼③函數(shù)是一種特殊的關(guān)系，其中第n個(gè)元素對(duì)于前面n-：④公理用于描述一些永真式。具體地說(shuō)，公理是領(lǐng)域中⑤實(shí)例是指屬于某種概念的具體實(shí)例，特定領(lǐng)域的所有

CAcR：關(guān)系的集合：層次的集合

庫(kù)出，分2 1是類Researcher的一出，分2 1是類Researcher的一個(gè)實(shí)例性cooperatesWith的取值示

1:Reseacher[cooperatesWith->> 2:Reseacher[cooperatesWith->> Publication1:Publication[author- [Publication-類分類分類類組類組奧薩馬·

類 類五角大卷五角大居住籍沙

世界貿(mào)易中日

日 位2001-09- 位

紐按照本體 ，當(dāng)前常見的本體可以分為5種類型①知識(shí)表示本體②通 本體包括通用知識(shí)工程 知識(shí)庫(kù)等 ④語(yǔ)言學(xué)本 是指關(guān)于語(yǔ)言、詞匯等的本體⑤任務(wù)本 主要涉及動(dòng)態(tài)知識(shí)，而不是靜態(tài)知識(shí)

。本體建模方

-從組織的文檔、報(bào)告中抽取出有關(guān)的概念：Something、 、OrganizationGroup、Author、FamilyName、Title”等。

獲取這些概念的意義Title：制定一個(gè)文檔的文字；等等

類類

兩個(gè)事物之間屬于接、刻畫等抽 領(lǐng) 范

OrganizationGroup Article ReportEngineer

SystemTopic

27（） hasWrited（）

Hire-Employed-

IncludeIsMembe