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

推理是求解問題的一種重要方法數據庫 魯賓遜歸結原理使定理證實可以在計算機上實現atom 知識+推理=智能spa 歸結演繹：謂詞公式化爲子句集、魯賓遜歸結原理、歸結反演3d 推理的基本概念 已知事實（數據庫）+知識 --經過策略à結論blog 推理方式及其分類：演繹推理、概括推理、默認推理排序 1.演繹推理 (deductive reasoning) :    通常   →  個別it  三段論式（

>>阅读原文<<