- 1、本文档共33页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
人工智能重点总结
第一章:发展简史(此处为简答题)
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),他证明了一阶谓词
的完备性定理;任何包含初等数论的形式系统,如果它是无矛盾的,那么一
定是不完备的。此定理的意义在于,人的思维形式化和机械化的某种极限,
在理论上证明了有些事是做不到的。
6、 英国数学家 Turing( 图灵) (1912-1954),1936 年提出了一种理想计算机的
数学模型(图灵机) ,1950 年提出了图灵试验,发表了 计算机与智能 的论
文。当今世界上计算机科学最高荣誉奖励为 图灵奖 。名词解释:名词解释:
图灵试验。当一个人与一个封闭房间里的人或者机器交谈时,如果他不能分
辨自己问题的回答是计算机还是人给出时,则称该机器是具有智能的。以往
该试验几乎是衡量机器人工智能的唯一标准,但是从九十年代开始,现代人
工智能领域的科学家开始对此试验提出异议:反对封闭式的,机器完全自主
的智能;提出与外界交流的,人机交互的智能。
7、 美国数学家 Mauchly ,1946 发明了电子数字计算机 ENIAC
8、 美国神经生理学家 McCulloch ,建立了第一个神经网络数学模型。从某种意
义上可以说近代人工智能的发展, 首先是从人工神 经网络研究开始的。但
是由于某种原因, 神经网络的研究一度进 入低潮。详细内容参见第六章 《人
工神经元网络》
9、 美国数学家 Shannon (香农),1948 年发表了《通讯的数 学理论》 ,标
志着 信息论 的诞生。
10、 美国数学家、计算机科学家
文档评论(0)