[工學(xué)]第三章經(jīng)典邏輯推理(編輯修改稿)
2025-04-17 22:24 本頁面
【文章內(nèi)容簡介】 多條產(chǎn)生式規(guī)則的前件都和已知的事實匹配成功；或者有多組不同的已知事實都與同一條產(chǎn)生式規(guī)則的前件匹配成功；或者兩種情況同時出現(xiàn) 沖突消解策略排序 該策略把最近被使用過的規(guī)則賦予較高的優(yōu)先級的新鮮性排序 后生成的事實比先生成的事實具有較大的優(yōu)先性排序 根據(jù)匹配程度來決定哪一個產(chǎn)生式規(guī)則優(yōu)先被應(yīng)用 沖突消解策略題特點排序 按照求解問題領(lǐng)域的特點將知識排成固定的次序限制排序 根據(jù)當(dāng)前數(shù)據(jù)庫的已知事實與上下文的匹配情況確定個數(shù)排序 將條件少的規(guī)則賦予較高的優(yōu)先級，優(yōu)先被啟用次序排序 以知識庫中預(yù)先存入規(guī)則的排列順序作為知識排序的依據(jù) 自然演繹推理返回 自然演繹推理的基本概念自然演繹推理從一組已知的事實出發(fā)，直接運用命題邏輯或謂詞邏輯中的推理規(guī)則推出結(jié)論的過程4321P規(guī)則 ：在推理的任何步驟上都可引入前提T規(guī)則 ：推理時，如果前面步驟中有一個或多個公式永真蘊涵公式 S，則可把 S引入推理過程中。CP規(guī)則 ：如果能從 R和前提集合中推出 S來，則可從前提集合推 出來 反證法 ： ,當(dāng)且僅當(dāng)假言推理 ： 推理規(guī)則拒取式推理 ：推理規(guī)則 自然演繹推理的基本概念避免產(chǎn)生兩類錯誤：肯定后件 (Q)的錯誤 ：希望通過肯定后件 Q推出前件 P為真否定前件(P)的錯誤：希望通過否定前件 P推出后件 Q為假利用演繹推理解決問題例設(shè)已知事實 （ 1）只有勤學(xué)苦練的人，才會成為技術(shù)能手。 （ 2）學(xué)習(xí)積極分子都是勤學(xué)苦練的人。 （ 3）李明是學(xué)習(xí)積極分子。 求證：李明會成為技術(shù)能手。利用演繹推理解決問題優(yōu)點缺點u定理證明過程自然，容易理解u擁有豐富的推理規(guī)則，推理過程靈活，容易產(chǎn)生組合爆炸，推理過程中得到的中間結(jié)論一般呈指數(shù)形式遞增自然演繹推理的優(yōu)缺點 歸結(jié)演繹推理返回 子句集及其化簡文字 原子謂詞公式及其否定統(tǒng)稱為文字子句 任何文字的析取式稱為子句空子句 不包含任何文字的子句稱為空子句子句 集 子句或空子句構(gòu)成的集合消去存在量詞1234謂詞公式化為子句集謂詞公式化為子句集 步驟步驟重新命名變元利用等價謂詞關(guān)系消去謂詞公式中的 “”和 “” 利用等價關(guān)系把 “”移到緊靠謂詞存在量詞不出現(xiàn)在全稱量詞的轄域內(nèi)，此時只要用一個新的個體常量替換該存在量詞的約束變元可消去存在量詞存在量詞位于一個或多個全稱量詞的轄域內(nèi)把全稱量詞移到公式左邊87 65謂詞公式化為子句集謂詞公式化為子句集 步驟步驟消去全稱量詞利用等價關(guān)系把公式化為Skolem標(biāo)準形9對變元更名消去合取詞定理：設(shè)有謂詞公式 F，其標(biāo)準形的子句集為 S，則 F不可滿足的充要條件是 S不可滿足。 Skolem標(biāo)準形的一般形式 海伯倫理論令 是 S中所有個體常量的集合，若 S中不包含個體常量，則令 ，其中 a為任意指定的一個個體常量令12H域設(shè) S為子句集，則按下述方法構(gòu)造的域稱為 海伯倫 域，簡稱為 H域下列集合稱為子句集 S的原子集：其中， 是出現(xiàn)在 S中的任一謂詞符號，而 是 S在 H域上的任意元素。 海伯倫理論原子集原子集 海伯倫理論H域上的解釋子句集 S在 H域上的解釋就是對 S中出現(xiàn)的常量、函數(shù)及謂詞取值，一次取值
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1