人工智能7(編輯修改稿)
2025-03-10 15:21 本頁面
【文章內(nèi)容簡(jiǎn)介】 默認(rèn)推理：在知識(shí)不完全的情況下假設(shè)某些條件已經(jīng)具備所進(jìn)行的推理。 08715031301 2023年 3月 10日星期五 33 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 推理的不確定性及其單調(diào)性 確定性推理：推理所用的證據(jù)、知識(shí)及結(jié)論都是可以精確表示的，其真值不為真就為假，不會(huì)有第三種情況出現(xiàn)。 不確定性推理：推理所用的證據(jù)、知識(shí)及結(jié)論都是不確定的，都是不可以精確表示的，其真值位于真和假之間。 單調(diào)性推理：由于新知識(shí)的加入和使用，使推理所得到的結(jié)論會(huì)越來越接近目標(biāo)。 非單調(diào)性推理：推理過程中某些新知識(shí)的加入和使用，不但沒有加強(qiáng)已經(jīng)推出的結(jié)論，反而會(huì)否定原來已推出的結(jié)論。 08715031301 2023年 3月 10日星期五 34 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 交換律： p∧ q ≡ q∧ p p∨ q ≡ q ∨ p 結(jié)合律 ： (p∨ q) ∨ r ≡ p∨ (q∨ r) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) 分配率： p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) p ∧( q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) 基本等值式： α ≡ 223。 ，當(dāng)且僅當(dāng) α╞ β 且 β╞ α 08715031301 2023年 3月 10日星期五 35 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 摩根律： ? (p∧ q) ≡ ? p ∨ ?q ? (p∨ q) ≡ ? p ∧ ?q 吸收律： p∨ (p∧ q) ≡ p p∧ (p∨ q) ≡ p 同一律： p∨ 0 ≡ p p∧1 ≡ p 蘊(yùn)含等值式 ： p ? q ≡ ? p ∨ q （蘊(yùn)含消去） 假言易位式： p ? q ≡ ? q ? ?p（逆否命題） 雙向蘊(yùn)含消去： p?q ≡( p? q) ∧ (q ? p) 基本等值式： 08715031301 2023年 3月 10日星期五 36 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 合法性和可滿足性 例如： True， A ??A, A ? A, (A ? (A ? B)) ? B 若 α至少有一個(gè)成真賦值，則稱 α為可滿足的 ., A? B, C 若 α無成真賦值，則稱 α為不可滿足的，稱矛盾式或永假式， 例如： A??A 若語句 α無成假賦值，則稱 α是合法的，稱重言式或永真式， 08715031301 2023年 3月 10日星期五 37 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 α是合法的，當(dāng)且僅當(dāng) ?α是不可滿足的 α是可滿足的，當(dāng)且僅當(dāng) ?α是不合法的 反證法（歸謬）： KB ╞ α當(dāng)且僅當(dāng) (KB ??α)是不可滿足的 08715031301 2023年 3月 10日星期五 38 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 推理規(guī)則 ? 邏輯等價(jià) ?分離規(guī)則： α? β, α β 例如，已知 （ WumpusAhead ?WumpusAlive) ?shoot 和 （ WumpusAhead ?WumpusAlive)，可推導(dǎo)出 shoot ?與消去（合取式推導(dǎo)出任何合取子句）： α ? β α 例如： WumpusAhead ?WumpusAlive可推導(dǎo)出WumpusAlive 08715031301 2023年 3月 10日星期五 39 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 推理規(guī)則的應(yīng)用序列 證明 ： α ? β 代換為 (α ? β)?(β ? α). 由語句 (4)得： (B1,1 ? (P1,2 ? P2,1)) ? ((P1,2 ? P2,1) ? B1,1) (6) （ 6）與消去： ((P1,2 ? P2,1) ? B1,1) (7) 語句 (7)再根據(jù) α ? β ≡ ? β ? ? α （逆否命題） 得： (?B1,1 ? (?(P1,2 ? P2,1)) （ 8） （ 8）和（ 2）根據(jù)分離規(guī)則得： (?(P1,2 ? P2,1)) (9) 4. 根據(jù)摩根律： ?P1,2 ? ?P2,1 （ 10） （ 1） ? P1,1（ 2） ?B1,1（ 3） B2,1 （ 4） B1,1 ? (P1,2 ? P2,1) （ 5） B2,1 ? (P1,1 ? P2,2 ? P3,1) 08715031301 2023年 3月 10日星期五 40 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 歸結(jié) A ? B 反證法：證明 A ?? B是矛盾式（永假式） ? 建立子句集 合取范式：命題、命題或的與 例如： p ?（ p ? q） ? （ ?p ? q） 子句集 S：合取范式形式下得子命題（元素）的集合 例如：上述命題公式的子句集 S={p, p ? q, ?p ? q} 08715031301 2023年 3月 10日星期五 41 / 16 ?信 息 學(xué) 院 人工智能 —— 一種現(xiàn)代方法 合取范式 B1,1 ? (P1,2 ? P2,1) 1. 消去 ?： α ? β替換為 (α ? β)?(β ? α). (B1,1 ? (P1,2 ? P2,
化學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1