控制论与早期神经网络 Walter Pitts(1923-1969 )FHWarren McCulloch(18981969分析了理想化的人工神经 元网络,并且指出了它们进行简单逻辑运算的机制 他们是最早描述所谓“神经网络”的学者 Marvin Minsky是他们的学生,当时是一名24岁的 研究生.1951年他与 Dean edmonds一道建造了第 神经网络机,称为 SNARC在接下来的五十年 中, Minsky是A领域最重要的领导者和创新者之一 Warren McCulloch and Walter Pitts "a logical Calculus of ideas Immanent in Nervous activit 1943, Bulletin of Mathematical biophysics 5: 115 133. Jerome Lettvin Humberto Maturana. Warren McCulloch, and Walter Pitts, What the Frog Eye Tells the Frog's brain, 1959, Pr roceedings of the Institute of Radic engineers 47: 1940-1959 26
26 控制论与早期神经网络 • Walter Pitts(1923-1969)和Warren McCulloch(1898-1969)分析了理想化的人工神经 元网络, 并且指出了它们进行简单逻辑运算的机制. 他们是最早描述所谓“神经网络”的学者. • Marvin Minsky是他们的学生, 当时是一名24岁的 研究生. 1951年他与Dean Edmonds一道建造了第 一台神经网络机, 称为SNARC. 在接下来的五十年 中, Minsky是AI领域最重要的领导者和创新者之一. • Warren McCulloch and Walter Pitts, "A Logical Calculus of Ideas Immanent in Nervous Activity", 1943, Bulletin of Mathematical Biophysics 5:115- 133. • Jerome Lettvin, Humberto Maturana, Warren McCulloch, and Walter Pitts, "What the Frog's Eye Tells the Frog's Brain", 1959, Proceedings of the Institute of Radic Engineers 47: 1940-1959
游戏A 1951E, Christopher Strachey (1916 1975)使用 Manchester大学的 Ferranti Mark1机器写出了一个西洋棋 ( checkers)程序; Dⅰ etrich prinz则写出了一个国际象棋程 Arthur Samuel1901-1990在五十年代 中期和六十年代初开发的西洋棋程序的 棋力已经可以挑战具有相当水平的业余 髮好者 游戏A一直被认为是评价A进展的一种 标准 27
27 游戏AI • 1951 年, Christopher Strachey(1916 – 1975)使用Manchester大学的Ferranti Mark 1机器写出了一个西洋棋 (checkers)程序; • Dietrich Prinz则写出了一个国际象棋程 序. • Arthur Samuel(1901–1990)在五十年代 中期和六十年代初开发的西洋棋程序的 棋力已经可以挑战具有相当水平的业余 爱好者. • 游戏AI一直被认为是评价AI进展的一种 标准
Turing测试 1950年, Alan Turing发表了一篇划时代的论文,文中 预言了创造出具有真正智能的机器的可能性 ·由于注意到“智能”这一概念难以确切定义,他提出 了著名的 Turing测试: 如果一台机器能够与人类展开对话(通过电传设备)而不能 被辨别出其机器身份,那么称这台机器具有智能 简化使得 Turing能够令人信服地说明“思考的机 器”是可能的.论文中还回答了对这一假说的各种常 见质疑 Turing测试是人工智能哲学方面第一个严肃的提案 Computing machinery and intelligence"(Mind, October 1950) 28
28 Turing测试 • 1950年, Alan Turing发表了一篇划时代的论文, 文中 预言了创造出具有真正智能的机器的可能性. • 由于注意到“智能”这一概念难以确切定义, 他提出 了著名的Turing测试: –如果一台机器能够与人类展开对话(通过电传设备)而不能 被辨别出其机器身份, 那么称这台机器具有智能. • 这一简化使得Turing能够令人信服地说明“思考的机 器”是可能的. 论文中还回答了对这一假说的各种常 见质疑. • Turing测试是人工智能哲学方面第一个严肃的提案. – "Computing machinery and intelligence" (Mind, October 1950)
符号推理 与“逻辑理论家”程 序 五十年代中期,随着数字计算机的兴起,一些科学家直觉地感到可以进 行数字操作的机器也应当可以进行符号操作,而符号操作可能是人类 思维的本质这是创造智能机器的一条新路. 1955年, Allen Newell和(后来荣获Nobe奖的) Herbert simon在JC Shaw的协助下开发了“逻辑理论家( Logic Theorist”.这个程序能够证 明 Russell和 Whitehead所著“数学原理”前52个定理中的38个,其中 某些证明比原著更加新颖和精巧 Simon认为他们已经“解决了神秘的心/身问题,解释了物质构成的系 统如何获得心灵的性质”(这一断言的哲学立场后来被 John searle称 为“强人工智能”,即机器可以像人一样具有思想
29 符号推理 与“逻辑理论家”程 序 • 五十年代中期, 随着数字计算机的兴起, 一些科学家直觉地感到可以进 行数字操作的机器也应当可以进行符号操作, 而符号操作可能是人类 思维的本质. 这是创造智能机器的一条新路. • 1955 年, Allen Newell和(后来荣获Nobel奖的)Herbert Simon在J. C. Shaw的协助下开发了“逻辑理论家(Logic Theorist)”. 这个程序能够证 明Russell和Whitehead所著“数学原理”前52个定理中的38个, 其中 某些证明比原著更加新颖和精巧. • Simon认为他们已经“解决了神秘的心/身问题, 解释了物质构成的系 统如何获得心灵的性质.” (这一断言的哲学立场后来被John Searle称 为“强人工智能”, 即机器可以像人一样具有思想.)
AI的诞生 1956年 Dartmouth会议的组织者是 Marvin minsky, John Mccarthy 1927090420110.24)和另两位资深科学家 claude shannon以及 Nathan rochester.,后者来自BM 金议提的断言之一是、“学习或者智能的任何其他特性的每一个方面 与会者包括 Ray solomonofi, Oliver Selfridge, Trenchard more, Arthur Samue, Allen newel和 Herbert Simon,他们中的每一位都将在A|研 究的第一个十年中作出重要贡献 ·会上 Newell和 Simon讨论了“逻辑理论家”( the Logic Theorist) 而 McCarthy则说服与会者接受“人工智能”一词作为本领域的名称 1956年 Dartmouth会议上A的名称和任务得以确定,同时出现了最初 的成就和最早的一批研究者,因此这一事件被广泛承认为A诞生的杉
30 AI的诞生 • 1956年Dartmouth会议的组织者是Marvin Minsky, John McCarthy (1927.09.04- 2011.10.24)和另两位资深科学家Claude Shannon以及 Nathan Rochester, 后者来自IBM. • 会议提出的断言之一是“学习或者智能的任何其他特性的每一个方面 都应能被精确地加以描述, 使得机器可以对其进行模拟.” • 与会者包括Ray Solomonoff, Oliver Selfridge, Trenchard More, Arthur Samuel, Allen Newell和Herbert Simon, 他们中的每一位都将在AI研 究的第一个十年中作出重要贡献. • 会上Newell和Simon讨论了“逻辑理论家”（the Logic Theorist）, • 而McCarthy则说服与会者接受“人工智能”一词作为本领域的名称. • 1956年Dartmouth会议上AI的名称和任务得以确定, 同时出现了最初 的成就和最早的一批研究者, 因此这一事件被广泛承认为AI诞生的标 志