归结法证明详解【人工智能推理】

 归结法核心步骤

1、构建子句集(Skolem范式)

2、针对子句集进行归结

前置知识：谓词公式等价性及转换，参考谓词运算之谓词公式等价性-CSDN博客

目录

一、范式与子句集

1.1、范式(归结法)

（1）前束型范式

（2）Skolem 范式（必考）

将谓词公式 G 化为 Skolem 标准型的步骤如下。（重点中的重点）

将谓词公式 G 化为 Skolem 标准型案例

1.2、子句与子句集

二、归结原理与证明

2.1、归结法证明(基于子句集进行归结)

2.1.1、归结原理

（1）归结与归结式

（2）归结推理过程

2.1.2、归结证明

2.2、案例

案例一

案例二

一、范式与子句集

1.1、范式(归结法)

定理证