人工智能 第2版 課件 AI02知識(shí)表示

人工智能

ArtificialIntelligence

第二章知識(shí)表示KnowledgeRepresentation內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示22.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架什么是知識(shí)數(shù)據(jù)一般指單獨(dú)的事實(shí)，是信息的載體，數(shù)據(jù)項(xiàng)本身沒(méi)有什么意義，除非在一定的上下文中，否則沒(méi)有什么用處。信息由符號(hào)組成，如文字和數(shù)字，但是對(duì)符號(hào)賦予了一定的意義，因此有一定的用途或價(jià)值。知識(shí)也是由符號(hào)組成，但是還包括了符號(hào)之間的關(guān)系以及處理這些符號(hào)的規(guī)則或過(guò)程。知識(shí)在信息的基礎(chǔ)上增加了上下文信息，提供了更多的意義因此也就更加有用和有價(jià)值。知識(shí)是隨著時(shí)間的變化而動(dòng)態(tài)變化的，新的知識(shí)可以根據(jù)規(guī)則和已有的知識(shí)推導(dǎo)出來(lái)。2024/2/27人工智能：知識(shí)表示3什么是知識(shí)因此可以認(rèn)為知識(shí)是經(jīng)過(guò)加工的信息（Feigenbaum），它包括事實(shí)、信念和啟發(fā)式規(guī)則（Hayes-Roth）。關(guān)于知識(shí)的研究稱為認(rèn)識(shí)論（Epistemology），它涉及知識(shí)的本質(zhì)、結(jié)構(gòu)和起源。2024/2/27人工智能：知識(shí)表示4知識(shí)的特性相對(duì)正確性在一定的條件及環(huán)境下，知識(shí)一般是正確的，可信任的不確定性由隨機(jī)性引起的不確定性由模糊性引起的不確定性由不完全性引起的不確定性由經(jīng)驗(yàn)性引起的不確定性可表示性和可利用性知識(shí)是可以表示出來(lái)的知識(shí)是可以利用的2024/2/27人工智能：知識(shí)表示5知識(shí)表示知識(shí)表示就是研究用機(jī)器表示知識(shí)的可行性、有效性的一般方法，可以看作是將知識(shí)符號(hào)化并輸入到計(jì)算機(jī)的過(guò)程和方法。知識(shí)表示在智能系統(tǒng)的建造中起到關(guān)鍵的作用?？梢哉f(shuō)正是以適當(dāng)?shù)姆椒ū硎玖酥R(shí)，才導(dǎo)致智能系統(tǒng)展示出了智能行為。2024/2/27人工智能：知識(shí)表示6知識(shí)類型知識(shí)類型有三種：陳述性知識(shí)：也稱為描述性知識(shí)，是描述客觀事物的特點(diǎn)及其關(guān)系的知識(shí)。陳述性知識(shí)主要包括三個(gè)層次：符號(hào)表征、概念、命題。過(guò)程性知識(shí)：也稱為程序性知識(shí)，是關(guān)于問(wèn)題求解的操作步驟和過(guò)程的知識(shí)。這類知識(shí)主要用來(lái)解決“做什么”和“如何做”的問(wèn)題，可用來(lái)進(jìn)行操作和實(shí)踐。控制性知識(shí)：也稱為元知識(shí)、控制策略，是有關(guān)各種處理過(guò)程的策略和結(jié)構(gòu)的知識(shí)，用于選擇問(wèn)題求解的方法和技巧，協(xié)調(diào)整個(gè)問(wèn)題求解的過(guò)程。2024/2/27人工智能：知識(shí)表示7知識(shí)表示方法的要求充分表示領(lǐng)域知識(shí):首先考慮能不能充分表示領(lǐng)域知識(shí).要能反應(yīng)出領(lǐng)域的特點(diǎn)有利于知識(shí)的利用:表示的目的是為了利用知識(shí),求解問(wèn)題便于對(duì)知識(shí)的組織,維護(hù)和管理:便于今后的更新,維護(hù),保證其一致性和完整性便于理解和實(shí)現(xiàn):容易讓人理解并符合人的習(xí)慣.還有容易在計(jì)算機(jī)上實(shí)現(xiàn)2024/2/27人工智能：知識(shí)表示8內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示92.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架10謂詞邏輯法邏輯在知識(shí)的形式化表示和機(jī)器自動(dòng)定理證明方面發(fā)揮了重要的作用，其中最常用的邏輯是謂詞邏輯，命題邏輯可以看做謂詞邏輯的一種特殊形式。謂詞邏輯嚴(yán)格地按照相關(guān)領(lǐng)域的特定規(guī)則，以符號(hào)串形式描述該領(lǐng)域有關(guān)客體的表達(dá)式能夠把邏輯論證符號(hào)化，并用于證明定理，求解問(wèn)題。2024/2/27人工智能：知識(shí)表示11謂詞演算語(yǔ)法與語(yǔ)義基本符號(hào)：謂詞符號(hào)、變量符號(hào)、函數(shù)符號(hào)、常量符號(hào)、括號(hào)和逗號(hào)謂詞演算的解釋：謂詞符號(hào)——對(duì)應(yīng)關(guān)系，常量符號(hào)——論域?qū)嶓w，函數(shù)符號(hào)——對(duì)應(yīng)函數(shù)；原子公式：由若干謂詞符號(hào)和項(xiàng)組成的謂詞演算。原子公式是謂詞演算基本積木塊。項(xiàng)包括常量符號(hào)、變量符號(hào)、函數(shù)符號(hào)等。定義原子公式為真值或假值就表示了某種語(yǔ)義。無(wú)變量的原子公式取值確定，包含變量的原子公式取值不定。2024/2/27人工智能：知識(shí)表示12連詞與、合取（conjunction)：用連詞∧把幾個(gè)公式連接起來(lái)而構(gòu)成的公式。合取項(xiàng)是合取式的每個(gè)組成部分。例：LIKE(I，MUSIC)∧LIKE(I，PAINTING)

（我喜愛(ài)音樂(lè)和繪畫(huà)。）或、析?。╠isjunction）：用連詞∨把幾個(gè)公式連接起來(lái)而構(gòu)成的公式。析取項(xiàng)是析取式的每個(gè)組成部分例：PLAYS(LILI，BASKETBALL)∨PLAYS(LILI，F(xiàn)OOTBALL)（李力打籃球或踢足球。）蘊(yùn)涵（Implication）:“=>”表示“如果—那么”（IF—THEN）關(guān)系，其所構(gòu)成的公式叫做蘊(yùn)涵。非（Not）表示否定，～、—均可表示謂詞演算2024/2/27人工智能：知識(shí)表示13量詞

若一個(gè)原子公式P（x），對(duì)于所有可能變量x都具有T值，則用（x）P（x）表示 例如:所有的機(jī)器人都是灰色的 （x）[ROBOT(x)=>COLOR(x,GRAY)]存在量詞（ExistentialQuantifier）

若一個(gè)原子公式P（x），至少有一個(gè)變?cè)獂，可使P（x）為T(mén)值，則用（

x）P（x）表示。例：(x)INROOM(x,r1)（1號(hào)房間內(nèi)有個(gè)物體）謂詞演算全稱量詞（UniversalQuantifier）2024/2/27人工智能：知識(shí)表示14謂詞公式原子公式的的定義：用P(x1，x2，…，xn)表示一個(gè)n元謂詞公式，其中P為n元謂詞，x1,x2,…，xn為客體變量或變?cè)?。通常把P(x1,x2,…,xn)叫做謂詞演算的原子公式，或原子謂詞公式。謂詞公式可以用連詞把原子謂詞公式組成復(fù)合謂詞公式，并把它叫做謂詞公式。謂詞演算2024/2/27人工智能：知識(shí)表示15合式公式（WFF，well-formedformulas）合式公式的遞歸定義(1)原子謂詞公式是合式公式。(2)若A為合適公式，則～A也是一個(gè)合式公式。(3)若A和B都是合式公式，則(A∧B)，(A∨B)，(AB)和(A←→B)也都是合式公式。(4)若A是合式公式，x為A中的自由變?cè)瑒t(x)A和(x)A都是合式公式。(5)只有按上述規(guī)則(1)至(4)求得的那些公式，才是合式公式。例題：試把下列命題表示為謂詞公式：任何整數(shù)，或者為整數(shù)或者為負(fù)數(shù)。謂詞演算2024/2/27人工智能：知識(shí)表示16合式公式的性質(zhì)合式公式的真值表等價(jià)（Equivalence)

如果兩個(gè)合式公式，無(wú)論如何解釋，其真值表都是相同的，那么我們就稱此兩合式公式是等價(jià)的。T F T F FFPQP∨QP∧QP

Q～

PT T T T TFF T T F TTF F F F TT謂詞演算2024/2/27人工智能：知識(shí)表示17謂詞邏輯的推理將推理規(guī)則應(yīng)用于一定的合式公式（集），以產(chǎn)生新的合式公式。置換(Substitution)：在表達(dá)式中用置換項(xiàng)置換變量，例如用項(xiàng)（A）替換函數(shù)表達(dá)式中的變量（x）。一個(gè)表達(dá)式E（Expression）用一個(gè)置換S（Substitution）而得到的表達(dá)式的置換，記為ES。例題：表達(dá)式E：P[x,f(y),B]；置換：s1={z/x,w/y},s2={A/y},

s3={q(z)/x,A/y},s4={c/x,A/y}Solution: ES1=P[z,f(w),B];ES2=P[x,f(A),B]; ES3=P[q(z),f(A),B]; ES4=P[c,f(A),B]; ES1S2=P[z,f(w),B];ES2S1=P[z,f(A),B]

2024/2/27人工智能：知識(shí)表示18合一（Unification)：合一：尋找項(xiàng)對(duì)變量的置換，以使多個(gè)表達(dá)式一致的操作稱為合一。如果一個(gè)置換s作用于表達(dá)式集{Ei}的每個(gè)元素，則我們用{Ei}s來(lái)表示置換例的集?？珊弦唬喝绻嬖谥脫Qs使得表達(dá)式集{Ei}置換后有：E1S＝E2S＝E3S＝…,則我們稱表達(dá)式集{Ei}是可合一的，s稱為{Ei}的合一者。

例題：表達(dá)式集{P[x,f(y),B],P[x,f(B),B]}的合一者：

s

＝{A/x,B/y}說(shuō)明：P[x,f(y),B]s

＝P[x,f(B),B]s

＝P[A,f(B),B]謂詞邏輯的推理2024/2/27人工智能：知識(shí)表示19最通用的合一者：如果對(duì)表達(dá)式集{Ei}的任一合一者s，都存在某一s’，使得{Ei}s

＝{Ei}gs’，則稱g為{Ei}的最通用合一者。置換與合一的作用：謂詞邏輯推理的基本方法，就是尋找簡(jiǎn)單有效置換合一，采用消解原理利用消解反演方法求解問(wèn)題。謂詞邏輯的推理2024/2/27人工智能：知識(shí)表示內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示202.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)(productionsystem)的概念，最早是由帕斯特（PostE）于1943年提出的產(chǎn)生式規(guī)則得來(lái)的。他用這種規(guī)則對(duì)符號(hào)串作替換運(yùn)算。1965年美國(guó)的紐厄爾和西蒙利用這種原理建立了人類的認(rèn)知模型。同年，斯坦福大學(xué)設(shè)計(jì)第一個(gè)專家系統(tǒng)DENDRAL時(shí)，就采用產(chǎn)生式系統(tǒng)的結(jié)構(gòu)。產(chǎn)生式系統(tǒng)是目前已建立的專家系統(tǒng)中知識(shí)表示的主要手段之一，如MYCIN、CLIPS/JESS系統(tǒng)等。在產(chǎn)生式系統(tǒng)中，把推理和行為的過(guò)程用產(chǎn)生式規(guī)則表示，所以又稱基于規(guī)則的系統(tǒng)。2024/2/27人工智能：知識(shí)表示21產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)產(chǎn)生式規(guī)則條件

行動(dòng)前提

結(jié)論“ifPthenQ”注意：P和Q不一定總是用謂詞表示謂詞邏輯中的蘊(yùn)含式和產(chǎn)生式基本形式相同蘊(yùn)含式是產(chǎn)生式的一種特殊情況蘊(yùn)涵式知識(shí)產(chǎn)生式規(guī)則的特殊形式2024/2/27人工智能：知識(shí)表示22產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)解釋器沖突集/沖突消解器工作區(qū)規(guī)則庫(kù)匹配器2024/2/27人工智能：知識(shí)表示23產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)工作區(qū)綜合數(shù)據(jù)庫(kù)是用于存放問(wèn)題求解過(guò)程中各種當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu),包括原有信息,中間結(jié)果,最終結(jié)果等.規(guī)則的激活:當(dāng)規(guī)則庫(kù)中某條產(chǎn)生式的前提可與綜合數(shù)據(jù)庫(kù)中的某些已知事實(shí)匹配時(shí),該產(chǎn)生式就被激活綜合數(shù)據(jù)庫(kù)是不斷更新和變化的,是動(dòng)態(tài)的綜合數(shù)據(jù)庫(kù)也稱為：上下文、黑板、工作區(qū)等2024/2/27人工智能：知識(shí)表示24產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)控制子系統(tǒng)控制子系統(tǒng)負(fù)責(zé)整個(gè)產(chǎn)生式系統(tǒng)的運(yùn)行匹配器判斷規(guī)則條件是否成立，沖突消解器負(fù)責(zé)選擇可調(diào)用的規(guī)則，解釋器負(fù)責(zé)執(zhí)行規(guī)則的動(dòng)作，并在滿足結(jié)束條件時(shí)終止產(chǎn)生式系統(tǒng)的運(yùn)行。具體有：匹配規(guī)則條件部分；多于一條規(guī)則匹配成功時(shí)，選擇哪條規(guī)則執(zhí)行(點(diǎn)燃)；如何將匹配規(guī)則的結(jié)論部分放入綜合數(shù)據(jù)庫(kù)（是直接添加到數(shù)據(jù)庫(kù)中，還是替換其中的某些東西）；決定系統(tǒng)何時(shí)終止；2024/2/27人工智能：知識(shí)表示25產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)識(shí)別-動(dòng)作循環(huán)（1）從規(guī)則庫(kù)中尋找所有能夠和工作區(qū)中已有事實(shí)相匹配的規(guī)則，并將這些規(guī)則加入到?jīng)_突集中（2）若有多個(gè)規(guī)則存在，則根據(jù)沖突消解策略由沖突集中選擇一條規(guī)則執(zhí)行。（3）執(zhí)行規(guī)則中的動(dòng)作，根據(jù)動(dòng)作向工作區(qū)中加入新的事實(shí)或刪除舊的事實(shí)。2024/2/27人工智能：知識(shí)表示26例1八數(shù)碼游戲(eightpuzzle)237

514861238

47652024/2/27人工智能：知識(shí)表示27例1游戲說(shuō)明：一個(gè)棋盤(pán)有9個(gè)方格，放了8個(gè)數(shù)（1-8）；初始時(shí)，8個(gè)數(shù)隨機(jī)放置；數(shù)字移動(dòng)規(guī)則：空格周?chē)臄?shù)字可移動(dòng)到空格中；如果通過(guò)移動(dòng)數(shù)字，達(dá)到一個(gè)目標(biāo)狀態(tài)，則游戲成功結(jié)束；求一個(gè)走步序列;問(wèn)題：怎樣用一個(gè)產(chǎn)生式系統(tǒng)描述并解決上述問(wèn)題？2024/2/27人工智能：知識(shí)表示28例1產(chǎn)生式系統(tǒng)的描述:綜合數(shù)據(jù)庫(kù)：存放棋盤(pán)的狀態(tài)。棋盤(pán)的狀態(tài)：8個(gè)數(shù)字在棋盤(pán)上的位置分布。每走一步，狀態(tài)就會(huì)發(fā)生變化；存放棋盤(pán)的當(dāng)前狀態(tài)；規(guī)則：規(guī)則是數(shù)字移動(dòng)的方法。空格的移動(dòng):如果空格左邊有數(shù)字，則將左邊的數(shù)字移到空格上；如果空格右邊有數(shù)字，則將右邊的數(shù)字移到空格上；如果空格上邊有數(shù)字，則將上邊的數(shù)字移到空格上；如果空格下邊有數(shù)字，則將下邊的數(shù)字移到空格上；2024/2/27人工智能：知識(shí)表示29例2問(wèn)題：設(shè)字符轉(zhuǎn)換規(guī)則

A∧B→C A∧C→D B∧C→G B∧E→F D→E

已知：A，B

求：F2024/2/27人工智能：知識(shí)表示30一、綜合數(shù)據(jù)庫(kù) {x}，其中x為字符二、規(guī)則集

1，IFA∧BTHENC 2，IFA∧CTHEND 3，IFB∧CTHENG 4，IFB∧ETHENF 5，IFDTHENE例22024/2/27人工智能：知識(shí)表示31三、控制策略 順序排隊(duì)四、初始條件 {A，B}五、結(jié)束條件

F∈{x}例22024/2/27人工智能：知識(shí)表示32產(chǎn)生式系統(tǒng)的推理正向推理:從已知事實(shí)出發(fā),通過(guò)規(guī)則庫(kù)求得結(jié)論.也稱為數(shù)據(jù)驅(qū)動(dòng)方式,或從底向上的方式反向推理:從目標(biāo)出發(fā).反向使用規(guī)則,求得已知事實(shí),或稱目標(biāo)驅(qū)動(dòng),自頂向下.雙向推理:既自頂向下,又自底向上相結(jié)合得方法.直至某個(gè)中間界面兩方向結(jié)果相符便成功結(jié)束.2024/2/27人工智能：知識(shí)表示33正向推理推理過(guò)程正向推理推理過(guò)程(1)規(guī)則庫(kù)中的規(guī)則與數(shù)據(jù)庫(kù)中的事實(shí)進(jìn)行匹配,得到匹配成功的規(guī)則集合(2)從匹配規(guī)則集中選擇一條規(guī)則作為使用規(guī)則(3)執(zhí)行使用規(guī)則的后件,將該規(guī)則的后件送入數(shù)據(jù)庫(kù).重復(fù)上述過(guò)程直到達(dá)到目標(biāo)2024/2/27人工智能：知識(shí)表示34反向推理推理過(guò)程反向推理推理過(guò)程(1)規(guī)則集合中的規(guī)則后件與目標(biāo)事實(shí)進(jìn)行匹配,得到匹配的規(guī)則集合(2)從匹配規(guī)則集合中選擇一條規(guī)則作為使用規(guī)則(3)將使用規(guī)則的前件作為子目標(biāo)重復(fù)上述過(guò)程,直到各子目標(biāo)均為已知事實(shí)成功結(jié)束2024/2/27人工智能：知識(shí)表示35產(chǎn)生式系統(tǒng)的特點(diǎn)優(yōu)點(diǎn)(1)自然性(2)模塊性(3)有效性既可表示確定性知識(shí),又可表示非確定性知識(shí),既可表示啟發(fā)式知識(shí),又可表示過(guò)程性知識(shí)(4)清晰性:格式固定,結(jié)構(gòu)簡(jiǎn)單,便于一致性,完整性檢查不足之處效率不高:匹配-沖突消解-執(zhí)行,并且可能產(chǎn)生組合爆炸不能表達(dá)具有結(jié)構(gòu)性的知識(shí)2024/2/27人工智能：知識(shí)表示36內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示372.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架語(yǔ)義網(wǎng)絡(luò)基本概念語(yǔ)義網(wǎng)絡(luò)是通過(guò)概念及其語(yǔ)義關(guān)系來(lái)表達(dá)知識(shí)的一種網(wǎng)絡(luò)圖,是一種“帶標(biāo)識(shí)”的有向圖.節(jié)點(diǎn)表示各種事物,概念,情況,屬性,動(dòng)作,狀態(tài)等.弧表示各種語(yǔ)義關(guān)系(節(jié)點(diǎn)1,弧,節(jié)點(diǎn)2)也可表示為:

當(dāng)把多個(gè)基本的網(wǎng)絡(luò)通過(guò)相應(yīng)的語(yǔ)義關(guān)聯(lián)在一起時(shí),就得到一個(gè)語(yǔ)義網(wǎng)絡(luò)ABR2024/2/27人工智能：知識(shí)表示38常用的語(yǔ)義聯(lián)系ISA,AKO,Part-of,Infer等A-Member-of:表示個(gè)體與集體之間的關(guān)系.Composed-of:表示“構(gòu)成”聯(lián)系,是一種一對(duì)多的聯(lián)系Have:表示屬性或事物的“占用”關(guān)系.如鳥(niǎo)有翅膀Before,After,At:表示事物之間的時(shí)間先后順序Located-on(-at,-under,-inside,outside):表示事物之間的位置關(guān)系Similar-to,Near-to:表示事物之間的相似或接近的關(guān)系2024/2/27人工智能：知識(shí)表示3940(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)。這樣便以聯(lián)想方式實(shí)現(xiàn)對(duì)系統(tǒng)的解釋。(2)由于與概念相關(guān)的屬性和聯(lián)系被組織在一個(gè)相應(yīng)的節(jié)點(diǎn)中,因而使概念易于受訪和學(xué)習(xí)。(3）表現(xiàn)問(wèn)題更加直觀,更易于理解,適于知識(shí)工程師與領(lǐng)域?qū)＜业臏贤āＵZ(yǔ)義網(wǎng)絡(luò)中的繼承方式也符合人類的思維習(xí)慣。(4)語(yǔ)義網(wǎng)絡(luò)結(jié)構(gòu)的語(yǔ)義解釋依賴于該結(jié)構(gòu)的推理過(guò)程而沒(méi)有結(jié)構(gòu)的約定,因而得到的推理不能保證像謂詞邏輯法那樣有效。(5）節(jié)點(diǎn)間的聯(lián)系可能是線狀、樹(shù)狀或網(wǎng)狀的,甚至是遞歸狀的結(jié)構(gòu),使相應(yīng)的知識(shí)存儲(chǔ)和檢索可能需要比較復(fù)雜的過(guò)程。

語(yǔ)義網(wǎng)絡(luò)的特點(diǎn)2024/2/27人工智能：知識(shí)表示41表示一些簡(jiǎn)單事實(shí)，如占有關(guān)系和其它情況：以節(jié)點(diǎn)表示實(shí)體與概念，節(jié)點(diǎn)間關(guān)系以有向鏈關(guān)聯(lián)。例：小燕是一只燕子，燕子是一種鳥(niǎo)，鳥(niǎo)有翅膀；巢-1是小燕的巢，巢-1是巢中的一個(gè)。問(wèn)題： 上述的語(yǔ)義網(wǎng)絡(luò)為二元關(guān)系，無(wú)法表示復(fù)雜事實(shí)，如：小燕從春天到秋天占有巢－1。 如果采用謂詞邏輯表示為一個(gè)四元謂詞演算：

Owns（XIAOYAN,NET-1,SPRING,FALL）

二元語(yǔ)義網(wǎng)絡(luò)的表示SWALLOWBIRDXIAOYANNEST-1NESTISAISAISAOWNSHAS-PARTWINGS2024/2/27人工智能：知識(shí)表示42

-允許節(jié)點(diǎn)既可以表示一個(gè)物體或一組物體，也可以表示情況與動(dòng)作。每一情況節(jié)點(diǎn)成為事例框，有一組向外的弧，用以說(shuō)明與該事例有關(guān)的各種變量。SWALLOWBIRDXIAOYANNEST-1NESTISAISAISAOWNEEOWN-1OWNERSPRINGFALLSITUATIONTIMEOWNERSHIPISAISAISAISASTARTTIMEENDTIMESimmons與Slocum的擴(kuò)展2024/2/27人工智能：知識(shí)表示43問(wèn)題：如果語(yǔ)義網(wǎng)絡(luò)只表示一個(gè)特定的物體或概念，那么當(dāng)有更多不直接相關(guān)的同類實(shí)體與概念時(shí)，需要很多獨(dú)立的語(yǔ)義網(wǎng)絡(luò)，使得語(yǔ)義網(wǎng)絡(luò)圖復(fù)雜化。Solution：通常需要把有關(guān)的一組物體或概念的知識(shí)用一個(gè)語(yǔ)義網(wǎng)絡(luò)表示出來(lái)，否則會(huì)造成網(wǎng)絡(luò)過(guò)多，使問(wèn)題復(fù)雜化。試圖用一組基元來(lái)表示知識(shí)，以便簡(jiǎn)化表示，并可用簡(jiǎn)單的知識(shí)來(lái)表示更復(fù)雜的知識(shí)，稱為選擇語(yǔ)義基元。REDMYCARCOLORGREENLIHUA’CARCOLOR選擇語(yǔ)義基元2024/2/27人工智能：知識(shí)表示44FURNITURECHAIRMYCARLEATHERSEATBROWNPERSONXISAOWNERISAISAISAPARTCOLORCOVERING椅子的語(yǔ)義網(wǎng)絡(luò)2024/2/27人工智能：知識(shí)表示45語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程語(yǔ)義網(wǎng)絡(luò)表示知識(shí)，沒(méi)有形式語(yǔ)義，沒(méi)有統(tǒng)一的語(yǔ)義表示法。為了便于下面的敘述,對(duì)所用符號(hào)作進(jìn)一步的規(guī)定。區(qū)分在鏈的頭部和在鏈的尾部的節(jié)點(diǎn),把在鏈的尾部的節(jié)點(diǎn)稱為值節(jié)點(diǎn)。另外,還規(guī)定節(jié)點(diǎn)的槽相當(dāng)于鏈,不過(guò)取不同的名字而已。如磚塊12(BRICK12)有3個(gè)鏈,構(gòu)成兩個(gè)槽。其中一個(gè)槽只有一個(gè)值,另外一個(gè)槽有兩個(gè)值。顏色槽(COLOR)填入紅色(RED)ISA槽填入了磚塊(BRICK)和玩具(TOY)

。2024/2/27人工智能：知識(shí)表示46所謂繼承就是對(duì)事物的描述從概念節(jié)點(diǎn)或類節(jié)點(diǎn)傳遞到實(shí)例節(jié)點(diǎn)，例如下圖。語(yǔ)義網(wǎng)絡(luò)的繼承推理2024/2/27人工智能：知識(shí)表示47三種繼承模式值繼承：ISA鏈與AKO（AKindOf）鏈，常用知識(shí)傳遞方法；放入值側(cè)面中?！叭绻枰保↖f－needed）鏈：有時(shí)對(duì)不知道的槽值，可以計(jì)算得到，通過(guò)此計(jì)算程序得到知識(shí)的模式稱為if－needed鏈，如通過(guò)體積與密度在需要時(shí)可以計(jì)算其質(zhì)量。if－needed程序放入IF－NEEDED側(cè)面中?！叭笔　崩^承：在對(duì)事務(wù)所作假設(shè)無(wú)十分把握時(shí)，可以加上“可能”字樣，這種不肯定的值稱為“缺省”值，放入槽的DEFAULT側(cè)面中。語(yǔ)義網(wǎng)絡(luò)的繼承推理2024/2/27人工智能：知識(shí)表示48當(dāng)解決涉及由幾部分組成的事物時(shí)

,必須制定把值從類部件傳遞到實(shí)例部件的路徑，稱為匹配推理。例如,由于TOY-HOUSE77是TOY-HOUSE的一個(gè)實(shí)例,所以它必須有兩個(gè)部件,一個(gè)是磚塊,另一個(gè)是模塊(wedge)。另外,作為玩具房的一個(gè)部件的磚塊必須支撐模塊。在下圖中,玩具房-77部件以及它們之間的鏈,都用虛線畫(huà)的節(jié)點(diǎn)和箭頭來(lái)表示。因?yàn)檫@些知識(shí)是通過(guò)繼承而間接知道的,并不是通過(guò)實(shí)際的節(jié)點(diǎn)和鏈直接知道的。因此,虛線所表示的節(jié)點(diǎn)以及箭頭所表示的鏈?zhǔn)翘摴?jié)點(diǎn)和虛鏈。語(yǔ)義網(wǎng)絡(luò)的匹配推理2024/2/27人工智能：知識(shí)表示內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示492.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架50框架表示框架：框架是一種結(jié)構(gòu)化表示法，通常采用語(yǔ)義網(wǎng)絡(luò)中的節(jié)點(diǎn)-槽-值表示結(jié)構(gòu)，以通用數(shù)據(jù)結(jié)構(gòu)的形式存儲(chǔ)以往的經(jīng)驗(yàn)知識(shí)。框架與語(yǔ)義網(wǎng)絡(luò)的關(guān)系：框架可以定義為一組語(yǔ)義網(wǎng)絡(luò)的節(jié)點(diǎn)與槽，這組節(jié)點(diǎn)與槽可以描述格式固定的事務(wù)、行為和事件；語(yǔ)義網(wǎng)絡(luò)是節(jié)點(diǎn)和弧線的集合，也可以看作框架的集合。思考：框架與語(yǔ)義網(wǎng)絡(luò)的區(qū)別？2024/2/27人工智能：知識(shí)表示51框架的構(gòu)成框架通常由描述事務(wù)的各個(gè)方面的槽組成，每個(gè)槽可以擁有若干個(gè)側(cè)面，而每個(gè)側(cè)面可以擁有若干個(gè)值?？蚣艿囊话憬Y(jié)構(gòu)：

<框架名> <槽1><側(cè)面11><值111>… <側(cè)面12><值121>… … <槽1><側(cè)面21><值211>… <側(cè)面22><值221>… … … <槽1><側(cè)面n1><值n11>… <側(cè)面n2><值n21>… … <側(cè)面nm><值nm1>…2024/2/27人工智能：知識(shí)表示52賓館房間的框架描述2024/2/27人工智能：知識(shí)表示53框架系統(tǒng)的基本推理方法特性繼承，例如：燕子－>鳥(niǎo)部分匹配，例如TOY－HOUSE從描述中直接引用，例如：ROOM的例子各槽值的相關(guān)信息可以指導(dǎo)進(jìn)行該槽值的描述，思考：框架是一種規(guī)定格式描述的事務(wù)、行為與事件。那么對(duì)于具體的應(yīng)用，當(dāng)直接套用框架知識(shí)推理不順利時(shí)，框架推理的策略？框架的推理2024/2/27人工智能：知識(shí)表示54選擇與當(dāng)前情況對(duì)應(yīng)的框架片斷，與其他候選框架相匹配，選擇最佳匹配；（知識(shí)的合成、交叉）允許部分不相匹配的信息，如漏失某項(xiàng)特性比多了某項(xiàng)特性更合理，比如只有一條腿的人比有三條腿的人更合理；（合理推斷）查詢框架之間保存有關(guān)的連接，指出應(yīng)用此框架不合理的情況下，可以下一步試探的建議框架；沿著框架系統(tǒng)的層次向上搜索，知道找到足夠通用、與事實(shí)不矛盾的框架，或直接使用，或者建立新的下一層框架。（類型匹配與新類生成）框架推理的選擇方法2024/2/27人工智能：知識(shí)表示內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示552.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架56狀態(tài)空間表示問(wèn)題求解技術(shù)主要是兩個(gè)方面：?jiǎn)栴}的表示求解的方法狀態(tài)空間法狀態(tài)（state）:表示問(wèn)題解法中每一步問(wèn)題狀況的數(shù)據(jù)結(jié)構(gòu)算符（operator):把問(wèn)題從一種狀態(tài)變換為另一種狀態(tài)的手段狀態(tài)空間方法:基于解答空間的問(wèn)題表示和求解方法，它是以狀態(tài)和算符為基礎(chǔ)來(lái)表示和求解問(wèn)題的2024/2/27人工智能：知識(shí)表示57問(wèn)題狀態(tài)描述狀態(tài)(State)：描述某類不同事物間的差別而引入的一組最少變量q0，q1，…，qn的有序集合。算符(Operate)：使問(wèn)題從一種狀態(tài)變化為另一種狀態(tài)的手段稱為操作符或算符。問(wèn)題的狀態(tài)空間(StateSpace)：是一個(gè)表示該問(wèn)題全部可能狀態(tài)及其關(guān)系的圖，它包含三種說(shuō)明的集合，即三元狀態(tài)（S，F(xiàn)，G）。2024/2/27人工智能：知識(shí)表示58狀態(tài)空間法：從某個(gè)初始狀態(tài)開(kāi)始，每次加一個(gè)操作符，遞增的建立起操作符的實(shí)驗(yàn)序列，直到達(dá)到目標(biāo)狀態(tài)止。例如下棋、迷宮及各種游戲。OriginalStateMiddleStateGoalState……狀態(tài)空間描述2024/2/27人工智能：知識(shí)表示59例:三數(shù)碼難題123123123312312312初始棋局目標(biāo)棋局2024/2/27人工智能：知識(shí)表示60狀態(tài)空間也可以用一個(gè)賦值的有向圖來(lái)表示，該有向圖稱為狀態(tài)空間圖。在狀態(tài)空間圖中包含了操作和狀態(tài)之間的轉(zhuǎn)換關(guān)系，節(jié)點(diǎn)表示問(wèn)題的狀態(tài)，有向邊表示操作。路徑

某個(gè)節(jié)點(diǎn)序列（ni1，ni2，…，nik）當(dāng)j=2，3，…，k時(shí)，如果對(duì)于每一個(gè)ni，j-1都有一個(gè)后繼節(jié)點(diǎn)ni，j存在，那么就把這個(gè)節(jié)點(diǎn)序列叫做從節(jié)點(diǎn)ni1至節(jié)點(diǎn)nik的長(zhǎng)度為k的路徑代價(jià)用c（ni，nj）來(lái)表示從節(jié)點(diǎn)ni指向節(jié)點(diǎn)nj的那段弧線的代價(jià)。兩點(diǎn)間路徑的代價(jià)等于連接該路徑上各節(jié)點(diǎn)的所有弧線代價(jià)之和.狀態(tài)空間圖2024/2/27人工智能：知識(shí)表示內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8腳本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示612.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架62認(rèn)為世界由各種“對(duì)象”組成，每個(gè)對(duì)象類都定義了所謂“方法”（method），它們實(shí)際上可視為允許作用于該類對(duì)象上的各種操作。面向?qū)ο笾R(shí)表示方法與框架表示方法有許多相似之處，如層次分類和特性繼承機(jī)制等。但由于應(yīng)用目標(biāo)不同，實(shí)現(xiàn)和使用方式有較大區(qū)別?？蚣鼙硎痉ㄖ荚谥С种R(shí)的陳述性表示，強(qiáng)調(diào)事物的結(jié)構(gòu)化描述和對(duì)人思維方式的模擬。面向?qū)ο蟊硎痉▌t強(qiáng)調(diào)信息的結(jié)構(gòu)化處理，注重信息和信息處理的封裝和程序設(shè)計(jì)的模塊化。面向?qū)ο蟮闹R(shí)表示2024/2/27人工智能：知識(shí)表示內(nèi)容提要2.6狀態(tài)空間

2.7面向?qū)ο蟮闹R(shí)表示2.8劇本2.9本體2.10小結(jié)2024/2/27人工智能：知識(shí)表示632.1概述

2.2謂詞邏輯

2.3產(chǎn)生式系統(tǒng)

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

2.5框架64劇本（Script）表示提問(wèn)：框架中對(duì)事件的描述有什么不足？定義：劇本是框架的特殊形式，它用一組槽值描述事件發(fā)生的序列。劇本的構(gòu)成：（1）開(kāi)場(chǎng)條件（事件發(fā)生的前提條件）（2）角色（有關(guān)人物的槽值）（3）道具（有關(guān)物體的槽值）（4）場(chǎng)景（事件的順序，場(chǎng)景可以是其他劇本）（5）結(jié)果（事件發(fā)生后的結(jié)果）2024/2/27人工智能：知識(shí)表示65(1)開(kāi)場(chǎng)條件

(a)顧客餓了,需要進(jìn)餐。

(b)顧客有足夠的錢(qián)。(2)角色：顧客,服務(wù)員,廚師,老板。(3)道具：食品,桌子,菜單,錢(qián)。(4)場(chǎng)景場(chǎng)景

l進(jìn)入餐廳(a)顧客走入餐廳(b)尋找桌子(c)