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