文件名称:
吴文俊：不朽的数学人生，照耀人工智能发展之路.md
开发工具:
文件大小: 14kb
下载次数: 0
上传时间: 2019-09-21
详细说明： 2019.09.17 中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生，了解成就：吴类（拓扑学示性类及示嵌类）和吴公式，古代数学的算法和可计算性分析，开创崭新的**数学机械化**领域，提出 **用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。 哥德尔的不完备性定理昭示了数学真理的探索永无止境，没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不包含初等数论，所以是完备的。吴文俊先生为了弘扬中国数学构造性算法化的传统，将数学（特别是代数几何）与计算机科学相结合，开创了机器几何定理证明的方向，只手擎天地推动了**数 学机械化**的发展。列举的两个应用例子，可以大略知晓基于吴方法的自动几何定理定理证明大致步骤，机器人路径规划一类的逆向运动学问题（inverse kinematics）所需要求解的多项式方程组可以使用吴方法。吴方法属于人工智能的符号主义流派。吴方法为人工智能的**符号计算**提供了**坚实的理论基础和高效的算法**，特别是**算法的每一步骤都可以被人类透彻理解**，它**代表了智能中严密清晰的逻辑思维层面**，和**连接主义中概率模糊的感性直觉层面互补**。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
