數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn)講稿21---知識(shí)表示

1、編號(hào)： 時(shí)間：2021 年 x 月 x 日 書(shū)山有路勤為徑，學(xué)海無(wú)涯苦作舟 書(shū)山有路勤為徑，學(xué)海無(wú)涯苦作舟 頁(yè)碼：第 1 頁(yè) 共 31 頁(yè)第 1 頁(yè) 共 31 頁(yè)第 2 章 知識(shí)表示 知識(shí)表示知識(shí)表示 知識(shí)表示是人工智能研究中極為重要的研究課題之一。無(wú)論應(yīng)用人工智能技術(shù)解決什么問(wèn)題，首先遇到的就是所涉及的各類知識(shí)如何加以表示。不同的知識(shí)有不同的表示方法，研究知識(shí)表示方法，不單是解決如何將知識(shí)存儲(chǔ) 存儲(chǔ)在計(jì)算機(jī)中，更重要的是應(yīng)該能夠方便和

2、正確 方便和正確地使用知識(shí)。合理的知識(shí)表示，可以使問(wèn)題求解變得容易，并且有較高的求解效率。評(píng)價(jià)一個(gè)好的知識(shí)表示系統(tǒng)應(yīng)具有以下幾點(diǎn)：① 具有表示某個(gè)專門(mén)領(lǐng)域所需要的知識(shí)能力，并保證知識(shí)庫(kù)中的知識(shí)是相容的；② 具有從已知知識(shí)推導(dǎo)出新知識(shí)的能力，容易建立表達(dá)新知識(shí)所需要的新結(jié)構(gòu)；③ 便于新知識(shí)的獲取，最簡(jiǎn)單的情況是能夠由人直接輸入知識(shí)到知識(shí)庫(kù)中；④ 便于將啟發(fā)式知識(shí)附加到知識(shí)結(jié)構(gòu)中，以便把推理集中在最希望的方向上。為了實(shí)現(xiàn)上述目標(biāo)，人們至今已

3、提出了幾十種甚至上百種的知識(shí)表示方法。但沒(méi)有一種表示能包打天下。較為常見(jiàn)的知識(shí)表示方法有：? 一階謂詞邏輯表示 √? 產(chǎn)生式表示或稱規(guī)則表示 √? 語(yǔ)義網(wǎng)表示 √? 框架表示 √? 面象對(duì)象表示? 過(guò)程表示? 腳本表示? 神經(jīng)元表示? 特性表表示2.1 一階謂詞邏輯表示 一階謂詞邏輯表示謂詞邏輯是一種形式語(yǔ)言，也是目前能夠表達(dá)人類思維活動(dòng)的一種最精確的

4、語(yǔ)言。它與人類的自然語(yǔ)言比較接近，即可方便地存儲(chǔ)到計(jì)算機(jī)中，又可被計(jì)算機(jī)進(jìn)編號(hào)： 時(shí)間：2021 年 x 月 x 日 書(shū)山有路勤為徑，學(xué)海無(wú)涯苦作舟 書(shū)山有路勤為徑，學(xué)海無(wú)涯苦作舟 頁(yè)碼：第 3 頁(yè) 共 31 頁(yè)第 3 頁(yè) 共 31 頁(yè)一個(gè)謂詞可分為：謂詞名 謂詞名和個(gè)體 個(gè)體兩部分。其中，個(gè)體是用來(lái)表示某個(gè)獨(dú)立存在的事物或者某個(gè)抽象的概念；謂詞名是用來(lái)表示個(gè)體的性質(zhì)、狀態(tài)或個(gè)體之間的關(guān)系等。通常，謂詞名用大寫(xiě)英文字母表示，個(gè)體用小寫(xiě)英

5、文字母表示。如：王宏是學(xué)生 謂詞表示為：STUDENT（Wanghong）桂林山水甲天下 謂詞表示為：甲天下（桂林山水）桂林在廣西的北部 謂詞表示為：在（北部，桂林，廣西）廣西師大校園坐落在桂林 謂詞表示為：坐落在（廣西師大校園，桂林）全州是桂林的縣 謂詞表示為：縣（全州，桂林）x>6 謂詞

6、表示為：Greater(x,6)王宏的父親是教師 謂詞表示為：TEACHER（father(Wanghong)）謂詞的形式定義如下：定義 定義 2.2 設(shè) D 是個(gè)體域，P: 是一個(gè)映射，其中 } , { F T D n ?} , , 2 , 1 , | ) , , , {( 2 1 n i D x x x x D i nn ? ? ? ? ?則稱 P 是一個(gè) n 元謂詞。記為： ， 是個(gè)體。 ) , , , ( 2

7、1 n x x x P ? n x x x , , , 2 1 ?注：在謂詞中，個(gè)體可以是常量、變?cè)蚝瘮?shù)。函數(shù)的定義形式為： 定義 定義 2.3 設(shè) D 是個(gè)體域， 的一個(gè)映射，則稱 是 D 上的一個(gè) n 元 D D f n ? : f函數(shù)。記作： ， 是個(gè)體。 ) , , , ( 2 1 n x x x f ? n x x x , , , 2 1 ?說(shuō)明 說(shuō)明：① 謂詞和函數(shù)的定義形式相似，但卻是兩個(gè)不同的概念。② 謂詞的真值是