人工智能原理及其應(yīng)用-文庫吧
2025-02-10 15:17 本頁面
【正文】 效果、推理效率 第三章 確定性推理 1) 正向推理 知識庫、綜合數(shù)據(jù)庫、推理機(jī) 正向推理的過程（圖 31） 優(yōu)點(diǎn) ：直觀。適合于診斷、監(jiān)控、設(shè)計、預(yù)測等領(lǐng)域。 缺點(diǎn) ；推理無明確目標(biāo)，效率較低。 2) 逆向推理 3) 逆向推理的過程（圖 32） 4) 優(yōu)點(diǎn) ：目標(biāo)明確，效率較高 5) 缺點(diǎn) ：情況不明時，選擇假設(shè)目標(biāo)的盲目性比較大，可能多次提出假設(shè)，降低系統(tǒng)效率 第三章 確定性推理 3) 混合推理 a) 方法 i. 先正后逆（圖 33） ii. 先逆后正（圖 34） iii. 雙向（圖 35） b) 適用場合 i. 事實(shí)不夠充分 ii. 正向推理推出的結(jié)論可性度不高 iii. 希望得到更多結(jié)論 第三章 確定性推理 4) 沖突消解策略 1. 基本思想：對可用知識排序 a) 特殊知識優(yōu)先 b) 新鮮知識優(yōu)先 c) 差異性大的知識優(yōu)先 d) 領(lǐng)域特點(diǎn)優(yōu)先 e) 上下文關(guān)系優(yōu)先 f) 前提條件少者優(yōu)先 第三章 確定性推理 二、推理的邏輯基礎(chǔ) 1. 基本概念 1) 謂詞公式的解釋 對所包含的常量、函數(shù)、謂詞賦值 2) 謂詞公式的永真性與可滿足性 非空個體域上的任一解釋（ 在 D上永真 ）；任何非空個體域 （ 永真 ） 3) 謂詞公式的等價性與永真蘊(yùn)含性 在 D上等價 與 等價 P＜ ﹦ ＞ Q ,永真蘊(yùn)含 P﹦ ＞ Q 常用的等價式、永真蘊(yùn)含式 （ 牢記 ） 第三章 確定性推理 2. 謂詞公式的范式 3. 前束范式： 前綴 ＋ 母式 3. 置換與合一 已知： W1(A), ( x)(W1(x) → W2(x)) 結(jié)論： W2(A) 1) 置換：在表達(dá)式中用置換項置換變量。 {t1/x1, t2/x2, …,tn/xn,} 量詞串 無量詞公式 第三章 確定性推理 置換的例 置換的合成 (Ls1)s2=L(s1s2) 置換一般不可交換
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1