Year |
Event |
Antiquity |
Hephaestus 和 Pygmalion 的希腊神话结合了智能机器人(如 Talos)和人造生物(如 Galatea 和 Pandora)的概念。 |
Antiquity |
偃师 向周穆王赠送了机械人。 |
Antiquity |
埃及和希腊建造的神圣机械雕像被认为具有智慧和情感。 Hermes Trismegistus 会写道“他们有感官和精神......通过发现众神的真实本质,人类已经能够复制它。” 马赛克法禁止在宗教中使用自动机。 |
384 BC– 322 BC |
亚里士多德描述了三段论,这是一种形式的、机械的思维方法。 |
1st century |
亚历山大的赫伦创造了机械人和其他自动装置。 |
260 |
Tyros 的 Porphyry 写了 Isagogê,它对知识和逻辑进行了分类。 |
~800 |
Geber 发展了 Takwin 的阿拉伯炼金术理论,在实验室中人工创造生命,直至并包括人类生命。 |
1206 |
Al-Jazari 创建了一个由机械人组成的可编程管弦乐队。 |
1275 |
西班牙神学家拉蒙·卢尔 (Ramon Llull) 发明了 Ars Magna,这是一种基于阿拉伯占星术工具 Zairja 以机械方式组合概念的工具。 17 世纪,戈特弗里德·莱布尼茨 (Gottfried Leibniz) 进一步发展了该方法。 |
~1500 |
帕拉塞尔苏斯声称用磁力、精子和炼金术创造了一个人造人。 |
~1580 |
据说布拉格拉比犹大·勒夫·本·贝扎勒发明了傀儡,一个被赋予生命的泥人。 |
Early 17th century |
René Descartes 提出动物的身体只不过是复杂的机器(但精神现象是一种不同的“实体”)。 |
1623 |
Wilhelm Schickard在给开普勒的一封信上画了一个计算时钟。 这将是 17 世纪设计直接进入计算时钟的五次失败尝试中的第一次(包括 Tito Burattini、Samuel Morland 和 René Grillet 的设计)。 |
1641 |
托马斯霍布斯出版了利维坦并提出了一种机械的、组合的认知理论。 他写道:“……理性不过是算计”。 |
1642 |
Blaise Pascal 发明了机械计算器,这是第一台数字计算器 |
1672 |
Gottfried Leibniz 改进了早期的机器,使 Stepped Reckoner 能够进行乘法和除法。 他还发明了二进制数字系统,并设想了一种通用的推理演算(人类思想的字母表),通过它可以机械地决定论点。 莱布尼茨致力于为世界上的每一个物体分配一个特定的数字,作为所有可能问题的代数解决方案的前奏。 |
1726 |
Jonathan Swift 出版了《Gulliver’s Travels》,其中包括对引擎的描述,拉普塔岛上的一台机器:“一个通过实际和机械操作提高思辨知识的项目”通过使用这个“发明”,“最无知的人在一个合理的 充电,加上一点体力劳动,可以写哲学、诗歌、政治、法律、数学和神学方面的书籍,最少需要天才或学习的帮助。” 这台机器是对 Ars Magna 的模仿,这是 Gottfried Leibniz 机械装置的灵感之一。 |
1750 |
Julien Offray de La Mettrie 出版了 L'Homme Machine,它认为人类的思想是严格机械的。 |
1763 |
Thomas Bayes 的著作 An Essay to solve a Problem in the Doctrine of Chances 在他去世两年后出版,由 Bayes 的朋友 Richard Price 修改和编辑。文章介绍了支持贝叶斯定理的工作。 |
1769 |
Wolfgang von Kempelen建造并参观了他的国际象棋自动机 The Turk。 土耳其人后来被证明是一个骗局,涉及一名人类棋手。 |
1805 |
Adrien-Marie Legendre 描述了“méthode des moindres carrés”,在英语中称为最小二乘法。 最小二乘法广泛用于数据拟合。 |
1812 |
Pierre-Simon Laplace出版了概率分析理论 (Théorie Analytique des Probabilités),其中扩展了贝叶斯的工作,并定义了现在称为贝叶斯定理的东西。 |
1818 |
Mary Shelley发表了《 Frankenstein或现代Prometheus》的故事,虚构了对创造有生命的人的伦理的思考。 |
1822–1859 |
Charles Babbage 和 Ada Lovelace 致力于可编程机械计算机。 |
1837 |
数学家Bernard Bolzano第一次尝试将语义形式化。 |
1854 |
George Boole 着手“研究进行推理的那些思维操作的基本规律,并用微积分的符号语言表达它们”,发明了Boolean 代数 |
1863 |
Samuel Butler提出,达尔文的进化论也适用于机器,并推测它们有一天会变得有意识并最终取代人类。 |
1913 |
Andrey Markov 首先描述了他用来分析一首诗的技巧。 这些技术后来被称为Markov 链。 |
1913 |
Bertrand Russell 和 Alfred North Whitehead 出版了数学原理,彻底改变了形式逻辑。 |
1915 |
Leonardo Torres y Quevedo 建造了一个国际象棋自动机 El Ajedrecista 并发表了关于思维和自动机的推测。 |
1920s and 1930s |
Ludwig Wittgenstein和Rudolf Carnap将哲学引入对知识的逻辑分析。 Alonzo Church 开发了 Lambda 微积分来研究使用递归函数表示法的可计算性。 |
1923 |
Karel Čapek 的戏剧 R.U.R. (Rossum 的 Universal Robots) 在伦敦开演。 这是“robot”一词在英语中的首次使用。 |
1931 |
Kurt Gödel表明,足够强大的形式系统,如果一致,则允许制定任何定理证明机器无法证明的真定理,这些定理证明机器从公理中推导出所有可能的定理。 为此,他必须构建一种通用的、基于整数的编程语言,这也是他有时被称为“理论计算机科学之父”的原因。 |
1941 |
Konrad Zuse 建造了第一台可运行的程控计算机。 |
1943 |
Warren Sturgis McCulloch 和 Walter Pitts 发表了“神经活动内在思想的逻辑演算”(1943 年),为人工神经网络奠定了基础。 |
1943 |
Arturo Rosenblueth、Norbert Wiener 和 Julian Bigelow 创造了“控制论”一词。 维纳的同名畅销书于 1948 年出版。 |
1945 |
在 1944 年数学家约翰·冯·诺依曼和经济学家奥斯卡·摩根斯坦恩发表的论文《博弈论和经济行为》中,博弈论在人工智能的进步中被证明是无价的。 |
1945 |
Vannevar Bush 发表了 As We May Think(大西洋月刊,1945 年 7 月)对未来的先见之明,其中计算机在许多活动中帮助人类。 |
1948 |
E.T. Jaynes 引述在演讲中回应机器不可能思考的评论:“你坚持认为有些事情是机器不能做的。 如果你能准确地告诉我机器不能做什么,那么我总能制造出能做到这一点的机器!”。 冯·诺依曼大概是在暗指 Church-Turing 论文,该论文指出任何有效的程序都可以由(通用)计算机模拟。 |
1950 |
Alan Turing 提出了一种可以学习并成为人工智能的“学习机器”。 图灵的具体提议预示了遗传算法。 |
1950 |
Alan Turing 提出图灵测试作为机器智能的衡量标准。 |
1950 |
Claude Shannon发表了对将国际象棋进行下棋的详细分析。 |
1950 |
Isaac Asimov发表了他的机器人三定律。 |
1951 |
Marvin Minsky 和 Dean Edmonds 构建了第一台能够学习的神经网络机器 SNARC。 |
1951 |
第一个工作 AI 程序是在 1951 年编写的,在曼彻斯特大学的 Ferranti Mark 1 机器上运行:由 Christopher Strachey 编写的下棋程序和由 Dietrich Prinz 编写的下棋程序。 |
1952 |
Arthur Samuel 加入 IBM 的 Poughkeepsie 实验室并开始研究一些最早的机器学习程序,首先创建下棋的程序。 |
1952–1962 |
Arthur Samuel (IBM) 编写了第一个游戏程序,用于跳棋(跳棋),以获得足够的技能来挑战可敬的业余爱好者。 他的第一个下棋程序是在 1952 年编写的,并在 1955 年创建了一个可以学习下棋的版本。 |
1956 |
达特茅斯学院夏季人工智能会议由 IBM 的 John McCarthy、Marvin Minsky、Nathan Rochester 和 Claude Shannon 组织。 麦卡锡为这次会议创造了人工智能一词。 |
1956 |
逻辑理论家 (LT) 的第一个演示由 Allen Newell、J.C. Shaw 和 Herbert A. Simon(卡内基理工学院,现为卡内基梅隆大学或 CMU)编写。 这通常被称为第一个人工智能程序,尽管塞缪尔的跳棋程序也有很强的主张。 |
1957 |
Frank Rosenblatt 在康奈尔航空实验室工作时发明了感知器。 感知器的发明引起了极大的轰动,并被媒体广泛报道。 |
1958 |
John McCarthy(麻省理工学院或麻省理工学院)发明了 Lisp 编程语言。 |
1958 |
Herbert Gelernter 和 Nathan Rochester (IBM) 描述了几何学中的定理证明器,它以“典型”案例的图表的形式利用域的语义模型。 |
1958 |
关于思维过程机械化的 Teddington 会议在英国举行,提交的论文包括 John McCarthy 的 Programs with Common Sense、Oliver Selfridge 的 Pandemonium 和 Marvin Minsky 的启发式编程和人工智能的一些方法。 |
1959 |
通用问题求解器 (GPS) 是由 Newell、Shaw 和 Simon 在 CMU 期间创建的。 |