人工智能第章讲义

- * - 绪 论 - 古希腊哲学家亚里士多德的形式逻辑，形式逻辑是一切推理活动的最基本的出发点。 德国数学家、哲学家莱布尼茨提出了关于数理逻辑的思想