人智能究的家出人 Aristotle(公元前384-322) ◆古希腊哲学家、思想家。在着手解释和编纂他称 为三段论的演绎推理时就迈出了向人工智能发展 的早期步伐 Bacon(1561-1626) ◆英国的哲学家、自然科学家。系统地给出了归纳 法。“知识就是力量” LL Leibnitz(1646-1716) ◆德国数学家、哲学家。提出了关于数理逻辑的思 想,把形式逻辑符号化,从而能对人的思维进行运 算和推理。做岀了能做四则运算的手摇计算机 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（1） Aristotle(公元前384--322) ◆古希腊哲学家、思想家。在着手解释和编纂他称 之为三段论的演绎推理时就迈出了向人工智能发展 的早期步伐 Bacon(1561--1626) ◆英国的哲学家、自然科学家。系统地给出了归纳 法。“知识就是力量” Leibnitz(1646--1716) ◆德国数学家、哲学家。提出了关于数理逻辑的思 想，把形式逻辑符号化，从而能对人的思维进行运 算和推理。做出了能做四则运算的手摇计算机
人智能究的出人吻α Booe(1815-1864) ◆英国数学家、逻辑学家。实现了布莱尼茨的思维 符号化和数学化的思想,提出了一种崭新的代数系 统一布尔代数 L Godel(1906-1978) ◆美籍奥地利数理逻辑学家。证明了一阶谓词的完 备性定;任何包含初等数论的形式系统,如果它 无矛盾的,那么一定是不完备的。意义在于,人的 思维形式化和机械化的某种极限,在理论上证明了 有些事是做不到的 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（2） Boole(1815--1864) ◆英国数学家、逻辑学家。实现了布莱尼茨的思维 符号化和数学化的思想，提出了一种崭新的代数系 统——布尔代数 Godel(1906--1978) ◆美籍奥地利数理逻辑学家。证明了一阶谓词的完 备性定；任何包含初等数论的形式系统，如果它是 无矛盾的，那么一定是不完备的。意义在于，人的 思维形式化和机械化的某种极限，在理论上证明了 有些事是做不到的
人智能究的出人吻 Turing(1912-1954) 英国数学家,计算机科学理论的创始人。1936年 提 种理想计算机的数学模型(图灵机 1950车提出图灵试验,发表34计算机与智能 ”的论文。1966年为纪念图灵的杰出贡献,ACM 设立图灵奖图灵奖 Mauchly 美国数学家。1946年发明第一台电子计算机 ENIAC。 Von neumann计算材 A McCulloch ◆美国神经生理学家。建立了第个神经网络数学 模型。总结出简单讦算紊和生物神经元之间关系 的理论。有限自动机理论 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（3） Turing(1912--1954) ◆英国数学家，计算机科学理论的创始人。 1936年 提出了一种理想计算机的数学模型（图灵机）， 1950年提出了图灵试验，发表了“计算机与智能 ”的论文。 1966年为纪念图灵的杰出贡献，ACM 设立图灵奖图灵奖 Mauchly ◆美国数学家。 1946年发明第一台电子计算机 ENIAC。Von Neumann 计算机 McCulloch ◆美国神经生理学家。建立了第一个神经网络数学 模型。总结出简单计算元素和生物神经元之间关系 的理论。有限自动机理论
人智能究的出人吻《m L Shannon ◆美国数学家。1948年发表了《通讯的数学理论》 代表了“信息论”的诞生 口一些其他学派的工作,如控制论[ Wiener 1948]、认知心理学、计算语言学[ Chomsky 1965]和自适应控制理论[ Widrow&Hoff 1960],均对人工智能的发展作出了贡献 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（4） Shannon ◆美国数学家。1948年发表了《通讯的数学理论》 ，代表了“信息论”的诞生 一些其他学派的工作，如控制论[ Wiener 1948]、认知心理学、计算语言学[Chomsky 1965]和自适应控制理论[ Widrow & Hoff 1960]，均对人工智能的发展作出了贡献
人智能究的家出人c L McCarthy ◆芙国数学家,人工智能之父。1956年提出了 Artificial Intelligence(人工智能)”。 ◆1958年, John McCarthy建议在他称之为“ 意见采纳者”的系统中采用谓词演算这种语言来表 示和运用知识。这一系统被告知它所需要知道的而 不是事先程序设计好的知识 ◆LISP语言的发明人 o 2002 Hoare. All rights reserved
人工智能研究的杰出人物（5） McCarthy ◆美国数学家，人工智能之父 。1956年提出了 “Artificial Intelligence（人工智能）”。 ◆1 9 5 8年，John McCarthy 建议在他称之为“ 意见采纳者”的系统中采用谓词演算这种语言来表 示和运用知识。这一系统被告知它所需要知道的而 不是事先程序设计好的知识 ◆LISP语言的发明人