人工智能 —— 归结演绎推理

什么是归结演绎推理 归结演绎推理是一种基于逻辑“反证法”的机械化定理证实方法。其基本思想是把永真性的证实转化为不可知足性的证实。即要证实 P → Q P→Q P→Q 永真，只要可以证实 P ∧ ﹁ Q P∧﹁Q P∧﹁Q 为不可知足便可。html 谓词公式不可知足的充要条件是其子句集不可知足。所以，要把谓词公式转换为子句集，再用鲁滨逊归结原理求解子句集是否不可知足。若是子句集不可知足，则 P →

>>阅读原文<<