第三章演繹推理-展示頁
2024-09-16 09:06本頁面
【正文】 (7)(8) 歸結(jié) 命題邏輯中不可滿足的子句集 S，使用歸結(jié)原理，總能在有限步內(nèi)得到一個空子句 ?歸結(jié)原理是完備的。 第一節(jié) 魯濱遜歸結(jié)原理 一 、命題邏輯中歸結(jié)推理 ： 消去子句中互補(bǔ)對的過程： 子句： 任何文字的析取式 C 稱為子句， C=P? Q? 7R={P,Q,7R} 如： C1=LVC1`={L,C1`} C2=7LVC2`={7L,C2`} 可以證明 C12=C1`VC2`={C1`,C2`}是 C1,C2 的邏輯結(jié)論： 即： C1? C2?C12 證明： C1=LVC1`=77C1`VL=7C1`?L C2=7LVC2`=L?C2` 所以 7C`?C2`==77C1`VC2`=C1`VC2` 實(shí)際上是 P?Q, Q ? P?P?R 的應(yīng)用 即前提成立 ?結(jié)論成立，也即結(jié)論不成立 ?前提不成立 S 子句集：其中有 C1,C2 歸結(jié)式 S`子句集： C12 代替 C1,C2 則： S`不可滿足 ?S 不可滿足 要證 A?B 成立 (或證 A?B 重言、永真），只要證 A? 7B 不可滿足 (永假 ) ①化 A? 7B 為合取范式 C1? C2? ?? ? Cm ②子句集 S={C1,C2,? , Cm} ③歸結(jié)規(guī)則用于 S，歸結(jié)式入 S 中 . ④重復(fù)③，直到 S 中出現(xiàn)空子句。是對人的思維活動進(jìn)行研究的重大成果，是人工智能研究的真正開端。第三章 演繹推理 自動定理證明是人工智能一個重要的研究領(lǐng)域，是早期取得較大成果的研究課題之一，在發(fā)展人工智能方法上起過重大作用。 1956，美國， Newell, Simon, Shaw編制邏輯理論機(jī)： The Logic Theory Machine 簡稱 LT. 證明了《數(shù)學(xué)原理》（羅素）第二章中 38 個定理 , 改進(jìn)后證明了全部 52 個定理。在此之后，發(fā)展了一些機(jī)械化推理算法，很成功地用到人工智能系統(tǒng)中。 證明： SVR 是 P ? Q , P ?R， Q?S 的邏輯結(jié)論。 二、謂詞邏輯中的歸結(jié)原理 謂詞和子句中含有個體變元，同一謂詞含有不同的個體變元。 例： C1=P(y)? Q(y) C2=7P(f(a))? R(a) 1. 置換 定義：形如 {t1/a1， t2/a2，?， tn/an}的有限集合，表示 ti代換 ai，其中 ti是項(xiàng)，變量，常量，函數(shù)。 置換的目的是使得 S
公司管理相關(guān)推薦
鄂ICP備17016276號-1