人工智能知識(shí)表示方法(編輯修改稿)
2025-03-10 15:24 本頁面
【文章內(nèi)容簡(jiǎn)介】 ?人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 （ 3）分配律 P∨ (Q∧ R) (P∨ Q)∧ (P∨ R) P∧ (Q∨ R) (P∧ Q) ∨ (P∧ R) （ 4）狄 摩根律 ﹁ (P∨ Q) ﹁ P∧ ﹁ Q ﹁ (P∧ Q) ﹁ P∨ ﹁ Q ??人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 （ 5）雙重否定律 ﹁ ﹁ P P （ 6）吸收律 P∨ (P∧ Q) P P∧ (P∨ Q) P （ 7）補(bǔ)余律 P ∨ ﹁ P T P ∧ ﹁ P F ??人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 （ 8）連詞化歸律 P→Q ﹁ P∨ Q （ 9）量詞轉(zhuǎn)換律 ﹁（ x） P ( x ) (﹁ P) ﹁（ x） P ( x ) (﹁ P) (10) 量詞分配律 ( x )(P∧ Q) ( x )P∧ ( x ) Q ( x )(P∨ Q) ( x )P∨ ( x )Q ???????????人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 7 謂詞公式的永真蘊(yùn)含 定義 : 對(duì)于謂詞公式 P和 Q，如果 P→Q 永真，則稱 P永真蘊(yùn)含 Q，且稱 Q為 P的 邏輯結(jié)論 ，稱 P為 Q的前提，記為 P Q。 ?人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 8 推理規(guī)則、定理與證明 推理規(guī)則用來由已知的合式公式推導(dǎo) 出新的合式公式。導(dǎo)出的合式公式稱為 定 理 ，而所使用的推理規(guī)則的序列則構(gòu)成該 定理的一個(gè) 證明 。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 一階謂詞邏輯表示方法 1 一階謂詞邏輯表示方法 用謂詞公式表示知識(shí)時(shí)，應(yīng)按以下步驟進(jìn)行： (1)定義謂詞，給出每個(gè)謂詞的確切含義； (2)用連詞把有關(guān)謂詞連接起來表示一個(gè)更復(fù)雜 的含義； (3)對(duì)謂詞公式中的變?cè)?，根?jù)知識(shí)表示的需 要，把需要約束的變?cè)孟鄳?yīng)的量詞予以約束。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 例 用謂詞公式表示下列知識(shí)： ? 王林是計(jì)算機(jī)系的學(xué)生，但他不喜歡 編程序。 ? 人人愛勞動(dòng)。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 解 ： （ 1） 定義謂詞 COMPUTER（ x） 表示 x 是計(jì)算機(jī)系的學(xué)生 LIKE（ x ,y） 表示 x 喜歡 y LOVE(x ,y) 表示 x 愛 y MAN（ x） 表示 x 是人 （ 2）謂詞公式知識(shí)表示 COMPUTER（ Wang Lin） ∧ ﹁ LIKE(Wang Lin,Programing) ( x)(MAN(x)→LOVE( x， Labour)) ?人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 例 用謂詞公式表示下列知識(shí)： 自然數(shù)是大于零的整數(shù)。 所有整數(shù)不是偶數(shù)就是奇數(shù)。 偶數(shù)除以 2是整數(shù)。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 解 ： （ 1） 定義謂詞 N(x ) 表示 x 是自然數(shù) I(x ) 表示 x 是整數(shù) E(x ) 表示 x 是偶數(shù) O(x ) 表示 x 是奇數(shù) GZ(x ) 表示 x 大于零 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 （ 2）謂詞公式知識(shí)表示 ( x ) (N(x )→GZ ( x )∧ I (x )) ( x ) (I (x )→E ( x )∨ O (x )) ( x ) (E (x )→I ( f (x ))) 其中，函數(shù) f (x )= x /2。 ?人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 例 已知 F1：王（ Wang）先生是小李（ Li）的老師。 F2：小李與小張（ Zhang ）
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1