人工智能研究报告-副本.pdfVIP

人工智能研究报告 产生背景 人工智能的出现不是偶然的， 它是人们长期以来探索和研制能进行计算、 推 理和思维的智能机器的必然结果。 自古以来，人们一直在试图用各种机器来代替 人的部分脑力劳动， 以提高人类征服自然和改造自然的能力。 古希腊的哲学家亚 里士多德就提出了形式逻辑问题。 12 世纪末至 13 世纪初，西班牙逻辑学家卢乐 提出了制造可以解决各种问题的通用逻辑机。 17 世纪，法国的物理学家和数学 家帕斯卡制造出世界上第一台机械式加法器， 并得到广泛应用。 随后德国哲学家 和数学家莱布尼茨在帕斯卡加法器的基础上进一步制成了可进行四则运算的计 算器。莱布尼茨还提出了“符号语言”和“思维演算”的重要设想，他认为：必 须将人的思维代数几何化， 即像代数那样按照公式来思考， 像几何那样直观的通 过图画来思维。 这一思想导致了后来的数理逻辑的诞生， 成为了现代机器思维设 计思想的萌芽。 19 世纪，英国数学家布尔在《思维法则》一书中，第一次用符号语言描述 了思维活动中推理的基本法则， 创立了布尔代数。 英国数学家和发明家巴贝奇发 明了差分机和分析机， 其中分析机的设计思想与现代电子计算机十分相似。 虽然 巴贝奇的发明在当时没有得到实现和收到应有的重视， 但是他的科学思想为研制 “思维机器”做出了巨大的贡献。 20 世纪 30 年代，英国数学家图灵开始了寻求智力机的研究工作。 1937 年， 图灵发表了 “理想自动机”的论文，该文给可计算性这一概念下了严格的数学定 义，并论证了任何需要精确的加以确定的计算过程，都能由“图灵机”完成，为 人们清晰地描绘出理想自动机的蓝图，同时也为电子计算机的诞生奠定了基础。 (1937 年，伦敦权威的数学杂志又收到图灵一篇论文《论可计算数及其在判定问 题中的应用》，作为阐明现代电脑原理的开山之作，被永远载入了计算机的发展 史册。这篇论文原本是为了解决一个基础性的数学问题： 是否只要给人以足够的 时间演算，数学函数都能够通过有限次机械步骤求得解答？传统数学家当然只会 想到用公式推导证明它是否成立， 可是图林独辟蹊径地想出了一台冥冥之中的机 器。图林想象的机器说起来很简单： 该计算机使用一条无限长度的纸带， 纸带被 划分成许多方格，有的方格被画上斜线，代表“ 1”；有的没有画任何线条，代表 “0”。该计算机有一个读写头部件， 可以从带子上读出信息， 也可以往空方格里 写下信息。该计算机仅有的功能是： 把纸带向右移动一格， 然后把 “1”变成 “0”， 或者相反把“ 0”变成“ 1”。 图林设计的“理想计算机”被后人称为“图林机” ， 实际上是一种不考虑硬件状态的计算机逻辑结构。 图林还提出可以设计出另一种 “万能图林机”，用来模拟其它任何一台“图林机”工作，从而首创了通用计算 机的原始模型。 图林甚至还想到把程序和数据都储存在纸带上， 比冯·诺依曼更 早提出了“储存程序”的概念。 1945 年，匈牙利数学家冯诺依曼提出了存储程 序的思想， 在计算机领域建立了不朽的功勋。 目前的计算机体系结构仍然是冯诺 依曼型的。 1946 年，美国数学家、电子计算机先驱莫克利和他的研究生埃克特 合作，成功研制了世界上第一台电子数字计算机 ENIAC，为机器