人工智能第七章20xx-資料下載頁
2025-07-24 21:56本頁面
【正文】 t1m(1)， …… ， tn1， …… ， tnm(n)） } 如果 U1 和 U2是可合一的 ， 則替換集合 {σ1 ， σ2 ， …… ， σn}稱作是相容 的 ， 否則稱作是不相容的 ， U1 和 U2的最一般合一替換也叫做 {σ1 ， σ2 ， …… ， σn}的合一復合替換 。 8/21/2022 21 ? 例： 問如下 {σ1,σ2}是否相容？ 若相容，給出合一復合替換。 設(1){σ1,σ2}={{A/x},{B/x}} (2){σ1,σ2}={{x/y},{y/z}} (3) {σ1,σ2}={{f(z)/x},{f(A)/x}} (4) {σ1,σ2}={{g(y)/x},{f(x)/y}} 8/21/2022 22 Note:只有對具有相容匹配替換的解圖才考慮它對應的子句集是合理的 . 例 .事實 :P(x)∨ Q(x) 規(guī)則 :P(A)→R(A) Q(B)→R(B) (R(A)∨ R(B))不是該 AND/OR圖的一個子句表示 。 P(x) ∨ Q(x) P(x) P(A) R(A) Q(x) Q(B) R(B) {A/x} {B/x} 圖 一個具有不相容替換的 AND/OR圖 8/21/2022 23 例 . 事實 ~DOG(FIDO)∨ (BARKS(FIDO)∧ BITES(FIDO)) 規(guī)則： R1: ~DOG(x)→~TERRIER(x) R2: BARKS(y)→NOISY(y) 目標： ~TERRIER(z)∨ NOISY(z) 目標節(jié)點 ~TERRIER(z) NOISY(z) ~TERRIER(FIDO) ~DOG(x) ~DOG(FIDO) NOISY(FIDO) BARKS(y) BARKS(FIDO) BITES(FIDO) BARKS(FIDO)∧ BITES(FIDO) ~DOG(FIDO)∨ (BARKS(FIDO)∧ BITES(FIDO)) {FIDO/z} {FIDO/x} R1 R2 {FIDO/y} {FIDO/z} 圖 “Terrier”問題的 AND/OR圖 相容解圖 , 合一復合替換 : {FIDO/x， FIDO/y， FIDO/z}， 把該替換用于解圖的葉節(jié) 點，得到： ~TERRIER(FIDO)∨ NOISY(FIDO) 8/21/2022 24 正向演繹系統(tǒng)不完備 原因 ? 目標形式單一 ? 改名不徹底，導致 AND/OR圖的一般性比子句差，有些推理問題通過使用子句的歸結演繹能推出來，但用正向演繹系統(tǒng)推不出來。
語文相關推薦
鄂ICP備17016276號-1