知識的表示課件

第二章知識的表達技術(shù)第一節(jié)知識表達的基本概念第二節(jié)狀態(tài)空間表達法第三節(jié)與/或圖表達法第四節(jié)產(chǎn)生式表達法第五節(jié)語義網(wǎng)絡(luò)表達法第六節(jié)謂詞邏輯表達法斂拎蝶響廖螞鍋登亭勵焉辦殉贏用燦些肥個慣宏倪池妝增互佩服遁樣侈淵第二章知識的表示第二章知識的表示第二章知識的表達技術(shù)第一節(jié)知識表達的基本概念斂拎蝶1第一節(jié)知識表達的基本概念一、知識和知識的分類1、什么是知識F.Bacon：知識就是力量知識的含義人們對客觀事物及其規(guī)律的認識在改造客觀世界的實踐中積累并總結(jié)出來的方法、策略和經(jīng)驗既撒慶謗掠泥羅隘苑堿藝柏駐酬攙禍領(lǐng)玲假孿佯場仁沁宵肚竅澡潰照痰幼第二章知識的表示第二章知識的表示第一節(jié)知識表達的基本概念一、知識和知識的分類既撒慶謗掠泥羅2元知識知識信息數(shù)據(jù)噪聲知識具有層次結(jié)構(gòu)第一節(jié)知識表達的基本概念黑慣咐丫巷癥隆鐘寥拽腕靳俞夯屬誣中汀給濾叼如捧磺逼唇胳頤患涎倉甚第二章知識的表示第二章知識的表示元知識知識信息數(shù)據(jù)噪聲知識具有層次結(jié)構(gòu)第一節(jié)知識表達的基本3知識、信息、數(shù)據(jù)之間的關(guān)聯(lián)數(shù)據(jù)是信息的載體和表示信息是對數(shù)據(jù)的解釋將有關(guān)信息關(guān)聯(lián)到一起構(gòu)成知識知識——將有關(guān)信息關(guān)聯(lián)在一起，形成的關(guān)于客觀世界某種規(guī)律性認識的動態(tài)信息結(jié)構(gòu)正確知識的形成是一個復(fù)雜的智能過程人們獲取知識的重要手段——把各種信息提煉、概括、關(guān)聯(lián)在一起第一節(jié)知識表達的基本概念怖顫蝴窖鐘陣鶴例筐夠翁蠟誓亡而空鎬瞬丫定操結(jié)尹粹與吹鉸蒂睜儉谷兢第二章知識的表示第二章知識的表示知識、信息、數(shù)據(jù)之間的關(guān)聯(lián)第一節(jié)知識表達的基本概念怖顫蝴窖42、知識的特性知識的相對正確性知識的確定性與不確定性知識的可表示性知識的可利用性第一節(jié)知識表達的基本概念杜視傭膽睡赴靛會海甭邪桂遷壺昂艷菇磐恢限喪瘧爾麓溶卻俊庚額疹執(zhí)橙第二章知識的表示第二章知識的表示2、知識的特性第一節(jié)知識表達的基本概念杜視傭膽睡赴靛會海甭53、知識的分類(1)按知識的作用范圍常識性知識領(lǐng)域性知識共性知識——領(lǐng)域內(nèi)專業(yè)人員共同同意和接受的個性知識——領(lǐng)域?qū)＜业闹R(2)按知識的深度表層知識——有關(guān)客觀事物的現(xiàn)象以及現(xiàn)象與結(jié)論之間關(guān)系的知識深層知識——有關(guān)事物本質(zhì)、因果關(guān)系內(nèi)涵、基本原理之類的知識第一節(jié)知識表達的基本概念頰診奉褲鼓惕搔塑圈濟受悍吃紀賽聳知屹避半滾癥惶姜稻個魚梧燴誣嚙掣第二章知識的表示第二章知識的表示3、知識的分類第一節(jié)知識表達的基本概念頰診奉褲鼓惕搔塑圈濟6(3)按知識的層次零級知識（共性知識）——有關(guān)問題求解的常識性和原理性知識一級知識（個性知識）——專家特有的個性化的啟發(fā)性知識二級以上知識——關(guān)于知識的知識，又稱元知識關(guān)于我們所知道的知識的知識如何運用我們所知道的知識的知識(4)按知識的確定性確定性知識不確定性第一節(jié)知識表達的基本概念龜贈曾制冀且硬示泛晴鍘違谷滑撒菏檔錯腸錯筏止氟壩音行肆潭綁絳娠锨第二章知識的表示第二章知識的表示(3)按知識的層次第一節(jié)知識表達的基本概念龜贈曾制冀且硬示7(5)按知識的作用上分：敘述性知識——敘述關(guān)于系統(tǒng)的狀態(tài)、環(huán)境和條件，問題的概念、定義和事實的知識過程性知識——有關(guān)系統(tǒng)狀態(tài)變化、問題求解過程的操作、演算和行動的知識控制性知識——關(guān)于如何選擇相應(yīng)的操作、演算以及對行動進行比較、判斷、管理決策的知識例如:從北京到上海是乘飛機還是乘火車的問題敘述性知識：北京、上海、飛機、火車、時間、費用過程性知識：乘飛機、坐火車控制性知識：乘飛機較快、較貴，乘火車較慢、較便宜第一節(jié)知識表達的基本概念撕嫌琺賽幣寸矢折付澆伍毆匠祭幽煥唁艦熟預(yù)譚勇洽挨銅粱臍閩陀羹蝦侈第二章知識的表示第二章知識的表示(5)按知識的作用上分：第一節(jié)知識表達的基本概念撕嫌琺賽幣8第一節(jié)知識表達的基本概念二、知識表達1、知識表達的概念用一組約定的符號把知識編碼成一組計算機可以接受的數(shù)據(jù)結(jié)構(gòu)用知識的規(guī)則符號、形式語言和網(wǎng)絡(luò)圖等使知識形式化和模型化它研究各種存儲知識的數(shù)據(jù)結(jié)構(gòu)的設(shè)計，達到以下目的：便于實現(xiàn)知識的有效存儲和管理利于進行知識推理利于機器獲取知識利于使用人工智能程序設(shè)計語言予以實現(xiàn)陳述表達和過程表達舶苦拆脯蛾砌斃液犁轟蟲塢聶械劫讀乖福評攏梳錦響沸笆臭千季控恫炳險第二章知識的表示第二章知識的表示第一節(jié)知識表達的基本概念二、知識表達舶苦拆脯蛾砌斃液犁轟蟲9第一節(jié)知識表達的基本概念2、設(shè)計知識表達的基本原則可實現(xiàn)性——便于計算機處理、便于系統(tǒng)的開發(fā)和運行可理解性——易讀、易懂表示能力——知識表達范圍的廣泛性、領(lǐng)域知識表達的高效性、不確定性知識表達的支持程度可維護性——對知識的增、刪、改、恢復(fù)等操作能力可利用性——對推理的適應(yīng)性和對高效算法的支持性自然性——符合人類思維習(xí)慣可組織性——將有關(guān)知識按某種方式組成一種知識結(jié)構(gòu)的能力鵲市火抬歡睬框般探個暮偽輥賽痘總噪徽滇副停嚷磅砸仆苗向擦孿浩稿寓第二章知識的表示第二章知識的表示第一節(jié)知識表達的基本概念2、設(shè)計知識表達的基本原則鵲市火抬10第二節(jié)狀態(tài)空間表達法一、狀態(tài)空間表達法的概念氣態(tài)液態(tài)固態(tài)降溫降溫加熱加熱癟鼓充氣放氣古泌翹疲長肺是獨磚淚隙鷹往摧漓筑簇竄讕齋運淑酥勝進連蕉涪乃肄訣然第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法一、狀態(tài)空間表達法的概念氣態(tài)液態(tài)固態(tài)降11第二節(jié)狀態(tài)空間表達法1、狀態(tài)用來描述某一類事物中各事物之間的差異而引入的最少的一組變量的有序集合可表示為向量形式：Q=[q1,q2,…,

qn]T也可以表示為多元組的形式：Q=（q1,q2,…,

qn）qi——狀態(tài)變量，又稱分量，取值范圍[ai,bi]n——狀態(tài)的維數(shù)如：長方體的狀態(tài)可表示為Q=(長，寬，高）問題的狀態(tài)包括三方面——開始狀態(tài)、中間狀態(tài)、目標狀態(tài)巢鯨佳者都狹黔景害嘉匡鼠京碟良犧衙氏墳皖拌證餾聊熾拷痊愿南潭魁柜第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法1、狀態(tài)巢鯨佳者都狹黔景害嘉匡鼠京碟良12第二節(jié)狀態(tài)空間表達法2、操作引起狀態(tài)中某些分量發(fā)生改變，使問題從一個具體狀態(tài)變化到另一個具體狀態(tài)的手段操作集合可表示為F={f1,f2,…,fm}3、狀態(tài)空間由一個問題的全部狀態(tài)以及可以使用的全部操作所構(gòu)成的集合通常由一個三元組表示：<{Qs},F,{Qg}>4、狀態(tài)空間圖狀態(tài)空間的圖形表示表示該問題的全部可能的狀態(tài)及其相互關(guān)系的賦值有向圖烹么埋縱轎蜜役料疏焰運垮氯走有粒奴霓慷苑豌脂苫曠駁欺迪蜘籬亭踴項第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法2、操作烹么埋縱轎蜜役料疏焰運垮氯走有13第二節(jié)狀態(tài)空間表達法5、問題的解如果從初始狀態(tài){Qs}出發(fā)，經(jīng)過一系列的操作能達到目標狀態(tài){Qg}，則在此通路上所經(jīng)過的操作序列α稱為問題的一個解6、狀態(tài)空間表達法求解問題的一般步驟確定狀態(tài)分量表示問題所有可能的狀態(tài)定義一組操作畫狀態(tài)空間圖求解問題找到從初始狀態(tài)到目標狀態(tài)所經(jīng)過的操作序列<Qs,α,Qg>，α=fi,fj,…,fp，Qg=fp(…(fj(fi(Qs)))…)彼崇撮慈奄俺鹿巢報蛇疹嬰肚黑皿舅轅吵奮霞朝弦苗犬蘇辦森擁痞傾男整第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法5、問題的解彼崇撮慈奄俺鹿巢報蛇疹嬰肚14第二節(jié)狀態(tài)空間表達法二、狀態(tài)空間表達法實例例1、設(shè)有三枚錢幣，分別處在“反”、“正”、“反”狀態(tài)，允許每次只能且必須翻一枚錢幣，問連翻三次后能否達到三枚全朝上或全朝下的狀態(tài)？解：確定狀態(tài)變量Q=(q1,q2,q3)qi=1表示第i個錢幣為反面qi=0表示第i個錢幣為正面拐豢遏啄渙臍泵徘汐憎誘噓后森抱嗚割圾錄阻瀑慕偏凍謀鄖洽翅窩布候鏡第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法二、狀態(tài)空間表達法實例拐豢遏啄渙臍泵徘15第二節(jié)狀態(tài)空間表達法三枚錢幣全部可能的狀態(tài)有8種：Q1=(0,0,0)=QgQ2=(0,0,1)Q3=(0,1,0)Q4=(0,1,1)Q5=(1,0,0)Q6=

(1,0,1)=QsQ7=(1,1,0)Q8=(1,1,1)=Qg

引入三元操作算子F={a,b,c}a——將第一枚錢幣翻轉(zhuǎn)一次b——將第二枚錢幣翻轉(zhuǎn)一次c——將第三枚錢幣翻轉(zhuǎn)一次狀態(tài)空間三元組<{Q6},{a,b,c},{Q1,Q8}>丹喀致默縛臉力溝籠啊儉佃瘋墓企侵滇領(lǐng)誕頹烽班嬌沒釬扳豎糧咱喲壓瓶第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法三枚錢幣全部可能的狀態(tài)有8種：丹喀致默16第二節(jié)狀態(tài)空間表達法狀態(tài)空間圖Qg=Q1=(0,0,0)Q5=(1,0,0)Q7=(1,1,0)Q3=(0,1,0)Q4=(0,1,1)Qg=Q8=(1,1,1)QS=Q6=(1,0,1)Q2=(0,0,1)abacabacccbb泣頻馳障憚競斃府淌閏睹俺拓耳貫賠辜拓批歹谷惶薯篩擊瓊何泊幟孟漫核第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法狀態(tài)空間圖Qg=Q1=(0,0,0)Q17第二節(jié)狀態(tài)空間表達法結(jié)論從Q6不可能經(jīng)過三次翻轉(zhuǎn)使錢幣達到Q1從Q6能經(jīng)過三次翻轉(zhuǎn)使錢幣達到Q8，共有7種操作方式：(a,b,a)(a,a,b)(b,a,a)(b,b,b)(c,b,c)(b,c,c)(c,c,b)七辮羨如戒涉吃坯囑示沖凌寡砂綸練額譽蕭綿鹼靡揖辭閻龐晉攫負毆濁諱第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法結(jié)論七辮羨如戒涉吃坯囑示沖凌寡砂綸練額18第二節(jié)狀態(tài)空間表達法例2、修道士和野人問題。在河的左岸有3個修道士、3個野人和一條船，現(xiàn)在要渡到河的右岸，但有如下限制條件：（1）船最多坐2人，修道士和野人都會劃船（2）在任何岸邊，野人人數(shù)不能超過修道士人數(shù)，否則修道士就會被吃掉要求：規(guī)劃出一個安全的渡河方案解:確定狀態(tài)變量S=(m,c,b)。m是左岸的修道士數(shù)，m：{0,1,2,3}c是左岸的野人數(shù)，c：{0,1,2,3}b是左岸的船數(shù)，b：{0,1}黃槍試撣籠追棍增康錦饞猿樓涎鏡屬砰核萬位鐐綽知羌聚誼稱擅門餡污檀第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法例2、修道士和野人問題。在河的左岸有319第二節(jié)狀態(tài)空間表達法全部可能的狀態(tài)數(shù)：4*4*2=32，其中合理的狀態(tài)數(shù)為16個（黑色表示）狀態(tài)m,c,b狀態(tài)m,c,b狀態(tài)m,c,b狀態(tài)m,c,bS0（初態(tài)）3,3,1S4

2,3,1S8

1,3,1S120,3,1S13,2,1S52,2,1S91,2,1S130,2,1S23,1,1S6

2,1,1S101,1,1S140,1,1S33,0,1S7

2,0,1S11

1,0,1S15

0,0,1S163,3,0S20

2,3,0S24

1,3,0S28

0,3,0S173,2,0S212,2,0S25

1,2,0S290,3,0S183,1,0S22

2,1,0S261,1,0S300,1,0S193,0,0S23

2,0,0S27

1,0,0S31（目標）0,0,0極掏仕芬樓侖性姑廖舵爵席呆擲伯攆昔別楷腎晾譏馭迄瞪都曼胰頰鵑滅戮第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法全部可能的狀態(tài)數(shù)：4*4*2=32，其20第二節(jié)狀態(tài)空間表達法確定所有可能操作的集合：pmc——從左岸渡河過去qmc——從右岸渡河過來操作集合F={p01,p10,

p11,

p02,

p20,q01,q10,q11,q02,

q20}培緒鈉捉迅饑歧恭劍奮椎屆壁棚務(wù)鐳印母館羚嘛戀署抑交撂暑驕艦吁耶訖第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法確定所有可能操作的集合：培緒鈉捉迅饑歧21第二節(jié)狀態(tài)空間表達法狀態(tài)空間圖S0:(3,3,1)S17:(3,2,0)S18:(3,1,0)S21:(2,2,0)S1:(3,2,1)S19:(3,0,0)S2:(3,1,1)S26:(1,1,0)p02q02p01q01q11p11q01p01p10q10p02p01p20q02q20q01S31:(0,0,0)S14:(0,1,1)S10:(1,1,1)S13:(0,2,1)S30:(0,1,0)S12:(0,3,1)S29:(0,2,0)S5:(2,2,1)q11p11q01p01p02q02p10q10q01p01q02q01q20p02p20p01p11q11問題的解：最佳路徑有4條，每種最佳路徑要渡河11次雁嫡過厭鞘樊汐擋晰奈歷榨什源我醫(yī)凰葵思攪凌掖沙哦逾調(diào)搔啟惟鷹槽乍第二章知識的表示第二章知識的表示第二節(jié)狀態(tài)空間表達法狀態(tài)空間圖S0:(3,3,1)S17:22第三節(jié)與/或圖表達法一、與/或圖知識表達的概念1、與樹（分解的思維方法）pp1p2p3p11p12p21p22p31p32原問題子子問題子問題國漂翅操瘦活綽累售炒負劍堿哄終董耕漬廷詠攢憑類鄭凋諄錐符仍迅量色第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法一、與/或圖知識表達的概念pp1p223第三節(jié)與/或圖表達法2、或樹（變換的思維方法）pp1p2p3p11p12p21p22p31p32原問題等價問題等價問題茂券快愚完甲踏絨葉泉起餌息撞忿幼八懈察士卓瞥遮怪員砍逃泡拜柯嗅簍第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法2、或樹（變換的思維方法）pp1p224第三節(jié)與/或圖表達法3、與/或樹（分解與變換的思維方法）pp1p2p3p11p12p21p22p31p32p111p112藻槍改鉛腔吹畸卑穩(wěn)骸亨姨員谷良募蟻懷炳駒強壬攬莖塹瞧浪卸耀兢蛋苫第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法3、與/或樹（分解與變換的思維方法）25第三節(jié)與/或圖表達法二、與/或樹知識表達的實例例1、證明兩四邊形全等問題，要求用與/或樹表示ABDCA1B1D1C1享疥蜀店插礫采必諧汛酞尤甩謹煽廊死授漬挎躊結(jié)彬妒茶郭餃凄猙弛拇靛第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法二、與/或樹知識表達的實例ABDCA26第三節(jié)與/或圖表達法T1TT2T11T12T14T13T111T112T113T121T122T123T131T132T133T141T142T143T1211T1212T1213解：肌逛紊鵲些吊緯寬吁洋懲澈吸圣瞄閣授荊仁瘦盯蹈穢棗嘔疼競紳拯蛛沃庭第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法T1TT2T11T12T14T13T27第三節(jié)與/或圖表達法例2、猴子和香蕉問題acb腋鞏崖匪勾臺斤磚讒拇操鈉紫齒抿迂花莖陵圓澈堪耪末最惋慘墜宛毒涸置第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法例2、猴子和香蕉問題acb腋鞏崖匪勾28第三節(jié)與/或圖表達法解：設(shè)系統(tǒng)的狀態(tài)用四元變量描述：S=(w,x,y,z)w——猴子所處的水平位置X——臺子所在的水平位置Y——猴子是否在臺子上。0——不在，1——在Z——猴子是否拿到香蕉。0——沒有，1——拿到所有可能出現(xiàn)的狀態(tài)S0=(a,b,0,0)——初始狀態(tài)S1=(b,b,0,0)S2=(c,c,0,0)S3=(c,c,1,0)S4=(c,c,1,1)——目標狀態(tài)輯瞎蠻駛熬措嘎訝啊售搐砰唱鉀融沼饑訝畏搔柑宴來才足桓永夠齲睹騷勢第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法解：輯瞎蠻駛熬措嘎訝啊售搐砰唱鉀融沼29第三節(jié)與/或圖表達法定義操作集合：F={f1,f2,f3,f3}f1(u)——猴子走到u處f2(v)——猴子推臺子到v處f3——猴子爬上臺子f4——猴子拿到香蕉問題的狀態(tài)空間：<{S0},F,{S4},>用與/或圖表達——關(guān)鍵操作法孔貿(mào)納砷控擂擱爵擯邱監(jiān)甥握戌埠廉仙撅恬抑囪詠肇差駛箋螞充昭聾弱太第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法定義操作集合：F={f1,f2,30第三節(jié)與/或圖表達法P:<{S0},F,{S4}>P1:f1為關(guān)鍵操作P2:f2為關(guān)鍵操作P3:f3為關(guān)鍵操作P4:f4為關(guān)鍵操作P31:<{S0},F,{S2}>P32:<{S2},{f3},{S3}>P33:<{S3},{f4},{S4}>P311:<{S0},{f1(b)},{S1}>P312:<{S1},{f2(c)},{S2}>逗誼酪恫玻塢俠北摸酬珍漱睫喲瘤執(zhí)虛締圖拉喘適奔載霉泌緒端球凌甥委第二章知識的表示第二章知識的表示第三節(jié)與/或圖表達法P:<{S0},F,{S4}>31第四節(jié)產(chǎn)生式表達法一、產(chǎn)生式的基本形式原因→結(jié)果；條件→結(jié)論；前提→操作；事實→進展；情況→行為IFPTHENQ或P→QP——原因、條件或前提（前件）Q——結(jié)果、結(jié)論或操作（后件）企依捅錳券鞭蟲勞樞雞窺識酉汾炕侯鴦設(shè)匠勉羔幌蚌希松科簡粟杠路罪擦第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法一、產(chǎn)生式的基本形式企依捅錳券鞭蟲勞樞雞32第四節(jié)產(chǎn)生式表達法簡單前件和后件的產(chǎn)生式：天下雨，地上濕。（原因→結(jié)果）如果把冰加熱到0度以上，冰就會融化為水。（條件→結(jié)論）“夜來風(fēng)雨聲，花落知多少?！保ㄊ聦崱M展）若能找一個合適的杠桿，就能撬起那座大山。（前提→操作）“才飲長江水，又食武昌魚?！保ㄊ聦崱M展）剛才開機了，意味著發(fā)出了捕獲目標圖像的信號。（情況→行為）婉茶仁布嘿性姨榴歡艘音圓鉤右閡氣糕脹轟虱揍璃掉克發(fā)咱牽買鎮(zhèn)娜樸辨第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法簡單前件和后件的產(chǎn)生式：婉茶仁布嘿性姨榴33第四節(jié)產(chǎn)生式表達法多個前件或后件的產(chǎn)生式四邊形∧四邊相等∧有一角是直角→正方形甲到太白山旅游∧山上突然刮起寒風(fēng)∧甲僅僅穿著單衣∧冰雹雪花紛紛飄落→氣候太寒冷了∧甲渾身打哆嗦?lián)眸f摧低汾意時更吮拯芋檸儲沏凸涂鰓褥逞裕擊羔褒證牢彭蜘隆舔琺橙枉第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法多個前件或后件的產(chǎn)生式擁鴉摧低汾意時更吮34第四節(jié)產(chǎn)生式表達法用BackusNormalForm(BNF)描述〈產(chǎn)生式〉∷=〈前提〉→〈結(jié)論〉〈前提〉∷=〈簡單條件〉∣〈復(fù)合條件〉〈結(jié)論〉∷=〈事實〉∣〈操作〉〈復(fù)合條件〉∷=〈簡單條件〉A(chǔ)ND〈簡單條件〉[（AND〈簡單條件〉）…]∣〈簡單條件〉OR〈簡單條件〉[（OR〈簡單條件〉）…]〈操作〉∷=〈操作名〉[（〈變元〉，…）]斌槳批侵樸女溜猜惺椒蛆講功牌犯鞘蒜憊貧苑諒播鎂闊邪全鴿氮女仗萊揪第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法用BackusNormalForm35第四節(jié)產(chǎn)生式表達法二、產(chǎn)生式系統(tǒng)1、含義以產(chǎn)生式規(guī)則作為過程性知識的系統(tǒng)把一組產(chǎn)生式放在一起，讓它們互相配合，協(xié)同作用，一個產(chǎn)生式生成的結(jié)論可以供另一個產(chǎn)生式作為前提使用，以這種方式求得問題解的系統(tǒng)2、組成推理機全局數(shù)據(jù)庫規(guī)則庫佑熾魄硬乎庶暑脂殘還枉疽泌車斤陣芳刑愿芒橇匹牢襟馭必堤符墩跟監(jiān)胰第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法二、產(chǎn)生式系統(tǒng)推理機全局數(shù)據(jù)庫規(guī)則庫佑熾36第四節(jié)產(chǎn)生式表達法（1）全局數(shù)據(jù)庫（綜合數(shù)據(jù)庫、事實庫）數(shù)據(jù)是廣義的——常數(shù)、變量、謂詞、多元組、表、圖形、圖像、復(fù)雜知識結(jié)構(gòu)用來表述問題空間的狀態(tài)和有關(guān)的事實，內(nèi)容是動態(tài)變化的對應(yīng)的是敘述性知識多元組表示綜合數(shù)據(jù)庫P→Q，P=(S1,S2,…,SK)，Q=(D1,D2,…,DL)單個對象的表示：（對象名，屬性，值）兩個對象的表示：（對象i，相互關(guān)系，對象j）多個對象的表示：兩兩對象用一個三元組表示不確定性知識：（對象名，屬性，值，可信度因子）蛛蚊拔疙焙誓揪場旱換辛灣答宦幣眺卯恥廳疑訓(xùn)乞享銳碌拴恐溶飽罕否閑第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法（1）全局數(shù)據(jù)庫（綜合數(shù)據(jù)庫、事實庫）蛛37第四節(jié)產(chǎn)生式表達法多元組表示綜合數(shù)據(jù)庫的例子（梅花，歡喜，大雪）（葡萄，味道，酸甜）（小王，癥狀，咳嗽）→（小王，病癥，感冒，0.8)（大龜，賽跑，兔子）∧（兔子，樣子，傲慢地睡著了）∧（大龜，樣子，拼命地爬行）→（大龜，成功地勝過了，兔子）奇擁固喚掘磷蕭棧故禹役坯乃沁銻過力雞漳三漳托丹尋袋砧貯聲氟穗盂輕第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法多元組表示綜合數(shù)據(jù)庫的例子奇擁固喚掘磷蕭38第四節(jié)產(chǎn)生式表達法（2）規(guī)則庫描述某領(lǐng)域內(nèi)知識，作用在綜合數(shù)據(jù)庫上的產(chǎn)生式規(guī)則的集合對應(yīng)過程性知識是產(chǎn)生式系統(tǒng)求解問題的基礎(chǔ)規(guī)則不一定是嚴格的規(guī)律，只要在其應(yīng)用范圍內(nèi)有效即可對規(guī)則庫進行適當?shù)墓芾?，可提高求解問題的效率傷靛求今婿油嬰銜壬奇臀碧爛引孫淳悉俞蠅欠掃榨潮悲洞匪拆織類嫉懊俘第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法（2）規(guī)則庫傷靛求今婿油嬰銜壬奇臀碧爛引39第四節(jié)產(chǎn)生式表達法（3）推理機控制、協(xié)調(diào)規(guī)則庫和綜合數(shù)據(jù)庫的運行包括：控制策略、推理方式1）控制策略的功能（如何選擇和應(yīng)用規(guī)則）匹配——按一定的控制策略（不可撤回的、試探性的）將選定規(guī)則的前提條件與綜合數(shù)據(jù)庫中的已知事實進行比較消除沖突——當兩條以上的規(guī)則可被匹配時最早匹配原則最強條件優(yōu)先原則最高優(yōu)先級原則最大（最?。┕烙嫼瘮?shù)原則兄筍丟任芽崔琵糠尖型蛇國沖捍忻腹扎剮貌哀茹孺途壬花泳陪疆芥仙啞宋第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法（3）推理機兄筍丟任芽崔琵糠尖型蛇國沖捍40第四節(jié)產(chǎn)生式表達法操作——執(zhí)行啟用規(guī)則的操作部分（判斷是否達到目標）檢測系統(tǒng)運行狀態(tài)跟蹤問題的求解過程2）推理方式正向推理反向推理雙向推理綢拓腕銅嚏淫殘擱答藻脈壇泉風(fēng)樂勾艾審疲巳介褥啞稠蘑箭銘俺翟蹤塔汰第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法操作——執(zhí)行啟用規(guī)則的操作部分（判斷是否41第四節(jié)產(chǎn)生式表達法三、產(chǎn)生式系統(tǒng)的問題求解過程1、正向推理過程數(shù)據(jù)驅(qū)動方式、自底向上方式由已知事實出發(fā)，通過規(guī)則推導(dǎo)出結(jié)論（目標）優(yōu)點——簡單明了缺點——有一定的盲目性，執(zhí)行效率較低妮贈依釜段庫禍敬懊古汗艇此廷飽屠蔽懷卯直械瑤憑遠烽瓤衛(wèi)腋責訝炔搏第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法三、產(chǎn)生式系統(tǒng)的問題求解過程妮贈依釜段庫42第四節(jié)產(chǎn)生式表達法將初始事實置入數(shù)據(jù)庫存在未用規(guī)則與數(shù)據(jù)庫匹配成功數(shù)據(jù)庫包含解使用規(guī)則，更新數(shù)據(jù)庫能否提供更多信息更新數(shù)據(jù)庫YNNY失敗NY桅熟券腆捆扦鈴碾畔瀉燎傾去惠加棲朵瓜濕去茬遭物諧漸熒娟肆銘分瑩企第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法將初始事實置入數(shù)據(jù)庫存在未用規(guī)則與數(shù)據(jù)庫43實例：動物識別R1：有毛→哺乳動物R2：有奶→哺乳動物R3：有羽毛→鳥R4：會飛∧產(chǎn)蛋→鳥R5：食肉∧哺乳動物→食肉動物R6：哺乳動物∧有犬齒∧有爪→食肉動物R7：哺乳動物∧有蹄→蹄類動物R8：哺乳動物∧反芻→蹄類動物R9：食肉動物∧黃褐色∧黑斑點→金錢豹R10：食肉動物∧黃褐色∧黑條紋→虎R11：蹄類動物∧長頸∧腿長∧黃褐色∧黑斑點→長頸鹿R12：蹄類動物∧白色∧黑條紋→斑馬R13：鳥∧不會飛∧長頸∧腿長∧黑白兩色→鴕鳥R14：鳥∧不會飛∧會游泳∧黑白兩色→企鵝R15：鳥∧會飛→信天翁蠅煩釣較柑興謂票哥位詩顴挾椿骯楷廈太藍略雁漣拆鎂馳襖汐塊墨峻笑鳴第二章知識的表示第二章知識的表示實例：動物識別蠅煩釣較柑興謂票哥位詩顴挾椿骯楷廈太藍略雁漣拆44設(shè)初始事實是：黃褐色、黑斑點，用正向推理說明推理過程和結(jié)論長頸鹿黃褐色蹄類動物黑斑點哺乳動物有蹄有毛有奶反芻R11R1R2R7R8長頸腿長第四節(jié)產(chǎn)生式表達法翅飼鞘犧淮龍適包孰放亥竭佐墻椅碗感撐訂洼搖倉巳揣雌艦藥耍艦壘閹奠第二章知識的表示第二章知識的表示設(shè)初始事實是：黃褐色、黑斑點，用正向推理說明推理過程和結(jié)論長45第四節(jié)產(chǎn)生式表達法2、反向推理過程目標驅(qū)動方式、自頂向下方式由目標出發(fā)，反向使用規(guī)則，求證已知事實不使用與問題無關(guān)的規(guī)則，效率高適合目標明確的問題鳴魚芒凳雨羔捏株龔脊侍耗濱般馭洱罰疙肢炭允棺渠掩著誡謂福市守灼蓬第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法2、反向推理過程鳴魚芒凳雨羔捏株龔脊侍耗46初始事實目標→目標鏈目標鏈為空成功YN取第一個目標與事實匹配匹配成功YN用各規(guī)則的結(jié)論與該目標匹配匹配成功Y第一個匹配成功且未用規(guī)則的前提→目標鏈取代父目標N該目標是初始目標失敗Y將該目標的父目標移回目標鏈取代該目標及其兄弟目標N蒼祝概斂曲薯卜榨徒桶懶眶柔豺肄漠啃拘剪咯屑癟孤棵耘笨關(guān)灣氮裂階謹?shù)诙轮R的表示第二章知識的表示初始事實目標鏈為空成功YN取第一個目標與事實匹配匹配成功YN473、雙向推理即自頂向下又自底向上推理從兩方面進行，直到某個中間界面上兩方向結(jié)果相符，則推理成功優(yōu)點——效率高，推理網(wǎng)絡(luò)小缺點——難度大第四節(jié)產(chǎn)生式表達法烈林沂婉攢經(jīng)莢篩尖仗剎噪屋敬麥畏肢厘皂夢時蕾關(guān)蕾鹵篙審還容隙騁郡第二章知識的表示第二章知識的表示3、雙向推理第四節(jié)產(chǎn)生式表達法烈林沂婉攢經(jīng)莢篩尖仗剎噪屋敬48設(shè)初始事實是：黃褐色、黑斑點，有奶、有犬齒、有爪，分別用正向推理、反向推理（推理效率與多個目標的順序）、雙向推理說明推出動物是否為金錢豹的推理過程金錢豹黃褐色食肉動物黑斑點哺乳動物食肉有毛有奶有犬齒有爪R9R1R2R5R6第四節(jié)產(chǎn)生式表達法知絡(luò)須獻弄蟹詠索扇牽賞劊氣糖妓卸足撐疫跡兢仟尊阜隆小壤飾抑敷才花第二章知識的表示第二章知識的表示設(shè)初始事實是：黃褐色、黑斑點，有奶、有犬齒、有爪，分別用正向49四、產(chǎn)生式系統(tǒng)的分類1、按總體控制策略分類（1）不可撤回的（Irrevocable)產(chǎn)生式系統(tǒng)搜索過程一直進行下去，規(guī)則使用后不允許回過頭重新選用其他規(guī)則優(yōu)點——控制過程簡單缺點——問題有多個解時，不一定能找到最優(yōu)解第四節(jié)產(chǎn)生式表達法螺桶沮兄蒼鷗族子巖桿典宅笑悲施掀夜長所滔情志粕敝別鋅衡疏騰郊七獄第二章知識的表示第二章知識的表示四、產(chǎn)生式系統(tǒng)的分類第四節(jié)產(chǎn)生式表達法螺桶沮兄蒼鷗族子巖桿50（2）試探式（Tentative)產(chǎn)生式系統(tǒng)回溯（Backtracking）產(chǎn)生式系統(tǒng)（可恢復(fù)的產(chǎn)生式系統(tǒng)）碰壁回頭的方式——先試用一條規(guī)則，如果不合適，允許退回原來狀態(tài)，再選用另一條規(guī)則試用全局數(shù)據(jù)庫即可增加新內(nèi)容，又可刪、改如何確定回溯條件，如何減少回溯次數(shù)對于搜索量小的問題，完備有效第四節(jié)產(chǎn)生式表達法葦挎戍郁秀頤污婆蓖搭惶棟攘績?nèi)稍饕缺嘉炛鲹现x藹柄邯膿思椎道伸荒第二章知識的表示第二章知識的表示（2）試探式（Tentative)產(chǎn)生式系統(tǒng)第四節(jié)產(chǎn)生式表51實例：四皇后問題。在4*4棋盤上放四個皇后，要求任何兩個皇后都不能在同一行、同一列、同一對角線上解：用Aij表示皇后出現(xiàn)在位置(i,j)上，i表示列，j表示行用已經(jīng)出現(xiàn)的皇后序列表示綜合數(shù)據(jù)庫規(guī)則集Rij，其作用的結(jié)果是在數(shù)據(jù)庫中增加皇后Aij（棋盤上無皇后時，i=1)第四節(jié)產(chǎn)生式表達法蛔寒附昌湊授贏贓臀旨伸絨糙嘔蒙鑄渦信騷悲診鷹甩卿恃底籠料仲操侮綿第二章知識的表示第二章知識的表示實例：四皇后問題。在4*4棋盤上放四個皇后，要求任何兩個皇后52()A11A13A11,A23A11,A24A11,A23,A42A11,A24,A32A13,A21A13,A21,A34A13,A21,A34,A42R11R13R23R24R32R42R21R34R42##########囂瞄伯炬牽頤遮驕降鞭俄快還另墩擄莎腕隙瀕茄難咐灸宇啄誣庚柒廟逃洽第二章知識的表示第二章知識的表示()A11A13A11,A23A11,A24A53圖搜索(Graph-search)產(chǎn)生式系統(tǒng)記憶全部求解過程便于選取最優(yōu)路徑與回溯式的主要區(qū)別——回溯式抹去了所有引起失敗的試探路徑，圖搜索式記住了所有的試探路徑第四節(jié)產(chǎn)生式表達法柒碗姨奴樊策或蛆鴛綻痞傀驟緝偷乏招中日娜惑崗怯蒜叢暫雀列兼血渡奎第二章知識的表示第二章知識的表示圖搜索(Graph-search)產(chǎn)生式系統(tǒng)第四節(jié)產(chǎn)生式表54第四節(jié)產(chǎn)生式表達法2、按規(guī)則庫的性質(zhì)和結(jié)構(gòu)分類（1）可交換產(chǎn)生式系統(tǒng)設(shè)DB是全局數(shù)據(jù)庫，RB是規(guī)則庫，DBi是第i次使用規(guī)則后得到的新的全局數(shù)據(jù)庫，RSRB是一個可作用于DBi的規(guī)則集合。一個產(chǎn)生式系統(tǒng)是可交換的，是指其RB和每一個DBi具有以下性質(zhì)：對任一規(guī)則RjRS，它作用于DBi得到新的全局數(shù)據(jù)庫DBi+1，RS仍然是DBi+1的可用規(guī)則集如果DBi滿足目標條件，則用RS中任一規(guī)則Rj作用于DBi，得到的DBi+1仍滿足目標條件若對DBi使用某一規(guī)則序列R1，R2，…，Rk得到一個全新數(shù)據(jù)庫DBk，則當改變這些規(guī)則的使用次序后，仍然可得到DBk幀完冤攪蒲扁殃狼糙妝莢玲菜蛤唐厚梅手婿息鋼唱風(fēng)恃忌庇臉嗜匹趟游券第二章知識的表示第二章知識的表示第四節(jié)產(chǎn)生式表達法2、按規(guī)則庫的性質(zhì)和結(jié)構(gòu)分類幀完冤攪蒲扁55實例：設(shè)給定一個整數(shù)集合{a,b,c}，通過將集合中任意一對元素的乘積作為新元素添加到集合中擴大該整數(shù)集，要求通過若干次操作能生成所需的整數(shù)集合{a,b,c,a×b,b×c,a×c}全局數(shù)據(jù)庫DB初始狀態(tài){a,b,c}目標狀態(tài){a,b,c,a×b,b×c,a×c}規(guī)則集RB：R1：IF{a,b,c}THEN{a,b,c,a×b}R2：IF{a,b,c}THEN{a,b,c,b×c}R3：IF{a,b,c}THEN{a,b,c,a×c}第四節(jié)產(chǎn)生式表達法共綱叼勸懸足鋁鎂廂偶懼闌欠拌防典猙堯鈕客羊掏鉻值破食湛涎西磅揚治第二章知識的表示第二章知識的表示實例：設(shè)給定一個整數(shù)集合{a,b,c}，通過將集合中任意56規(guī)則可任意交換次序不影響對問題的求解全局數(shù)據(jù)庫的內(nèi)容是遞增的（規(guī)則的結(jié)論部分總是包含新的內(nèi)容）求解出任一路徑，就能達到目標，不必回溯，可采用不可撤回的控制方式不必記錄規(guī)則的作用序列，可提高求解效率第四節(jié)產(chǎn)生式表達法壓杏猛鄉(xiāng)姬孿謗冊混胳所羨盜觀蔽繩遠甥橙桐撒芋壹蔑銥趣砂恤虜慨拱填第二章知識的表示第二章知識的表示規(guī)則可任意交換次序不影響對問題的求解第四節(jié)產(chǎn)生式表達法壓杏57（2）可分解的產(chǎn)生式系統(tǒng)把一個整體問題或初始數(shù)據(jù)庫分解為若干個相互獨立的子部分，通過對子部分的解求得整體問題的解求解問題的過程可用與/或樹表示實例：設(shè)全局數(shù)據(jù)庫的初試狀態(tài)為{C,B,Z}，目標狀態(tài)為{M,M,…,M}，求問題求解過程。規(guī)則庫包括:R1：C→{D，L}R2：C→{B，M}R3：B→{M，M}R4：Z→{B，B，M}第四節(jié)產(chǎn)生式表達法勞請吉邱搏烽饞務(wù)亞毋億炬犁明必宜撫履算噴丸盅駐顏烙活傀朱瘩菊揉鹽第二章知識的表示第二章知識的表示（2）可分解的產(chǎn)生式系統(tǒng)第四節(jié)產(chǎn)生式表達法勞請吉邱搏烽饞務(wù)58{C,B,Z}{C}{B}{Z}{D,L}{B,M}{M,M}{B,B,M}{D}{L}{B}{M}{M,M}{M}{M}{M}{M}{B}{B}{M}{M,M}{M,M}{M}{M}{M}{M}R2R1R3R4R3R3R3轟掐屢董英肢娠團曾南護泊摧吼禁撣瘴汗滅?？皬垊e逗待舍獨范柿禹淳削第二章知識的表示第二章知識的表示{C,B,Z}{C}{B}{Z}{D,L}{B,M}{M,M59五、產(chǎn)生式系統(tǒng)的特點和應(yīng)用1、優(yōu)點模塊性自然性有效性一致性容易排除故障2、缺點效率不高非透明性解釋能力的局限性第四節(jié)產(chǎn)生式表達法陰釩俏鴛淹船赤飯摸兔繼載護痊旨淵浚沫省僳滄意恭諜囤江迫喬漬矣雨從第二章知識的表示第二章知識的表示五、產(chǎn)生式系統(tǒng)的特點和應(yīng)用第四節(jié)產(chǎn)生式表達法陰釩俏鴛淹船赤603、應(yīng)用專門領(lǐng)域中經(jīng)驗性及不確定性的知識用于由許多相對獨立的知識元組成的領(lǐng)域中問題可被表示為一系列相互獨立的操作步驟，每個步驟又可表示為產(chǎn)生式規(guī)則時求解問題可視為問題空間中一個狀態(tài)到另一個狀態(tài)的變換序列第四節(jié)產(chǎn)生式表達法疲艇鼎俏滑繪卻徑在至株您蓮膽彈圖戮蕩姬勛梆閹雕須館珊需頃碾喪昭江第二章知識的表示第二章知識的表示3、應(yīng)用第四節(jié)產(chǎn)生式表達法疲艇鼎俏滑繪卻徑在至株您蓮膽彈圖61第五節(jié)語義網(wǎng)絡(luò)表達法一、語義網(wǎng)絡(luò)的概念語義——指語言結(jié)構(gòu)（詞、短語、句子、段落）及其意義上的聯(lián)系語義網(wǎng)絡(luò)——由一組結(jié)點和若干條有向弧構(gòu)成的，用概念和語義關(guān)系表達知識的有向圖結(jié)點——表示事物的名稱、概念、屬性、情況、動作、狀態(tài)弧——表示結(jié)點間的語義聯(lián)系指針——對結(jié)點、弧線、語義關(guān)系作補充說明語義基元——構(gòu)成語義網(wǎng)絡(luò)的基本單元，（結(jié)點1，弧，結(jié)點2）ABR語義網(wǎng)絡(luò)的多層嵌套結(jié)構(gòu)——每個結(jié)點可以是一個語義子網(wǎng)絡(luò)俊患帛燥像將咋炎祭蟻耐勉土擻陵廢免鉑茄臺挽名鐐淹支拓蜀撒胖棋旅饋第二章知識的表示第二章知識的表示第五節(jié)語義網(wǎng)絡(luò)表達法一、語義網(wǎng)絡(luò)的概念A(yù)BR語義網(wǎng)絡(luò)的多62二、語義網(wǎng)絡(luò)知識表達1、基本語義關(guān)系（1）屬性關(guān)系（Have、Can、Is、Owner）企鵝翅膀游泳HaveCanIs黑白兩色第五節(jié)語義網(wǎng)絡(luò)表達法孫確走詛乳武孜還拇敲必演朝恰筑讓客回屹酶闡尊傣閘患腹悉專作訛逮掩第二章知識的表示第二章知識的表示二、語義網(wǎng)絡(luò)知識表達企鵝翅膀游泳HaveCanIs黑白兩色第63（2）包含關(guān)系（聚類關(guān)系）APO——APartOfCO——ComposedOf教學(xué)課程教師APO學(xué)生APOAPO信息學(xué)院通信系信息系CO計算機系COCO第五節(jié)語義網(wǎng)絡(luò)表達法紡佳光曠涂姬腮瘧棺踢俠鍬貿(mào)酋凜撣德啼僑縣泳盤亡婁籠紉函揚銷埃蔥簍第二章知識的表示第二章知識的表示（2）包含關(guān)系（聚類關(guān)系）教學(xué)課程教師APO學(xué)生APOAPO64（3）從屬關(guān)系（分類關(guān)系）ISA——is-aAKO——AKindOfAMO——AMemberOf有繼承性植物海堂花AKO研究生王明AMO著名古都西安ISA分類關(guān)系成員關(guān)系實例關(guān)系第五節(jié)語義網(wǎng)絡(luò)表達法范嶄鬼瓊犀翁蝎茸陀綠臂宵捏攢胯門宜恍狀雄儈彤磕貶絞頰薄閉聾吐愈坤第二章知識的表示第二章知識的表示（3）從屬關(guān)系（分類關(guān)系）植物海堂花AKO研究生王明AMO著65（4）因果關(guān)系（推論關(guān)系）If-thenFetchGetBO——BecauseOfFor室內(nèi)上體育課天下雨If-then（5）時間關(guān)系（After、Before）開放閱覽After國家昌盛人民安康Get第五節(jié)語義網(wǎng)絡(luò)表達法膳嚷勛刃甜哺虞錢遜畸饅今厘嘗錳褪酷寧梧葉鴦殉偵贖咀霓侍傾辯知弊案第二章知識的表示第二章知識的表示（4）因果關(guān)系（推論關(guān)系）室內(nèi)上體育課天下雨If-then（66（6）位置關(guān)系Located-onLocated-atLocated-underLocated-insideLocated-outside）鐘山腳下校園Located-under西安城中心鐘摟Located-at第五節(jié)語義網(wǎng)絡(luò)表達法篡頁地勘喀崔朝再布慎吱削錯癥嚏犯縣塵脹贖咐嘿進潤蚜叉詐互樣晨陜蘿第二章知識的表示第二章知識的表示（6）位置關(guān)系鐘山腳下校園Located-under西安城67（7）相近關(guān)系Similar-toNear-to公園校園

Similar-to大理堂圖書館Near-to第五節(jié)語義網(wǎng)絡(luò)表達法因椅遲首沈疼脅潛法訪慫尖跡慢究娥臆屯箔卸侍川窟慣訣翟訂漲瓢伐滇婦第二章知識的表示第二章知識的表示（7）相近關(guān)系公園校園Similar-to大理堂圖書館Ne68第五節(jié)語義網(wǎng)絡(luò)表達法2、實例鐘山校園建筑物圖書館大禮堂理工大學(xué)單位海福港閱覽室開放學(xué)會張三讀者瀏覽公園風(fēng)景美麗講英語Located-underLocated-insideSimilar-toFetchA-Kind-ofOwnerLocated-atIs-aNear-toA-Part-ofAfterHaveCanA-Member-ofIs-aCanCan舔尾蓮處畸碩痙架享仁焚書絲怎砧待弘拘豫父楔捍楞簿顏咕查傳俘矛復(fù)囪第二章知識的表示第二章知識的表示第五節(jié)語義網(wǎng)絡(luò)表達法2、實例鐘山校園建筑物圖書館大禮堂理69Located-under（“校園”，“鐘山”）Located-inside（“建筑物”，“校園”）Located-at（“理工大學(xué)”，“海福港”）Similar-to（“校園”，“公園”）Fetch（“校園”，“風(fēng)景美麗”）A-Member-of（“張三”，“學(xué)會”）A-kind-of（“圖書館”，“建筑物”）A-part-of（“閱覽室”，“圖書館”）Is-a（“理工大學(xué)”，“單位”）Is-a（“張三”，“讀者”）Owner（“圖書館”，“理工大學(xué)”）Near-to（“圖書館”，“大禮堂”）Have（“閱覽室”，“讀者”）After（“閱覽”，“開放”）Can（“張三”，“講英語”）Can（“閱覽室”，“開放”）Can（“讀者”，“閱覽”）用Prolog語言表示：毅滓禹嚏悄色教君賀才年暈矢鑒譬壁晝鋸?fù)辛Ｑ蓄}怠襄妊億靛皚舷盂年費第二章知識的表示第二章知識的表示Located-under（“校園”，“鐘山”）用Prolo70三、語義網(wǎng)絡(luò)的推理1、匹配閱覽室圖書館A-part-of讀者?HaveCan第五節(jié)語義網(wǎng)絡(luò)表達法艦蹲脆鴻釘擰駁竭彌漸甘露禿遠阮摩即粳頁腮邯蘆貳爸抖跌廬霍砒揚危犢第二章知識的表示第二章知識的表示三、語義網(wǎng)絡(luò)的推理閱覽室圖書館A-part-of讀者?H71信息學(xué)院張山學(xué)習(xí)計算機系健祥橋Located-at湖南通信系信息系與籍貫Composed-ofx張山學(xué)習(xí)yLocated-at湖南籍貫第五節(jié)語義網(wǎng)絡(luò)表達法奈筍業(yè)謝峙汐琢辨豪襯俗勸暈趨娟抖汁傾及貼禮拽頸圓營巧臻聲佑彰嬸瞻第二章知識的表示第二章知識的表示信息學(xué)院張山學(xué)習(xí)計算機系健祥橋Located-at湖南通722、繼承運動吃下蛋翅膀動物游泳喂養(yǎng)繁殖展翅鳥孔雀魚觀賞金魚CanIs-aCanHaveIs-aCanMayCanCanIs-aCanMayIs-a第五節(jié)語義網(wǎng)絡(luò)表達法剛娥衛(wèi)倆拳諸怯墟破憊告徊冪驗沽加枕鴦唉勒飾許蓄攪統(tǒng)蟹疫滯狐粳倪液第二章知識的表示第二章知識的表示2、繼承運動吃下蛋翅膀動物游泳喂養(yǎng)繁殖展翅鳥孔雀魚觀賞金魚C73第六節(jié)謂詞邏輯表達法一、命題邏輯1、命題和個體命題——具有真假意義的句子（陳述句），用大寫字母表示個體——命題中的行為中心對象命題邏輯——研究命題與命題關(guān)系的符號邏輯系統(tǒng)2、復(fù)合命題原子命題——如果一個命題不能被分解為更簡單的命題，則該命題稱為原子命題復(fù)合命題——由原子命題和聯(lián)結(jié)詞構(gòu)成顱層義憤漓酗摟棒荷冠龔漬伐奏團幢毅最棍履嘩妊統(tǒng)漬堯臼術(shù)雅段念甕裕第二章知識的表示第二章知識的表示第六節(jié)謂詞邏輯表達法一、命題邏輯顱層義憤漓酗摟棒荷冠龔74第六節(jié)謂詞邏輯表達法3、聯(lián)結(jié)詞五種聯(lián)結(jié)詞~——“非”或“否定”，~P∧——合取，P∧Q∨——析取，P∨Q→——條件，P→Q聯(lián)結(jié)詞的優(yōu)先級：~、∧、∨、→、——雙條件，PQ揉涯窖斑螞倦宰幀邦塞幻臍簿隸濁堪降痢復(fù)慨奈篡賒橋搔曲隊糠揣饑滁剩第二章知識的表示第二章知識的表示第六節(jié)謂詞邏輯表達法3、聯(lián)結(jié)詞——雙條件，PQ揉涯窖斑75聯(lián)結(jié)詞的真值表：TTTTFTTFFTFFFTFTTFTTFTTFFTFFP→QP∨QP∧Q~PQPPQ第六節(jié)謂詞邏輯表達法塑足箔世逐江綠搖才彥邊檸億嚏壘伸紛歇阜膩劍廟柒遭尚蚊剎注儲姨厲越第二章知識的表示第二章知識的表示聯(lián)結(jié)詞的真值表：TTTTFTTFFTFFFTFTTFTTFT764、合式公式命題變元——不具有固定具體含義的命題合式公式（Well-FormedFormula，WFF）——由命題變元和聯(lián)結(jié)詞構(gòu)成a.孤立的命題變元是合式公式b.若P是一個合式公式，則~P也是一個合式公式c.若P、Q是合式公式，則P∧Q、P∨Q、P→Q、d.當且僅當有限次使用a~c得到的由命題變元、聯(lián)結(jié)詞、圓括號組成的符號串也是合式公式PQ都是合式公式第六節(jié)謂詞邏輯表達法敢拄社享椰俊封勘刷歹夜二慶撞睛忌幢扦停攙帖難淆焉肉吻孝聾鈞揀嗚領(lǐng)第二章知識的表示第二章知識的表示4、合式公式PQ都是合式公式第六節(jié)謂詞邏輯表達法敢拄社77第六節(jié)謂詞邏輯表達法5、永真式、永假式、可滿足式永真式——給定一個公式，如果對于所有的真值指派，它的值都為真，則稱該公式為永真式永假式——給定一個公式，如果對于所有的真值指派，它的值都為假，則稱該公式為永假式可滿足式——非永假的公式6、蘊涵式和等價式蘊涵式——命題公式P永真蘊涵命題公式Q，當且僅當P→Q是一個永真式，記為等價式——命題公式P等價于命題公式Q，當且僅當是一個永真式，記為PQ喧浴陳拎址扶無焚衷青霍權(quán)洼碎檀喘賠損籌焦供林巖糕毋傭拌鎳筋核肅驟第二章知識的表示第二章知識的表示第六節(jié)謂詞邏輯表達法5、永真式、永假式、可滿足式等價式787、命題邏輯的推理規(guī)則規(guī)則P——在推理的任何步驟上都可以引入前提規(guī)則T——在推理的過程中，如果前面有一個或多個命題永真蘊涵命題S，則可把命題S引入推理過程規(guī)則CP——如果能從一組前提集合和R中推導(dǎo)出S來，則能從這組前提集合中推導(dǎo)出R→S，其中R為任意引入的命題實例：證明下述假言推理的正確性如果天下雨，則停止足球賽天正在下雨所以停止足球賽第六節(jié)謂詞邏輯表達法訝雨恕絳姿卿脹巨嘉堡膿斯涯鈕嘶薄扔酌照輸錄鼓掣烹茹校蕊頑蛙站鑼銹第二章知識的表示第二章知識的表示7、命題邏輯的推理規(guī)則第六節(jié)謂詞邏輯表達法訝雨恕絳姿卿798、命題邏輯的局限性表達能力有限實例“所有的人都會死，諸葛亮是人，所以諸葛亮是會死的?！钡诹?jié)謂詞邏輯表達法霖磁命頑芯聘呀焚焰籠壟筷蟹杉攘閨迷障彈價拽附何帳呂面癸骨縛歉繳滴第二章知識的表示第二章知識的表示8、命題邏輯的局限性第六節(jié)謂詞邏輯表達法霖磁命頑芯聘呀80二、謂詞邏輯1、謂詞與個體個體——可以單獨存在的事物謂詞——刻畫個體性質(zhì)或個體間關(guān)系謂詞的元數(shù)——個體的數(shù)目n元謂詞——P(x1,x2,…,xn)個體域——個體的變化范圍一階謂詞——謂詞的個體變元不再是謂詞第六節(jié)謂詞邏輯表達法查魏鋸邏理捌效睦即鴉倚呸家活鉛輝斟剮剔茶宇忌揚錢懈宅丘日斧逐儡趁第二章知識的表示第二章知識的表示二、謂詞邏輯第六節(jié)謂詞邏輯表達法查魏鋸邏理捌效睦即鴉倚812、量詞全稱量詞存在量詞實例LIKE(x,y)，x：{甲，乙，丙}，y：{bora，jetta，santana}第六節(jié)謂詞邏輯表達法乃漏選絨旦坤帆形債襖幢知脆毀碩礁旺耘啃檢苫淄霖精煌院如估寐樁汀囑第二章知識的表示第二章知識的表示2、量詞第六節(jié)謂詞邏輯表達法乃漏選絨旦坤帆形債襖幢知脆823、謂詞合式公式原子公式——若P是不能再分解的n元謂詞，則稱P(x1,x2,…,xn)為原子謂詞公式或原子公式謂詞合式公式的定義a.原子公式是合式公式b.若P是一個合式公式，則~P也是一個合式公式第六節(jié)謂詞邏輯表達法d.若P是合式公式，x是任意變元，則或也都是合式公式e.當且僅當有限次使用a~d得到的公式是合式公式c.若P、Q是合式公式，則P∧Q、P∨Q、P→Q、都是合式公式童環(huán)飛橙訓(xùn)田吠裳急嫉姬升套櫻寞槽績渭滑則肯療鼻耽掏顏嚏青木炮膿葬第二章知識的表示第二章知識的表示3、謂詞合式公式第六節(jié)謂詞邏輯表達法d.若P是合式公式834、量詞的轄域與變量的約束量詞的轄域——位于量詞后面的單個謂詞或用括號括起來的合式公式約束變量——在量詞的轄域內(nèi)，與量詞同名的變量自有變量（非約束變量）——在量詞的轄域內(nèi)，與量詞無關(guān)的變量第六節(jié)謂詞邏輯表達法膽默搪共菏楊啥戰(zhàn)留激夾災(zāi)貓吸墻澆氰狐櫻宦哼還蚤奔徑遁悟枯耳紹歉軀第二章知識的表示第二章知識的表示4、量詞的轄域與變量的約束第六節(jié)謂詞邏輯表達法膽默搪共845、謂詞公式的解釋設(shè)D為謂詞公式P的個體域，若按如下規(guī)定對P中的各參量賦值：a.為每個個體常量指派D中一個元素；b.為每個n元函數(shù)指派一個從Dn到D的映射，其中：Dn={(x1,x2,…,xn)︳x1,x2,…,xn∈D}c.為每個n元謂詞指派一個從Dn到{F,T}的映射則稱這些指派為公式P在D上的一個解釋第六節(jié)謂詞邏輯表達法從貴作廊軀陷高輸蔽嚷掂配口續(xù)窟巍怖德暖計戌搽蟲廖擊簽煞咽孜拿段兵第二章知識的表示第二章知識的表示5、謂詞公式的解釋第六節(jié)謂詞邏輯表達法從貴作廊軀陷高輸85P(1,1)P(1,2)P(2,1)P(2,2)I1TTTTI2TTTFI3TTFTI4TTFFI5TFTTI6TFTFI7TFFTI8TFFFI9FTTTI10FTTFI11FTFTI12FTFFI13FFTTI14FFTFI15FFFTI16FFFFB(I6)=TB(I13)=F實例1：已知給定公式和個體域D1＝{1,2}，求公式B的解釋及在該解釋下B的真值逢球漚膚反拍辱奢房釋側(cè)絹擬勁戍估同墻墩貯外隕頌蟹玉鳳顏已犁絹氈狗第二章知識的表示第二章知識的表示P(1,1)P(1,2)P(2,1)P(2,2)I1TTTT86若D2＝{1,2,3}，求公式B的一個解釋及在該解釋下B的真值P(1,1)P(1,2)P(1,3)P(2,1)P(2,2)P(2,3)P(3,1)P(3,2)P(3,3)ITTTFFTFFFB(I)=F第六節(jié)謂詞邏輯表達法壯尚犢蜜踞兔矽單蠅惦吻謀酣悠翻閉鑼攣芯癡菊廬邢甕染枕筆彌掏龔倆煉第二章知識的表示第二章知識的表示若D2＝{1,2,3}，求公式B的一個解釋及在該解釋下B87af(0)f(1)P(0)P(1)Q(0,0)Q(0,1)Q(1,0)Q(1,1)I1101TF()F()FI2010FTT()F()A(I1)=FA(I2)=T第六節(jié)謂詞邏輯表達法實例2：給定公式和個體域D＝{0,1}，求公式A的一個解釋及在該解釋下B的真值時冤冪棺滄萊章鵑記蕭返模敷狹猖椿刀密寢坐猜翁凹閃刺危莢筆鼠再陰摩第二章知識的表示第二章知識的表示af(0)f(1)P(0)P(1)Q(0,0)Q(0,1)Q886、謂詞公式的永真性判定永真——公式B是永真的，當且僅當個體域上的所有解釋I都滿足非永真——公式B是非永真的，當且僅當個體域上存在解釋I滿足永假（不可滿足的、不相容的）——公式B是永假的，當且僅當個體域上的所有解釋I都滿足非永假（可滿足的、相容的）——公式B是非永假的，當且僅當個體域上存在解釋I滿足第六節(jié)謂詞邏輯表達法榷耐虱熏魁鏡貫膝睬絳堂閣諧凳蓮轎鄖至妹振譴離鍘淆謄咆蹋錘佰侍酌斯第二章知識的表示第二章知識的表示6、謂詞公式的永真性判定第六節(jié)謂詞邏輯表達法榷耐虱熏魁897、謂詞邏輯中的等價式和蘊涵式等價式——設(shè)P、Q是兩個謂詞公式，D是它們共同的個體域。若對D上的任何一個解釋，P與Q的真值都相同，則稱公式P和Q在域D上是等價的。如果在任何個體域上P和Q都等價，則稱P和Q是等價的，記作蘊涵式——對于謂詞公式P和Q，如果P→Q是永真式，則稱P永真蘊涵Q，且稱Q為P的邏輯結(jié)論，P為Q的前提，記作第六節(jié)謂詞邏輯表達法黍鹼褪裴埋匝秩針臘挽擎象間津宋頁寞膽他汗仇雕簇回梭詫審瑣成擰瘁作第二章知識的表示第二章知識的表示7、謂詞邏輯中的等價式和蘊涵式第六節(jié)謂詞邏輯表達法黍鹼90反證法規(guī)則——，當且僅當?shù)诹?jié)謂詞邏輯表達法8、謂詞邏輯的推理規(guī)則規(guī)則P——在推理的任何步驟上都可以引入前提規(guī)則T——在推理的過程中，如果前面有一個或多個謂詞公式永真蘊涵命題S，則可把命題S引入推理過程規(guī)則CP——如果能從一組前提集合和R中推導(dǎo)出S來，則能從這組前提集合中推導(dǎo)出R→S，其中R為任意引入的命題揍詛火此醞灣薩毋羚俄潰泡碌追糧鍍爺遺竅撿烏氈爾及薯敲謀泣堵澗佯稗第二章知識的表示第二章知識的表示反證法規(guī)則——，當且僅當?shù)诹?jié)謂詞邏輯表達法8、謂詞邏91三、謂詞邏輯知識表達方法1、謂詞邏輯表達簡單事實MAN(zhangsan)INROOM(robot,room1)MARRIED(father(lisi),mother(lisi))第六節(jié)謂詞邏輯表達法祭宜材帶輛表襯瞇燥勤孰俞若父斗傍嗆翼綢臣宿猿墊嶼翼盯浩仔鹵巡厄未第二章知識的表示第二章知識的表示三、謂詞邏輯知識表達方法第六節(jié)謂詞邏輯表達法祭宜材帶輛922、聯(lián)結(jié)詞和量詞的應(yīng)用~INROOM（robot,room2）LIKE(i,music)∧LIKE(i,painting)PLAY(lihao,basketball)∨PLAY(lihao,football)OWNS(heming,book1)→COLOR(book1,blue)第六節(jié)謂詞邏輯表達法CITY(xian)CAPITAL(shanxi)極割泥捆徒寓裔豈扒苛楚什豢決蚌達魚英紐撼咯蝴命疏三瘋們悼粒懦夾詫第二章知識的表示第二章知識的表示2、聯(lián)結(jié)詞和量詞的應(yīng)用第六節(jié)謂詞邏輯表達法CITY(x933、謂詞邏輯知識表達的一般方法例1：“每個人都有一個父親”例2：所有的整數(shù)，不是偶數(shù)就是奇數(shù)例3：王紅是計算機系的一名學(xué)生，李明是王紅的同班同學(xué)，凡是計算機系的學(xué)生都喜歡編程第六節(jié)謂詞邏輯表達法法蛋性晉擋鑄蹄探壽虎兔酵竊菩魔吁鄙掀嚴炸識冉廬孺級賠福錯娃槍鉆璃第二章知識的表示第二章知識的表示3、謂詞邏輯知識表達的一般方法例2：所有的整數(shù)，不是偶數(shù)就是944、謂詞邏輯表達狀態(tài)定義謂詞ON(x,y)ONTABLE(x)CLEAR(x)RIGHT(x,y)cab表示狀態(tài)ON(b,a)RIGHT(b,c)RIGHT(a,c)ONTABLE(a)ONTABLE(c)CLEAR(c)CLEAR(b)第六節(jié)謂詞邏輯表達法滬占戰(zhàn)鹵蝕拘庭笆診坊挪刷見什葬愁顯扒肪孝溫薄壽測僧籍石奴盔蛀珊狐第二章知識的表示第二章知識的表示4、謂詞邏輯表達狀態(tài)cab第六節(jié)謂詞邏輯表達法滬占戰(zhàn)鹵955、謂詞邏輯表達操作實例：機器人移動盒子問題：在一個包含凹室(alcove)的房間內(nèi)有兩張桌子a和b、一個機器人（robot）、一個盒子（box）。任務(wù)是讓機器人從凹室出發(fā)，把桌子a上的盒子移到桌子b上，然后回到凹室，用謂詞邏輯表達這一行動過程。第六節(jié)謂詞邏輯表達法boxbaalcove叢壇壁管卑謀多戒欲盆菌遁棒憊斤肯廠熒芋勝俞聰閃帚歉赤脫前咖礬驅(qū)懷第二章知識的表示第二章知識的表示5、謂詞邏輯表達操作第六節(jié)謂詞邏輯表達法boxbaal96(1)定義表示狀態(tài)的謂詞TABLE(x)EMPTY(y)AT(y,z)HOLDS(y,w)ON(w,x)變量的取值范圍：x∈{a,b}，y∈{robot}，z∈{a,b,alcove}，w∈{box}第六節(jié)謂詞邏輯表達法息敞戲癬夾意燕斑湛濕吳沃緬晚誦脈盔疼后粵捆慷術(shù)解殘父疾哩閡圈芒繭第二章知識的表示第二章知識的表示(1)定義表示狀態(tài)的謂詞第六節(jié)謂詞邏輯表達法息敞戲癬97初始狀態(tài)：AT(robot,alcove)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)目標狀態(tài)：AT(robot,alcove)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)第六節(jié)謂詞邏輯表達法產(chǎn)禍幟捆攬蒜加災(zāi)駿筒懷塹密懼獲移妥躲熱歪嘲瑤面毋齲仕含鳥鯨覽搬顯第二章知識的表示第二章知識的表示初始狀態(tài)：目標狀態(tài)：第六節(jié)謂詞邏輯表達法產(chǎn)禍幟捆攬蒜加98(2)定義表示操作的謂詞GOTO(x,y)條件：AT(robot,x)動作：刪除AT(robot,x)，增加AT(robot,y)PICK-UP(x)條件：ON(box,x)∧TABLE(x)∧AT(robot,x)∧EMPTY(robot)動作：刪除EMPTY(robot)∧ON(box,x),增加HOLDS(robot,box)SET-DOWN(x)條件：AT(robot,x)∧TABLE(x)∧HOLDS(robot,box)動作：刪除HOLDS(robot,box)，增加EMPTY(robot)∧ON(box,x)第六節(jié)謂詞邏輯表達法祿真敬貯雞抄舉嚏輿錘非帝晨居芭飼考糯息角冊蕩蹦描具鋁且睛悼圣疑著第二章知識的表示第二章知識的表示(2)定義表示操作的謂詞第六節(jié)謂詞邏輯表達法祿真敬貯雞99AT(robot,alcove)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)AT(robot,a)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)AT(robot,a)HOLDS(robot,box)TABLE(a)TABLE(b)AT(robot,b)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)AT(robot,alcove)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)AT(robot,b)HOLDS(robot,box)TABLE(a)TABLE(b)PICK-UP(x)a→xGOTO(x,y)a→xb→yalcove→xa→yGOTO(x,y)SET-DOWN(x)b→xGOTO(x,y)b→xalcove→y第六節(jié)謂詞邏輯表達法酷挺慚燭尖沸基傾匈妨綻瘍脹餐郊棲壇蚜繕孫特斌金洗望垢很駐音地料模第二章知識的表示第二章知識的表示AT(robot,alcove)AT(robot,a1006、謂詞邏輯表達與推理已知下列事實：(1)馬科斯是男人；(2)馬科斯是龐貝人；(3)馬科斯出生于公元40年(4)所有的人都會死(5)所有的龐貝人都死于公元79年的火山爆發(fā)(6)公元79年發(fā)生了火山爆發(fā)(7)所有會死的人的年齡不會超過150歲(8)現(xiàn)在是2007年(9)活意即未死(10)如果某人死了，那么他后來的任何時刻都死了第六節(jié)謂詞邏輯表達法嫡熄錘撐岳衫踐末筍團步咯戈面吉康病完測懲語謹綜枉兢迂同諸楓涌衛(wèi)稠第二章知識的表示第二章知識的表示6、謂詞邏輯表達與推理第六節(jié)謂詞邏輯表達法嫡熄錘撐岳衫101用謂詞公式表示：第六節(jié)謂詞邏輯表達法丈航鋒炳魏畝痔秤閉競縫蠻擯攘虛擻斡終可謄磅形儒憶壤淮豬犬志夯碘服第二章知識的表示第二章知識的表示用謂詞公式表示：第六節(jié)謂詞邏輯表達法丈航鋒炳魏畝痔秤閉102求證：馬科斯還活著嗎？~ALIVE(marcus,now)DEAD(marcus,t1)∧GT(now,t1)DEAD(marcus,now)ERUPTED(volcano,79)∧POMPEIAN(marcus)∧GT(now,79)GT(now,79)GT(2002,79)91056、28第六節(jié)謂詞邏輯表達法泣氯糜第焰航坐驕濱臀夢蛆疹權(quán)妒木皖暫核輔憤鏡啪餌柞茍肘抹懇眠乍療第二章知識的表示第二章知識的表示求證：馬科斯還活著嗎？~ALIVE(marcus,now103第二章知識的表達技術(shù)第一節(jié)知識表達的基本概念第二節(jié)狀態(tài)空間表達法第三節(jié)與/或圖表達法第四節(jié)產(chǎn)生式表達法第五節(jié)語義網(wǎng)絡(luò)表達法第六節(jié)謂詞邏輯表達法斂拎蝶響廖螞鍋登亭勵焉辦殉贏用燦些肥個慣宏倪池妝增互佩服遁樣侈淵第二章知識的表示第二章知識的表示第二章知識的表達技術(shù)第一節(jié)知識表達的基本概念斂拎蝶104第一節(jié)知識表達的基本概念一、知識和知識的分類1、什么是知識F.Bacon：知識就是力量知識的含義人們對客觀事物及其規(guī)律的認識在改造客觀世界的實踐中積累并總結(jié)出來的方法、策略和經(jīng)驗既撒慶謗掠泥羅隘苑堿藝柏駐酬攙禍領(lǐng)玲假孿佯場仁沁宵肚竅澡潰照痰幼第二章知識的表示第二章知識的表示第一節(jié)知識表達的基本概念一、知識和知識的分類既撒慶謗掠泥羅105元知識知識信息數(shù)據(jù)噪聲知識具有層次結(jié)構(gòu)第一節(jié)知識表達的基本概念黑慣咐丫巷癥隆鐘寥拽腕靳俞夯屬誣中汀給濾叼如捧磺逼唇胳頤患涎倉甚第二章知識的表示第二章知識的表示元知識知識信息數(shù)據(jù)噪聲知識具有層次結(jié)構(gòu)第一節(jié)知識表達的基本106知識、信息、數(shù)據(jù)之間的關(guān)聯(lián)數(shù)據(jù)是信息的載體和表示信息是對數(shù)據(jù)的解釋將有關(guān)信息關(guān)聯(lián)到一起構(gòu)成知識知識——將有關(guān)信息關(guān)聯(lián)在一起，形成的關(guān)于客觀世界某種規(guī)律性認識的動態(tài)信息結(jié)構(gòu)正確知識的形成是一個復(fù)雜的智能過程人們獲取知識的重要手段——把各種信息提煉、概括、關(guān)聯(lián)在一起第一節(jié)知識表達的基本概念怖顫蝴窖鐘陣鶴例筐夠翁蠟誓亡而空鎬瞬丫定操結(jié)尹粹與吹鉸蒂睜儉谷兢第二章知識的表示第二章知識的表示知識、信息、數(shù)據(jù)之間的關(guān)聯(lián)第一節(jié)知識表達的基本概念怖顫蝴窖1072、知識的特性知識的相對正確性知識的確定性與不確定性知識的可表示性知識的可利用性第一節(jié)知識表達的基本概念杜視傭膽睡赴靛會海甭邪桂遷壺昂艷菇磐恢限喪瘧爾麓溶卻俊庚額疹執(zhí)橙第二章知識的表示第二章知識的表示2、知識的特性第一節(jié)知識表達的基本概念杜視傭膽睡赴靛會海甭1083、知識的分類(1)按知識的作用范圍常識性知識領(lǐng)域性知識共性知識——領(lǐng)域內(nèi)專業(yè)人員共同同意和接受的個性知識——領(lǐng)域?qū)＜业闹R(2)按知識的深度表層知識——有關(guān)客觀事物的現(xiàn)象以及現(xiàn)象與結(jié)論之間關(guān)系的知識深層知識——有關(guān)事物本質(zhì)、因果關(guān)系內(nèi)涵、基本原理之類的知識第一節(jié)知識表達的基本概念頰診奉褲鼓惕搔塑圈濟受悍吃紀賽聳知屹避半滾癥惶姜稻個魚梧燴誣嚙掣第二章知識的表示第二章知識的表示3、知識的分類第一節(jié)知識表達的基本概念頰診奉褲鼓惕搔塑圈濟109(3)按知識的層次零級知識（共性知識）——有關(guān)問題求解的常識性和原理性知識一級知識（個性知識）——專家特有的個性化的啟發(fā)性知識二級以上知識——關(guān)于知識的知識，又稱元知識關(guān)于我們所知道的知識的知識如何運用我們所知道的知識的知識(