基于谓词逻辑的机器推理

- 第三章 基于谓词逻辑的机器推理 - 本章主要内容： 3.1 一阶谓词逻辑  3.2 归结演绎推理  3.3应用归结原理求取问题答案 3.4 归结策略 3.5 归结反演程序举例