第四章-人工智能逻辑ppt课件.ppt
31 浏览量
2023-07-04
16:08:27
上传
评论
收藏 265KB PPT 举报
第四章 人工智能逻辑
第一节 引言
一、逻辑是重要的形式工具
1、Aristotle
从数学的研究中分离出逻辑学，认为形式逻辑
是一切推理活动的最基本出发点。
2、Baccon
归纳逻辑
3、Leibnitz
将数学的方法引入逻辑领域，提出数理逻辑，
将形式逻辑符号化，从而能对人的思维进行运算
和推理。
.
剩余185页未读，继续阅读
资源评论
