西安电子科技大学西安电子科技大学Artificial Intelligence(AI)人工智能人工智能主讲：戚玉涛Email：qi_第三章：确定性推理西安电子科技大学西安电子科技大学内容提要第三章：确定性推理第三章：确定性推理第三章：确定性推理第三章：确定性推理1.1.推理的基本概念推理的基本概念2.2.搜索策略搜索策略3.3.自然演绎推理自然演绎推理4.4.归结演绎推理归结演绎推理5.5.基于规则的演绎推理基于规则的演绎推理6.6.6.6.产生式系统产生式系统产生式系统产生式系统西安电子科技大学西安电子科技大学基于规则的演绎推理v规则演绎系统规则演绎系统规则演绎系统规则演绎系统规则正向演绎系统规则正向演绎系统规则逆向演绎系统规则逆向演绎系统规则双向演绎系统规则双向演绎系统西安电子科技大学西安电子科技大学规则逆向演绎系统v规则逆向演绎推理过程：规则逆向演绎推理过程：规则逆向演绎推理过程：规则逆向演绎推理过程：规则逆向演绎推理过程是从待证明的问题，即目标公式规则逆向演绎推理过程是从待证明的问题，即目标公式的与的与/或树出发，通过逆向地使用蕴含式（或树出发，通过逆向地使用蕴含式（B规则），
