• 刘祯
    2018-01-06
    感谢老师对形式逻辑详尽的解读,今天的核心就是对人类智能与人工智能的讨论,内容还是很烧脑。认知这个词在人类和机器领域有不同的作用,我对这句话印象深刻“认知的本质是计算”,其中有太多的解释与门道了,不可一概而论。

    看完了专栏数学基础的部分,有几点想法和老师交流下:

    1)专栏的定位是通俗易懂的人工智能基础课,这一方面老师做得很出色,每一块知识都十分详尽,可对于初学者还是有些难以理解,特别是每篇文章都是不同的数学知识,理解和学习起来有一定难度,是否可以在解释概念与术语时添加更多贴近生活的类比?

    2)每篇文章结构很完整,增加序号用来概括每一部分的内容会更好,三千字以上的文章在屏读时代可以尽量减少读者的阅读压力;

    3)每一部分的数学基础在最后其实可以增加更多趣味性材料或是补充资料可供学习,如果课后的思考问题结合数学知识的生活应用就更好了,这样留言与互动会更丰富,仅从专业问题回答上,我们可能真的不知道如何表达了。

    以上,仅供参考。感谢各位的付出。
    展开

    作者回复: 谢谢你的建议,你所提到的一些问题正是计划中下一步的改进方向。

    之前和专栏编辑聊天时还提到:对复杂的问题摆一大堆公式很容易,但深入浅出地解释思想就要难得多了。

    每篇文章我都尽可能地少用公式,也会举一些贴近生活的实例。但数学毕竟是高度抽象的学科,想要完全做成讲故事的形式难度非常高,而且如果例子举的不当还可能产生误解,所以更加通俗的讲法也还在摸索之中。我想这可能也是理工类学科难以登上《百家讲坛》这类节目的原因吧。

    每篇文章后面的问题其实都是开放的,大部分也是我自己思考的问题。问题的初衷是希望能从超技术的角度看待人工智能这个现象,或者人工智能解决问题的思路所带来的启发。在问题的设计上可能需要下更多功夫。

    序号的话,其实文末的要点就相当于四个序号了。对于文章内容而言,三千字有时并不算多,加序号就难免将文章切割的太过琐碎。

    最后感谢你的认真阅读,也希望和我分享更多的意见建议。

    
     13
  • eagle
    2018-06-16
    小学教材都已经改了,0也是自然数了

    作者回复: 看来我没能与时俱进……

    
     1
  • Geeker
    2019-12-12
    也就是说大学的离散数学是从哲学的逻辑学分支衍生出来的?人的底层逻辑很大程度可以用哲学来抽象?

    作者回复: 前半句没错,后半句涉及自由意志问题,就很难回答了。

    
    
  • 吴凌华
    2019-10-30
    关键不同命题要有关联性
    
    
  • 吴凌华
    2019-10-30
    任何问题本质都是数学问题

    作者回复: 对,但不一定都是形式逻辑的问题,很多真实的复杂问题都是概率性的,不好用形式化描述

    
    
  • (^O^☆♪靈夢
    2018-12-11
    我最近读了一本《计算机程序的构造与解释》,里面使用的lisp方言据说就是有符号逻辑的思想蕴含在里面。按照作者的意思,构建一个lisp知识库可以通过eval+apply的方法,是否和这一章有不谋而合之处呢?
    
    
  • caocao
    2018-04-02
    在 周志华 老师的《机器学习》中 陆教授的序中谈到 有不少声音 趋向于 形式逻辑 和 符号 结合起来,因为人的 知识或者认知 可以用符号更好的表示,机器学习 又要以 形式逻辑 为基础,所以结合二者的优势,会更理想,可能多了一次从符号 到形式的 翻译过程。

    老师 在 对于二者的结合有没有更好的想法,期待老师的分享

    作者回复: 这是趋势,但具体怎么实现,是个非常复杂的问题。

    
    
  • wolfog
    2018-01-16
    小白一枚,没有使用场景或者当前的人工智能在什么地方用到这些东西,总感觉这些概念或者知识点距自己好遥远。看了三遍甚至也做了笔记可以还是一片混沌。天一老师能否加上使用场景或者案例,这样可能理解起来更容易。

    作者回复: 像线性代数和概率论这些基础数学在人工智能中实际上是无处不在的,数理逻辑目前基本不使用了。在后面介绍具体的机器学习算法时,会尽可能结合实际的问题来介绍。但由于专栏定位是基础课,主要内容还是落在算法的原理上。而真正来自生活的实际案例通常会综合使用多种复杂的方法,要完全说透也不是很容易。

    
    
  • 秦龙君
    2017-12-29
    学习了。
    
    
  • qiang.li
    2017-12-23
    形式逻辑的处理应该会成为未来依赖小数据学习的人工智能的核心技术呢,数据达到一定规模就会出现奇怪问题吧!这篇文章确实写得好!

    作者回复: 数据未必会出问题,但人类使用的可不是基于超大规模数据的监督学习这种效率低下的学习方式,而是利用从特殊到一半的推理过程

    
    
我们在线,来聊聊吧