上堂課的內(nèi)容、重點(diǎn)與難點(diǎn)-資料下載頁
2025-07-17 23:42本頁面
【正文】 W(x， y))?C(x)) = (P(x)?B(y)? W(x， y))?C(x) (3) ?x (P(x)? ?D(x) ? ?y(A(y) ? W(x， y)))) =?x?y(P(x)? A(y)? ?D(x)? W(x， y)) = P(a)? A(b)? ?D(a)? W(a， b) 否定結(jié)論得到 ? ?x(P(x)? ?D(x)? C(x)) = ?x ( ? P(x)? D(x)? ? C(x)) 解： (7)D(x3)? P(x3)， C(x3) 過程 (8)? P(a)， C(a) {a/x3}(5)(7)歸結(jié) (9)? C(a) (8)(3)歸結(jié) (10)? P(a),B(y), W(a， y) {a/x2}(9)(2)歸結(jié) (11)? B(y)， W(a， y) (10)(3)歸結(jié) (12)? A(y)， W(a， y) {y/x1}(11)(1)歸結(jié) (13)? W(a， b) {b/y}(12)(4)歸結(jié) (14)口 (13)(6)歸結(jié) (1)B(x1)?A(x1) 過程 (2)C(x2)? P(x2)， B(y)， W(x2， y) 過程 (3)P(a)? 事實(shí) (4)A(b)? 事實(shí) (5)? D(a) 目標(biāo) (6)W(a， b)? 事實(shí) 45/50 例 已知知識如下： (1)每個(gè)程序員均寫過程序； (2)病毒是一種程序 (3)有些程序員沒寫過病毒； 結(jié)論：有些程序不是病毒。 試用霍恩子句邏輯程序證明之。 證明： 令 P(e)表示 e為程序員； A(e)表示 e為程序； B(e)表示 e為病毒； W(e1,e2)表示 e1寫了 e2. 46/50 (1)每個(gè)程序員均寫過程序； (2)病毒是一種程序 (3)有些程序員沒寫過病毒； 結(jié)論：有些程序不是病毒。 （ 1） ?x(P(x) →?y(A(y) ∧ W(x,y))) （ 2） ?x(B(x) →A(x)) （ 3） ?x(P(x) ∧ ?y(B(y) →?W(x,y))) 結(jié)論： ?x(A(x) ∧ ?B(x)) 提取子句 : （ 1） ?x(P(x) →?y(A(y) ∧ W(x,y))) = ?x ?y (P(x) → (A(y) ∧ W(x,y))) = ?x (P(x) → (A(y) ∧ W(x,f(x)))) = P(x) → (A(y) ∧ W(x,f(x))) （ 2） ?x(B(x) →A(x)) （ 3） ?x(P(x) ∧ ?y(B(y) →?W(x,y))) = P(a) ∧ ?y(B(y) →?W(a,y))) 結(jié)論的否定為： ??x(A(x)∧ ?B(x)) = ?x(A(x)→ B(x)) (1) A(f(x1)) ? P(x1) 過程 (2) W(x2, f(x2)) ? P(x2) 過程 (3) A(x3) ? B(x3) 過程 (4) P(a)? 事實(shí) (5) ? B(y), W(a, y) 目標(biāo) (6) B(x4) ? A(x4) 過程 (7) ? A(y), W(a, y) {y/x4}(5)(6)歸結(jié) (8) ? P(x1), W(a, f(x1)) {f(x1)/y}(7)(1)歸結(jié) (9) ? W(a, f(a)) {a/x1} (8)(4)歸結(jié) (10) ? P(a) {a/x2} (9)(2)歸結(jié) (11) 口 (4)(10)歸結(jié) 49/50 本堂課的內(nèi)容、重點(diǎn)與難點(diǎn) ? 歸結(jié)反演系統(tǒng)推理過程 ? 霍恩子句邏輯程序推理過程 ? 運(yùn)用謂詞、量詞將知識符號化 ? 子句提取 (量詞消去規(guī)則的掌握 ) ? 在置換的基礎(chǔ)上進(jìn)行歸結(jié) ? 歸結(jié)反演系統(tǒng) ? 霍恩子句 ? 霍恩子句邏輯程序 50/50 (1) 作業(yè) 07 補(bǔ) 1 乒乓球隊(duì)隊(duì)員都是優(yōu)秀的天才 ,有些乒乓球隊(duì)隊(duì)員參加奧運(yùn)會 , 所以有些乒乓球隊(duì)隊(duì)員是天才 , 且參加奧運(yùn)會。試用霍恩子句邏輯程序證明之。
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號-1