第三章 演绎推理

第三章 演绎推理 自动定理证明是人工智能一个重要的研究领域，是早期取得较大成果的研究课题之一，在发展人工智能方法上起过重大作用。 1956，美国，Newell, Simon, Shaw编制逻辑