知識(shí)表示方法23208

1、第二章 知識(shí)表示方法2.1 狀態(tài)空間法2.2 問(wèn)題歸約法2.3 謂詞邏輯法2.4 語(yǔ)義網(wǎng)絡(luò)法2.5 其他方法2.6 小結(jié)CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU知識(shí)的定義 Feigenbaum知識(shí)是經(jīng)過(guò)削減、塑造、解釋和轉(zhuǎn)換的信息。簡(jiǎn)單地說(shuō)，知識(shí)是經(jīng)過(guò)加工的信息Bernstein知識(shí)是由特定領(lǐng)域的描述、關(guān)系和過(guò)程組成的 Hayes-Roth知識(shí)是事實(shí)、信念和啟發(fā)式規(guī)則。從知識(shí)庫(kù)的觀點(diǎn)看，知識(shí)是某領(lǐng)域中所涉及的各有關(guān)方面的一種符號(hào)表示。2CSUCSUCSUCSUCSUCSUC

2、SUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU知識(shí)要素3 事實(shí)事實(shí) 規(guī)則規(guī)則有關(guān)問(wèn)題環(huán)境的一些事物的知識(shí)，常以有關(guān)問(wèn)題環(huán)境的一些事物的知識(shí)，常以“是是”的形式出的形式出現(xiàn)?，F(xiàn)。有關(guān)問(wèn)題中與事物的行動(dòng)、動(dòng)作相聯(lián)系的因果關(guān)系知識(shí)，有關(guān)問(wèn)題中與事物的行動(dòng)、動(dòng)作相聯(lián)系的因果關(guān)系知識(shí)，是動(dòng)態(tài)的，常以是動(dòng)態(tài)的，常以“如果如果那么那么”形式出現(xiàn)。形式出現(xiàn)。 控制控制有關(guān)問(wèn)題的求解步驟、技巧性知識(shí)，告訴怎么做一件事。有關(guān)問(wèn)題的求解步驟、技巧性知識(shí)，告訴怎么做一件事。 元知識(shí)元知識(shí)有關(guān)知識(shí)的知識(shí)，是知識(shí)庫(kù)中的高層知識(shí)。包括怎樣使用有關(guān)

3、知識(shí)的知識(shí)，是知識(shí)庫(kù)中的高層知識(shí)。包括怎樣使用規(guī)則，解釋規(guī)則、校驗(yàn)規(guī)則、解釋程序結(jié)構(gòu)等知識(shí)。規(guī)則，解釋規(guī)則、校驗(yàn)規(guī)則、解釋程序結(jié)構(gòu)等知識(shí)。 CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU知識(shí)的表示4知識(shí)表示的分類知識(shí)表示的分類陳述性知識(shí)表示：將知識(shí)表示與知識(shí)的運(yùn)用分開處理，在陳述性知識(shí)表示：將知識(shí)表示與知識(shí)的運(yùn)用分開處理，在表示知識(shí)時(shí)，并不涉及如何運(yùn)用知識(shí)的問(wèn)題，是一種靜態(tài)表示知識(shí)時(shí)，并不涉及如何運(yùn)用知識(shí)的問(wèn)題，是一種靜態(tài)的描述方法。的描述方法。過(guò)程性知識(shí)表示：將知識(shí)表示與知識(shí)的

4、運(yùn)用相結(jié)合，知識(shí)過(guò)程性知識(shí)表示：將知識(shí)表示與知識(shí)的運(yùn)用相結(jié)合，知識(shí)寓于程序中，是一種動(dòng)態(tài)的描述方法。寓于程序中，是一種動(dòng)態(tài)的描述方法。知識(shí)表示的定義知識(shí)表示的定義可看成是一組事物的約定，以把人類知識(shí)表示成機(jī)器能處可看成是一組事物的約定，以把人類知識(shí)表示成機(jī)器能處理的數(shù)據(jù)結(jié)構(gòu)。對(duì)知識(shí)進(jìn)行表示的過(guò)程就是把知識(shí)編碼成某理的數(shù)據(jù)結(jié)構(gòu)。對(duì)知識(shí)進(jìn)行表示的過(guò)程就是把知識(shí)編碼成某種數(shù)據(jù)結(jié)構(gòu)的過(guò)程。種數(shù)據(jù)結(jié)構(gòu)的過(guò)程。CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU選取知識(shí)表示的因素5l表示知識(shí)的范圍

5、是否廣表示知識(shí)的范圍是否廣泛泛l是否適于推理是否適于推理l是否適于計(jì)算機(jī)處理是否適于計(jì)算機(jī)處理l是否有高效的求解算法是否有高效的求解算法l能否表示不精確知識(shí)能否表示不精確知識(shí)l能否在同一層次上和不同層能否在同一層次上和不同層次上模塊化次上模塊化l知識(shí)和元知識(shí)能否用統(tǒng)一的知識(shí)和元知識(shí)能否用統(tǒng)一的形式表示形式表示l是否適合于加入啟發(fā)信息是否適合于加入啟發(fā)信息l過(guò)程性表示還是說(shuō)明性表示過(guò)程性表示還是說(shuō)明性表示l表示方法是否自然表示方法是否自然CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCS

6、U62.1狀態(tài)空間法（State Space Representation）v問(wèn)題求解技術(shù)主要是兩個(gè)方面：v問(wèn)題的表示v求解的方法v狀態(tài)空間法v狀態(tài)（state）v算符（operator）v狀態(tài)空間方法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU72.1.1 問(wèn)題狀態(tài)描述v定義v狀態(tài)：描述某類不同事物間的差別而引入的一組最少變量q0，q1，qn的有序集合。v算符：使問(wèn)題從一種狀態(tài)變化為另一種狀態(tài)的手段稱為操作符或算符。v問(wèn)題的狀態(tài)空間：是一個(gè)表示該問(wèn)題全部可能狀態(tài)及其關(guān)系的圖，

7、它包含三種說(shuō)明的集合，即三元狀態(tài)（S，F(xiàn)，G）。vS:所有可能的初始狀態(tài)集合。F:操作符集合。G:目標(biāo)狀態(tài)集合。2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU82. 狀態(tài)空間表示概念詳釋v例如下棋、迷宮及各種游戲。OriginalStateMiddleStateGoalState2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU9狀態(tài)

8、空間問(wèn)題求解狀態(tài)空間法狀態(tài)空間法: : 從初始狀態(tài)開始從初始狀態(tài)開始, , 每次加一個(gè)操作符每次加一個(gè)操作符, , 遞增地建立起操遞增地建立起操作符的試驗(yàn)序列作符的試驗(yàn)序列, , 直到達(dá)到目標(biāo)狀態(tài)為止直到達(dá)到目標(biāo)狀態(tài)為止. .基本過(guò)程基本過(guò)程: :1. 1. 為問(wèn)題選擇適當(dāng)?shù)臑閱?wèn)題選擇適當(dāng)?shù)摹睜顟B(tài)狀態(tài)”及及”操作符操作符”的形式化描述方的形式化描述方法法, , 定義初始狀態(tài)集合定義初始狀態(tài)集合, , 目標(biāo)狀態(tài)集合及操作符集合目標(biāo)狀態(tài)集合及操作符集合; ;2. 2. 將操作符作用在初始狀態(tài)將操作符作用在初始狀態(tài)( (新狀態(tài)新狀態(tài)) )上生成新狀態(tài)逐步構(gòu)造上生成新狀態(tài)逐步構(gòu)造狀態(tài)空間狀態(tài)空間, ,

9、 判斷新狀態(tài)是否為目標(biāo)狀態(tài)判斷新狀態(tài)是否為目標(biāo)狀態(tài), , 如果是轉(zhuǎn)如果是轉(zhuǎn)3.3.否則否則轉(zhuǎn)轉(zhuǎn)2.2.3. 3. 尋找從初始狀態(tài)到目標(biāo)狀態(tài)的一個(gè)尋找從初始狀態(tài)到目標(biāo)狀態(tài)的一個(gè)( (最佳最佳) )路徑。路徑邊上路徑。路徑邊上所使用的操作符序列就是該問(wèn)題的一個(gè)解所使用的操作符序列就是該問(wèn)題的一個(gè)解. .CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU10例:三數(shù)碼難題（3 puzzle problem）123123123312312312初始棋局目標(biāo)棋局2.1 狀態(tài)空間法CSUCSUC

10、SUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU11v有向圖v路徑v代價(jià)v圖的顯示說(shuō)明v圖的隱示說(shuō)明2.1.2 狀態(tài)圖示法AB2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU狀態(tài)空間圖狀態(tài)空間圖 把初始狀態(tài)可達(dá)到的各狀態(tài)所組成的空間用有向把初始狀態(tài)可達(dá)到的各狀態(tài)所組成的空間用有向圖表示。用圖表示。用”狀態(tài)狀態(tài)”標(biāo)識(shí)節(jié)點(diǎn)標(biāo)識(shí)節(jié)點(diǎn), , 用用”操作操作”標(biāo)識(shí)有向邊標(biāo)識(shí)有

11、向邊, , 有向邊方向由被施加操作有向邊方向由被施加操作的對(duì)象狀態(tài)指向操作的結(jié)果狀態(tài)。的對(duì)象狀態(tài)指向操作的結(jié)果狀態(tài)。12CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU132.1.3 狀態(tài)空間表示舉例v產(chǎn)生式系統(tǒng)（production system）v一個(gè)總數(shù)據(jù)庫(kù)：它含有與具體任務(wù)有關(guān)的信息隨著應(yīng)用情況的不同，這些數(shù)據(jù)庫(kù)可能簡(jiǎn)單，或許復(fù)雜。v一套規(guī)則：它對(duì)數(shù)據(jù)庫(kù)進(jìn)行操作運(yùn)算。每條規(guī)則由左部鑒別規(guī)則的適用性或先決條件以及右部描述規(guī)則應(yīng)用時(shí)所完成的動(dòng)作。v一個(gè)控制策略：它確定應(yīng)該采用哪

12、一條適用規(guī)則，而且當(dāng)數(shù)據(jù)庫(kù)的終止條件滿足時(shí)，就停止計(jì)算。2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU14 狀態(tài)空間表示舉例狀態(tài)空間表示舉例v例：猴子和香蕉問(wèn)題2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU15解題過(guò)程v 用一個(gè)四元表列（W，x，Y，z）來(lái)表示這個(gè)問(wèn)題狀態(tài).v這個(gè)問(wèn)題的操作（算符）如下：v2 goto（U）表示猴子

13、走到水平位置Uv或者用產(chǎn)生式規(guī)則表示為（W，0，Y，z） goto（U） （U，0，Y，z）2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU16vpushbox（V）猴子把箱子推到水平位置V，即有（W，0，W，z） pushbox（V） （V，0，V，z）vclimbbox猴子爬上箱頂，即有（W，0，W，z） climbbox （W，1，W，z）2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU

14、CSUCSUCSUCSUCSUCSUCSUCSUCSUCSU17vgrasp猴子摘到香蕉，即有（c，1，c，0） grasp （c，1，c，1） v該初始狀態(tài)變換為目標(biāo)狀態(tài)的操作序列為goto(b),pushbox(c),climbbox,grasp2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU18(b，1，b，0)（U，0，b，0）（V，0，V，0）（c，1，c，0）（U，0，V，0）（c，1，c，1）（a，0，b，0）目標(biāo)狀態(tài)目標(biāo)狀態(tài)goto（U）goto（

15、U）U=b，climbboxgoto（U）U=bpushbox（V）猴子和香蕉問(wèn)題的狀態(tài)空間圖猴子和香蕉問(wèn)題的狀態(tài)空間圖goto（U）U=V2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU19猴子和香蕉問(wèn)題自動(dòng)演示： 猴子猴子香蕉香蕉箱子箱子 猴子猴子香蕉香蕉箱子箱子 Ha!Ha!2.1 狀態(tài)空間法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU狀態(tài)空

16、間表示舉例v傳教士和野人問(wèn)題v狀態(tài)表示：(在河的左岸的傳教士人數(shù)、野人人數(shù)和船的情況)v初始狀態(tài):（3，3，1）v結(jié)束狀態(tài):（0，0，0v中間狀態(tài)則:（2，2，0）、（3，2，1）、（3，0，0）20CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU狀態(tài)空間表示舉例v狀態(tài)表示：(在河的左岸的傳教士人數(shù)、野人人數(shù)和船的情況)v初始狀態(tài):（3，3，1）v結(jié)束狀態(tài):（0，0，0v中間狀態(tài)則:（2，2，0）、（3，2，1）v每個(gè)三元組對(duì)應(yīng)了三維空間上的一個(gè)點(diǎn)v問(wèn)題的解，則是一個(gè)合法狀態(tài)的序列

17、：(初始狀態(tài)，結(jié)束狀態(tài))v中間狀態(tài)：介于初始狀態(tài)和結(jié)束狀態(tài)之間v除了初始狀態(tài)外，該序列中任何一個(gè)狀態(tài)，都可以通過(guò)一條規(guī)則，由與他相鄰的前一個(gè)狀態(tài)轉(zhuǎn)換得到21CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU222.2 問(wèn)題歸約法（Problem Reduction Representation）子問(wèn)題子問(wèn)題1子問(wèn)題子問(wèn)題n原始問(wèn)題原始問(wèn)題子問(wèn)題集本本原原問(wèn)問(wèn)題題CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCS

18、UCSUCSUCSUCSUCSUCSU23v 問(wèn)題歸約表示的組成部分：v一個(gè)初始問(wèn)題描述；v一套把問(wèn)題變換為子問(wèn)題的操作符；v一套本原問(wèn)題描述。v問(wèn)題歸約的實(shí)質(zhì)：v從目標(biāo)(要解決的問(wèn)題)出發(fā)逆向推理，建立子問(wèn)題以及子問(wèn)題的子問(wèn)題，直至最后把初始問(wèn)題歸約為一個(gè)平凡的本原問(wèn)題集合。2.2 問(wèn)題規(guī)約法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU242.2.1 問(wèn)題歸約描述 （Problem Reduction Description）v梵塔難題123CBA2.2 問(wèn)題規(guī)約法CSUCS

19、UCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU25解題過(guò)程（3個(gè)圓盤問(wèn)題）1231231231231231231231232.2 問(wèn)題規(guī)約法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU26多圓盤梵塔難題演示2.2 問(wèn)題規(guī)約法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUC

20、SUCSU272.2.2與或圖表示v1.與圖、或圖、與或圖2.2 問(wèn)題規(guī)約法ABCD與圖ABC或圖CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU282.2 問(wèn)題規(guī)約法BCDEFGAHMBCDEFGANCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU292.一些關(guān)于與或圖的術(shù)語(yǔ)2.2 問(wèn)題規(guī)約法HMBCDEFGAN父節(jié)點(diǎn)與節(jié)點(diǎn)弧線或節(jié)點(diǎn)子節(jié)點(diǎn)終葉節(jié)點(diǎn)CSUCSUCSUC

21、SUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU303.定義2.2 問(wèn)題規(guī)約法與或圖例子與或圖例子ttttttttt（a）（b）有解節(jié)點(diǎn)無(wú)解節(jié)點(diǎn)終葉節(jié)點(diǎn)CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU31v不可解節(jié)點(diǎn)的一般定義v沒(méi)有后裔的非終葉節(jié)點(diǎn)為不可解節(jié)點(diǎn)。v全部后裔為不可解的非終葉節(jié)點(diǎn)且含有或后繼節(jié)點(diǎn)，此非終葉節(jié)點(diǎn)才是不可解的。v后裔至少有一個(gè)為不可解的非終葉節(jié)點(diǎn)且含有與后繼節(jié)點(diǎn)，此

22、非終葉節(jié)點(diǎn)才是不可解的。v與或圖構(gòu)成規(guī)則2.2 問(wèn)題規(guī)約法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU32梵塔問(wèn)題歸約圖（113） （123） （111） （113） （123） （122） （111） （333） （122） （322） （111） （122） （322） （333） （321） （331） （322） （321） （331） （333） 2.2 問(wèn)題規(guī)約法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUC

23、SUCSUCSUCSUCSUCSUCSUCSUCSUCSU332.3 謂詞邏輯法v邏輯語(yǔ)句v形式語(yǔ)言2.3.1 謂詞演算v 1. 語(yǔ)法和語(yǔ)義v基本符號(hào)v謂詞符號(hào)、變量符號(hào)、函數(shù)符號(hào)、 常量符號(hào)、括號(hào)和逗號(hào)v原子公式CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU34v連詞和量詞(Connective &Quantifiers)v連詞v與及合?。╟onjunction)v或及析取（disjunction）v蘊(yùn)涵（Implication）v非（Not）v量詞v全稱量詞（Universa

24、l Quantifiers)v存在量詞 (Existential Quantifiers)2.3 謂詞邏輯法CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU一階謂詞邏輯v一階謂詞邏輯表示法，是一階謂詞邏輯表示法，是一種重要的知識(shí)表示一種重要的知識(shí)表示方法，它以數(shù)理邏輯為基礎(chǔ)，是到目前為止能方法，它以數(shù)理邏輯為基礎(chǔ)，是到目前為止能夠表達(dá)人類思維和推理的一種最精確的形式語(yǔ)夠表達(dá)人類思維和推理的一種最精確的形式語(yǔ)言。它的表現(xiàn)方式和人類自然語(yǔ)言非常接近，言。它的表現(xiàn)方式和人類自然語(yǔ)言非常接

25、近，它能夠被計(jì)算機(jī)作精確推理。它能夠被計(jì)算機(jī)作精確推理。35CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU一階謂詞邏輯v用謂詞公式既可表示事物的狀態(tài)、屬性和概念等事實(shí)性的知識(shí)，也可表示事物間具有因果關(guān)系的規(guī)則性知識(shí)。36CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU用謂詞公式表示知識(shí)的一般步驟用謂詞公式表示知識(shí)的一般步驟1.定義謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確定義

26、謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確切含義。切含義。2.根據(jù)所要表達(dá)的事物或概念，為每個(gè)謂詞中根據(jù)所要表達(dá)的事物或概念，為每個(gè)謂詞中的變?cè)x以特定的值。的變?cè)x以特定的值。3.根據(jù)所要表達(dá)的知識(shí)的語(yǔ)義，用適當(dāng)?shù)倪B接根據(jù)所要表達(dá)的知識(shí)的語(yǔ)義，用適當(dāng)?shù)倪B接符將各個(gè)謂詞連接起來(lái)形成謂詞公式。符將各個(gè)謂詞連接起來(lái)形成謂詞公式。37CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU謂詞邏輯表示知識(shí)舉例1v用謂詞邏輯表示下列知識(shí)：v武漢是一個(gè)美麗的城市，但她不是一個(gè)沿海城市。1.定義謂詞如下：BC

27、ity(x)：x是一個(gè)美麗的城市 HCity(x)：x是一個(gè)沿海城市2.將個(gè)體代入謂詞中，得到： BCity(wuhan), HCity(wuhan)3.根據(jù)語(yǔ)義，用邏輯連接符連接vBCity(wuhan)HCity(wuhan)38CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU謂詞邏輯表示知識(shí)舉例2v用謂詞邏輯表示下列知識(shí)：v如果馬亮是男孩，張紅是女孩，則馬亮比張紅長(zhǎng)得高。1.定義謂詞如下：Boy(x): x是男孩 Girl(x): x是女孩 High(x,y): x比y長(zhǎng)得高

28、2.將個(gè)體代入謂詞中，得到:Boy(mal), Girl(zhangh), High(mal,zhangh)3.根據(jù)語(yǔ)義，用邏輯連接符連接(Boy(mal)Girl(zhangh)High(mal,zhangh)39CSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSUCSU402.3.2 謂詞公式v原子公式的的定義：v用P(x1，x2，xn)表示一個(gè)n元謂詞公式，其中P為n元謂詞，x1,x2,，xn為客體變量或變?cè)Ｍǔ０裀(x1,x2,xn)叫做謂詞演算的原子公式，或原子謂詞公式。v分子謂詞公式v可以用連詞把原子謂詞公式組成復(fù)合謂詞公式，并把它叫做分子謂詞公式。2.3 謂詞邏輯法CSUCSUCSUCSUC