人工智能重点总结(正式版).pdf

人工智能重点总结(正式版).pdf

ID:56058179

大小:535.98 KB

页数:27页

时间:2020-06-20

人工智能重点总结(正式版).pdf_第1页
人工智能重点总结(正式版).pdf_第2页
人工智能重点总结(正式版).pdf_第3页
人工智能重点总结(正式版).pdf_第4页
人工智能重点总结(正式版).pdf_第5页
资源描述:

《人工智能重点总结(正式版).pdf》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库

1、人工智能重点总结#10I-226打造祝大家考出好成绩人工智能重点总结(正式版)第一章:发展简史(此处为简答题)1.人工智能的萌芽(1956年以前)1936年,图灵创立了自动机理论(后人称为图灵机),提出一个理论计算机模型,为电子计算机设计奠定了基础,促进了人工智能,特别是思维机器的研究。麦克洛克和皮茨于1943年提出“拟脑模型”是世界上第一个神经网络模型(MP模型),开创了从结构上研究人类大脑的途径。1948年维纳发表《控制论—关于动物与机器中的控制与通信的科学》,不但开创了近代控制论,而且为人

2、工智能的控制学派树立了里程碑。1、古希腊伟大的哲学家思想家亚里士多德的主要贡献是为形式逻辑奠定了基础。形式逻辑是一切推理活动的最基本的出发点。在他的代表作《工具论》中,就给出了形式逻辑的一些基本规律,如矛盾律、排中律,并且实际上已经提到了同一律和充足理由律。此外亚里士多得还研究了概念、判断问题,以及概念的分类和概念之间的关系判断问题的分类和它们之间的关系。其最著名的创造就是提出人人熟知的三段论。2、英国的哲学家、自然科学家Bacon(培根)(1561-1626),他的主要贡献是系统地给出了归纳法

3、,成为和Aristotle的演绎法相辅相成的思维法则。Bacon另一个功绩是强调了知识的作用。Bacon的著名警句是"知识就是力量"。3、德国数学家、哲学家Leibnitz(莱布尼茨)(1646-1716),他提出了关于数理逻辑的思想,把形式逻辑符号化,从而能对人的思维进行运算和推理。他曾经做出了能进行四则运算的手摇计算机4、英国数学家、逻辑学家Boole(布尔)(1815-1864),他初步实现了布莱尼茨的思维符号化和数学化的思想,提出了一种崭新的代数系统--布尔代数。5、美籍奥地利数理逻辑学

4、家Godel(哥德尔)(1906-1978),他证明了一阶谓词的完备性定理;任何包含初等数论的形式系统,如果它是无矛盾的,那么一定是不完备的。此定理的意义在于,人的思维形式化和机械化的某种极限,在理论上证明了有些事是做不到的。-1-人工智能重点总结#10I-226打造祝大家考出好成绩6、英国数学家Turing(图灵)(1912-1954),1936年提出了一种理想计算机的数学模型(图灵机),1950年提出了图灵试验,发表了"计算机与智能"的论文。当今世界上计算机科学最高荣誉奖励为"图灵奖"。名词

5、解释:名词解释:图灵试验。当一个人与一个封闭房间里的人或者机器交谈时,如果他不能分辨自己问题的回答是计算机还是人给出时,则称该机器是具有智能的。以往该试验几乎是衡量机器人工智能的唯一标准,但是从九十年代开始,现代人工智能领域的科学家开始对此试验提出异议:反对封闭式的,机器完全自主的智能;提出与外界交流的,人机交互的智能。7、美国数学家Mauchly,1946发明了电子数字计算机ENIAC8、美国神经生理学家McCulloch,建立了第一个神经网络数学模型。从某种意义上可以说近代人工智能的发展,首

6、先是从人工神经网络研究开始的。但是由于某种原因,神经网络的研究一度进入低潮。详细内容参见第六章《人工神经元网络》9、美国数学家Shannon(香农),1948年发表了《通讯的数学理论》,标志着"信息论"的诞生。10、美国数学家、计算机科学家McCarthy,人工智能的早期研究者。1956年,他和其他一些学者联合发起召开了世界上第一次人工智能学术大会,在他的提议下,会上正式决定使用人工智能这个词来概括这个研究方向。参加大会的有Minsky,Rochester,Shannon,Moore,Samue

7、l,Selfridge,Solomonff,Simon,Newell等数学家、心理学家、神经生理学家、计算机科学家。McCarthy也被尊为"人工智能之父"。2.人工智能的形成(1956-1969年)费根鲍姆于1968年研究成功第一个专家系统DENDRAL,用于质谱仪分析有机化合物的分子结构。1969年召开了第一届国际人工智能会议,标志着人工智能作为一门独立学科登上国际学术舞台。1970年《人工智能国际杂志》创刊。◆50年代初开始有了符号处理,搜索法产生。-2-人工智能重点总结#10I-226打

8、造祝大家考出好成绩人工智能的基本方法是逻辑法和搜索法。最初的搜索应用于机器翻译、机器定理证明、跳棋程序等。◆60年代Simon由试验得到结论:人类问题的求解是一个搜索的过程,效果与启发式函数有关。叙述了智能系统的特点:智能表示、智能推理、智能搜索。◆Nilson发表了A*算法(搜索方法)◆McCarthy建立了人工智能程序设计语言Lisp◆1965年Robinson提出了归结原理。◆1968年Quillian提出了语义网络的知识表示方法◆1969年Minsky出了一本书"感知机",给当时的神经网

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。