【教学课件】第四章人工智能逻辑

- 第四章 人工智能逻辑 - 第一节 引言一、逻辑是重要的形式工具 1、Aristotle 从数学的研究中分离出逻辑学，认为形式逻辑是一切推理活动的最基本出发点。 2、Ba