5推理技术解剖.pptxVIP

推理示例：5个房间问题;;推理 (Reasoning);What is reasoning? Inference in first-order logic Substitutions and Unification Resolution Rule Based Deduction Production-rule System(产生式系统) ;Ability and Process of making decision based on facts and knowledge. Mechanism According to logicl basis：Deduction（演绎） vs. Induction（归纳） According to the certainty of knowledge：Reasoning under certainty（确定） vs. uncertainty（不确定） According to the monotony of reasoning process：Monotonic（单调） vs. Non-monotonic（非单调） Control Strategy ;推理方向(Inference Direction) Facts → Conclusions (Forward chain, Data-driven) Facts ← Conclusions (