【正文】 人工智能 Artificial Intelligence 第二章 史忠植 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 知識(shí)表示 Knowledge Representation 內(nèi)容提要 狀態(tài)空間 面向?qū)ο蟮闹R(shí)表示 劇 本 本體 小結(jié) 2020/11/4 史忠植 人工智能：知識(shí)表示 2 概述 謂詞邏輯 產(chǎn)生式系統(tǒng) 語(yǔ)義網(wǎng)絡(luò) 框架 什么是知識(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)。 2020/11/4 史忠植 人工智能：知識(shí)表示 3 什么是知識(shí) ?因此可以認(rèn)為知識(shí)是經(jīng)過(guò)加工的信息（Feigenbaum）， 它包括事實(shí)、信念和啟發(fā)式規(guī)則（ HayesRoth）。 ?關(guān)于知識(shí)的研究稱(chēng)為認(rèn)識(shí)論（ Epistemology）， 它涉及知識(shí)的本質(zhì)、結(jié)構(gòu)和起源。 2020/11/4 史忠植 人工智能：知識(shí)表示 4 知識(shí)的特性 ?相對(duì)正確性 ?在一定的條件及環(huán)境下，知識(shí)一般是正確的，可信任的 ?不確定性 ?由隨機(jī)性引起的不確定性 ?由模糊性引起的不確定性 ?由不完全性引起的不確定性 ?由經(jīng)驗(yàn)性引起的不確定性 ?可表示性和可利用性 ?知識(shí)是可以表示出來(lái)的 ?知識(shí)是可以利用的 2020/11/4 史忠植 人工智能：知識(shí)表示 5 知識(shí)表示 ?知識(shí)表示就是研究用機(jī)器表示知識(shí)的可行性 、有效性的一般方法 ， 可以看作是將知識(shí)符號(hào)化并輸入到計(jì)算機(jī)的過(guò)程和方法 。 ?知識(shí)表示在智能系統(tǒng)的建造中起到關(guān)鍵的作用。 可以說(shuō)正是以適當(dāng)?shù)姆椒ū硎玖酥R(shí) ， 才導(dǎo)致智能系統(tǒng)展示出了智能行為 。 2020/11/4 史忠植 人工智能：知識(shí)表示 6 知識(shí)類(lèi)型 知識(shí)類(lèi)型有三種： ?陳述性知識(shí)： 也稱(chēng)為描述性知識(shí) ， 是描述客觀事物的特點(diǎn)及其關(guān)系的知識(shí) 。 陳述性知識(shí)主要包括三個(gè)層次：符號(hào)表征 、 概念 、 命題 。 ?過(guò)程性知識(shí)： 也稱(chēng)為程序性知識(shí) ， 是關(guān)于問(wèn)題求解的操作步驟和過(guò)程的知識(shí) 。 這類(lèi)知識(shí)主要用來(lái)解決 “ 做什么” 和 “ 如何做 ” 的問(wèn)題 ， 可用來(lái)進(jìn)行操作和實(shí)踐 。 ?控制性 知識(shí)： 也稱(chēng)為 元知識(shí) 、 控制策略 ， 是有關(guān)各種處理過(guò)程的策略和結(jié)構(gòu)的知識(shí) ， 用于選擇問(wèn)題求解的方法和技巧 ， 協(xié)調(diào)整個(gè)問(wèn)題求解的過(guò)程 。 2020/11/4 史忠植 人工智能：知識(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) 2020/11/4 史忠植 人工智能：知識(shí)表示 8 內(nèi)容提要 狀態(tài)空間 面向?qū)ο蟮闹R(shí)表示 劇 本 本體 小結(jié) 2020/11/4 史忠植 人工智能：知識(shí)表示 9 概述 謂詞邏輯 產(chǎn)生式系統(tǒng) 語(yǔ)義網(wǎng)絡(luò) 框架 10 謂詞邏輯法 邏輯在知識(shí)的形式化表示和機(jī)器自動(dòng)定理證明方面發(fā)揮了重要的作用，其中最常用的邏輯是謂詞邏輯，命題邏輯可以看做謂詞邏輯的一種特殊形式。謂詞邏輯 嚴(yán)格地按照相關(guān)領(lǐng)域的特定規(guī)則，以符號(hào)串形式描述該領(lǐng)域有關(guān)客體的表達(dá)式能夠把邏輯論證符號(hào)化，并用于證明定理，求解問(wèn)題。 2020/11/4 史忠植 人工智能：知識(shí)表示 11 謂詞演算 語(yǔ)法與語(yǔ)義 – 基本符號(hào)：謂詞符號(hào)、變量符號(hào)、函數(shù)符號(hào)、 常量符號(hào)、括號(hào)和逗號(hào) – 謂詞演算的解釋?zhuān)? ? 謂詞符號(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ú)變量的原子公式取值確定，包含變量的原子公式取值不定。 2020/11/4 史忠植 人工智能：知識(shí)表示 12 連詞 ? 與、合取 （ conjunction)：用連詞 ∧ 把幾個(gè)公式連接起來(lái)而構(gòu)成的公式。合取項(xiàng)是合取式的每個(gè)組成部分。 例： LIKE(I， MUSIC)∧LIKE(I ， PAINTING) （我喜愛(ài)音樂(lè)和繪畫(huà)。） ? 或、析取 （ disjunction）：用連詞 ∨ 把幾個(gè)公式連接起來(lái)而構(gòu)成的公式。析取項(xiàng)是析取式的每個(gè)組成部分 例： PLAYS(LILI， BASKETBALL)∨PLAYS(LILI ， FOOTBALL) （李力打籃球或踢足球。） ? 蘊(yùn)涵 （ Implication） :“=” 表示“如果 — 那么”（ IF— THEN）關(guān)系，其所構(gòu)成的公式叫做蘊(yùn)涵。 ? 非 （ Not）表示否定，～、 — 均可表示 謂詞演算 2020/11/4 史忠植 人工智能：知識(shí)表示 13 量詞 若一個(gè)原子公式 P（ x），對(duì)于所有可能變量 x都具有T值， 則用 （ ? x） P（ x）表示 例如 : 所有的機(jī)器人都是灰色的 （ ? x ） [ ROBOT(x) = COLOR(x,GRAY) ] ? 存在量詞 （ Existential Quantifier） 若一個(gè)原子公式 P（ x），至少有一個(gè)變?cè)?x，可使 P （ x）為 T值， 則用（ ? x） P（ x）表示。 例： (?x)INROOM(x,r1)（ 1號(hào)房間內(nèi)有個(gè)物體） 謂詞演算 ? 全稱(chēng)量詞 （ Universal Quantifier） 2020/11/4 史忠植 人工智能：知識(shí)表示 14 謂詞公式 ? 原子公式的的定義： 用 P(x1， x2， … ， xn)表示一個(gè) n元謂詞公式，其中 P為n元謂詞， x1,x2,… ， xn為客體變量或變?cè)?。通常把P(x1,x2,…, xn)叫做謂詞演算的 原子公式 ，或 原子謂詞公式 。 ? 謂詞公式 可以用連詞把原子謂詞公式組成復(fù)合謂詞公式，并把它叫做 謂詞公式 。 謂詞演算 2020/11/4 史忠植 人工智能：知識(shí)表示 15 ? 合式公式（ WFF， wellformed formulas） – 合式公式的遞歸定義 (1)原子謂詞公式是合式公式。 (2)若 A為合適公式，則～ A也是一個(gè)合式公式。 (3)若 A和 B都是合式公式，則 (A∧B) ， (A∨B) ，(A B)和 (A←→B) 也都是合式公式。 (4)若 A是合式公式， x為 A中的自由變?cè)瑒t ( x)A和 ( x)A