订阅“网络智酷”，收获更多精彩小霍我先说两句科学界向人工智能一点点逼近，哲学界对人工智能的反思越发的令人心惊；不过说实话小霍倒没什么担心的——无论将来是好是坏，是暖暖的大白还是可怕的终结者，对小霍而言都很难在有生之年看到了.....（主要是小霍懒得想——伤脑筋呀）不过在智酷就这点好，哪个领域的大牛都有，想听什么都能遇到，小霍还瞎想个什么劲呀，来听听大牛怎么说的吧张江：今天我想跟大家分享的，起因就是因为有这本书，所以我们还是从这本书谈起。这本书的第一章，翻开了人工智能发展的简史。我们看到人工智能整个发展的历史，基本上可以分成这五个阶段。主要就是所谓的前AI阶段，在AI诞生之前，实际上最早的讨论，这套东西，智能的模拟，是从很早的时候一些大的数学家，包括图灵，哥德尔等。后来达特矛斯会议正式提出，AI诞生。哥德尔数学家、逻辑学家和哲学家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明后来到年左右，人工智能我认为出现了一个大的分裂期，开始早期的时候人们和乐观，觉得马上好像这个智能就能做出来，但是后来发现遇到很多挫折，所以人们开始觉得追求一个宏大的人工智能的目标非常不现实，于是分裂成很多的子学科，包括现在提到人工智能的时候，其实不是一个东西，其实是一大堆学科群，模式识别，自然语言处理，自动推理等等。不过在里面，我觉得有两个可以提的东西，比较有意思。一方面，它在分裂，另一方面有些人尝试做一些统计的思路，包括概率图模型，是完整的从学习到推理整个人工智能整体的一套东西。另外还有一个东西，我觉得一般的人是不知道的，不了解的。↑贝叶斯公式——概率计算的基础但是，有一个遗憾的地方，这本书的作者写这章的时候，写的不够通俗，所以可能不太容易看懂，这是一个新的一套东西。他也是尝试用延续图灵，最早的图灵，从计算数学这个角度，做一套统一的人工智能模型，这是提出一个数学概念。沿着这个数学概念，通过引入所谓的算法复杂性和图灵归纳等等这些东西，做了一系列数学证明，有很多定理，我觉得这块东西其实蛮有意思，因为它是沿袭了图灵的老路，而不是纯走工程的路径。总结来看，我认为现在的人工智能更多偏向工程技术，它早期其实起源于一个纯粹的数学的理论的思辨。所以，从这个角度来说，我介绍这个的时候，或是选择最原始的视角，在图灵的角度，在计算理论的角度，它实际上是人工智能的思想根源，所以我后面的内容，基本是这套东西。所以，下面我进入下一部分的内容，就是关于图灵机与计算理论。这块简单的介绍，后面重点想谈一些自己的认识。最早实际上起源于一个数学问题，希尔伯特第十问题，就是判断丢番图方程的可解性，给定一个系数均为有理整数，包含任意个未知数的丢番图方程：设计一个过程，通过有限次的计算，能够判定该方程在有理数整数上是否可解。小贴士丢番图方程「坟中安葬着丢番图，多么令人惊讶，它忠实地记录了所经历的道路。上帝给予的童年占六分之一，又过十二分之一，两颊长胡，再过七分之一，点燃起结婚的蜡烛。五年之后天赐贵子，可怜迟到的宁馨儿，享年仅及其父之半，便进入冰冷的墓。悲伤只有用数论的研究去弥补，又过四年，他也走完了人生的旅途。」为了回答这个问题，兵分N路，各显神通，很多方法，包括哥德尔的形式系统，StephenKleene的递归函数论。基本上我们很难从直观角度看到这些形式系统跟计算机有什么关系，这些东西提的比较早，但是很快被人们遗忘了。直到年左右，图灵这个人提出图灵机模型，就发现特别形象，真的有点计算的味道，所以这个模型受到大家的
在北京线咨询治疗白癜风医院北京治疗白癜风皮肤病医院
转载请注明：http://www.nydjfy.com/bcxx/3862.html
