人工智能 3.肯定性推理方法

推理是求解问题的一种重要方法数据库 鲁宾逊归结原理使定理证实可以在计算机上实现atom 知识+推理=智能spa 归结演绎：谓词公式化为子句集、鲁宾逊归结原理、归结反演3d 推理的基本概念 已知事实（数据库）+知识 --经过策略à结论blog 推理方式及其分类：演绎推理、概括推理、默认推理排序 1.演绎推理 (deductive reasoning) :    通常   →  个别it  三段论式（

>>阅读原文<<