版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、2021-11-31第二章第二章 知識表達技術知識表達技術 2021-11-32課程的基本內容與要求課程的基本內容與要求知識的概念與含義,知識類型和知識模型的變換;重點介紹幾種常用的知識表達法狀態(tài)空間表示法、與/或圖表示法、產生式系統(tǒng)、知識的邏輯表達方法、語義網絡、框架表達法、特征表表達法和面向對象的表達法。掌握知識表達的基本概念,學會劃分知識的類型和理解知識模型變換在解決人工智能問題的過程中的作用與意義;學會如何將一個具體的問題,用所介紹的知識表達方法來表示;初步體會在各種知識表達方法中,其知識機構是如何隨知識的運用而變化的。知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀
2、態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-33知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-342021-11-352 21 1 知識的概念與含義知識的概念與含義 智能行為智能行為知識知識對知識的獲取、表達、搜
3、索、分析、解答等智能對知識的獲取、表達、搜索、分析、解答等智能能力能力 感性知識與理性知識,經驗知識與理論知識智能表現(xiàn)在: 知識的獲取能力 知識的處理能力 知識的運用能力知識:知識:是人們對自然現(xiàn)象的認識和從中總結出來的規(guī)律、經驗2021-11-36 K = F+R+CK = F+R+CK K表示表示知識項知識項(Knowledge items)(Knowledge items)F F表示表示事實事實(Facts)(Facts)人類對客觀世界、客觀事物的人類對客觀世界、客觀事物的狀態(tài)、屬性、特征的描述,以及對事物之間關系的描狀態(tài)、屬性、特征的描述,以及對事物之間關系的描述述 R R表示表示規(guī)則
4、規(guī)則(Rules)(Rules)能表達在前提與結論之間的因能表達在前提與結論之間的因果關系的一種形式果關系的一種形式 C C表示表示概念概念(Concepts)(Concepts)事實的含義規(guī)則語義說明事實的含義規(guī)則語義說明等等2.1 2.1 知識的概念與含義知識的概念與含義 知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-372021-11-382.2 2.2 知識表達技
5、術知識表達技術 敘述型知識敘述型知識有關系統(tǒng)狀態(tài)、環(huán)境和條件,問題的概念、有關系統(tǒng)狀態(tài)、環(huán)境和條件,問題的概念、定義和事實的知識。定義和事實的知識。過程型知識過程型知識有關系統(tǒng)狀態(tài)變化、問題求解過程的操作、有關系統(tǒng)狀態(tài)變化、問題求解過程的操作、演算和行動的知識。演算和行動的知識??刂菩椭R控制型知識有有關如何選擇相應的操作、演算和行動的比關如何選擇相應的操作、演算和行動的比較、判斷、管理和決策的知識。較、判斷、管理和決策的知識。例:例:對于從北京到上海,是乘飛機還是坐火車的問題。對于從北京到上海,是乘飛機還是坐火車的問題。 敘述型知識:北京、上海、飛機、火車、時間、費用。敘述型知識:北京、上海
6、、飛機、火車、時間、費用。 過程型知識:乘飛機、坐火車。過程型知識:乘飛機、坐火車。 控制型知識:乘飛機較快、較貴;控制型知識:乘飛機較快、較貴;坐火車較慢、較便宜。坐火車較慢、較便宜。 2021-11-39對于不同的知識表達方法,有不同的形式化知識模型。知識模型變換知識模型變換 同構:同構:問題的解答等價于原始問題的解答問題的解答等價于原始問題的解答 同態(tài):同態(tài):可使問題更加簡化,易于求解可使問題更加簡化,易于求解 同構同構/ /同態(tài)變換同態(tài)變換同構變換(明確)同態(tài)變換(簡化)難求解便于求解等價易求解蘊含原始問題同構問題同態(tài)問題原始解答同構解答同態(tài)解答2.2 2.2 知識表達技術知識表達技術
7、 2021-11-310【例例2 21 1】方格棋盤分割問題方格棋盤分割問題 原始問題原始問題: :2n2n2n2n方格盤,去掉對頂角上兩方格,問能否將它分割為方格盤,去掉對頂角上兩方格,問能否將它分割為若干若干1 12 2長方塊?長方塊?直接求解直接求解: :考察考察(2(2n)2) (2(2n)2) 種可能分割方案,且隨著種可能分割方案,且隨著n n增大,會增大,會“組組合爆炸合爆炸”2.2 2.2 知識表達技術知識表達技術 2021-11-311【例例2 21 1】方格棋盤分割問題方格棋盤分割問題 同構問題同構問題: :方格相間著色方格相間著色, ,無論無論n n為何值,對頂角上兩方格同
8、色,去掉后白格為何值,對頂角上兩方格同色,去掉后白格與黑格的數目間差值為與黑格的數目間差值為2 2最后剩的必是同色兩方格最后剩的必是同色兩方格 因因同構問題同構問題無解,等價的原始問題無解。無解,等價的原始問題無解。2.2 2.2 知識表達技術知識表達技術 2021-11-312【例例2 21 1】方格棋盤分割問題方格棋盤分割問題 同態(tài)問題:同態(tài)問題:同態(tài)變換同態(tài)變換序對序對 。初始狀態(tài):初始狀態(tài):2n-2,目標狀態(tài):目標狀態(tài):。分割操作:每操作,分割出一長方塊,割去一白格和一黑格,使狀態(tài)變量都分割操作:每操作,分割出一長方塊,割去一白格和一黑格,使狀態(tài)變量都減去減去1 1。經過。經過2n2n
9、2 2-2-2次操作后,狀態(tài)變?yōu)榇尾僮骱螅瑺顟B(tài)變?yōu)?,不可能達到,不可能達到因因同態(tài)問題無解,蘊含著其原始問題也無解同態(tài)問題無解,蘊含著其原始問題也無解 2.2 2.2 知識表達技術知識表達技術 知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-3132021-11-3142.3 2.3 狀態(tài)空間表達狀態(tài)空間表達 2.3.12.3.1狀態(tài)空間表達法的概念狀態(tài)空間表達法的概念狀態(tài)
10、狀態(tài)用來表示系統(tǒng)狀態(tài)用來表示系統(tǒng)狀態(tài),事實等敘述型知識的一組變量或數組事實等敘述型知識的一組變量或數組Q=q1, q2, , qnt操作操作是用來表示引起狀態(tài)變化的過程型知識的一組關系或函數是用來表示引起狀態(tài)變化的過程型知識的一組關系或函數F: f1, f2, , fm狀態(tài)空間狀態(tài)空間(State Space)是利用狀態(tài)變量和操作符號,表示系統(tǒng)或問題的是利用狀態(tài)變量和操作符號,表示系統(tǒng)或問題的有關知識的符號體系,狀態(tài)空間是一個有關知識的符號體系,狀態(tài)空間是一個四元組(四元組(S,O,S0,G):S狀態(tài)集合狀態(tài)集合;O操作算子集合操作算子集合;S0初始狀態(tài)初始狀態(tài),S0 S;G目的目的狀態(tài)狀態(tài),
11、G S,(G可以是若干具體狀態(tài),也可以是滿足某些性質的路徑可以是若干具體狀態(tài),也可以是滿足某些性質的路徑信息描述信息描述)。狀態(tài)空間的一個解狀態(tài)空間的一個解是一有限操作算子序列,它使初始狀態(tài)轉換為目標是一有限操作算子序列,它使初始狀態(tài)轉換為目標狀態(tài):狀態(tài): O1 O2 O3 Ok S0S1S2G其中其中O1,Ok即為狀態(tài)空間的一個解即為狀態(tài)空間的一個解(解往往不是唯一的解往往不是唯一的) 2021-11-3152.3.2 2.3.2 狀態(tài)空間表達法的例子狀態(tài)空間表達法的例子【例例2 22 2】八數碼問題的狀態(tài)空間八數碼問題的狀態(tài)空間在一在一3 33 3方格盤,放方格盤,放1 1到到8 8八個數
12、碼,另一格為空。八個數碼,另一格為空??崭袼闹苌舷伦笥覕荡a可移到空格。一布局:空格四周上下左右數碼可移到空格。一布局: 2 3 12 3 1 5 8 5 8 4 6 7 4 6 7 八數碼任何一種擺法就是一個八數碼任何一種擺法就是一個狀態(tài)狀態(tài),所有的擺法為狀態(tài),所有的擺法為狀態(tài)集集S S,構成了一個,構成了一個狀態(tài)空間狀態(tài)空間,其大小為,其大小為9 9!相應相應操作算子操作算子是數碼移動,其操作算子共有是數碼移動,其操作算子共有4 4(方(方向)向)8 8(數碼)(數碼)=32=32個。可個。可簡化簡化為為4 4個:個:UpUp,LeftLeft,DownDown,RightRight2.3
13、2.3 狀態(tài)空間表達狀態(tài)空間表達 知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-3162.3.2 2.3.2 與與/ /或表達法或表達法的概念的概念1 1. . 與樹與樹:當把一個復雜問題分解為若干個子問題時,可用一個“與樹”來表示這種分解。2. 2. 或樹或樹:當把一個復雜問題變換為若干個與之等價的新問題時,可用一個“或樹”來表示這種變換。2 24 4 與與/ /或圖表
14、達法或圖表達法 3. 3. 與或樹與或樹:如果一個問題既需要通過分解,又需要通過變換才能得到其本原問題,則其求解過程可用一個“與或樹”來表示。2 24 4 與與/ /或圖表達法或圖表達法 2021-11-3192.3.2 2.3.2 與與/ /或表達法或表達法的例子的例子設機器人“猴子”位于a處,目的物“香蕉”掛在c處上方,猴子想吃香蕉,但高度不夠,拿不著。在b處有可移動的臺子,若猴子站在臺子上,就可以拿到香蕉。問題是制定機器人的行動計劃,使猴子能拿到香蕉。2 24 4 與與/ /或圖表達法或圖表達法 2021-11-320狀態(tài)空間法:四元數組描述:S=(w,x,y,z)其中:w:猴子所處水平
15、位置 x:臺子所在水平位置 y:猴子是否在臺子上(y=1:在;y=0:不在)z:猴子是否能拿到香蕉(z=1:拿到;z=0:沒拿到)可能出現(xiàn)的狀態(tài)如下:S0=(a,b,0,0)S1=(b,b,0,0)S2=(c,c,0,0)S3=(c,c,1,0)S4=(c,c,1,1)其中S0為初始狀態(tài),S4為目標狀態(tài)2 24 4 與與/ /或圖表達法或圖表達法 2021-11-321允許的操作集為:F=f1,f2,f3,f4其中:f1(u)為猴子走到u處 (w,x,0,z)(u,x,0,z) f2(v)為猴子推臺子到v處 (x,x,0,0)(v,v,0,0) f3為猴子爬上臺子 (x,x,0,z)(x,x,
16、1,z) f4為猴子拿到香蕉 (c,c,1,0)(c,c,1,1)比較目標狀態(tài)(S4)與初始狀態(tài)(S0)的差異,來選擇主操作。由于S0與S4中的四個狀態(tài)量都有差異,相應的操作為f1,f2,f3和f4,都可選為主操作。因此,可將原問題變換為四個新問題,而新問題又可分為幾個子問題及子問題。這一過程與/或樹圖 2 24 4 與與/ /或圖表達法或圖表達法 2021-11-322S S0 0=(a,b,0,0)=(a,b,0,0)S S1 1=(b,b,0,0)=(b,b,0,0)S S2 2=(c,c,0,0)=(c,c,0,0)S S3 3=(c,c,1,0)=(c,c,1,0)S S4 4=(c
17、,c,1,1)=(c,c,1,1)f f1 1(u)(u)為猴子走到為猴子走到u u處處f f2 2(v)(v)為猴子推臺子到為猴子推臺子到v v處處f f3 3為猴子爬上臺子為猴子爬上臺子f f4 4為猴子拿到香蕉為猴子拿到香蕉 P31(f1,f2)P32(f3)P33(f4)P311(f1)P312(f2)S0-S4P1:主操作f1P2:主操作f2P3:主操作f3P4:主操作f4S2-S3S0-S2S3-S4S0-S1S1-S22 24 4 與與/ /或圖表達法或圖表達法 已知3個柱子l、2、3和兩個盤子A、B(A比B小)。初始狀態(tài)下,A、B依次放在1柱上;目標狀態(tài)是A、B依次放在柱子3上
18、。條件是每次可移動一個盤子,盤子上方是空頂方可移動,而且任何時候都不允許大盤在小盤之上。課堂練習:二階課堂練習:二階HanoiHanoi塔問題塔問題用狀態(tài)空間法表示該問題定義問題狀態(tài)的描述形式 設用Sk=(SkA,SkB)表示問題的狀態(tài),SkA表示盤子A所在的柱號,SkB表示盤子B所在的柱號。第一步:用狀態(tài)空間表示問題用狀態(tài)描述形式把問題的所有可能的狀態(tài)都表示出來。本問題共有九種可能狀態(tài): S0=(1,1), S1=(1,2), S2=(1,3) S3=(2,1), S4=(2,2), S5=(2,3) S6=(3,1), S7=(3,2), S8=(3,3)問題的初始狀態(tài)集合為S0,目標狀態(tài)
19、集合為S8。定義一組算符定義一組算符F F1233: , , ),: , ,:()()(),()()( , ,: , ),(),Fx xy x xyFx yy y xyFx yy xyzFx yz xyzzx 知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-3272021-11-3282.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 描述若干不同的以一個基本概念為基礎的系統(tǒng)。這個基本概
20、念就是產生式規(guī)則或產生式條件和操作對的概念 1.事實表示靜態(tài)知識,如事物、事件和它們之間的關系2.產生式規(guī)則表示推理過程和行為,如動作,算子,變換等 2021-11-329一個產生式系統(tǒng)包含事實庫、規(guī)則集和規(guī)則解釋(控制器)三部分 控制器匹配排序沖突裁決規(guī)則集激發(fā)樹元規(guī)則事實庫知識匹配相關檢索匹配檢索2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-330當前已知的知識信息數據,包括推理過程中形成的中間結論知識,換句話說,它用于存儲有關問題的狀態(tài)、性質等事實的敘述型知識,也稱為綜合數據庫或工作存儲器。數據是廣義的例如:例如:“雪是白的雪是白的”2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 控制器匹
21、配排序沖突裁決規(guī)則集激發(fā)樹元規(guī)則事實庫知識匹配相關檢索匹配檢索2021-11-331存儲有關問題的狀態(tài)轉移、性質變化等規(guī)則的過程型知識,或稱“規(guī)則庫”規(guī)則的作用規(guī)則的作用描述事物之間的因果關系。描述事物之間的因果關系。規(guī)則的產生式表示形式常稱為產生式規(guī)則,簡稱為規(guī)則的產生式表示形式常稱為產生式規(guī)則,簡稱為產生式或規(guī)則。產生式或規(guī)則。2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 控制器匹配排序沖突裁決規(guī)則集激發(fā)樹元規(guī)則事實庫知識匹配相關檢索匹配檢索2021-11-332 產生式的基本形式產生式的基本形式 PQ 或者或者 IF P THEN Q P是是產生式的前提產生式的前提,也稱為前件,它給出了該產生式
22、可否使用,也稱為前件,它給出了該產生式可否使用的先決條件,由事實的邏輯組合來構成;的先決條件,由事實的邏輯組合來構成; Q是是一組結論或操作一組結論或操作,也稱為產生式的后件,它指出當前題,也稱為產生式的后件,它指出當前題P滿足時,應該推出的結論或應該執(zhí)行的動作。滿足時,應該推出的結論或應該執(zhí)行的動作。 產生式的含義產生式的含義 如果前提如果前提P滿足,則可推出結論滿足,則可推出結論Q或執(zhí)行或執(zhí)行Q所規(guī)定的操作所規(guī)定的操作2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-333產生式規(guī)則的例子產生式規(guī)則的例子 r6: IF 動物有犬齒動物有犬齒 AND 有爪有爪 AND 眼盯前方眼盯前方
23、THEN 該動物是食肉動物該動物是食肉動物 其中,其中,r6是該產生式的編號;是該產生式的編號;“動物有犬齒動物有犬齒 AND 有爪有爪 AND 眼盯前方眼盯前方”是產生式的前提是產生式的前提P;“該動物是食肉動物該動物是食肉動物”是產生式的結論是產生式的結論Q。2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-334產生式規(guī)則的形式與傳統(tǒng)程序設計語言中條件語句非常相似,但實際上兩者之間存在根本的 產生式規(guī)則左部表達的是一組復雜模式,而不僅僅是一個布爾表達式 規(guī)則之間控制流不象傳統(tǒng)語言中從一條語句向其下一條語句傳遞,而且滿足條件的規(guī)則被激活但不一定立即執(zhí)行,這將取決于產生式系統(tǒng)的沖突消解策
24、略,這也是區(qū)分傳統(tǒng)程序與產生式系統(tǒng)行為特征的關鍵邏輯程序中的語句可以視作產生式規(guī)則的一種特殊形式 在產生式系統(tǒng)中,一條規(guī)則僅描述前提條件與行為之間的靜態(tài)關系,因此,規(guī)則的正確性應當獨立地得到保證。這就是規(guī)則的,正是由于產生式規(guī)則的自含性特點,才使得知識的表示與控制的成為可能。 2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-335規(guī)則解釋(控制器)規(guī)則解釋(控制器)根據有關問題的控制型知識,選擇控制策略,將規(guī)則與事實進行匹配,控制并利用知識進行推理并求解問題 通常從選擇規(guī)則到執(zhí)行操作分3步:匹配、沖突消解和操作由匹配器負責判斷規(guī)則條件是否成立,沖突消解器負責選擇可調用的規(guī)則,解釋器負責執(zhí)
25、行規(guī)則的動作,并在滿足結束條件時終止產生式系統(tǒng)的運行。2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-336當前事實庫內容與規(guī)則條件部分匹配。如果兩者完全匹配,則把這條規(guī)則稱為觸發(fā)規(guī)則。當按規(guī)則的操作部分去執(zhí)行時,稱這條規(guī)則為啟用規(guī)則。 被觸發(fā)的規(guī)則不一定總是啟用規(guī)則,因為可能同時有幾條規(guī)則的條件部分被滿足,需解決沖突步驟中來解決。在復雜的情況下,在事實庫和規(guī)則的條件部分之間可能要進行近似匹配2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-337當有一條以上規(guī)則的條件部分和當前事實庫相匹配時,就需要決定首先使用哪一條規(guī)則,這稱為沖突解決2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021
26、-11-338執(zhí)行規(guī)則的操作部分,經操作以后,當前事實庫將被修改。然后,其它的規(guī)則有可能被使用,即進入下一循環(huán) 2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-339如:設有以下兩條美式足球的規(guī)則: 規(guī)則R1 規(guī)則 R2 IF fourth down IF fourth down short yardage short yardage THEN punt within 30 yards(from the goal line) THEN field goalR1規(guī)則:如進攻方在前三次進攻中前進的距離少于10碼(short yardage),那么在第四次進攻時(fourth down),可以
27、踢懸空球(punt)R2規(guī)則:如進攻方在前三次進攻中前進的距離少于10碼,而進攻的位置又在離對方球門線30碼距離之內,那么在第四次進攻時(fourth down),那么就可以射門(field goal)如果當前事實庫包含事實“fourth dawn”和“short yardage”以及“within 30 yards”? 2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-340如某一規(guī)則條件部分規(guī)定的情況,比另一規(guī)則條件部分規(guī)定的情況更有針對性,則這條規(guī)則有較高的優(yōu)先級如規(guī)則編排的順序就表示了啟用的優(yōu)先級,則稱之為規(guī)則排序把規(guī)則條件部分的所有條件按優(yōu)先級次序編排起來,運行時首先使用在條件部
28、分包含較高優(yōu)先級數據的規(guī)則。按規(guī)則的條件部分的規(guī)模排列優(yōu)先級,優(yōu)先使用被滿足的條件較多的規(guī)則把最近使用的規(guī)則放在最優(yōu)先的位置。這和人類的行為有相似之處把產生式規(guī)則按它們所描述的上下文分組,也就是說按上下文對規(guī)則分組。在某種上下文條件下,只能從與其相對應的那組規(guī)則中選擇可應用的規(guī)則 2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-341規(guī)則I1到I4這一組規(guī)則可用于把和區(qū)分開:規(guī)則規(guī)則I1I1 如果如果 該動物有毛發(fā),那么那么 它是哺乳動物規(guī)則規(guī)則I2I2 如果如果 該動物能產乳,那么那么 它是哺乳動物規(guī)則規(guī)則I3I3 如果如果 該動物有羽毛,那么那么 它是鳥類動物規(guī)則規(guī)則I4 I4 如果
29、如果 該動物能飛行,它能生蛋,那么那么 它是鳥類動物規(guī)則I5到I8把哺乳動物又進一步分為更細的類和:規(guī)則規(guī)則I5 I5 如果如果 該動物是哺乳動物,它吃肉,那么那么 它是食肉動物規(guī)則規(guī)則I6 I6 如果如果 該動物是哺乳動物,它長有爪子,它長有利齒,它眼睛前視,那么那么 它是食肉動物規(guī)則規(guī)則I7 I7 如果如果 該動物是哺乳動物,它長有蹄,那么那么 它是有蹄動物規(guī)則規(guī)則I8 I8 如果如果 該動物是哺乳動物,它反芻(ch) ,那么那么 它是有蹄動物,并且是偶蹄動物2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-342以下兩個規(guī)則對進行細分:該動物是食肉動物,它的顏色是黃褐色,它有深色的斑
30、點它是獵豹該動物是食肉動物,它的顏色是黃褐色,它有黑色條紋它是老虎以下兩個規(guī)則對進行細分:該動物是有蹄動物,它有長腿,它有長頸,它的顏色是黃褐色,它有深色的斑點,它是長頸鹿該動物是有蹄動物,它的顏色是白的,它有黑色條紋,它是斑馬2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-343以下對進行分類的規(guī)則:該動物是鳥類,它不會飛,它有長腿,它有長頸,它的顏色是黑、白色相雜,它是鴕鳥(規(guī)則I13的IF部分的條件“它有長腿”和“它有長頸”,也出現(xiàn)在規(guī)則I11的IF部分。I11是有蹄動物的,而I13是鳥的分類,無混淆)該動物是鳥類,它不能飛行,它能游水,它的顏色是黑色和白色,它是企鵝該動物是鳥類,
31、它善于飛行,它是海燕2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-3442.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-345開始,觀察到:規(guī)則I11還是規(guī)則I9?再看到該動物給它的幼獸喂奶,并能反芻,于是事實庫內容增為:現(xiàn)用規(guī)則集與事實庫進行匹配,I2首先可用,并更新事實庫為:進而I8又能用,更新事實庫為:還無法識別,而事實庫也不能和其它規(guī)則的前提相匹配,需再觀察,進一步發(fā)現(xiàn)該動物腿和頸都很長,即得到事實庫:規(guī)則I11可使用,推理出該動物為問題的求解過程可終止2.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 2021-11-3462.5 2.5 產生式系統(tǒng)產生式系統(tǒng) 知識的概念與含義知識的
32、概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-3472021-11-348 2.6 2.6 知識的邏輯表達方法知識的邏輯表達方法 2021-11-349數理邏輯數理邏輯(符號邏輯)是用數學方法研究形式邏(符號邏輯)是用數學方法研究形式邏輯的一個分支。輯的一個分支。它它通過符號系統(tǒng)來表達客觀對象以及相關的邏輯通過符號系統(tǒng)來表達客觀對象以及相關的邏輯推理。推理。常用的是常用的是命題邏輯命題邏輯和和
33、謂詞邏輯謂詞邏輯2021-11-3501 1 命題邏輯的簡述命題邏輯的簡述 命題命題 是能夠判斷真或假的是能夠判斷真或假的陳述句陳述句通常用大寫字母來表示,如通常用大寫字母來表示,如A, B, P, QA, B, P, Q等等命題的真假值一般用命題的真假值一般用 T T 或或 F F 來表示來表示 2021-11-351例例:雪是白的。(陳述句,雪是白的。(陳述句,T)雪是紅的。(陳述句,雪是紅的。(陳述句,F(xiàn))雪是黑的。(陳述句,雪是黑的。(陳述句,F(xiàn))他是學生。(陳述句,他泛指,無法判斷真假)他是學生。(陳述句,他泛指,無法判斷真假)你今天上課沒有?(疑問句)你今天上課沒有?(疑問句)請坐
34、公共汽車?。ㄆ硎咕洌┱堊财嚕。ㄆ硎咕洌?2021-11-352命題邏輯命題邏輯是研究命題及命題之間關系的符號邏是研究命題及命題之間關系的符號邏輯系統(tǒng)。輯系統(tǒng)。在命題邏輯中,表示單一意義的命題,稱之為在命題邏輯中,表示單一意義的命題,稱之為原子命題原子命題。(燈關著, 天在下雨 )原子命題通過原子命題通過 “聯(lián)結詞聯(lián)結詞” 構成構成 復合命題復合命題。PQ:如果天在下雨,則天不晴2021-11-353五個聯(lián)結詞五個聯(lián)結詞: “” 或或 “” 表示表示 “非非”復合命題復合命題 P 為真,當且僅當為真,當且僅當P為假。為假。 “” 表示表示 “合取合取”復合命題復合命題“PQ”為真,當且僅當
35、為真,當且僅當P和和Q都為真。都為真。 2021-11-354 “” 表示表示 “條件條件”P Q “” 表示表示 “析取析取”復合命題復合命題“PQ”為真,當且僅當為真,當且僅當P、Q兩者之兩者之一為真。一為真。 2021-11-355 “” 表示表示 “雙條件雙條件”,等價等價P Q2021-11-356命題變元命題變元:用符號:用符號P、Q等表示的不具有固定、具等表示的不具有固定、具體含義的命題。它可以表示具有體含義的命題。它可以表示具有“真真”、“假假”含含義的各種命題。義的各種命題。命題變元可以利用聯(lián)結詞構成所謂的命題變元可以利用聯(lián)結詞構成所謂的合式公式合式公式。 2021-11-3
36、57合式公式的定義合式公式的定義若若P為原子命題,則為原子命題,則P為合式公式,稱為原子公為合式公式,稱為原子公式。式。若若P是合式公式,則是合式公式,則P也是一個合式公式。也是一個合式公式。2021-11-358若若P和和Q是合式公式,則是合式公式,則PQ、 PQ 、P Q 、P Q都是合式公式。都是合式公式。經過有限次使用規(guī)則經過有限次使用規(guī)則1、2、3,得到的由原子公,得到的由原子公式、聯(lián)結詞和園括號所組成的符號串,也是合式式、聯(lián)結詞和園括號所組成的符號串,也是合式公式。公式。2021-11-359對于合式公式,規(guī)定下列對于合式公式,規(guī)定下列運算優(yōu)先級運算優(yōu)先級: 邏輯聯(lián)結詞的運算優(yōu)先次
37、序為:邏輯聯(lián)結詞的運算優(yōu)先次序為: 、 、 、 注注:可以用括號表示優(yōu)先級:可以用括號表示優(yōu)先級 同級聯(lián)結詞按出現(xiàn)順序優(yōu)先運算同級聯(lián)結詞按出現(xiàn)順序優(yōu)先運算 2021-11-360在命題邏輯中,主要研究推理的有效性。在命題邏輯中,主要研究推理的有效性。即:能否根據一些合式公式(前提)推導出新的即:能否根據一些合式公式(前提)推導出新的合式公式(結論)。合式公式(結論)。 一些合式公式一些合式公式(前提條件)(前提條件)合式公式合式公式(結論)(結論)?2021-11-361在命題邏輯中,最基本的單元是命題,它是在命題邏輯中,最基本的單元是命題,它是作為一個不可分割的整體。作為一個不可分割的整體。
38、例如:例如:雪是黑的雪是黑的命題邏輯具有較大的局限性,不適合于表達命題邏輯具有較大的局限性,不適合于表達比較復雜的問題。比較復雜的問題。2021-11-362例例:所有科學都是有用的(命題所有科學都是有用的(命題1)。)。數理邏輯是科學(命題數理邏輯是科學(命題2)。)。所以,數理邏輯是有用的(命題所以,數理邏輯是有用的(命題3)。)。很明顯,我們無法用很明顯,我們無法用命題命題1、2推斷出推斷出命題命題3。2021-11-363謂詞邏輯是命題邏輯的擴充和發(fā)展。謂詞邏輯是命題邏輯的擴充和發(fā)展。它將一個原子命題分解成客體和謂詞兩個組成它將一個原子命題分解成客體和謂詞兩個組成部分。部分。例如:例如
39、: 雪雪 是黑的是黑的 客體客體 謂詞謂詞本課程首先介紹一階謂詞邏輯。本課程首先介紹一階謂詞邏輯。 2021-11-3642 謂詞謂詞 語法與語義語法與語義謂詞邏輯的基本組成部分謂詞邏輯的基本組成部分 謂詞謂詞 變量變量 函數函數 常量常量 圓括號圓括號、方括號、花括號和逗號、方括號、花括號和逗號2021-11-365例例“機器人(機器人(Robot)在第一個房間()在第一個房間(Room1)內)內”,可以表示為:可以表示為: INROOM(ROBOT,R1)其中其中 INROOM是謂詞是謂詞 ROBOT和和R1是常量是常量2021-11-366 謂詞謂詞是是指客體所指客體所具有的性質或者具有
40、的性質或者若干客體若干客體之間之間的關系的關系。 客體變元客體變元:定義在某一個客體域(由客體組成:定義在某一個客體域(由客體組成的集合)上的變量(抽象的)。用的集合)上的變量(抽象的)。用x, y, z 來表示。來表示。 例如例如Human(x)是一個原子謂詞公式,其中)是一個原子謂詞公式,其中Human是謂詞,是謂詞,x是客體變元。是客體變元。 客體客體是可以具體的(如,小張、是可以具體的(如,小張、3、5),也),也可以可以是抽象的(如,是抽象的(如,x, y)。)。2021-11-367例例:Student(x)表示是表示是“x是學生是學生”,小明是學生,小明是學生, 記作記作Stud
41、ent(小明小明)。 -性質性質x大于大于y,Greater表示表示“大于大于”,記作記作Greater ( (x, y) )。-關系關系2021-11-368謂詞謂詞 有有 n 個客體變元,稱之為個客體變元,稱之為 n 元謂詞,并約定元謂詞,并約定 0 元謂詞就是命題(謂詞的特例)。元謂詞就是命題(謂詞的特例)。由于在謂詞公式中由于在謂詞公式中x不是特定的個體,因而謂詞不是特定的個體,因而謂詞也稱為命題函數。也稱為命題函數。可以用客體域中任一個客體取代命題函數中的客可以用客體域中任一個客體取代命題函數中的客體變元,從而給相應的謂詞公式賦予真、假值。體變元,從而給相應的謂詞公式賦予真、假值。1
42、2( ,.,)nP x xx2021-11-369謂詞公式謂詞公式的定義:的定義:原子謂詞公式原子謂詞公式由原子命題組成,如:由原子命題組成,如:Human(x)復合謂詞公式復合謂詞公式由原子謂詞公式由原子謂詞公式 通過聯(lián)接詞通過聯(lián)接詞構成。構成。2021-11-370(2)、連詞和量詞、連詞和量詞聯(lián)結詞(連詞)聯(lián)結詞(連詞)就是命題邏輯中的五個,它們的就是命題邏輯中的五個,它們的含義也是一樣的。含義也是一樣的。 、 、 、 、 2021-11-371兩個量詞兩個量詞:全稱量詞全稱量詞,記作,記作“ x x”, ,含義是含義是 “對每一個對每一個x x” 或或“對一切對一切x x”。存在量詞存
43、在量詞,記作,記作“ x x”,含義是,含義是 “存在某個存在某個x x” 、“有一個有一個x x” 或者或者 “某些某些x x”。 2021-11-372例例1:“所有的機器人都是灰色的所有的機器人都是灰色的”,用謂詞邏輯,用謂詞邏輯可以表示成:可以表示成: ( x)ROBOT(x) COLOR(x,gray)2021-11-373例例2: “一號房間里有一個物體一號房間里有一個物體”,可以表示成,可以表示成 ( x)INROOM(x, r1) 2021-11-374例:任何整數或者為正或者為負。例:任何整數或者為正或者為負。數學表達數學表達:對于所有的:對于所有的x,如果,如果x是整數,則
44、是整數,則x或者或者為正、或者為負。為正、或者為負。記作記作: I(x):“x是整數是整數”。(原子謂詞公式)。(原子謂詞公式) P(x):“x是正數是正數”。(同上)。(同上) N(x):“x是負數是負數”。 (同上)(同上)謂詞公式謂詞公式: ( x)()(I(x) (P(x) N(x))課堂練習 用一階謂詞邏輯表達方法表示下列命題: 麥克是個男人 麥克是得克薩斯州人 所有的得克薩斯洲人都是美國人課堂練習 用一階謂詞邏輯表達方法表示下列命題: 麥克是個男人 麥克是得克薩斯州人 所有的得克薩斯州人都是美國人答案:Man(Mike)Texas(Mike)( x)(Texas(x) -Ameri
45、can(x)2021-11-377嚴格性:保證其演繹推理結果的正確性正確性,較精確較精確地表達知識通用性:擁有通用的邏輯演算的方法和推理的規(guī)則方法和推理的規(guī)則 三段論法等自然性:一種接近于自然語言接近于自然語言的形式語言形式語言。模塊性:便于用計算機實現(xiàn)的機械化、自動化的機械化、自動化效率低:拋棄語義信息,使推理過程冗長,效率低冗長,效率低,出現(xiàn)“組合爆炸”。靈活性差:不便于表達和加入啟發(fā)性知識及元知識啟發(fā)性知識及元知識。 2.6 2.6 知識的邏輯表達方法知識的邏輯表達方法 知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式
46、系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-3782021-11-3791968 Quillian提出概念;1970 Simmon用于自然語言理解的研究概念概念是一種采用網絡形式表示人類知識的方法形式上,一個語義網絡為一個帶標識的有向圖2.7 2.7 語義網絡語義網絡 2021-11-380 語義網絡的概念語義網絡的概念語義網絡是由節(jié)點和邊(也稱有向?。┙M成的一種有向圖。其中節(jié)點表示事物、對象、概念、行為、性質、狀態(tài)等;有向邊表示節(jié)點之間的某種聯(lián)系或關系。2021-11-3812.7
47、2.7 語義網絡語義網絡 特性特性顯式/簡明表達實體結構、屬性與實體間因果關系利于以聯(lián)想方式對系統(tǒng)的解釋與概念相關的屬性和聯(lián)系被組織在一結點中易于被訪問和學習更加直觀,更易于理解(繼承方式)符合人類思維習慣語義解釋依賴于結構的推理過程(無結構約定)推理不很有效結點聯(lián)系有線狀/樹狀/網狀/遞歸狀知識存儲/檢索需較復雜的過程2021-11-382語義網絡表達法的自然性直接而明確地表達概念之間的語義關系,接近于人類的語義記憶方式聯(lián)想性著重于表達語義關系知識,體現(xiàn)了聯(lián)想思維過程,如通過正例、反例的比較,進行學習的過程效率較高可通過語義關系檢索和推理,較快導出與問題有關的概念和事實,不必歷遍整個知識庫語
48、義網絡表達法的不能象邏輯方法那樣保證推理的嚴格性和有效性不便于表達判斷性知識不便于表達深層知識,如與時間因素有關的動態(tài)知識 2.7 2.7 語義網絡語義網絡 2021-11-383 基本命題的語義網絡表示(以個體為中心個體為中心) 1)實例聯(lián)系 ISA 實例關系表示類與其實例(個體)之間的關系。這是最常見的一種語義關系。例如,“小華是一個大學生”就可表示為圖74。其中,關系“是一個”一般標識為“is-a”,或ISA。 ISA燕子鳥小華大學生是一個2.7 2.7 語義網絡語義網絡 2021-11-384 基本命題的語義網絡表示(以個體為中心個體為中心) 2)泛化聯(lián)系 AKO(A Kind Of)
49、 AKOAKOAKOAKOAKOAKOAKOAKOAKO動物哺乳動物鳥類動物獵豹老虎長頸鹿斑馬鴕鳥企鵝海燕2.7 2.7 語義網絡語義網絡 2021-11-385圖75 表示分類關系的語義網絡 泛化聯(lián)系是指事物間的類屬關系2021-11-386 基本命題的語義網絡表示(以個體為中心個體為中心) 3)聚集聯(lián)系 part-of 桌子桌腿桌面Part-ofPart-of2.7 2.7 語義網絡語義網絡 2021-11-387 基本命題的語義網絡表示(以個體為中心個體為中心) 4)屬性聯(lián)系 ISAprofessionheightagesexpersonmale30180cmprogrammerJohn
50、2.7 2.7 語義網絡語義網絡 2021-11-388 基本命題的語義網絡表示(以謂詞或關系為中心謂詞或關系為中心 ) 設有n元謂詞或關系R(arg1,R(arg1, ,argnargn) ),arg1取值為a1,argn取值為an,R的等價一組二元關系如下: arg1(R,a1)arg2(R,a2) argn(R,an)對應的語義網絡:2.7 2.7 語義網絡語義網絡 2021-11-389 連接詞在語義網絡中的表示方法give(John,Mary,“戰(zhàn)爭與和平戰(zhàn)爭與和平”) read(Mary,“戰(zhàn)爭與和平戰(zhàn)爭與和平”)對應的語義網絡:giverrecipientobjectsubjec
51、tobject與giveJohnMaryread戰(zhàn)爭與和平2.7 2.7 語義網絡語義網絡 2021-11-390 連接詞在語義網絡中的表示方法John is a programmer or Mary is a lawyer 對應的語義網絡:workerprofessionworkerprofession或OC1OC2JohnprogrammerMaryLawer2.7 2.7 語義網絡語義網絡 2021-11-391 連接詞在語義網絡中的表示方法ISA,AKO及part-of的有向弧give(John,Mary,“戰(zhàn)爭與和平戰(zhàn)爭與和平”) read(Mary,“戰(zhàn)爭與和平戰(zhàn)爭與和平”) 對應
52、的語義網絡:giverobjectrecipientobjectsubject與readgiveJohnMary戰(zhàn)爭與和平非2.7 2.7 語義網絡語義網絡 2021-11-392 連接詞在語義網絡中的表示方法一弧:命題前提條件ANTE,另一弧:規(guī)則結論CONSE 如果如果車庫起火,那么用車庫起火,那么用COCO2 2或沙來滅或沙來滅 對應的語義網絡:2.7 2.7 語義網絡語義網絡 ISAlocISAlocISAstateANTECONSEstateISAISA材料ISAEVENTADDRESSEVENTEVENTevent1起火車庫AB蘊含滅火CO2或沙STATE2021-11-393 變
53、元和量詞在語義網絡中的表示方法 直接用ISA弧分塊方法存在量詞:The dog bit the postman The dog bit the postman ISAISAASSAILIANTISAVICTIN(a)BITEDOGPOSTMANBDP2.7 2.7 語義網絡語義網絡 2021-11-394 變元和量詞在語義網絡中的表示方法 直接用ISA弧分塊方法全稱量詞:Every dog has bitten a postman ( ( x)DOG(x)x)DOG(x)( ( y)POSTMAN(y)y)POSTMAN(y) BITE(x,y)BITE(x,y)ISAISAASSAILIAN
54、TISAVICTIN(b)ISAS1FROMBITEPOSTMANDOGDBPGGS2.7 2.7 語義網絡語義網絡 知識的概念與含義知識的概念與含義知識表達技術概述知識表達技術概述狀態(tài)空間表達狀態(tài)空間表達與或圖表達法與或圖表達法產生式系統(tǒng)產生式系統(tǒng)知識的邏輯表達方法知識的邏輯表達方法語義網絡語義網絡框架表達法框架表達法特征表表達法特征表表達法面向對象的表示面向對象的表示2021-11-3952021-11-3962.8 2.8 框架表達法框架表達法 框架(Frame)是一種組織和表示知識的數據結構框架名 槽(Slot) 槽名 槽值/填充值 (任意數目)FRAME 槽槽名名1: 側面名側面名1
55、1:側面值:側面值11側面?zhèn)让婷?2:側面值:側面值12 側面?zhèn)让婷?m:側面值:側面值1m 槽槽名名n: 側面名側面名n1:側面值:側面值n1 側面?zhèn)让婷鹡2:側面值:側面值n2 側面?zhèn)让婷鹡m:側面值:側面值nm框架名框架名:主機品牌主機品牌:聯(lián)想1+1生產廠商生產廠商:北京聯(lián)想集團公司CPU:品牌:Intel 型號:奔騰933主板主板:品牌:QDI 型號:ATX VA5內存內存:品牌:現(xiàn)代 型號:SDRAM 容量:128MB硬盤硬盤:品牌:Seagate 型號:ST320423A 容量:20GB例:例:“計算機主機” 框架2021-11-398各種屬性的槽槽或側面?zhèn)让嫒笔≈担―EFAULT)側面用于說明該側面的典型取值一鳥類框架,鳥是否會飛屬性槽可填“會飛”缺省值附加過程側面說明槽值的計算過程和填槽時要做的動作一組子程序槽或側面的取值類型類型數值型整型數(INTEGERS) 浮點數(FLOATS)地震框架中強度槽和財產損失槽的取值字符串(STRINGS)如地震框架中地點槽和斷層槽取值約束類型可以通過上面給出的基本類型通過布爾運算構成 2.8 2.8 框架表達法框架表達法 2021-11-399例例7.17.1 下面是一個描述“教師”的框架:框架名:類屬:工作:范圍:
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 二零二五年度打樁機租賃與施工標準化合同2篇
- 二零二五年度按揭車輛交易全程跟蹤服務合同范本3篇
- 二零二五年度房地產銷售網絡營銷內部承包合同3篇
- 2025年度網絡安全服務合同標的擴大協(xié)議3篇
- 2025年度水庫水面生態(tài)環(huán)境保護合同3篇
- 二零二五年度公司駕駛員勞動合同及駕駛規(guī)范協(xié)議3篇
- 二零二五年度新能源儲能技術研發(fā)科研技術服務合同2篇
- 玩具主題益智課程設計
- 二零二五年度文化產業(yè)發(fā)展規(guī)劃與實施合同
- 藍莓汁課程設計
- 應收帳款管理辦法
- 食品安全分享
- 跨境代運營合同范例
- 水利水電工程驗收實施細則模版(3篇)
- 四川雅安文化旅游集團有限責任公司招聘筆試沖刺題2024
- 造價框架協(xié)議合同范例
- 2024-2025學年 語文二年級上冊 部編版期末測試卷 (含答案)
- 無人機飛行安全協(xié)議書
- 山西省晉中市2023-2024學年高一上學期期末考試 生物 含解析
- DB34T4912-2024二手新能源汽車鑒定評估規(guī)范
- 《商務溝通(第二版)》 課件全套 第1-4章 商務溝通概論 -商務溝通實務
評論
0/150
提交評論