详解人工智能之确定性推理方法

文章目录 推理的定义 推理方式及其分类 推理的方向 冲突消解策略 自然演绎推理 谓词公式化为子句集的方法 鲁宾逊归结原理 1.命题逻辑中的归结原理（基子句的归结） 2.谓词逻辑中的归结原理（含有变量的子句的归结） 归结反演 应用归结原理求解问题 推理的定义 推理方式及其分类 1.演绎推理：一般 → 个体 三段论式（三段论法） 2.归纳推理：个体 → 一般 完全归纳推理（必然性推理） 不完全归纳推理

>>阅读原文<<