【正文】 (1)(3) (7)Q∨ ～ Q (1)(4) (8)P∨ ～ P (1)(4) (9)Q ∨ ～ Q (2)(3) (10)P∨ ～ P (2)(3) (11)～ P (2)(4) (12)～ Q (3)(4)2/27/2023 127人工智能講義歸結(jié)過程的控制策略 (盲目歸結(jié) )S2 (13)P (1)(7) (14)P∨Q (1)(8) (15)P∨Q (1)(9) (16)P∨Q (1)(10) (17)Q (1)(11) (18)P (1)(12) (19)Q (2)(6) (20)～ P∨Q (3)(4) (21)～ P∨Q (2)(8) (22)～ P∨Q (2)(9) (23)～ P∨Q (2)(10) (24)～ P (2)(12) (25) P (3)(5) (26)P∨ ～ Q (3)(7) (27) P∨ ～ Q (3)(8) (28) P∨ ～ Q (3)(9) (29) P∨ ～ Q (3)(10) (30)～ Q (3)(11) (31)～ P (4)(5) (32)～ Q (4)(6) (33)～ P∨ ～ Q (4)(7) (34)～ P∨ ～ Q (4)(8) (35)～ P∨ ～ Q (4)(9) (36)～ P∨ ～ Q (4)(10) (37)Q (5)(7) (38)Q (5)(9) (39) ? (5)(12)產(chǎn)生過多不必要的歸結(jié)式。一類是重言式（ 7） （ 10）由它們又產(chǎn)生了（ 13） （ 16），（ 20） （ 23）， (26)(29),(33)(39)。另一類是重復(fù)的，如 P,Q, ～ P, ～ 歸結(jié)過程的控制策略?刪除策略 設(shè)有兩個子句 C和 D，若有置換 243。 使得 C 243。 ? D成立，便說子句 C把子句 D歸類。例 C=P(X) D=P(a)∨Q(a) 取 243。={a/x}, 便有 C 243。=P(a) ? {P(a),Q(a)}。刪除策略：若對 s使用歸結(jié)推理過程中，當(dāng)歸結(jié)式 Cj是重言式或 Cj被 S中子句或歸結(jié)式Ci(ij)歸類時，便將 Cj刪除。2/27/2023 129人工智能講義歸結(jié)過程的控制策略?支持集策略 支持集：設(shè) S的子集 T，說 T是支持集，如果 ST是可滿足。（目標(biāo)公式的否定或由它們的后裔產(chǎn)生的子句）策略： 每次歸結(jié)時，至少有一個子句來自于 T或由 T導(dǎo)出的歸結(jié)式。例 S={P∨ Q,～P∨ R, ～Q ∨ R, ～R }取 T={～R }2/27/2023 130人工智能講義歸結(jié)過程的控制策略? 語義歸結(jié)策略 將子句集 S分成兩部分，約定每部分內(nèi)的子句間不允許做歸結(jié)。還引入文字次序，約定歸結(jié)時其中的一個子句被歸結(jié)文字只能是該子句中 “最大 ”的文字。例 S={～P∨～ Q∨ R, P∨ R, Q∨ R ,～R } 文字次序： PQR 解釋 I={～P, ～Q, ～R} 2/27/2023 131人工智能講義歸結(jié)過程的控制策略? 線性歸結(jié)策略 首先從子句集 S中選取一個稱為頂子句的子句 C0開始做歸結(jié)，其次是歸結(jié)過程中所得到的歸結(jié)式 Ci立即同另一個子句 Bi進(jìn)行歸結(jié)得歸結(jié)式 Ci+1。而 Bi屬于 S或是已出現(xiàn)的歸結(jié)式 Cj(ji)。2/27/2023 132人工智能講義歸結(jié)過程的控制策略? 單元?dú)w結(jié)： 在歸結(jié)過程中，每次歸結(jié)都有一個子句是單元（只含一個文字）子句或單元因子時的歸結(jié)過程。2/27/2023 133人工智能講義歸結(jié)過程的控制策略? 輸入歸結(jié)： 在歸結(jié)過程中，對兩個子句所做的每一次歸結(jié)，其中必須有一個是 S的子句時，便稱作輸入歸結(jié)。2/27/2023 134人工智能講義歸結(jié)過程的控制策略? 控制策略的方法–刪除 = 完備–采用支撐集 =完備–語義歸結(jié) =完備–線性歸結(jié) =完備–單元?dú)w結(jié) = 完備–輸入歸結(jié) = 完備2/27/2023 135人工智能講義謂詞邏輯的歸結(jié)方法? 對于子句 C1?L1和 C2?L2，如果 L1與 ~L2可合一，且 s是其合一者，則 (C1?C2)s是其歸結(jié)式。? 例： P(x)?Q(y), ~P(f(z))?R(z) = Q(y)?R(z)2/27/2023 136人工智能講義歸結(jié)舉例設(shè)公理集：(?x)(R(x)?L(x))(?x)(D(x)?~L(x))(?x)(D(x)?I(x))求證： (?x)(I(x)?~R(x))化子句集： (?x)(R(x)?L(x)) = (?x)(~R(x)?L(x))= ~R(x)?L(x) (1)2/27/2023 137人工智能講義 (?x)(D(x)?~L(x))= (?x)(~D(x)?~L(x))= ~D(x)?~L(x) (2) (?x)(D(x)?I(x))= D(A)?I(A)= D(A) (3) I(A) (4)2/27/2023 138人工智能講義? 目標(biāo)求反： ~(?x)(I(x)?~R(x))= (?x)~(I(x)?~R(x))= (?x)(~I(x)?R(x))= ~I(x)?R(x) (5)換名后得字句集：~R(x1)?L(x1)~D(x2)?~L(x2)D(A) I(A) ~I(x5)?R(x5)2/27/2023 139人工智能講義例題得歸結(jié)樹~R(x1)?L(x1)~D(x2)?~L(x2)D(A) I(A) ~I(x5)?R(x5)I(A) ~I(x5)?R(x5) R(A){ A/x5} ~R(x1)?L(x1) L(A){ A/x1} ~D(x2)?~L(x2) ~D(A){ A/x2} D(A) nil2/27/2023 140人工智能講義歸結(jié)反演求解 提取回答的過程? 先進(jìn)行歸結(jié)，證明結(jié)論的正確性；? 用重言式代替結(jié)論求反得到的子句；? 按照證明過程，進(jìn)行歸結(jié)；? 最后，在原來為空的地方，得到的就是提取的回答。? 修改后的證明樹稱為 修改證明樹2/27/2023 141人工智能講義歸結(jié)反演求解 舉例“如果無論 John到哪里去， Fido也就去那里，那么如果 John在學(xué)校， Fido在哪里？ ”已知： (?x)[AT(John, x) ? AT(Fido, x)] AT(John, School)求證： (?x)AT(Fido, x)如果我們首先證明公式 (?x)AT(Fido, x) 在邏輯上遵循前提公式集，然后尋求一個存在 x的例，那么就能解決 “Fido在哪里 ”的問題。2/27/2023 142人工智能講義歸結(jié)反演求解 基于歸結(jié)的問答系統(tǒng)已知： (?x)[AT(John, x) ? AT(Fido, x)] AT(John, School)求證： (?x)AT(Fido, x)子句集：~AT(John, x1) ? AT(Fido, x1)AT(John, School)~AT(Fido, x2)2/27/2023 143人工智能講義~AT(Fido, x2) ~AT(John, x1) ?AT(Fido, x1)子句集： ~AT(John, x1) ? AT(Fido, x1)AT(John, School)~AT(Fido, x2)~AT(John, x2){x2/x1}AT(John, School)nil{School/x2}用重言式代替結(jié)論求反得到的子句2/27/2023 144人工智能講義~AT(Fido, x2) ~AT(John, x1) ?AT(Fido, x1)子句集： ~AT(John, x1) ? AT(Fido, x1)AT(John, School)~AT(Fido, x2)~AT(John, x2){x2/x1}AT(John, School)nil{School/x2}AT(Fido, x2) ??AT(Fido, x2)AT(Fido, School)2/27/2023 145人工智能講義例：猴子摘香蕉問題c2/27/2023 146人工智能講義問題的表示已知：1, ~ON(s0)2, (?x)(?s)(~ON(s) ? AT(box, x, push(x, s)))3, (?s)(ON(climb(s)))4, (?s)((ON(s) ? AT(box, c, s)) ? HB(grasp(s)))5, (?x)(?s)(AT(box, x, s) ? AT(box, x, climb(s)))求解： (?s)HB(s)2/27/2023 147人工智能講義問題的子句集1, ~ON(s0)2, ON(s1) ? AT(box, x1, push(x1, s1))3, ON(climb(s2))4, ~ON(s3) ? ~AT(box, c, s3) ? HB(grasp(s3))5, ~AT(box, x4, s4) ?AT(box, x4, climb(s4))6, ~HB(s5)返回2/27/2023 148人工智能講義~HB(s5) ~ON(s3) ? ~AT(box, c, s3) ? HB(grasp(s3))~ON(s3) ? ~AT(box, c, s3){grasp(s3)/s5}ON(climb(s2)){climb(s2)/s3} ~AT(box, c, climb(s2)) ~ON(s0) ON(s1) ? AT(box, x1, push(x1, s1)){s0/s1}AT(box, x1, push(x1, s0))~AT(box, x4, s4) ?AT(box, x4, climb(s4)){x4/x1,push(x4,s0)/s4}AT(box, x4, climb(push(x4,s0)))NIL{c/x4,push(c,s0)/s2}HB(s5) ?HB(grasp(s3)) ?? HB(grasp(climb(s2)))HB(grasp(climb(push(c,s0))))2/27/2023 149人工智能講義例子 任何兄弟都有同一個父親， John和Peter是兄弟，且 John的父親是 David,問Peter的父親是誰？2/27/2023 150人工智能講義例子 某人被盜，公安局派出所派出 5個偵察員卻調(diào)查。研究案情時，偵察員 A說： “趙與錢中至少有一人作案 ”；偵察員 B說： “錢與孫中至少有一人作案 ”；偵察員 C說： “孫與李中至少有一人作案 ”；偵察員 D說： “趙與孫中至少有一人與此案無關(guān) ”；偵察員 E說： “錢與李中至少有一人與此案無關(guān) ”。 如果這 5個偵察員的話都是可信的，試問誰是盜竊犯呢？2/27/2023 151人工智能講義歸結(jié)方法小結(jié)? 求子句集，進(jìn)行歸結(jié)，方法簡單? 通過修改證明樹的方法，提取回答? 方法通用? 求解效率低，不宜引入啟發(fā)信息? 不宜理解推理過程2/27/2023 152人工智能講義第三章 一般搜索原理 The End.2/27/2023 153人工智能講義演講完畢，謝謝觀看