西电人工智能确定性推理part.pptVIP

西安电子科技大学 西安电子科技大学 Artificial Intelligence (AI)人工智能 主讲：戚玉涛 Email： 第三章：确定性推理 第一页，共四十页。 内容提要 第三章：确定性推理 1.推理的基本概念 2.搜索策略 3.自然演绎推理 4.归结演绎推理 5.基于规则的演绎推理 第二页，共四十页。 自然演绎推理 自然演绎推理：从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。 自然演绎推理最基本的推理规则是三段论推理，它包括： 假言推理 拒取式 假言三段论 第三页，共四十页。 自然演绎推理 假言推理 ： P, P→Q ? Q 表示：由P→Q 以及P为真，可以推出Q为真 例如：由“如果x是金属，则x能导电”，以及“铜是金属”，可以推出“铜能导电”。 拒取式：P→Q, ﹁ Q ? ﹁ P 表示：由P→Q 为真以及Q为假，可以推出P为假 例如：由“如果下雨，则地上会湿”，以及“地上不湿”，可以推出“没有下雨”。 假言三段论：P→Q, Q→R ? P→R 第四页，共四十页。 自然演绎推理 注意避免以下两类错误： 肯定后件的错误：当P→Q为真时，希望通过肯定后件Q为真来推出前件P为真，这是不允许的。 例如：伽利略在论证哥白尼的日心说时，曾使用了如下推理： (1)如果行星系统是以太阳为中心的，则金星会显示出位相变化； (2)金星显示出