西安电子科技大学西安电子科技大学Artificial Intelligence(AI)人工智能人工智能主讲：戚玉涛Email：qi_第三章：确定性推理西安电子科技大学西安电子科技大学内容提要第三章：确定性推理第三章：确定性推理第三章：确定性推理第三章：确定性推理1.1.推理的基本概念推理的基本概念2.2.搜索策略搜索策略3.3.自然演绎推理自然演绎推理4.4.归结演绎推理归结演绎推理5.5.基于规则的演绎推理基于规则的演绎推理西安电子科技大学西安电子科技大学归结演绎推理v归结演绎推理归结演绎推理归结演绎推理归结演绎推理子句集及其化简子句集及其化简鲁滨逊归结原理鲁滨逊归结原理归结反演推理的归结策略归结反演推理的归结策略用归结反演求取问题的答案用归结反演求取问题的答案西安电子科技大学西安电子科技大学用归结反演求取问题的答案v归结原理出了可用于定理证明外，还可用来求取问题答案，归结原理出了可用于定理证明外，还可用来求取问题答案，其思想与定理证明相似。其一般步骤为：其思想与定理证明相似。其一般步骤为：(1)把问题的已知条件用谓词公式表示出来，并化为子句集；把问题的已知条件用谓词公式表示出来，并
