荔园在线
荔园之美，在春之萌芽，在夏之绽放，在秋之收获，在冬之沉淀
[回到开始]
[上一篇][下一篇]
发信人: alibab (芝麻), 信区: CET
标 题: 人工智能(一)[转载]
发信站: BBS 荔园晨风站 (Sun Nov 21 21:16:05 1999), 转信
发 表 人：Zcy_Cy(wws) 版面名称：AI[29]
文章提要：人工智能简介(1)
源 发 站：中国科大BBS站(Thu, 29 Apr 1999 18:05:13)
42%
人工智能是计算机科学的一个分支,其长远目标是人工智能的机
器实现.经过半个多世纪的发展,人工智能产生了一大批理论成果,
并获得了广泛的应用.
一般认为,人工智能的思想萌芽可以追溯到德国著名数学家和哲
学家莱布尼茨(Leibnitz,1646-1716)提出的"通用语言"设想.这一设
想的要点是:建立一种通用的符号语言,用这个语言中的符号表达
“思想内容”,用符号之间的形式关系表达“思想内容”之间的逻
辑关系.于是,在“通用语言”中可以实现“思维的机械化”这一设
想可以看成是对人工智能的最早描述.
计算机科学的创始人图灵有时也被认为是“人工智能之父”,他着
重研究了一台计算机应满足怎样的条件才能称为是“有智能
的”.1950年他提出了著名的“图灵实验”:让一个人和一台计算
机分别处于两个房间里,与外界的联系仅仅通过键盘和打印机.由
人类裁判员向房间里的人和计算机提问(比如:“你是机器还是
人?”或“你是男人还是女人?”等等),并通过人和计算机的回答
来判断哪个房间里是人、哪个房间里是计算机.图灵认为,如果“中
等程度”的裁判员不能正确地作出区分,则这样的计算机可以称为
是有智能的.“图灵实验”是关于智能标准的一个明确定义.有趣的
是,尽管后来有些计算机正经通过了图灵实验,但人们并不承认这
些计算机是有智能的.这反映出人们对智能标准的认识更深入、对
人工智能智能的要求更高了.
几乎在图灵上述工作的同时,冯·诺依曼从生物学角度研究了人工
智能.从生物学的观点看,智能是进化的结果,而进化的基本条件之
一是“繁殖”.为此, 冯·诺依曼构造了“自再生自动机”,这是一
种有“繁殖”能力的数学模型. 冯·诺依曼的分析表明, 自再生自
动机的内容结构对于“繁殖”是充分的和必要的.他进而推测,这种
结构必定存在于活的细胞之中.五年之后,克里克和沃森关于DNA
结构的重大发现完全证实了冯·诺依曼的猜测: 自再生自动机的
几个功能模块均有生物学上的对应物.其中,模块A对应于核糖
体,B对应与RND酶和DNA聚合酶,D对应于RNA和DNA,E对应于阻遏控
制分子和抗阻遏控制分子等. 冯·诺依曼的工作为后来人工智能中的
一条研究路线(人工生命)提供了重要的基础.
图灵和冯·诺依曼的上述工作,以及麦克考洛和匹茨对神经元网的
数学模型的研究,构成了人工智能的初创阶段.
1956年夏天举行的达德茅斯研讨会,被认为是人工智能作为一门
独立学科正式诞生的标志.这次研讨会聚集了来自数学、信息科学、
心理学、神经生理学和计算机科学等不同领域的领导者,包括Minsky,
Rochester,Shanon,Samuel,Moore,Simon,Newell,Selfirdge,Solonionff
和Mccarthy等.其中,Miusky,Mccarthy,Newell和Simon后来被认为
是美国人工智能界的“四大领袖”.与会者从不同角度搜索了使机器具有智能
的途径和方式,并决定用“人工智能”(Artificial Intelligence)一词来概括
这一新的研究方向.达德茅斯研讨会开创了人工智能的第一个发展时期.在这个
时期里,研究者们展开了一系列开创性工作,并取得了引人注目的成果.
会后不久,Newell,Shaw和Simon完成了一个自动证明数学定理的计算机程序Logic Theorist
(此前Martin和Davis曾编制了一个算术定理的证明程序,但未发表),证明了《数学
原理》第二章中的38条定理,由此开创了人工智能智能中“自动定理证明”这一分
支.1958年,美籍逻辑学家王浩在自动定理证明中取得的重要进展.他的程序在IBM704
计算机上用不到5分钟的时间证明了《数学原理》中“命题演算”的全部220条定理.1959年
王浩的改进程序用8．4分钟证明了上述220条定理及书中带等词的谓词演算的绝大部分定理
1983年,美国数学学会将自动定理证明的第一个“里程碑奖”授予王浩,以以表彰他的杰出贡
?
(自动定理证明的“里程碑奖”每25年评选一次,由此可见其份量).受王浩工作的鼓舞,自动
定理证明的研究形成一股热潮.比如,Slagle的符号积分程序SAINT经测试已达到了大学生的
积分演算水准;而Mosis的SIN程序的效率比SAINT提高了约三倍,被认为达到了专家水平.
自动定理证明的理论价值和应用范围并不局限于数学领域.事实上,很多问题可以转化为定?
证明问题,或者与定理证明有关.可以认为,自动定理证明的核心问题是自动推理,
而推理在人的智能行为中起普遍性的重要作用.基于这一看法,在自动定理证明的
基础上进一步研究通用问题求解,是一个值得探索的课题.从1957年开始,Newell,
Shaw和Simon等人着手研究不依赖与具体领域的通用解题程序,称之为GPS,它是在
Logic Theorist的基础上发展起来的,虽然后来的实践表明,GPS作为一个独立的求解程序
的能力是有限的,但在GPS中发展起来的技术(yo means-ends分析）对人工智能的发展有
重要意义．
?
--
※ 来源:·BBS 荔园晨风站 bbs.szu.edu.cn·[FROM: 192.168.28.63]
[回到开始]
[上一篇][下一篇]
荔园在线首页 友情链接：深圳大学 深大招生 荔园晨风BBS S-Term软件 网络书店