人工智能归结反演

应用归结原理证明定理的过程称为归结反演。

用归结反演证明的步骤是：

（1）将已知前提表示为谓词公式F。
（2）将待证明的结论表示为谓词公式Q，并否定得到﹁ Q 。
（3）把谓词公式

集化为子句集S。
（4）应用归结原理对子句集S中的子句进行归结，并把每次归结得到的归结式都并入到S中。如此反复进行，若出现了空子句，则停止归结，此时就证明了Q为真。
例3.9 某公司招聘工作人员，A，B ，C 三人应试，经面试后公司表示如下想法：
（1） 三人中至少录取一人。
（2） 如果录取 A 而不录取 B ，则一定录取 C。
（3） 如果录取 B ，则一定录取 C 。
求证：公司一定录取 C。

应用归结原理进行归结：

例3.10 已知： 规则1：任何人的兄弟不是女性；
规则2：任何人的姐妹必是女性。
事 实：Mary 是 Bill 的姐妹。
求证： Mary 不是 Tom 的兄弟。
证明：定义谓词
brother ( x, y ) : x 是 y 的兄弟
sister ( x, y ) : x 是 y 的姐妹
woman ( x ) : x 是女性
证明：将规则与事实用谓词公式表示：

欢迎大家加我微信交流讨论（请备注csdn上添加）