人工智能知識表示方法51(編輯修改稿)
2025-03-10 15:25 本頁面
【文章內容簡介】 ?人工智能與專家系統(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）補余律 P ∨ ﹁ P T P ∧ ﹁ P F ??人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 （ 8）連詞化歸律 P→Q ﹁ P∨ Q （ 9）量詞轉換律 ﹁（ 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 謂詞公式的永真蘊含 定義 : 對于謂詞公式 P和 Q，如果 P→Q 永真，則稱 P永真蘊含 Q，且稱 Q為 P的 邏輯結論 ，稱 P為 Q的前提，記為 P Q。 ?人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 8 推理規(guī)則、定理與證明 推理規(guī)則用來由已知的合式公式推導 出新的合式公式。導出的合式公式稱為 定 理 ，而所使用的推理規(guī)則的序列則構成該 定理的一個 證明 。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 一階謂詞邏輯表示方法 1 一階謂詞邏輯表示方法 用謂詞公式表示知識時，應按以下步驟進行： (1)定義謂詞，給出每個謂詞的確切含義； (2)用連詞把有關謂詞連接起來表示一個更復雜 的含義； (3)對謂詞公式中的變元，根據知識表示的需 要，把需要約束的變元用相應的量詞予以約束。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 例 用謂詞公式表示下列知識： ? 王林是計算機系的學生，但他不喜歡 編程序。 ? 人人愛勞動。 人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 解 ： （ 1） 定義謂詞 COMPUTER（ x） 表示 x 是計算機系的學生 LIKE（ x ,y） 表示 x 喜歡 y LOVE(x ,y) 表示 x 愛 y MAN（ x） 表示 x 是人 （ 2）謂詞公式知識表示 COMPUTER（ Wang Lin） ∧ ﹁ LIKE(Wang Lin,Programing) ( x)(MAN(x)→LOVE( x， Labour)) ?人工智能與專家系統(tǒng) (第二版） 中國水利水電出版社 例 用謂詞公式表示下列知識： 自然數(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）謂詞公式知識表示 ( 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)評公示相關推薦
鄂ICP備17016276號-1