人工智能的逻辑极限

《人工智能的逻辑极限》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、逻辑与计算机《哲学动态》2001年增刊人工智能的逻辑极限刘晓力(北京师范大学哲学系，北京100875)摘要：“人的智能和人工智能的极限”已列入21世纪需要解决的重大数学问题清单，本文试图从逻辑的角度对人工智能的极限问题进行探讨，特别指出哥德尔定理与人工智能极限之间的关系，并对人工智能的“认知可计算主义”研究纲领提出质疑。关键词：人工智能的极限哥德尔定理认知可计算主义认知的算法不可完全性〔中图分类号〕B81〔文献标识码〕A〔文章编号〕1002–8862–(2001)增刊–0018–041.斯梅尔第十八数学问题2.人工智能研究现状过去几十年计算机技术的巨大成就正在向人类人工智能方案

2、起于20世纪40年代后期。1936智能发起挑战。“电脑能否代替人脑”，“人类心智年图灵首先以“图灵机”概念对算法概念给予数学是否会永远胜过计算机”，“哥德尔不完全性定理刻画，1950年又在《计算机器与心智》中提出“机是否设定了人工智能不可克服的逻辑极限”？这是器能思维吗？”这一重要问题，并设计了“图灵测哲学家和人工智能专家及其反对者们激烈争论的话验”，为人工智能的研究提供了某种理论依据和检验题。方法。1948年维纳创立“控制论”，研究动物与机哥德尔不完全性定理是为了解决1900年希尔器中的控制和通讯的反馈控制原理及信息传输、信伯特提出的20世纪需要解决的23个数学问题之一息交换

3、和信息加工过程等规律。1954年艾什比出版所得的数学结果。事隔100年，曾任美国数学会主《大脑的设计》，开辟了以行为模拟的观点研究人工席的斯梅尔又向全世界数学家提出了21世纪需要智能的途径。1956年夏季，人工智能的先驱者麦卡解决的24个数学问题，其中的第18个问题是，“人希、明斯基、香农等人发起，在美国达特茅斯大学类智能的极限和人工智能的极限是什么”？并且指举办“如何用机器模拟人的智能”学术会议，正式出，这个问题与哥德尔不完全性定理有关。使用“人工智能”术语，成为这门新的研究领域诞哥德尔定理告诉我们：在任何包含初等数论的生的标志。从此以后，人工智能的研究分别沿着三形式系统中，

4、都必定存在不可判定命题。有了图灵个方向深入：机概念之后,它的一个等价命题是，任何定理证明机(1)机器思维方向；包括机器证明、机器博弈、器都至少会遗漏一个真的数学命题不能证，这就是机器学习启发程序及化学分析、医疗诊断、地质勘数学的算法不可穷尽性。这一性质被许多人用来作探等专家系统及知识工程的问世。(2)机器感知方为“在机器模拟人的智能方面必定存在着某种不能向；包括机器视觉、机器听觉等文字、图象识别、超越的逻辑极限”的论据。自动语言理解的理论、方法和技术以及感知机和人那么，哥德尔定理与人工智能的极限之间究竟工神经网络的研究。(3)机器行为方向；包括具有自有什么关系？哥德尔本人对此如

5、何评价的？人工智学习、自适应、自组织特性的智能控制系统、控制能是否存在它的逻辑极限？论动物和智能机器人的研究开发。半个世纪以来，人工智能在理论研究和实践过18程中，大致经历了三大研究纲领的变迁：1961年美国哲学家鲁卡斯在36卷《哲学》杂(1)符号主义学派主张思维的基本单元是符号，志上以极其激烈的言辞首先撰文《心、机器、哥德智能的核心是知识以及利用知识推理进行问题求尔》，试图用哥德尔定理直接证明“人心超过计算机”解，智能活动的基础是物理符号运算，人脑、电脑的结论：“依我看，哥德尔定理证明了机械论是错误同样都是物理符号系统，人的智能可以通过建立基的，因为，无论我们造出多么复杂的机

6、器，只要它于符号逻辑的智能理论体系来模拟；(2)联结主义学是机器，就将对应于一个形式系统，就能找到一个派断言智能活动的基本单元是神经细胞，智能活动在该系统内不可证的公式而使之受到哥德尔构造不过程是神经网络状态的演化过程，智能活动的基础可判定命题的程序的打击，机器不能把这个公式作是神经细胞之间的突触联结机制，智能系统的工作为定理推导出来，但是人心却能看出它是真的。因模式是神经网络模式，智能系统理论是基于非线性此这台机器不是心的一个恰当模型。这就是著名的动力学的系统论；(3)行为主义学派坚信智能行为是鲁卡斯论证。随后，另一位美国哲学家怀特利在接以“感知-行动”的反应模式为基础，智能

7、水平可以下来的37卷《哲学》杂志上发表了强有力的批驳文而且需要在真实世界的复杂境域中进行学习训练，章《心、机器、哥德尔——回应鲁卡斯》，遂引起许在与周围环境的信息交互作用与适应过程中不断进多人卷入并长达几十年的争论。1979年获得普利策化和体现。文学大奖的美国畅销书《哥德尔、艾舍、巴赫，一尽管1965年人工智能的领袖人物西蒙就曾预条永恒的金带》将艾舍尔义蕴深刻的版画、巴赫脍言，“20年内，机器将能做人所能做的一切。”1977炙人口的乐章与哥德尔定理戏剧性地连接在一起，年明斯基也曾预言，“在一