人工智能重点总结.pdf
版权申诉
163 浏览量
2022-06-08
15:17:18
上传
评论
收藏 1.44MB PDF 举报
人工智能重点总结
第一章：发展简史（此处为简答题）
1.人工智能的萌芽（1956 年以前）
1936 年，图灵创立了自动机理论（后人称为图灵机），提出一个理论计算机
模型，为电子计算机设计奠定了基础，促进了人工智能，特别是思维机器的
研究。
麦克洛克和皮茨于 1943 年提出“拟脑模型”是世界上第一个神经网络模型
（MP 模型），开创了从结构上研究人类大脑的途径。
1948 年维纳发表《控制论—关于动物与机器中的控制与通信的科学》，不但
开创了近代控制论，而且为人工智能的控制学派树立了里程碑。
1、 古希腊伟大的哲学家思想家亚里士多德的主要贡献是为形式逻辑奠定了基
础。形式逻辑是一切推理活动的最基本的出发点。在他的代表作《工具论》
中，就给出了形式逻辑的一些基本规律，如矛盾律、排中律，并且实际上已
经提到了同一律和充足理由律。此外亚里士多得还研究了概念、判断问题，
以及概念的分类和概念之间的关系判断问题的分类和它们之间的关系。其最
著名的创造就是提出人人熟知的三段论。
2、 英国的哲学家、自然科学家 Bacon（培根）（1561-1626），他的主要贡献是
系统地给出了归纳法，成为和 Aristotle 的演绎法相辅相成的思维法则。
Bacon 另一个功绩是强调了知识的作用。 Bacon 的著名警句是"知识就是力
量"。
3、 德国数学家、哲学家 Leibnitz（莱布尼茨）（1646-1716），他提出了关于数
理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。他
曾经做出了能进行四则运算的手摇计算机
4、 英国数学家、逻辑学家 Boole（布尔）（1815-1864），他初步实现了布莱尼
茨的思维符号化和数学化的思想，提出了一种崭新的代数系统 --布尔代数。
5、 美籍奥地利数理逻辑学家 Godel（哥德尔）（1906-1978），他证明了一阶谓词
的完备性定理；任何包含初等数论的形式系统，如果它是无矛盾的，那么一
定是不完备的。此定理的意义在于，人的思维形式化和机械化的某种极限，
在理论上证明了有些事是做不到的。
1 / 27
剩余26页未读，继续阅读
评论0
最新资源