第5章基于谓阁辽椅的机器推理 第5章基于谓祠逻辑的机器推理 5.1一阶谓词逻辑 5.2归结演绎推理 5.3应用归结原理求取问题答案 5.4归结策略 5.5归结反演程序举例 5.6Horn子句归结与逻辑程序 5.7非归结演绎推理 BACK第5章 基于谓词逻辑的机器推理 第 5 章 基于谓词逻辑的机器推理 5.1 一阶谓词逻辑 5.2 归结演绎推理 5.3 应用归结原理求取问题答案 5.4 归结策略 5.5 归结反演程序举例 5.6 Horn子句归结与逻辑程序 5.7 非归结演绎推理