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

Artificial Intelligence (AI)人工智能 主讲：戚玉涛 内容提要 自然演绎推理 自然演绎推理：从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。 自然演绎推理最基本的推理规则是三段论推理，它包括： 假言推理 拒取式 假言三段论 自然演绎推理 假言推理 ： 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)金星显示出位相变化； (3)所有，行星系统是以太阳为中心的 这就是使用了肯定后件的推理，违反了经典逻辑的逻辑规则。 自然演绎推理 注意避免以下两类错误： 否定前件的错误：当P→Q为真时，希望通过否定前件P来推出后件Q为假，这也是不允许的。 例如： (1)如果下雨，则地上会湿