人工智能概念 改变世界的十个人工智能领域的大师

1948年,“计算机科学之父”的艾伦·图灵和“信息科学之父”的克洛德·香农独立开发了仍在当今国际象棋程序中使用的基本算法。诺贝尔经济学奖得主,卡内基梅隆大学的赫伯特·西蒙(Herbert Simon)预测,“十年内,计算机将成为国际象棋的冠军”(但是,实践证明他和他之后的许多人都错了)。经过大量有关国际象棋程序开发的基础工作之后,Newell,Simon和Shaw在1959年进行了他们的第一个成功而认真的工作。 1967年,麻省理工学院的Richard Greenblatt开发了第一个俱乐部级别的程序Machack,该程序可以玩1600级(B级)的游戏。绿色炸弹只允许其程序与人对战。

人工智能是一门独特的学科,它使我们能够探索未来生活的许多可能性。在人工智能的短历史上,其方法已被纳入计算机科学的标准技术中。这样的例子包括人工智能研究中产生的搜索技术和专家系统人工智能概念,这些技术现在已嵌入许多控制系统,金融系统和基于Web的应用程序中。

当前,许多人工智能系统用于控制财务决策,例如买卖股票。这些系统使用各种人工智能技术,例如神经网络,遗传算法和专家系统。基于Internet的代理在万维网上搜索用户感兴趣的新闻文章。

技术进步已经极大地影响了我们的生活,这一趋势无疑将继续下去。最后,在下一个千年中,作为人类的意义是什么,这个问题很可能成为讨论的焦点。这几位改变了世界的人工智能领域的专家,您知道多少?

人物轶事

艾伦·图灵(Alan Turing)

艾伦·图灵(Alan Turing,1912-195 4)是英国数学家,在计算机科学史上是一位杰出人物。学习过人工智能,计算机科学和密码学的学生应该熟悉他的贡献。人工智能在于著名的为测试人工智能而开发的图灵测试,他试图解决人工智能中有争议的问题,例如“计算机是否智能?”,因此制定了该测试理论计算机科学中的一门课程是研究计算图灵机模型是图灵机的一种数学模型,它捕捉了计算的本质,旨在回答以下问题:“这意味着可以计算一个函数是什么意思?”读者应该理解,在第一个中,七或八在数字计算机问世之前的几年,Turing实质上讨论了使用算法来解决特定问题的概念。

您可能已经看过一部电影,描绘了第二次世界大战中的不列颠之战。在1940-1944年之间,德国飞机在英国投放了近20万吨炸弹。在伦敦郊外的布莱奇利公园,图灵带领一组数学家破解了被称为“谜语代码”的德国代码。他们最终使用Enigma密码机破解了代码。该设备可解密发送给德国船只和飞机的所有军事命令的代码。图灵小组的成功在盟军的胜利中起着决定性的作用。

艾伦·图灵和人工智能

Turing发明了存储程序的概念,这是所有现代计算机的基础。 1935年之前,他描述了一种具有无限存储空间的抽象计算机-它具有一个读取头(扫描仪),该读取头前后移动以读取该存储空间,并读取该存储空间中指定的程序。象征。这个概念称为通用图灵机。

图灵很早就如何组织神经系统促进大脑功能提出了自己的见解。克雷格·韦伯斯特(Craig Webster)在他的文章中解释了Turing的论文“ Computing Machinery and Intelligence”(最终于1950年在Mind上发表),并介绍了Turing B网络是一种无组织的机器。这个B网络用于婴儿。可以在大脑皮层中找到。

Turing讨论了两种类型的无组织机器,分别称为Type A和TypeB。TypeA机器由NAND门组成,其中每个节点具有以0或1表示的两个状态,两个输入以及任意数量的输出。每个A型网络都以特定方式与其他3个A型节点相交,从而生成组成B型节点的二进制脉冲。图灵已经意识到训练的可能性以及对自我刺激反馈回路的需求。图灵还认为,需要训练``遗传搜索''来训练B型网络,以便找到令人满意的值(或模式)。

在图卢切利公园,图灵经常与唐纳德·米奇(Donald Mickey,他的同事和追随者)讨论机器如何从经验中学习和解决新问题的概念。后来,这被称为启发式问题解决和机器学习。

Turing对长期使用象棋游戏作为人工智能测试平台的问题解决方法有深刻的了解。尽管当时的计算机还不足以开发强大的国际象棋程序,但他意识到国际象棋带来的挑战(有10120种可能的合法游戏)。如前所述,他在1948年发表的论文“计算机和智能”为以后的所有国际象棋程序奠定了基础,从而导致了可以与1990年代世界冠军竞争的主机的开发。

人物轶事

约翰·麦卡锡(John McCarthy)

约翰·麦卡锡(1927-201 1),在1956年的达特茅斯会议上创造了“人工智能”一词)。没有他,就不会有关于人工智能的教科书。

麦卡锡教授曾在麻省理工学院,达特茅斯学院,普林斯顿大学和斯坦福大学工作。他是斯坦福大学的名誉教授。

他为LISP编程语言的发明做出了贡献。多年来,尤其是在美国,LISP已成为开发人工智能程序的标准语言。麦卡锡在数学方面很有才华。 1948年,他在加利福尼亚理工学院获得了数学学士学位。1951年,在所罗门·莱夫谢茨(Solomon Lefschetz)的指导下,他从普林斯顿大学获得了数学博士学位。

麦卡锡教授有着广泛的兴趣,他的贡献涵盖了人工智能的许多领域。例如,他在逻辑,自然语言处理,计算机象棋,认知,反事实,常识等各个领域都有出版物,并从人工智能的角度提出了一些哲学问题。

作为人工智能的创始人,麦卡锡经常在他的论文中发表评论,例如“某些专家系统需要常识”(198 4)和“机器人的自由意志”),指出人工智能系统需要成为实用有效。

麦卡锡(McCarthy)对人工智能的贡献,于1971年获得了图灵奖。他还获得了其他奖项,包括数学,统计学和计算科学方面的国家科学奖,以及计算机和认知科学方面的本杰明·富兰克林奖。

人物轶事

Georage Boole

计算机程序可以显示任何类型的智能,这首先确定它需要能够推理的能力。英国数学家George Boole(1815-186 4))建立了表达人类逻辑定律的数学框架,他的研究包括约50篇个人论文。他的主要成就是1859年出现的著名的差分方程理论。后来,在1860年,他发表了有限差分运算的理论,后者的工作是他先前工作的延续,布尔在《思想法则》一书中提出了一种符号推理的一般方法,这可能是他最大的成就。带有任意术语的逻辑命题,布尔用纯符号对待这些前提,以显示如何进行合理的逻辑推论。

在“思想定律”的第二部分中,布尔试图创造一种通用方法来转换事件系统的先验概率,以确定在逻辑上与给定事件概率相关的任何其他事件的后验。

他建立的代数语言(或符号)允许变量仅基于两个状态(对与错)进行交互(或建立关系)。众所周知,他构建的布尔代数具有3个逻辑运算符:AND,OR和NOT。布尔代数和逻辑规则的结合使我们能够“自动”证明事物。因此,可以做到这一点的机器可以在某种意义上进行推理。

两个多世纪以后,库尔特·哥德尔(KurtGödel,193 1))证明了莱布尼兹的目标过于乐观。他证明了数学的任何分支都只使用该数学分支的规则和公理,即使这本身是完整的,并且始终包含一些无法证明是对还是错的命题。法国伟大的哲学家里内·笛卡尔(Rene Descartes)在《冥想》一书中运用了内省的认知,解决了物理现实的问题。他通过思想的真实性证明了他的存在,并最终提出了著名的“ Cogito ergo sum”-“我想,所以我就是”。这样,笛卡尔和跟随他的哲学家们建立了一个独立的精神世界和物质世界。最终,这导致了当代的观点,即身心在本质上是相同的。

人物轶事

Edsger Dijkstra(Edsger Dijkstra)

Zig Dijkstra(1930-200 2)是荷兰的计算机科学家。他在早期研究理论物理学,但是他最著名的成就是关于良好的编程风格(例如结构化编程),良好的教育程度技术写作和算法。有一种以他命名的算法,即一种找到图片中目标的最短路径的算法。

他为编程语言的发展做出了重要贡献,因此他在1972年获得了图灵奖,并且在1984年至2000年期间,他担任德克萨斯大学奥斯汀分校的斯伦贝谢百年计算机科学系主任。他喜欢结构化语言,例如Algol-60(帮助他开发软件),并且不喜欢教授BASIC。在写作方面,他获得了很高的荣誉。例如,他的信标题为“ Go To Statement Concordred Harmful”(1986),这是写给计算机协会(ACM)编辑的信。

自1970年代以来,他的大部分工作是为程序的正确性开发正式的验证方法。他希望使用优雅的数学代替复杂的正确性证明进行验证,这种正确性证明的复杂性通常会变得非常复杂。迪克斯特拉(Dijkstra)撰写了1300多个“ EWD”(他的名字的缩写),这些都是他自己写的手写个人笔记。从那以后,他与其他人进行了沟通,以使这些笔记得以发表。

在他去世之前,他在程序计算的自我稳定方面的工作获得了PODC分布式计算有影响力论文奖(ACM分布式计算原理,ACM PODC)。为了向他致敬,该奖项更名为Dijkstra Award。

人物轶事

亚瑟·塞缪尔(Arthur Samuel)

1952年,亚瑟·塞缪尔(Arthur Samuel)编写了跳棋程序的第一版。显然,在为IBM 704编写Checkers游戏时,Samuel的主要兴趣是开发一个演示了机器学习的Checkers程序。塞缪尔(Samuel)的早期论文[以及跳棋工作的重要性,不是该程序的结果,也不是该程序必须成功,而是当该程序在一场比赛中击败冠军罗伯特·尼利时,经常在新闻中报道。世界在夸张。

这项工作的重要意义是人们将这个程序视为合理的人工智能技术的研究和应用的早期模型。塞缪尔(Samuel)的工作代表了机器学习领域的最早研究。塞缪尔曾经考虑过使用神经网络方法来学习游戏的可能性,但最终决定使用一种更加组织化和结构化的网络方法来学习游戏。

Dana Nau是博弈论和自动计划领域的研究员。他以发现“病态”游戏而闻名,在这种游戏中,与直觉相反,期待会导致更糟糕的决策制定。

人物轶事

Dana Nau

Dana Nau(生于1951年)是马里兰大学计算机科学系和系统研究所(ISR)的教授。达娜·瑙(Dana Nau)对自动计划和博弈论的研究使他发现了这种“病态”游戏,并在该理论及其在自动计划中的应用方面取得了巨大成就。他和他的学生为AI计划,制造计划,零和游戏和非零和游戏开发的算法赢得了许多奖项。

他的SHOP和SHOP2计划系统已下载超过13,000次,并在全球成千上万个项目中使用。 Dana已发表300多篇论文,其中几篇获得了最佳论文奖。他还与其他作者合着了《自动化计划:理论与实践》。他是人工智能开发协会(AAAI)的研究员。除了是马里兰大学的教授外,Dana还在高级计算技术研究所(UMIACS)和机械工程系担任相关职位,还参与了计算文化动力学实验室(LCCD)的指导。

Richard Korf正在研究人工智能中的问题解决,启发式搜索和计划。他发现了迭代加深的深度优先搜索-一种类似于渐进加深的方法。这是下一部分的主题。请参阅补充报告以了解有关Korf博士的更多信息。

人物轶事

Richard Korf

里查德·科尔夫(Richard Korf,生于1955年)是美国加利福尼亚大学洛杉矶分校计算机科学学院的教授。他于1977年获得麻省理工学院的学士学位,分别于1980年和1983年获得卡内基梅隆大学的计算机科学硕士学位和博士学位。从1983年到1985年,他担任哥伦比亚大学计算机科学学院的赫伯特·辛格(Herbert M. Singer)助理教授。他的研究领域是问题解决,启发式搜索和人工智能计划。

尤其值得一提的是,他在1985年发现了迭代加深方法,该方法提高了深度优先搜索的效率。他还于1997年发现了著名的Rubik's Cube的最佳解决方案。他是《通过寻找宏观操作者来学习解决问题》(Pitman,198 5))一书的作者。科尔夫博士获得了1985年IBM教职员工发展奖,1986年NSF的住宅青年研究者奖,UCLA最佳计算机科学系杰出教学奖(198 9))和2005年洛克希德·马丁公司卓越奖。教学奖。他是美国人工智能协会的资深会员。

人工智能的创始人之一

人物轶事

马文·明斯基(Marvin Minsky)

自1956年达特茅斯会议以来,明斯基(生于1927年)一直是AI的创始人之一。

1950年,他获得了哈佛大学的数学学士学位; 1954年,他获得了普林斯顿大学的数学博士学位。但是他的专业领域是认知科学。自1958年以来,他一直在麻省理工学院努力工作,并为认知科学做出了贡献。

他一直痴迷于该领域,该领域一直持续到2006年-达特茅斯会议五十周年。这本书也是在达特茅斯会议上首次构思的。明斯基教授于2003年创立了麻省理工学院计算机科学与人工智能实验室(CSAIL)。 Minsi于1969年获得了图灵奖,1990年获得了日本奖,1991年获得了国际人工智能联合大会的最佳研究奖,并于2001年获得了富兰克林研究所的本杰明·富兰克林奖章。他是伟大的先驱和博大精深的人之一人工智能思想家。他从数学,心理学和计算机科学的角度发展了框架理论(请参阅6.第8部分),并为AI做出了许多其他重要贡献。近年来,他继续在麻省理工学院媒体实验室工作。

心灵学会

1986年,马文·明斯基(Marvin Minsky)做出了里程碑式的贡献。他的《心灵社会》一书打开了智能身体思维和研究的大门。可以在emcp官方网站上找到有关本书的评论,其中着重说明了以下几点。

明斯基的理论认为,思维是由大量的半自治的,复杂的,相互联系的主体组成的,而这些主体本身就没有头脑。正如明斯基所说:

“这本书试图解释大脑是如何工作的。智力是如何从非智力中产生的?要回答这个问题,我们将表明,思想是由许多并非没有思想的小部分构成的。” [43]

在明斯基的系统中,思维是由许多较小的过程产生的,他称这些较小的过程为“代理”。每个特工只能执行简单的任务,但是当特工加入一个团体以形成一个社会时,它“以一种非常特殊的方式”带来了情报。明斯基对大脑的看法是:这是一台非常复杂的机器。

如果我们可以想象使用计算机芯片替换大脑中的每个细胞人工智能概念,那么这些芯片被设计为执行与大脑智能身体相同的功能,并使用与大脑完全相同的连接。明斯基还说:“没有理由怀疑,由于替代机器体现了所有相同的过程和记忆,因此替代机器的思想和感受与您相同。可以说,这是您,并且拥有您的全部。力量。”

在Minsky具有里程碑意义的工作中,人们批评人工智能系统没有显示常识知识。在这方面,他不得不说:

“我们的预见,想象,计划,预测和预防方式涉及成千上万个,甚至数百万个小流程。但是,所有这些流程都是自动的,因此我们认为这是'常识'。”

自1980年代末以来,罗德尼·布鲁克斯(Rodney Brooks)一直在基于包容性架构来构建机器人。他认为,聪明的行为源于有组织的相对简单的行为交互。容纳架构是构建机器人控制系统的基础,该机器人控制系统包括一组任务处理行为。通过有限状态机的转换,它将基于感知的输入映射到面向动作的输出,以实现机器人的行为。一组简单的条件动作产生规则定义了一个有限状态机。

布鲁克斯的系统不包括全球知识,但它们确实包括一些层次结构,以及结构的不同层次之间的反馈。 Brooks通过增加体系结构中的层数来增强系统的功能。 Brooks认为,体系结构中较低级别的设计和测试的结果会产生高层行为。我们进行的实验揭示了层之间一致行为的最佳设计,并确定了层之间和层之间的正确通信。包容性体系结构设计的简单性并没有阻止Brooks在某些应用程序中取得成功。

人物轶事

罗德尼·布鲁克斯(Rodney Brooks)-从叛乱到改革

罗德尼·布鲁克斯(生于1954年)多才多艺且幽默。在1980年代,他闯入AI领域,对既有观点提出了质疑,并就如何构建机器人系统提出了自己的特立独行的观点。多年后,他成为了著名的AI领袖,学者和先知。他于1981年在澳大利亚的弗林德斯大学获得理论数学学士学位,并在斯坦福大学获得了计算机科学博士学位,并在卡内基·梅隆大学和麻省理工学院担任过研究职务。

在加入麻省理工学院之前,他于1984年在斯坦福大学(Stanford University)担任教授。他通过在机器人和人造生活方面的工作而建立了自己的声誉。他通过电影,书籍和企业家活动进一步丰富了他的职业生涯。他建立了几家公司,包括Lucid(198 4),IROBOT(199 0))(请参见图6. 21(a)〜图6. 21(d))。在IROBOT®公司中,他设计了Roomba和其附属的人造生物(199 1),获得了商业上的成功(见图6. 21(c))。他是MIT松下机器人教授和MIT计算机科学与人工智能实验室主任。他设计和制造的机器人拥有工业和军事市场。2008年,他创建了Heartland机器人,该机器人的任务是将新一代机器人推向市场,并提高制造环境的生产率。尚未实现自动化的地方,从而使制造商更高效,工人生产率更高,保留了工作,并避免了他们迁移到低水平的工作。成本范围”。

广告福建全功行业知名企业!公司成立于1979年,拥有先进的技术和设备!

图片6. 21 IROBOT的产品

人物轶事

Hans J. Berliner

1970年代初期,世界通讯象棋世界冠军汉斯·柏林纳(Hans Berliner)(1966-196 9))提出了视界效应的概念。

汉斯·J·柏林(Hans J. Berliner,生于1929年)为国际象棋游戏和高级游戏编程做出了重要贡献。他获得了博士学位。于1969年从卡内基梅隆大学(Carnegie Mellon University)毕业,曾在该校担任计算机科学教授。从1965年到1968年,柏林人获得了通讯象棋的世界冠军。除了在Hitech(1985年)开发世界上第一个高级国际象棋程序外,他还于1979年开发了西洋双陆棋游戏。

人物轶事

蒙蒂·新生儿(Monty Newborn)

蒙蒂·新生儿(Monty Newborn,生于1937年)是计算机国际象棋的先驱之一。他开发了最早的多处理器程序之一OSTRICH,并且自1970年以来就组织了北美和世界计算机象棋锦标赛。1977年,他还是国际象棋协会(ICCA)的联合创始人之一。 1976年至1983年,他担任麦吉尔大学计算机科学学院院长。在1996年的Kasparov和Deep Blue比赛中,他是主要的组织者。同时,他还是有关计算机国际象棋和定理证明书的作者。在退休时,他喜欢制作漂亮的彩色玻璃灯,并且是魁北克省顶级的高级网球选手之一。

人物轶事

David Levy和Jaap Van Den Herik

在计算机国际象棋和计算机游戏领域,戴维·利维(David Levy,生于1945年)是最有产的人物之一。他是国际象棋大师,学者,出版了30多本书,并且是国际公认的人工智能领导者。征费促进了计算机国际象棋领域的研究。 1968年,他与三位计算机科学教授进行了一次著名的赌注-他声称在国际象棋中,没有任何程序可以打败他。在他的支持下,他赢得了几场比赛,但在1989年,“深思”(Deep Thought)以4:0击败了他。与D. K.一样,Levy也是Donald Michie的学生和朋友。

他出版了颇受欢迎的《机器人无限》(200 5)和《机器人的爱情与性爱》(200 7))。

Jaap van den Herik(生于1947年)是马斯特里赫特大学的计算机科学教授。 2008年,他成为Tilberg创意计算中心的负责人。 Herik教授积极领导和编辑了ICCA杂志,该杂志最终更名为“国际计算机游戏协会杂志”。

自1988年以来,他在这些领域和其他领域发表了许多科学出版物,并担任莱顿大学法律与计算机系主任。

人物轶事

肯尼思·汤普森(Kenneth Thompson)

肯尼斯·汤普森(Kenneth Thompson)(生于1943年)是计算机科学领域的杰出美国先驱之一。他的成就包括B编程语言的开发。 1969年,他和Dennis Ritchie(Dennis Ritchie)使用这种语言编写UNIX操作系统,然后开发了C语言。在计算机国际象棋中,他使用已经研究了多年的专用硬件在贝尔实验室开发了BELLE程序。贝尔(BELLE)赢得了1980年的国际象棋锦标赛,并在1982年成为第一个计算机国际象棋大师项目。汤普森(Thompson)以开发象棋残局数据库而闻名,并且为象棋知识库做出了巨大贡献。

Thompson和Ritchie在UNIX操作系统上的开拓性工作为他赢得了许多荣誉,包括IEEE Richard W. Hamming奖章(199 0),计算机历史博物馆的高级会员(1997年)和Bill Clinton授予的国家奖)。技术(1999年)和日本奖(201 1))。汤普森(Thompson)在1999年获得了首届金富堤奖。

最近,他以出色的工程师身份加入Google,并开发了Go语言。

【版权声明】本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 playplus@qq.com 举报,一经查实,本站将立刻删除。