人工智能導(dǎo)論-第二章001-2014

第二章知識(shí)表示方法2.1知識(shí)和知識(shí)表示2.2狀態(tài)空間表示2.3問題歸約表示2.4謂詞邏輯表示2.5語義網(wǎng)絡(luò)表示2.6產(chǎn)生式表示2.7框架表示2.8面向?qū)ο蟊硎?023/1/11人工智能導(dǎo)論-劉珊11個(gè)字節(jié)由8個(gè)“位”構(gòu)成。一個(gè)扇區(qū)有512個(gè)“字節(jié)”的數(shù)據(jù)。糖是甜的。一年有春、夏、秋、冬四個(gè)季節(jié)。知識(shí)的概念知識(shí)的定義(1)Feigenbaum：知識(shí)是經(jīng)過剪裁、塑造、解釋、選擇和轉(zhuǎn)換了的信息(2)把有關(guān)信息關(guān)聯(lián)在一起所形成的信息結(jié)構(gòu)。(3)反映了客觀世界中事物之間的關(guān)系，不同事物或者相同事物間的不同關(guān)系形成了不同的知識(shí)。知識(shí)的類型常識(shí)性知識(shí)--陳述性知識(shí)領(lǐng)域性知識(shí)--過程性知識(shí)

--控制性知識(shí)2023/1/11人工智能導(dǎo)論-劉珊22.1知識(shí)和知識(shí)表示的概念按適用范圍分按作用效果分知識(shí)的特性

相對(duì)正確性

任何知識(shí)都是在一定的條件及環(huán)境下產(chǎn)生的，在這種條件及環(huán)境下才是正確的。1+1=2

（十進(jìn)制）1+1=10(二進(jìn)制）

不確定性

隨機(jī)性引起的不確定性模糊性引起的不確定性經(jīng)驗(yàn)引起的不確定性不完全性引起的不確定性知識(shí)狀態(tài)：“真”、“假”

“真”與“假”之間的中間狀態(tài)

“如果頭痛且流涕，則有可能患了感冒”

小李很高2.1知識(shí)和知識(shí)表示的概念2023/1/11人工智能導(dǎo)論-劉珊3知識(shí)的特性

可表示性與可利用性知識(shí)的可表示性:知識(shí)可以用適當(dāng)形式表示出來，如用語言、文字、圖形、神經(jīng)網(wǎng)絡(luò)等。知識(shí)的可利用性：知識(shí)可以被利用。

2023/1/11人工智能導(dǎo)論-劉珊42.1知識(shí)和知識(shí)表示的概念知識(shí)表示的概念知識(shí)表示對(duì)知識(shí)的描述，即用一組符號(hào)把知識(shí)編碼成可以被計(jì)算機(jī)直接識(shí)別、并便于系統(tǒng)使用的數(shù)據(jù)結(jié)構(gòu)。知識(shí)表示的要求表示能力可利用性可組織性與可維護(hù)性可實(shí)現(xiàn)性自然性與可理解性2023/1/11人工智能導(dǎo)論-劉珊52.1知識(shí)和知識(shí)表示的概念表示方法2023/1/11人工智能導(dǎo)論-劉珊6表示方法直接表示局部表示分布表示陳述性表示過程性表示語義網(wǎng)絡(luò)表示產(chǎn)生式表示邏輯表示框架表示腳本表示替代表示第二章知識(shí)表示方法2.1知識(shí)和知識(shí)表示2.2狀態(tài)空間表示2.3問題歸約表示2.4謂詞邏輯表示2.5語義網(wǎng)絡(luò)表示2.6產(chǎn)生式表示2.7框架表示2.8面向?qū)ο蟊硎?023/1/11人工智能導(dǎo)論-劉珊72.2狀態(tài)空間表示狀態(tài)空間表示法的基本思想將待求解的問題通過狀態(tài)和算符表示出來狀態(tài)：描述某類不同事物間的差別而引入的一組最少變量q0，q1，…，qn的有序集合。算符也稱為操作符：將問題從一種狀態(tài)變換為另一種狀態(tài)的手段狀態(tài)空間：表示該問題全部可能狀態(tài)及其關(guān)系，三元狀態(tài)（S，F(xiàn)，G）或二元狀態(tài)（S,O）2023/1/11人工智能導(dǎo)論-劉珊82.2狀態(tài)空間表示9例:三數(shù)碼難題

（3puzzleproblem）123123123312312312初始棋局目標(biāo)棋局2023/1/11人工智能導(dǎo)論-劉珊2.2狀態(tài)空間表示10有向圖：由節(jié)點(diǎn)的集合構(gòu)成，一對(duì)節(jié)點(diǎn)用有向弧線連接。狀態(tài)空間圖：表示狀態(tài)空間的有賦值的有向圖。路徑代價(jià)圖的顯示說明：各節(jié)點(diǎn)及其代價(jià)的弧線由一張表明確給出。圖的隱式說明：節(jié)點(diǎn)的無限集合{si}作為起始節(jié)點(diǎn)已知，后續(xù)節(jié)點(diǎn)算符Γ已知，由Γ和{si}規(guī)定隱式圖。狀態(tài)圖示法2023/1/11人工智能導(dǎo)論-劉珊2.2狀態(tài)空間表示狀態(tài)空間表示舉例例：猴子摘香蕉問題2023/1/11人工智能導(dǎo)論-劉珊112.2狀態(tài)空間表示12解題過程

用一個(gè)四元表列（M，p1，B，p2）來表示這個(gè)問題狀態(tài).初始狀態(tài)：（a，0，b，0）目標(biāo)狀態(tài)：（c，1，c，1）這個(gè)問題的算符如下：

goto（U）表示猴子走到水平位置U或者用產(chǎn)生式規(guī)則表示為

（M，0，B，0）goto（U）（U，0，B，0）2023/1/11人工智能導(dǎo)論-劉珊2.2狀態(tài)空間表示13pushbox（V）猴子把箱子推到水平位置V，即有

（B，0，B，0）pushbox（V）（V，0，V，0）climbbox猴子爬上箱頂，即有

（B，0，B，0）climbbox（B，1，B，0）2023/1/11人工智能導(dǎo)論-劉珊2.2狀態(tài)空間表示解題過程14grasp猴子摘到香蕉，即有

（c，1，c，0）grasp

（c，1，c，1）初始狀態(tài)變換為目標(biāo)狀態(tài)的操作序列為

{goto(b),pushbox(c),climbbox,grasp}2023/1/11人工智能導(dǎo)論-劉珊2.2狀態(tài)空間表示解題過程15climbboxpushbox（c）猴子摘香蕉問題的狀態(tài)空間圖Pushbox（a）2023/1/11人工智能導(dǎo)論-劉珊2.2狀態(tài)空間表示(b，1，b，0)（b，0，b，0）（c，0，c，0）（c，1，c，0）（a，0，a，0）（c，1，c，1）（a，0，b，0）目標(biāo)狀態(tài)goto（b）climbboxpushbox（c）grasp初始狀態(tài)第二章知識(shí)表示方法2.1知識(shí)表示的概念2.2狀態(tài)空間表示2.3問題歸約表示2.4謂詞邏輯表示2.5語義網(wǎng)絡(luò)表示2.6產(chǎn)生式表示2.7框架表示2.8面向?qū)ο蟊硎?023/1/11人工智能導(dǎo)論-劉珊16172.3問題歸約表示子問題1子問題n原始問題子問題集本原問題2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示18

問題歸約表示的組成部分：一個(gè)初始問題描述；一套把問題變換為子問題的操作符；一套本原問題描述。問題歸約的實(shí)質(zhì)：從目標(biāo)（要解決的問題）出發(fā)逆向推理，建立子問題以及子問題的子問題，直至最后把初始問題歸約為一個(gè)平凡的本原問題集合。2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示分解與變換分解如果一個(gè)問題可以歸約為一組子問題，并且當(dāng)且僅當(dāng)所有子問題都有解時(shí)原問題才有解，則稱這種歸約為問題的分解。分解所得的子問題的“與”與原問題等價(jià)。等價(jià)變換如果一個(gè)問題可以歸約為一組子問題，并且只要有一個(gè)子問題有解則原問題有解，則稱這種歸約為問題的等價(jià)變換，簡(jiǎn)稱變換。變換所得的子問題的“或”與原問題等價(jià)。2023/1/11人工智能導(dǎo)論-劉珊192.3問題歸約表示20與、或圖與圖ABC或圖ABCD2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示21BCDEFGAHMBCDEFGAN2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示與/或圖22與或圖的術(shù)語父節(jié)點(diǎn)與節(jié)點(diǎn)弧線或節(jié)點(diǎn)子節(jié)點(diǎn)終葉節(jié)點(diǎn)HMBCDEFGAN2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示端節(jié)點(diǎn)23與或圖的術(shù)語ttttttttt（a）（b）可解節(jié)點(diǎn)無解節(jié)點(diǎn)終葉節(jié)點(diǎn)2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示24不可解節(jié)點(diǎn)的一般定義沒有后裔的非終葉節(jié)點(diǎn)為不可解節(jié)點(diǎn)。含有或后繼節(jié)點(diǎn)，且全部后裔為不可解，此非終葉節(jié)點(diǎn)是不可解的。含有與后繼節(jié)點(diǎn)，后裔至少有一個(gè)為不可解，此非終葉節(jié)點(diǎn)是不可解的。2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示25梵塔難題123CBA2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示123CBA261、首先定義該問題的形式化表示方法。

設(shè)用三元組(i,j,k)表示問題在任一時(shí)刻的狀態(tài)，用“→”表示狀態(tài)的轉(zhuǎn)換。其中

i代表金片A所在的鋼針號(hào)

j代表金片B所在的鋼針號(hào)

k代表金片C所在的鋼針號(hào)解題過程2023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示27解題過程1231231231232023/1/11人工智能導(dǎo)論-劉珊2.3問題歸約表示2、原問題可分解為三個(gè)子問題：(1,1,1)→(2,2,1)(2,2,1)→(2,2,3)(2,2,3)

→(3,3,3)3、進(jìn)一步分解……(1,1,1)(2,2,1)(2,2,3)(3,3,3)2023/1/11人工智能導(dǎo)論-劉珊28(1,1,1)→(3,3,3)(1,1,1)→(2,2,1)(2,2,1)→(2,2,3)(2,2,3)→(3,3,3)(1,1,1)→(3,1,1)(3,2,1)→(2,2,1)(3,1,1)→(3,2,1)(2,2,3)→(1,2,3)(1,2,3)→(1,3,3)(1,3,3)→(3,3,3)三階梵塔問題的分解過程可用下圖表示

2.3問題歸約表示第二章知識(shí)表示方法2.1知識(shí)表示的概念2.2狀態(tài)空間表示2.3問題歸約表示2.4謂詞邏輯表示2.5語義網(wǎng)絡(luò)表示2.6產(chǎn)生式表示2.7框架表示2.8面向?qū)ο蟊硎?023/1/11人工智能導(dǎo)論-劉珊29邏輯2023/1/11人工智能導(dǎo)論-劉珊302.4謂詞邏輯表示命題邏輯2023/1/11人工智能導(dǎo)論-劉珊31

命題邏輯：研究命題及命題之間關(guān)系的符號(hào)邏輯系統(tǒng)。

命題邏輯表示：無法把它所描述的事物的結(jié)構(gòu)及邏輯特征反映出來，也不能把不同事物間的共同特征表述出來。

命題：一個(gè)非真即假的陳述句。若命題的意義為真，稱它的真值為真，記為T。若命題的意義為假，稱它的真值為假，記為F。一個(gè)命題可在一種條件下為真，在另一種條件下為假。例如：3<5

例如：太陽從西邊升起

P：老李是小李的父親P：北京是中華人民共和國(guó)的首都P：李白是詩人Q：杜甫也是詩人例:1＋1＝102.4謂詞邏輯表示謂詞2023/1/11人工智能導(dǎo)論-劉珊322.4謂詞邏輯表示謂詞的一般形式：P(x1,x2,…,xn)個(gè)體x1,x2,…,xn

：某個(gè)獨(dú)立存在的事物或者某個(gè)抽象的概念；謂詞名P：刻畫個(gè)體的性質(zhì)、狀態(tài)或個(gè)體間的關(guān)系?！袄蠌埵且粋€(gè)教師”：一元謂詞Teacher(Zhang)“5>3”：二元謂詞Greater(5,3)“Smith作為一個(gè)工程師為IBM工作”：三元謂詞Works(Smith,IBM,engineer)（1）個(gè)體是常量：一個(gè)或者一組指定的個(gè)體。謂詞2023/1/11人工智能導(dǎo)論-劉珊33（2）個(gè)體是變?cè)ㄗ兞浚簺]有指定的一個(gè)或者一組個(gè)體?！靶±畹母赣H是教師”：Teacher(father(Li))（3）個(gè)體是函數(shù)：一個(gè)個(gè)體到另一個(gè)個(gè)體的映射?！皒<5”

：Less(x,5)

（4）個(gè)體是謂詞

“Smith作為一個(gè)工程師為IBM工作”：二階謂詞Works(engineer(Smith),IBM)2.4謂詞邏輯表示謂詞與函數(shù)的區(qū)別謂詞是個(gè)體域D到{T，F(xiàn)}的映射，函數(shù)是D到D的映射謂詞的真值是T和F，函數(shù)的值（無真值）是D中的元素謂詞可獨(dú)立存在，函數(shù)只能作為謂詞的個(gè)體。2023/1/11人工智能導(dǎo)論-劉珊342.4謂詞邏輯表示1.連接詞（連詞）（1）﹁：“否定”——或“非”。（2）∨：“析取”——或。（3）∧：“合取”——與。“機(jī)器人不在2號(hào)房間”：﹁Inroom(robot,r2)“李明打籃球或踢足球”：Plays(Liming,basketball)∨

Plays(Liming,football)“我喜歡音樂和繪畫”：

Like(I,music)∧

Like(I,painting)351/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/111.連接詞（連詞）（4）→：“蘊(yùn)含”

或“條件”?！叭绻麆⑷A跑得最快，那么他取得冠軍?！保?/p>

RUNS(Liuhua，fastest)→WINS(Liuhua，champion)（5）：“等價(jià)”或“雙條件”。

P

Q:“P當(dāng)且僅當(dāng)Q”。

361/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11謂詞邏輯真值表

371/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/112.量詞（1）全稱量詞（"x）：“對(duì)個(gè)體域中的所有（或任一個(gè)）個(gè)體x”。

“所有的機(jī)器人都是灰色的”：

("x)[ROBOT(x)→

COLOR(x，GRAY)]（2）存在量詞（x）：“在個(gè)體域中存在個(gè)體x

”。

“1號(hào)房間有個(gè)物體”：

（x）INROOM（x，r1）381/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11全稱量詞和存在量詞出現(xiàn)的次序?qū)⒂绊懨}的意思。例如：

("x)(

y)(Employee(x)→

Manager(y,x)):“每個(gè)雇員都有一個(gè)經(jīng)理?！?/p>

(y)("x)(Employee(x)→

Manager(y,x)):“有一個(gè)人是所有雇員的經(jīng)理?！?91/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/113.謂詞公式規(guī)則(1)

單個(gè)謂詞是謂詞公式，稱為原子謂詞公式。(2)

若A是謂詞公式，則﹁A也是謂詞公式。(3)

若A，B都是謂詞公式，則A∧B，A∨B，A→B，

AB也都是謂詞公式。若A是謂詞公式，則("x)A，(x)A也是謂詞公式。有限步應(yīng)用(1)-(4)生成的公式也是謂詞公式。連接詞的優(yōu)先級(jí)別從高到低排列：

﹁，

∧，

∨，

→，401/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11置換和合一置換假元推理、全稱化推理、綜合推理在該表達(dá)式中用置換項(xiàng)置換變量可結(jié)合，不可交換合一尋找對(duì)變量的置換，以使兩表達(dá)式一致2023/1/11人工智能導(dǎo)論-劉珊41W1，W1→W2W2

("x)W(x)W(A)4．量詞的轄域

量詞的轄域：位于量詞后面的單個(gè)謂詞或者用括弧括起來的謂詞公式。約束變?cè)c自由變?cè)狠犛騼?nèi)與量詞中同名的變?cè)Q為約束變?cè)?，不同名的變?cè)Q為自由變?cè)?/p>

例如：

(x)(P(x,y)→Q(x,y))∨R(x,y)

(P(x,y)→

Q(x,y))：(

x)的轄域，轄域內(nèi)的變?cè)獂是受（

x）約束的變?cè)?，R(x,y)中的x是自由變?cè)９街械乃衴都是自由變?cè)?/p>

421/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11謂詞邏輯表示步驟（1）根據(jù)要表示的知識(shí)定義謂詞；（2）用連接詞、量詞連接各個(gè)謂詞，形成謂詞公式。

例如：用一階謂詞邏輯表示下列關(guān)系數(shù)據(jù)庫。住戶

房間

電話號(hào)碼

房間Zhang201491201Li201492201Wang202451202Zhao203451203OccupantTelephone431/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11用一階謂詞表示：

Occupant（Zhang，

201）

Occupant（Li，201）

Occupant（Wang，202）

Occupant（Zhao，203）

Telephone（491，201）

Telephone（492，201）

Telephone（451，202）

Telephone（451，203）441/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11簡(jiǎn)例用謂詞邏輯表示如下知識(shí)：王宏是計(jì)算機(jī)系的一名學(xué)生，

王宏和李明是同班同學(xué)，凡是計(jì)算機(jī)系的學(xué)生都喜歡編程序。解：1、先定義謂詞：CS(x)：表示x是計(jì)算機(jī)系的學(xué)生。CM(x,y)：表示x和y是同班同學(xué)。L(x,y)：表示x喜歡y。2、然后再將知識(shí)表示為：CS(Wanghong)CM(Wanghong,Liming)

(?x)(CS(x)→L(x,programming))2023/1/11人工智能導(dǎo)論-劉珊452.4謂詞邏輯表示機(jī)器人移盒子問題假設(shè)在一個(gè)房間里，c處有一個(gè)機(jī)器人，a和b處各有一張桌子，分別稱為a桌和b桌，a桌上有一個(gè)盒子，要求機(jī)器人從c處出發(fā)把盒子從a桌上搬到b桌上，然后回到c處。請(qǐng)用謂詞邏輯表示方法描述這個(gè)問題。2023/1/11人工智能導(dǎo)論-劉珊46abc2.4謂詞邏輯表示機(jī)器人移盒子問題解：1、分別定義描述狀態(tài)和操作的謂詞描述狀態(tài)的謂詞：TABLE(x)：x是桌子EMPTY(y)：y手中是空的AT(y,z)：y在z處HOLDS(y,w)：y拿著wON(w,x)：w在x桌面上變?cè)膫€(gè)體域：x的個(gè)體域是{a,b}y的個(gè)體域是{robot}z的個(gè)體域是{a,b,c}w的個(gè)體域是{box}2023/1/11人工智能導(dǎo)論-劉珊472.4謂詞邏輯表示48機(jī)器人移盒子問題問題的初始狀態(tài)：

AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)問題的目標(biāo)狀態(tài)：

AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)描述操作的謂詞條件部分：用來說明執(zhí)行該操作必須具備的先決條件，用謂詞公式來表示。動(dòng)作部分：給出了該操作對(duì)問題狀態(tài)的改變情況，通過在執(zhí)行該操作前的問題狀態(tài)中刪去和增加相應(yīng)的謂詞來實(shí)現(xiàn)。描述操作的謂詞：Goto(x,y)：從x處走到y(tǒng)處。

Pickup(x)：在x處拿起盒子。

Setdown(y)：在x處放下盒子。1/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11各操作的條件和動(dòng)作：Goto(x，y)條件：AT(robot，x)動(dòng)作：刪除表：AT(robot，x)；添加表：AT(robot，y)Pickup(x)條件：ON(box，x)，TABLE(x)，AT(robot，x)，EMPTY(robot)動(dòng)作：刪除表：EMPTY(robot)，ON(box，x)

添加表：HOLDS(robot，box)Setdown(x)條件：AT(robot，x)，TABLE(x)，HOLDS(robot，box)動(dòng)作：刪除表：HOLDS(robot，box)添加表：EMPTY(robot)，ON(box，x)491/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/1150求解過程狀態(tài)3

AT(robot,a)

HOLDS(robot,box)

Pickup(a)TABLE(a)<=========TABLE(b)

狀態(tài)1(初始狀態(tài))

AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)

狀態(tài)2AT(robot,a)Goto(c,a)EMPTY(robot)==========>ON(box,a)TABLE(a)TABLE(b)1/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/1151求解過程狀態(tài)6(目標(biāo)狀態(tài))AT(robot,c)

EMPTY(robot)

Goto(b,c)

ON(box,b)<=========TABLE(a)TABLE(b)狀態(tài)3

AT(robot,a)HOLDS(robot,box)TABLE(a)TABLE(b)

狀態(tài)4AT(robot,b)Goto(a,b)HOLDS(robot,box)==========>TABLE(a)TABLE(b)狀態(tài)5

AT(robot,b)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b）Setdown(b)1/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11謂詞邏輯表示的特征優(yōu)點(diǎn)：自然性

明確

精確靈活模塊化

局限性：

只能表示確定的知識(shí)組合爆炸效率低521/11/2023人工智能導(dǎo)論-劉珊2.4謂詞邏輯表示2023/1/11第二章知識(shí)表示方法2.1知識(shí)表示的概念2.2狀態(tài)空間表示2.3問題歸約表示2.4謂詞邏輯表示2.5語義網(wǎng)絡(luò)表示2.6產(chǎn)生式表示2.7框架表示2.8面向?qū)ο蟊硎?023/1/11人工智能導(dǎo)論-劉珊532.5語義網(wǎng)絡(luò)表示定義一種用實(shí)體及其語義關(guān)系來表達(dá)知識(shí)的有向圖。語義基元語義網(wǎng)絡(luò)中最基本的語義單元，可用三元組表示為：

（節(jié)點(diǎn)1，弧，節(jié)點(diǎn)2）基本網(wǎng)元一個(gè)語義基元對(duì)應(yīng)的有向圖，是語義網(wǎng)絡(luò)中最基本的結(jié)構(gòu)單元

54說明：弧的方向不可隨意調(diào)換。ABR（A,R,B）2023/1/11人工智能導(dǎo)論-劉珊2.5語義網(wǎng)絡(luò)表示基本的語義關(guān)系1、實(shí)例關(guān)系：ISA體現(xiàn)“具體與抽象”的概念2、分類關(guān)系：AKO體現(xiàn)“子類與超類”的概念3、成員關(guān)系：A-Member-of體現(xiàn)“個(gè)體與集體”的關(guān)系4、屬性關(guān)系指事物和其屬性之間的關(guān)系。常用的有：Have，Can2023/1/11人工智能導(dǎo)論-劉珊55主要特征：屬性的繼承性2.5語義網(wǎng)絡(luò)表示基本的語義關(guān)系5、聚類關(guān)系指具有組織或結(jié)構(gòu)特征的“部分與整體”之間的關(guān)系。常用的：Part-of一般不具備屬性的繼承性6、時(shí)間關(guān)系7、位置關(guān)系8、相近關(guān)系2023/1/11人工智能導(dǎo)論-劉珊56After上海世博會(huì)北京奧運(yùn)會(huì)Located-on書桌子Similar-to貓虎2.5語義網(wǎng)絡(luò)表示大腦人體Part-of一元關(guān)系的表示節(jié)點(diǎn)1表示實(shí)體，節(jié)點(diǎn)2表示實(shí)體的性質(zhì)或?qū)傩缘?，弧表示語義關(guān)系。例：用語義網(wǎng)絡(luò)表示“動(dòng)物能運(yùn)動(dòng)、會(huì)吃”。2023/1/11人工智能導(dǎo)論-劉珊57Can運(yùn)動(dòng)吃動(dòng)物Can2.5語義網(wǎng)絡(luò)表示二元關(guān)系的表示單個(gè)二元關(guān)系直接用一個(gè)基本網(wǎng)元來表示。復(fù)雜關(guān)系，可通過一些相對(duì)獨(dú)立的二元或一元關(guān)系的組合來實(shí)現(xiàn)。2023/1/11人工智能導(dǎo)論-劉珊58CanCanAKOLive-inHaveCanAKOCan運(yùn)動(dòng)吃動(dòng)物鳥魚翅膀水飛游泳例：用語義網(wǎng)絡(luò)表示：動(dòng)物能運(yùn)動(dòng)、會(huì)吃，鳥是一種動(dòng)物，鳥有翅膀、會(huì)飛；魚是一種動(dòng)物，魚生活在水中、會(huì)游泳。2.5語義網(wǎng)絡(luò)表示多元關(guān)系的表示用語義網(wǎng)絡(luò)表示多元關(guān)系時(shí)，可把它轉(zhuǎn)化為一個(gè)或多個(gè)二元關(guān)系的組合；然后再利用合取、析取等關(guān)系的表示方法，把多元關(guān)系表示出來。2023/1/11人工智能導(dǎo)論-劉珊592.5語義網(wǎng)絡(luò)表示動(dòng)作的表示設(shè)立一個(gè)動(dòng)作節(jié)點(diǎn)，用一些向外引出的弧來指出動(dòng)作的主體與客體。例：用于語義網(wǎng)絡(luò)表示“常河給江濤一個(gè)優(yōu)盤”2023/1/11人工智能導(dǎo)論-劉珊60GiftReceiverGiver給常河江濤一個(gè)優(yōu)盤2.5語義網(wǎng)絡(luò)表示情況的表示例：用語義網(wǎng)絡(luò)表示“小燕子這只燕子從春天到秋天占有一個(gè)巢”2023/1/11人工智能導(dǎo)論-劉珊61ISAAKOOwneeStartAKOAKOEndAKOAKOOwne