人工情感的发展历程与最终归宿
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
人工情感的发展历程与最终归宿
人工智能是指用人工的方法和技术,模仿、延伸和扩展人的智能,实现机器的智能化,人工情感指用人工的方法和技术,模仿、延伸和扩展人的情感,使机器具有识别、理解和表达情感的能力。从广义的角度来看,情感是一种特殊的认知,意志又是一种特殊的情感,广义的人工智能包括人工智能、人工情感与人工意志三个方面,因此人工情感的发展历程实际上就是广义的人工智能的发展历程。
一、算术运算阶段
1614年苏格兰人John Napier发表了一篇论文,其中提到他发明了一种可以进行四则运算和方根运算的精巧装置;1623年Wilhelm Schickard制作了一个能进行6 位数以内加减法运算,并能通过铃声输出答案的“计算钟”,该装置通过转动齿轮来进行操作;1625年William Oughtred发明计算尺;1642年,法国哲学家兼数学家Blaise Pascal发明了第一台真正的机械计算器——滚轮式加法器,其外观上有6个轮子,分别代表着个、十、百、千、万、十万等,只需要顺时针拨动轮子,就可以进行加法,而逆时针则进行减法,原理和手表很像,算是计算机的开山鼻祖了;1668年英国人Samuel Morl制作了一个非十进制的加法装置,适宜计算钱币;1671年德国数学家Gottfried Leibniz 设计了一架可以进行乘法运算,最终答案长度可达16位的计算工具;1822年英国人Charles Babbage 设计了差分机和分析机,其设计理论非常超前,类似于百年后的电子计算机,特别是利用卡片输入程序和数据的设计被后人所采用;1834年Babbage 设想制造一台通用分析机,能够完成所有的算术运算,该分析机由四个基本部件构成:存储库、运算室、传送机构和送人取出机构,类似于现代计算机的五大
装置:输入、控制、运算、存储和输出装置,因此他被公认为计算机之父;1848年英国数学家George Boole创立二进制代数学,提前近一个世纪为现代二进制计算机的发展铺平了道路;1890年美国人口普查部门希望能得到一台机器帮助提高普查效率,Herman Hollerith (后来他的公司发展成了IBM 公司)借鉴Babbage的发明,用穿孔卡片存储数据,并设计了机器,结果仅用6 周就得出了准确的人口统计数据(如果用人工方法,大概要花10 年时间)。
算术运算主要是以机械方式来实施的。
二、数学运算阶段
在以机械方式运行的计算器诞生百年之后,随着电子技术的突飞猛进,计算机开始了真正意义上的由机械向电子时代的过渡,电磁学、电工学、电子学不断取得重大进展,在元件、器件方面接连发明了真空二极管和真空三极管,电子器件逐渐演变成为计算机的主体,而机械部件则渐渐处于从属位置。1906年美国人Lee De Forest发明电子管,为电子计算机的发展奠定了基础;1924年2月IBM公司成立,从此一个具有划时代意义的公司诞生;1935年IBM推出IBM601机,这是一台能在一秒钟内算出乘法的穿孔卡片计算机;1937年英国剑桥大学的Alan M.Turing出版了他的论文,并提出了被后人称之为“图灵机”的数学模型;1937 年Bell试验室的George Stibitz展示了用继电器表示二进制的装置,尽管仅仅是个展示品,但却是第一台二进制电子计算机;1940年Bell实验室的Samuel Williams 和Stibitz 制造成功了一个能进行复杂运算的计算机,该机器大量使用了继电器,并借鉴了一些电话技术,采用了先进的编码技术;1941年Atanasoff 和学生Berry 完成了能解线性代数方程的计算机,取名叫“ABC ”,用电容作存储器,用穿孔卡片作辅助存储器,那些孔实际上是“烧”
上去的,时钟频率是60Hz,完成一次加法运算用时一秒;1946年美国宾夕法尼亚大学莫尔学院制成的大型电子数字积分计
算机(ENIAC),最初也专门用于火炮弹道计算,后经多次改进而成为能进行各种科学计算的通用计算机,这台完全采用电子线路执行算术运算、逻辑运算和信息存储的计算机,运算速度比继电器计算机快1000倍,这就是人们常常提到的世界上第一台电子计算机;1945年数学家冯·诺伊曼发表了电子离散变量自动计算机(EDVAC) 方案;1949年英国剑桥大学数学实验室率先制成电子离散时序自动计算机(EDSAC);美国则于1950年制成了东部标准自动计算机(SFAC)等。
与此同时,数学、物理也相应地蓬勃发展,到了20世纪30年代,物理学的各个领域经历着定量化的阶段,描述各种物理过程的数学方程,其中有的用经典的分析方法已根难解决。于是数值分析受到了重视,研究出各种数值积分、数值微分以及微分方程数值解法,把计算过程归结为巨量的基本运算,从而奠定了现代计算机的数值算法基础。
此阶段的数学运算主要是以机电方式或电子管方式来实施的。
三、逻辑推理阶段
1950年图林发表了一篇划时代论文《计算机与智能》(后来改名为《机器能思维吗?》),引起了巨大的震动,他认为,与人脑的活动方式极为相似的机器是可以制造出来的。1956
年美国达特莫斯大学(Dartmouth)召开了一次影响深远的历史性会议,参加这次聚会的青年学者的研究专业包括数学、心理学、神经生理学、信息论和电脑科学等,他们分别从不同的角度共同探讨人工智能的可能性,正是这次会议首次提出了“人工智能”(AI)这一术语,标志着人工智能作为一门新兴学科正式诞生。人工智能科学想要解决的问题,是让电脑也具
有人类那种听、说、读、写、思考、学习、适应环境变化和解决各种实际问题的能力。
逻辑推理是人类思维的重要方面,包括归纳推理、演绎推理和模糊推理等多种形式。人工智能的核心内容就是要模拟这些推理形式,实现诸如故障诊断、数学定理证明、问题判断与求解、博弈等功能,因此逻辑推理是人工智能的核心内容之一。当机器有了逻辑推理能力以后,就能够比普通机器更加灵活地分析问题和处理问题,从而适用于更加复杂多变的应用场合。
1956年纽厄尔、赫伯特·西蒙等人合作编制的《逻辑理论机》数学定理证明程序(简称LT),从而使机器迈出了逻辑推理的第一步。在卡内基—梅隆大学的计算机实验室,纽厄尔和西蒙通过大量的观察实例,发现人们求解数学题通常是用试凑的办法进行的,试凑时不一定列出了所有的可能性,而是用逻辑推理来迅速缩小搜索范围,人类证明数学定理也有类似的思维规律,通过“分解”(把一个复杂问题分解为几个简单的子问题)和“代入”(利用已知常量代入未知的变量)等方法,用已知的定理、公理或解题规则进行试探性推理,直到所有的子问题最终都变成已知的定理或公理,从而解决整个问题。人类求证数学定理也是一种启发式搜索,与电脑下棋的原理异曲同工,因此他们利用这个LT程序向数学定理发起了激动人心的冲击。电脑果然不孚众望,一举证明了数学家罗素的数学名著《数学原理》第二章中的38个定理。1963年,经过改进的LT程序在一部更大的电脑上,最终完成了第二章全部52条数学定理的证明。之后,洛克菲勒大学教授王浩用他首创的“王氏算法”,在一台速度不高的IBM704电脑上再次向《数学原理》发起挑战,不到9 分钟,就把这本数学史上视为里程碑的著作中全部(350条以上)的定理统统证明了一遍,他因此被国际上公认为机器定理证明的开拓者之一。