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

人工智能重点总结 #10I-226打造 祝大家考出好成绩 人工智能重点总结（正式版） 人工智能重点总结（正式版） 人人工工智智能能重重点点总总结结（（正正式式版版）） 第一章：发展简史（此处为简答题） 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 - 人工智能重点总结 #10I-226打造 祝大家考出好成绩 6、英国数学家 Turing(图灵)（1912-1954）,1936 年提出了一种理想计算机的 数学模型（图灵机），1950 年提出了图灵试验，发表了"计算机与智能"的论 文。当今世界上计算机科学最高荣誉奖励为"图灵奖"。名词解释：名词解释： 图灵试验。当一个人与一个封闭房间里的人或者机器交谈时，如果他不能分 辨自己问题的回答是计算机还是人给出时，则称该机器是具有智能的。以往 该试验几乎是衡量机器人工智能的唯一标准，但是从九十年代开始，现代人 工智能领域的科学家开始对此试验提出异议：反对封闭式的，机器完全自主 的智能；提出与外界交流的，人机交互的智能。 7、美国数学家Mauchly，1946 发明了电子数字计算机 ENIAC 8、美国神经生理学家 McCulloch，建立了第一个神经网络数学模型。从某种意 义上可以说近代人工智能的发展， 首先是从人工神 经网络研究开始的。但 是由于某种原因，神经网络的研究一度进 入低潮。详细内容参见第六章《人 工神经元网络》 9、 美国数学家 Shannon（香农）,1948 年发表了《通讯的数 学理论》 ，标 志着"信息论"的诞生。 10、 美国数学家、计算机科学家 McCarthy，人工智能的早期 研究者。1956 年，他和其他一些学者联合发起召开了世界上第 一次人工智能学术大会， 在他的提议下，会上正式决定使用人工 智能这个词来概括这个研究方向。 参加大会的有 Minsky, Rochester, Shannon, Moore, Samuel, Selfridge, Solomonff,