雁栖湖会议研讨:计算机能代替程序员吗?

640?wx_fmt=jpeg

来源:科学网


写不完的代码,熬不完的夜,进度总是赶不上变化。程序开发是一项既费时费力,又容易出错的工作。但当前持续涌现的软件工程大数据以及快速发展的人工智能技术,正使得软件自动化成为可能。通过程序合成、代码补全、程序变换、代码推荐、程序修复、自适应演化等手段,软件自动化可以将软件开发者从繁重的编码工作中“解放”出来。


“让计算机完全代替人开发程序,理论上是不可能的。” 在近日举办的雁栖湖会议上,中国科学院院士林惠民说。他表示,虽然从任意的规范说明中自动生成程序的问题是不可判定的,但可以通过让计算机与人交互的方式来生成程序,也可以在某些特定领域自动生成程序,让计算机代替人完成软件开发过程中不需要创造性的工作。


第三次工业革命通常被认为是由计算、通信和软件驱动,正在给人类生活和工作方式带来巨大的变化。软件工程大数据带来了新机遇,但程序自动化依然面临着挑战。


林惠民说:“深度学习依赖于能够涵盖几乎所有可能的应用场景的大型训练数据集。从代码中学习比从数据中学习要困难得多。数据的含义是不言而喻的,而程序的含义则极其复杂;为了提高效率,有些代码非常晦涩难懂;在程序的语法和语义之间存在着巨大的鸿沟。”


软件自动化不仅能降低程序编写的难度,还可以为软件持续演化来提高质量提供有效的支持。软件技术从根本上改变了商业模式以及人类社会,但与此同时如何应对系统和软件质量方面的巨大挑战成为一个新问题,特别是安全性、适应性、互操作性等质量属性及其相互之间的冲突和影响,在这个方面软件开发大数据分析大有可为。


南加州大学计算机科学教授,美国工程院院士Barry W. Boehm以其团队的研究和实践经历,介绍了他们在基于大数据分析的软件自动化及开发过程中改进的一些工作。他说到,通过大规模程序分析和大数据分析可以持续监控软件开发中的漏洞和技术债务。此外,通过将基于领域模型的代码生成等软件自动化技术与敏捷开发过程相结合,还可以进一步提升已有软件开发效率和质量。


面对计算技术、机器学习和能够用于训练算法的大数据的发展,人工智能正在变得可行。“在人工智能这条路上,我们仍然还有很长的路要走。但是在很多应用上人工智能都表现得比人类更加优秀, 尤其是在分析大数据并进行预测的工作上,这将导致许多工作包括编写程序可以被自动化流程以及机器所取代。”南安普顿大学计算机科学教授、英国皇家学会院士Dame Wendy Hall表示。


即便如此,Dame Wendy Hall也强调了在软件自动化领域,AI的发展可能会给社会带来的潜在威胁,以及需要解决的道德、责任和多样性问题。她以《爱丽丝梦游仙境》为比方,“正如爱丽丝在透过镜子时发现的,一些事情并非总是它最初的样子!快速发展的AI时代,各类独立开发的程序,导致互联网内的某些系统彼此不兼容,未来必将面临混乱和困惑的风险。”


林惠民对此表示认同,在他看来,软件自动化需要将人类程序员的创造性思维和能力与机器的自动化处理能力有机结合。机器无法取代人类,真正需要创造力的工作还需回归人类本身。思辨性与创造力,始终是人类的核心竞争力。



未来智能实验室是人工智能学家与科学院相关机构联合成立的人工智能,互联网和脑科学交叉研究机构。


未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)云脑研究计划,构建互联网(城市)云脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

640?wx_fmt=jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/493923.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

在 Mac OS X Lion 下修改 Hosts 的四种方法

一名刚刚使用 Mac OS X Lion 系统的朋友问我怎么该系统下修改 Hosts 文件,说网上搜了很多办法都不管用,只要编辑 Hosts 文件就出现”你不是文件 hosts 的所有者,因此没有权限写到该文件”的提示,要解决这个权限问题又比较麻烦&…

CCAI2018演讲实录 | 蒲慕明:脑科学与类脑机器学习

来源:人工智能前沿讲习班摘要:7月28-29日,由中国人工智能学会和深圳市罗湖区人民政府共同主办,马上科普承办的“2018 中国人工智能大会(CCAI 2018)”完美收官。大会第二天下午,中科院神经科学所…

Django搭建简易博客

Django简易博客,主要实现了以下功能 连接数据库 创建超级用户与后台管理 利用django-admin-bootstrap美化界面 template,view与动态URL 多说评论功能 Markdown与代码高亮 归档,AboutME和标签分类 搜索与ReadMore RSS与分页 需要添加的安装包 pip i…

HDU 4619 Warm up 2 (多校)

题意:在网格里面给定了 横,竖 两种多米诺骨牌,同向的不可以覆盖,不同向的可以覆盖,问你最多去掉多少个有覆盖的多米诺,使得网格内剩余的多米诺骨牌最多 解题思路: 一.搜索 (1&…

工业智联网: 基本概念、关键技术与核心应用

来源:王飞跃科学网博客作者:王飞跃, 张军, 张俊, 王晓摘要:本文首先阐述了工业网联技术的演化过程,重点讨论了工业智联网产生的技术和时代背景.然后探讨了工业智联网的基本概念、内涵与应用领域。本文详细介绍了工业智联网的关键技…

KMP算法学习

kmp算法完成的任务是:给定两个字符串O和f,长度分别为n和m,判断f是否在O中出现,如果出现则返回出现的位置。常规方法是遍历a的每一个位置,然后从该位置开始和b进行匹配,但是这种方法的复杂度是O(nm)。kmp算法…

生命或可在星际间传播

来源:中国科学报去年,当一颗美式足球场大小的雪茄形天体Oumuamua进入太阳系时,它并非仅仅让人们第一次看到了一块星际岩石。根据一项新的研究,这也支持了太空岩石通过在遥远的恒星系统之间运送微生物,从而在星际间传播…

操作系统(二): 进程与线程

操作系统(二): 进程与线程 本章解读 进程管理是操作系统重点中的重点,涵盖了操作系统中大部分的知识和考点。其主要包括四部分:进程与线程,处理器调度,同步与互斥,死锁。所以我准备分四个部分来解释这四个模块。进程与…

Nature最新研究:超9000学者每5天发1篇论文,这些高产作家背后的科研圈

来源:悟空智能科技发论文发论文发论文……你有没有想过,假如你能够一周发一篇论文,这样坚持10年甚至20年,你能成为全球最高产的学者吗?答案可能吓你一跳:不能。不但不能,你甚至连全球前10000名都…

Android之WebView学习

WebView常用方法 WebSettings 在使用WebView前我们都要进行相关的配置,常见的操作如下: WebSettings settings mWebView.getSettings();settings.setJavaScriptEnabled(true); //支持javascriptsettings.setUseWideViewPort(true); //设置webv…

跌宕中,特斯拉拿下上海工厂,给蔚来们留下不到两年窗口期

来源:网易智能昨日,特斯拉上海工厂尘埃落定。特斯拉与上海规划与国土资源管理局签订协议,以9.73亿人民币拿下上海临港约1297.32亩地建造汽车工厂。据悉,这是特斯拉在美国之外设立的首个超级工厂。根据特斯拉的规划,上海…

2019科学突破奖揭晓 庄小威陈志坚许晨阳上榜

来源:科学网10月17日,科学突破奖(Breakthrough Prize)名单揭晓。总计2200万美元的奖金分别给了婴儿死亡主要遗传因素治疗、超分辨率成像、发现一种新型电子材料以及其他重大突破。华裔科学家庄小威、陈志坚、C. Frank Bennett 、A…

Android之IPC机制

Android IPC简介 任何一个操作系统都需要有相应的IPC机制,Linux上可以通过命名通道、共享内存、信号量等来进行进程间通信。Android系统不仅可以使用了Binder机制来实现IPC,还可以使用Socket实现任意两个终端之间的通信。 IPC基础概念介绍 (1)Seriali…

HTML5与原生APP之争胜负已出?

早在HTML5技术问世之时,有关网络应用与原生应用谁将成为移动终端霸主的问题,就曾引起过广泛的争论。时至今日,不仅关于二者孰强孰弱的争论已然平息,就连备受关注的移动互联网创业公司也大多是做原生APP的,未曾见过HTML…

5G 产业链:基站天线和小基站爆发潜力大

来源:国信证券5G宏基站数的翻倍增长及技术演进带来基站天线成倍增长空间。5G关键性能指标十倍的增长需要基站数翻倍增长以支撑。5G的三个关键的效率需求包括频谱利用效率、能耗效率和成本效率。具体来说,5G在频谱效率、能源效率和成本效率的提升需求在十…

操作系统之死锁

死锁的概念以及产生死锁的原因 一组进程中,每个进程都无限等待被该组进程中另一进程所占有的资源,因而永远无法得到的资源,这种现象称为进程死锁,这一组进程就称为死锁进程,如果死锁发生,会浪费大量系统资源&#xff…

2018全球最佳品牌Top25:时代巨变的一个缩影

来源:资本实验室10月15日,希尔斯控股正式向美国破产法院申请破产保护。这一消息传出,即引发了全球关注。作为19世纪八十年代末以邮购业务起家的零售商,希尔斯百货已经历一百多年的世事变化与市场风云,毫无疑问是美国零…

香港2013迷你制汇节即将启幕

“制汇节是一个世界的盛事。在亚洲,有深圳迷你制汇节和台湾迷你制汇节。在美国,2013年港湾地区制汇节刚刚在5月圆满举办。来自世界各地的maker展示了他们伟大的作品并分享了他们的智慧。我们相信香港也有很多maker,第二届香港迷你制汇节正在开…

重磅!Gartner公布2019年十大战略科技发展趋势

来源:网络大数据摘要:10月14日至18日,分析师在Gartner Symposium/ITxpo 2018大会探讨了在2019年企业与组织需要探索的十大战略技术趋势(Gartner Top 10 Strategic Technology Trends 2019)。Gartner将战略性技术趋势定义为具有巨大破坏性潜力…

sixxpack破解的文章!【转】

星期天闲着没事玩游戏,玩游戏不能无外挂。于是百度了半天,找到了一个,看介绍貌似不错,就下载了下来。一看,竟然是用.net写的,下意识地Reflector了一下。发现竟是一个叫actmp的程序集。如图: 随…