人工智能與專家系統(tǒng)000人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三人工智能知識(shí)表示方法人工智能與專家系統(tǒng)000人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三第2章知識(shí)表示方法2.1一階謂詞邏輯表示方法2.2產(chǎn)生式表示方法人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三知識(shí)表示是對(duì)知識(shí)的一種描述,或者說是一組約定,是種計(jì)算機(jī)可以接受的用于描述知識(shí)的數(shù)據(jù)結(jié)構(gòu)。知識(shí)外部表示模式:是與軟件開發(fā)與運(yùn)行的軟件工具與平臺(tái)無關(guān)的知識(shí)表示的形式化描述。知識(shí)內(nèi)部表示模式:是與開發(fā)軟件工具與平臺(tái)有關(guān)的知識(shí)表示的存儲(chǔ)結(jié)構(gòu)。人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社人工智能與專家系統(tǒng)人工智能知識(shí)表示方法人工智能與專家系統(tǒng)1第2章知識(shí)表示方法2.1一階謂詞邏輯表示方法2.2產(chǎn)生式表示方法人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三第2章知識(shí)表示方法2知識(shí)表示是對(duì)知識(shí)的一種描述,或者說是一組約定,是種計(jì)算機(jī)可以接受的用于描述知識(shí)的數(shù)據(jù)結(jié)構(gòu)。知識(shí)外部表示模式:是與軟件開發(fā)與運(yùn)行的軟件工具與平臺(tái)無關(guān)的知識(shí)表示的形式化描述。知識(shí)內(nèi)部表示模式:是與開發(fā)軟件工具與平臺(tái)有關(guān)的知識(shí)表示的存儲(chǔ)結(jié)構(gòu)。人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社知識(shí)表示是對(duì)知識(shí)的一種描述,或者32.1一階謂詞邏輯表示方法21.1一階謂詞邏輯吧12-階調(diào)詞輯表示方法人工智能與專家系統(tǒng)第二版)中國(guó)水利水電出版社三2.1一階謂詞邏輯表示方法42.1.1一階謂詞邏輯1命題命題是具有真假意義的語句。命題代表人們進(jìn)行思維時(shí)的一種判斷,或者是肯定,或者是否定。人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三2.1.1一階謂詞邏輯52謂詞謂詞謂詞可分為謂詞名與個(gè)體兩部分,個(gè)體表示某個(gè)獨(dú)立存在的事物或者某個(gè)抽象謂詞的概念,謂詞名用于刻畫個(gè)體的性質(zhì)狀態(tài)或個(gè)體間的關(guān)系。一階謂詞的一般形式為:P(x1,x2,…,xn)其中,P是謂詞名,x1,x2…,xn是個(gè)體人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三2謂詞6一階謂詞中的個(gè)體可以是常量,也可以是變?cè)?還可以是一個(gè)函數(shù)。個(gè)體常量,個(gè)體變?cè)?、函?shù)統(tǒng)稱為“項(xiàng)”。規(guī)定:謂詞名或謂詞名的第一個(gè)字符用大寫字符表示,項(xiàng)中的常量(或常量的第一個(gè)字符)用大寫字符表示,項(xiàng)中的變?cè)秃瘮?shù)名(或函數(shù)名的第一個(gè)字符)以及函數(shù)的變?cè)加眯懽址硎救斯ぶ悄芘c專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三一階謂詞中的個(gè)體可以是常量,也可73謂詞公式(1)連詞①非連詞②或連詞∨:用∨連接兩個(gè)命題稱為析取。③與連詞∧:用∧連接兩個(gè)命題稱為合?、芴N(yùn)合連詞→:它表示“如果P,則Q”,其中P稱為前件,Q稱為后件。2)量詞①全稱量詞(x):表示對(duì)個(gè)體域ⅹ中的所有(或任一個(gè))個(gè)體x。②存在量詞(彐x):表示在個(gè)體域X中存在個(gè)體人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三3謂詞公式8例:若謂詞P(x)表示κ是正數(shù),F(xy)表示κ與是朋友,則c()P(x)表示個(gè)體域X中的所有個(gè)體x都是正數(shù)。e(x)(M)F(xy表示對(duì)于個(gè)體域X中的任何個(gè)體x,在個(gè)體域Y中都存在個(gè)體y,x與y是朋友。e(x)()F(x,表示在個(gè)體域X中存在個(gè)體x他與個(gè)體域Y中的任何個(gè)體都是朋友。e()y(x少表示在個(gè)體域X中存在個(gè)體和在個(gè)體域Y中存在個(gè)體y,x與J是朋友人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社例:若謂詞P(x)表示κ是正數(shù),F(xy)表示κ與9(3)謂詞公式由下述規(guī)則得到的謂詞公式稱為合式公式①單個(gè)謂詞和單個(gè)謂詞的否定稱為原子謂詞公式,原子謂詞公式是合式公式。②若A是合式公式,則一A也是合式公式③若A、B都是合式公式,則AVB、A∧BA→B也都是合式公式④若A是合式公式,x是任個(gè)體變?cè)?則vx)A和(彐x)A也都是合式公式在合式公式中,連的優(yōu)先級(jí)別依序?yàn)椤娜斯ぶ悄芘c專家系統(tǒng)(第二版)中國(guó)水利水電出版社(3)謂詞公式10人工智能知識(shí)表示方法課件11人工智能知識(shí)表示方法課件12人工智能知識(shí)表示方法課件13人工智能知識(shí)表示方法課件14人工智能知識(shí)表示方法課件15人工智能知識(shí)表示方法課件16人工智能知識(shí)表示方法課件17人工智能知識(shí)表示方法課件18人工智能知識(shí)表示方法課件19人工智能知識(shí)表示方法課件20人工智能知識(shí)表示方法課件21人工智能知識(shí)表示方法課件22人工智能知識(shí)表示方法課件23人工智能知識(shí)表示方法課件24人工智能知識(shí)表示方法課件25人工智能知識(shí)表示方法課件26人工智能知識(shí)表示方法課件27人工智能知識(shí)表示方法課件28人工智能知識(shí)表示方法課件29人工智能知識(shí)表示方法課件30人工智能知識(shí)表示方法課件31人工智能知識(shí)表示方法課件32人工智能知識(shí)表示方法課件33人工智能知識(shí)表示方法課件34人工智能知識(shí)表示方法課件35人工智能知識(shí)表示方法課件36人工智能知識(shí)表示方法課件37人工智能知識(shí)表示方法課件38人工智能知識(shí)表示方法課件39人工智能知識(shí)表示方法課件40人工智能知識(shí)表示方法課件41人工智能知識(shí)表示方法課件42人工智能知識(shí)表示方法課件43人工智能知識(shí)表示方法課件44人工智能知識(shí)表示方法課件45人工智能知識(shí)表示方法課件46人工智能知識(shí)表示方法課件47人工智能知識(shí)表示方法課件48人工智能知識(shí)表示方法課件49人工智能知識(shí)表示方法課件50人工智能知識(shí)表示方法課件51人工智能與專家系統(tǒng)000人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三人工智能知識(shí)表示方法人工智能與專家系統(tǒng)000人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三第2章知識(shí)表示方法2.1一階謂詞邏輯表示方法2.2產(chǎn)生式表示方法人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三知識(shí)表示是對(duì)知識(shí)的一種描述,或者說是一組約定,是種計(jì)算機(jī)可以接受的用于描述知識(shí)的數(shù)據(jù)結(jié)構(gòu)。知識(shí)外部表示模式:是與軟件開發(fā)與運(yùn)行的軟件工具與平臺(tái)無關(guān)的知識(shí)表示的形式化描述。知識(shí)內(nèi)部表示模式:是與開發(fā)軟件工具與平臺(tái)有關(guān)的知識(shí)表示的存儲(chǔ)結(jié)構(gòu)。人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社人工智能與專家系統(tǒng)人工智能知識(shí)表示方法人工智能與專家系統(tǒng)52第2章知識(shí)表示方法2.1一階謂詞邏輯表示方法2.2產(chǎn)生式表示方法人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三第2章知識(shí)表示方法53知識(shí)表示是對(duì)知識(shí)的一種描述,或者說是一組約定,是種計(jì)算機(jī)可以接受的用于描述知識(shí)的數(shù)據(jù)結(jié)構(gòu)。知識(shí)外部表示模式:是與軟件開發(fā)與運(yùn)行的軟件工具與平臺(tái)無關(guān)的知識(shí)表示的形式化描述。知識(shí)內(nèi)部表示模式:是與開發(fā)軟件工具與平臺(tái)有關(guān)的知識(shí)表示的存儲(chǔ)結(jié)構(gòu)。人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社知識(shí)表示是對(duì)知識(shí)的一種描述,或者542.1一階謂詞邏輯表示方法21.1一階謂詞邏輯吧12-階調(diào)詞輯表示方法人工智能與專家系統(tǒng)第二版)中國(guó)水利水電出版社三2.1一階謂詞邏輯表示方法552.1.1一階謂詞邏輯1命題命題是具有真假意義的語句。命題代表人們進(jìn)行思維時(shí)的一種判斷,或者是肯定,或者是否定。人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三2.1.1一階謂詞邏輯562謂詞謂詞謂詞可分為謂詞名與個(gè)體兩部分,個(gè)體表示某個(gè)獨(dú)立存在的事物或者某個(gè)抽象謂詞的概念,謂詞名用于刻畫個(gè)體的性質(zhì)狀態(tài)或個(gè)體間的關(guān)系。一階謂詞的一般形式為:P(x1,x2,…,xn)其中,P是謂詞名,x1,x2…,xn是個(gè)體人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三2謂詞57一階謂詞中的個(gè)體可以是常量,也可以是變?cè)?還可以是一個(gè)函數(shù)。個(gè)體常量,個(gè)體變?cè)?、函?shù)統(tǒng)稱為“項(xiàng)”。規(guī)定:謂詞名或謂詞名的第一個(gè)字符用大寫字符表示,項(xiàng)中的常量(或常量的第一個(gè)字符)用大寫字符表示,項(xiàng)中的變?cè)秃瘮?shù)名(或函數(shù)名的第一個(gè)字符)以及函數(shù)的變?cè)加眯懽址硎救斯ぶ悄芘c專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三一階謂詞中的個(gè)體可以是常量,也可583謂詞公式(1)連詞①非連詞②或連詞∨:用∨連接兩個(gè)命題稱為析取。③與連詞∧:用∧連接兩個(gè)命題稱為合?、芴N(yùn)合連詞→:它表示“如果P,則Q”,其中P稱為前件,Q稱為后件。2)量詞①全稱量詞(x):表示對(duì)個(gè)體域ⅹ中的所有(或任一個(gè))個(gè)體x。②存在量詞(彐x):表示在個(gè)體域X中存在個(gè)體人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社三三3謂詞公式59例:若謂詞P(x)表示κ是正數(shù),F(xy)表示κ與是朋友,則c()P(x)表示個(gè)體域X中的所有個(gè)體x都是正數(shù)。e(x)(M)F(xy表示對(duì)于個(gè)體域X中的任何個(gè)體x,在個(gè)體域Y中都存在個(gè)體y,x與y是朋友。e(x)()F(x,表示在個(gè)體域X中存在個(gè)體x他與個(gè)體域Y中的任何個(gè)體都是朋友。e()y(x少表示在個(gè)體域X中存在個(gè)體和在個(gè)體域Y中存在個(gè)體y,x與J是朋友人工智能與專家系統(tǒng)(第二版)中國(guó)水利水電出版社例:若謂詞P(x)表示κ是正數(shù),F(xy)表示κ與60(3)謂詞公式由下述規(guī)則得到的謂詞公式稱為合式公式①單個(gè)謂詞和單個(gè)謂詞的否定稱為原子謂詞公式,原子謂詞公式是合式公式。②若A是合式公式,則一A也是合式公式③若A、B都是合式公式,則AVB、A∧BA→B也都是合式公式④若A是合式公式,x是任個(gè)體變?cè)?則vx)A和(彐x)A也都是合式公式在合式公式中,連的優(yōu)先級(jí)別依序?yàn)椤娜斯ぶ悄芘c專家系統(tǒng)(第二版)中國(guó)水利水電出版社(3)謂詞公式61人工智能知識(shí)表示方法課件62人工智能知識(shí)表示方法課件63人工智能知識(shí)表示方法課件64人工智能知識(shí)表示方法課件65人工智能知識(shí)表示方法課件66人工智能知識(shí)表示方法課件67人工智能知識(shí)表示方法課件68人工智能知識(shí)表示方法課件69人工智能知識(shí)表示方法課件70人工智能知識(shí)表示方法課件71人工智能知識(shí)表示方法課件72人工智能知識(shí)表示方法課件73人工智能知識(shí)表示方法課件74人工智能知識(shí)表示方法課件75人工智能知識(shí)表示方法課件76人工智能知識(shí)表示方法課件77人工智能知識(shí)表示方法課件78人工智能知識(shí)表示方法課件79人工智能知識(shí)表示方法課件80人工智能知識(shí)表示方法課件81人工智能知識(shí)表示方法課件82人工智能知識(shí)表示方法課件83人工智能知識(shí)表示方法課件84人工智能知識(shí)表示方法課件85人工智能知識(shí)表示方法課件86人工智能知識(shí)表示方法課件87人工智能知