人工智能 —— 歸結演繹推理

什麼是歸結演繹推理 歸結演繹推理是一種基於邏輯「反證法」的機械化定理證實方法。其基本思想是把永真性的證實轉化爲不可知足性的證實。即要證實 P → Q P→Q P→Q 永真，只要可以證實 P ∧ ﹁ Q P∧﹁Q P∧﹁Q 爲不可知足便可。html 謂詞公式不可知足的充要條件是其子句集不可知足。所以，要把謂詞公式轉換爲子句集，再用魯濱遜歸結原理求解子句集是否不可知足。若是子句集不可知足，則 P →

>>阅读原文<<