计算机技术论坛

 找回密码
 立即注册

QQ登录

只需一步,快速开始

  • 欢迎访问 计算机技术论坛-电脑迷与初学者的家园!由于论坛管理严格,新注册会员可能遇到各种问题,无法解决的请发邮件 admin@jsjbbs.cn
查看: 1233|回复: 0

用数学和逻辑学构建人工智能基础

[复制链接]
发表于 2021-4-11 02:26:28 | 显示全部楼层 |阅读模式
#111723#12 月 10 日 - 11 日,由浙江省委人材办、绍兴市委市当局、《麻省理工科技批评》主理的寰球青年科技首领峰会暨《麻省理工科技批评》中国 “35 岁以下科技翻新 35 人” 颁奖仪式在绍兴上虞举办。“35 岁以下科技翻新 35 人” 2020 年中国榜单正式宣布。
在现场,北京航空航天大学主动化学院秦曾昌教学通过主题报告,分享了在人工智能(AI)与盘算思惟的范畴的一些摸索和思考。
秦曾昌表现,人类的认知能够被近似当作是一种体系的信息处置进程,这个研讨思绪基础奠基了明天人工智能研讨的基本。

用数学和逻辑学构建人工智能基本
假如说物理学是通过数学方程式来说明天然法令的迷信,那末人工智能就是应用算法来说明人类思惟法令的迷信。
秦曾昌指出,人类的认知能够近似被当作是一种信息处置体系,把人类信息处置的进程描写为可被盘算的数学关联,这是古代人工智能技巧的基本。
布尔代数是最早通过数学研讨人类思惟法则的实验,固然在早期由于缺少物理配景致使停顿迟缓,但跟着研讨的深刻,布尔代数在数学、逻辑演算、聚集论等范畴都失掉了普遍利用。
1937 年,图灵(盘算机之父)在战斗时代通过对于德军暗码破译的研讨,开端深刻地斟酌怎样通过无限的步调来证实一个命题的真伪。从而构建了 “图灵机” 的思维模子,成为咱们明天盘算机的实践基本。
厥后因为半导体工业的开展,之前被用于盘算电路的继电器匆匆用晶体管所替换。通过应用 0 和 1 的逻辑运算来实现算数运算,成为现今盘算机开展的中心技巧。

盘算思惟是人类处理成绩的一种方法
值得留神的是,固然现在盘算机的运算才能曾经充足强盛,盘算思惟、编程思惟也被教导界反复提起,然而盘算思惟并不等价于编程,它有更丰盛的外延和外延。
“咱们以为盘算思惟是人们用呆板处理事实成绩的思绪和方式,而编程更像是处理这类成绩的一种东西。你能够用笔手写也能够用电脑打字,然而会打字或写字并不能阐明你是个有着丰盛外延作家,然而假如你是个作家,你必定必需会写字。” 秦曾昌说。
盘算思惟是人类通过盘算处理成绩的一种方法。特别在面临庞杂运算成绩的时间,盘算思惟能极大晋升处理成绩的效力。同时,盘算思惟中的方式和模子拓展了人类的思惟,能够猜测将来的更多可能。
盘算思惟重要包括但并不范围于以下四个大部份:
剖析:把一个庞杂的成绩或体系剖析成更小、更轻易处置的模块。
形式辨认:寻觅成绩之间和或数据背地潜伏的法则。
形象:事实成绩的形象化、数学化,疏忽不相干的繁文缛节。
算法:为成绩制订一个基于盘算的处理计划,或处理成绩所遵守的规矩。
秦曾昌表现,“盘算思惟的进程,就是一个化繁为简的进程。咱们盼望把庞杂的成绩剖析成简略的小成绩,每个小成绩独自用一个模块化的处理措施独自击破,这是盘算思惟方法处理庞杂成绩的重要方式之一。”
与人类思惟比拟,盘算思惟更看得见摸得着。秦曾昌表现,用盘算思惟来处理成绩的方法须要咱们懂得编程,在某些成绩的处置方面,盘算思惟也具有优于人类思惟的才能:
递归和轮回:以伦敦地铁线路图为例,拔取舆图上恣意两个所在,从 A 点到 B 点有几多门路,哪一条最省时光,哪一条换乘起码,这类成绩特殊合适用呆板来处理,通过盘算才能调换最好门路。

偏差修改(Error Correction):盘算思惟是从防备、维护、停止和毛病改正等情况中停止思考的。这就请求编程进程中的谨严性。
“咱们在生涯或许其余方面处置成绩的时间总会碰到毛病,然而编程的时间是不容许有任何毛病的,任何一个标记都能够让成果失之毫厘、谬以千里。” 秦曾昌表现。

秦曾昌称,盘算思惟能够用来处理良多现实成绩,以视觉为例,这也是人工智能范畴的经典成绩。

人类的视觉现实上是有诈骗性的。某种水平下去讲,人看到的视觉偶然候还不如呆板。
“盘算思惟就是将全部的图片酿成像素和矩阵,每一张图都是高维空间里的点,咱们通过进修数学的函数以后把这些点离开,这个就是明天呆板进修或许人工智能主流的方式。”
人类处置成绩的时间,都市遭到视觉成见的影响,但呆板某种水平上会打消这类成见。从这个角度来看,呆板视觉的利用包含人脸辨认、掌纹、指纹辨认等,是能够超越人类对此类成绩处置的才能。
除此以外,盘算思惟还会在大数据、医疗、迷信等范畴施展感化,另有一些更庞杂的范畴能够用盘算思惟去描写。
“比方树上的叶子,每个都外形各别,固然没措施用一个公式去描写它们,然而在 ‘人工性命’的研讨范畴,你能够通过算法把系数做一些调剂,应用主动顺序而天生了良多差别外形的虚构叶子。”秦曾昌举例说道。
像性命迷信如许的范畴包括了良多生物的庞杂性,不是全部的货色都能用公式来界说。咱们研讨人工智能,就是让呆板通过模子和算法找到事物之间的接洽。“从这个角度来看,或许咱们的天下就是一个被算法描写的天下,乃至连宇宙的构成也是某些算法起到的感化。” 秦曾昌总结道。
lq

更多内容阅读推荐:壁挂炉压力不足怎么办
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

无图版|手机版|计算机技术论坛 JSJBBS.CN @ 2008-2024 ( 鲁ICP备17021708号 )

技术支持 : 北京康盛新创科技有限责任公司

快速回复 返回顶部 返回列表