人工智能新编程语言-Gen

时间 2019-11-06

标签人工智能编程语言 gen 繁體版

原文原文链接

MIT 的一个研究小组正努力让初学者更容易入门人工智能，同时也帮助专家进一步推动这个领域的发展。git

在 PLDI 大会（Programming Language Design and Implementation conference）上发表的一篇论文中，研究人员介绍了一种名为“Gen”的新型几率编程系统。用户无需处理公式或者手写高性能的代码便可编写多个 AI 应用领域的模型和算法，例如计算机视觉、机器人学以及统计学。Gen 还可让专业研究人员编写先前不可行的复杂模型和用于预测任务的算法。程序员

例如，在他们的论文中，研究人员展现了一个简短的 Gen 程序能够预测 3-D 身体姿式，这个高难度的计算机视觉预测任务在自治系统、人机交互和加强现实中均有应用。这个程序包括执行图形渲染、深度学习和不一样类型的几率模拟组件。与其余早期系统相比，这些不一样技术的结合提升了这个预测任务的准确性和速度。github

因为其简单性以及在某些状况下的自动化，研究人员表示，Gen 能够被任何人轻松使用，包括新手和专家。“这项工做的一个目的是让缺少计算机科学或数学知识的人更容易入门自动化人工智能，”论文第一做者、电气工程和计算机科学博士 Marco Cusumano-Towner 说，“咱们还但愿提升生产力，可以让专家更轻松地快速迭代以及制做 AI 系统原型。”算法

研究人员还展现了 Gen 经过使用另外一个 Gen 程序简化数据分析的能力。该程序能够自动生成专家一般用于分析、解释和预测数据模式的复杂统计模型。这是创建在以前的工做基础之上的。以前的工做是让用户编写几行代码来得到金融趋势、航空旅行、投票模式和疾病传播等方面的灵感。与早期系统不一样，早期系统须要大量的手动编码才能进行准确的预测。编程

“Gen 是第一个灵活、自动化、足够高效且可以涵盖计算机视觉和数据科学中不一样用例的系统，而且性能足够好，”Vikash K. Mansinghka 表示。他是一个来自大脑和认知科学系的研究员，负责几率计算项目。机器学习

和 Cusumano-Towner、Mansinghka 一块儿合做论文的有 Feras Saad 和 Alexander K. Lew，他们都是 CSAIL 的研究生以及几率计算项目的成员。编程语言

全世界最佳

2015 年，Google 发布了 TensorFlow，这是一个开源的 API 库，可让初学者和专家无需进行太多数学计算便可自动生成机器学习系统。如今已经获得了普遍使用，该平台正在帮助人工智能的某些方面民主化。可是，虽然 TensorFlow 足够自动化和高效，但它只是侧重于深度学习模型，与更普遍的 AI 相比，这些模型既昂贵又有限制。oop

如今有不少其余 AI 技术可用，例如统计和几率模型以及模拟引擎。一些其余的几率编程系统可以灵活涵盖几种 AI 技术，但它们运行效率低下。性能

研究人员力求将全部最优的特性 —— 自动化、灵活性和速度 —— 结合在一块儿。 “咱们这么作也许可使更普遍的建模和预测算法民主化，就像 TensorFlow 对深度学习起的做用，”Mansinghka 说。学习

在几率 AI 中，预测算法对数据执行操做，并基于新数据连续地微调几率以进行预测。最终会生成一个描述如何预测新数据的模型。

创建在早期几率编程系统 Church 中使用的概念基础之上，研究人员将几种自定义建模语言融入 Julia，这也是 MIT 开发的一种通用编程语言。每种建模语言都针对不一样类型的 AI 建模方法进行了优化，使其更加通用。 Gen 还使用各类方法（如优化、变分推断、某些几率方法和深度学习等）为预测任务提供高层基础设施。最重要的是，研究人员进行了一些调整，使其实现运行更加高效。

走出实验室

外部用户已经在寻找利用 Gen 进行 AI 研究的方法。好比英特尔正在与 MIT 合做，把 Gen 用于机器人和加强现实系统中使用的深度感知相机的 3D 姿式预测。MIT 林肯实验室也在就把 Gen 用于人道主义救援和灾难响应的空中机器人而开展合做。

在 MIT Quest for Intelligence 中，Gen 开始被用于雄心勃勃的 AI 项目。例如，Gen 是 MIT-IBM Watson AI Lab 项目以及美国国防部的国防高级研究计划署正在进行的机器常识项目的核心。该项目旨在模拟 18 个月大的孩子的常识。Mansinghka 是该项目的主要研究人员之一。

“在 Gen 的帮助下，这是第一次研究人员能够轻松整合一些不一样的 AI 技术。看到人们如今发现的可能性将会颇有趣，”Mansinghka 说。

Uber 首席科学家兼人工智能副总裁以及剑桥大学教授 Zoubin Ghahramani 表示，“自从深度学习出现以来，几率编程是人工智能前沿最有前途的领域之一。 Gen 表明了这个领域的重大进步，有助于基于几率推理的 AI 系统的大规模实际应用。”他并未参与 Gen 的研究。

谷歌的研究主管 Peter Norvig 也没有参与这项研究，他一样也赞赏了这项工做。 “[Gen] 让问题解决者使用几率编程，所以能够采用更原则的方法解决问题，但不受几率编程系统设计者的选择限制，”他说。 “通用编程语言之因此成功，是由于它们使程序员更容易完成任务，同时也使程序员可以创造一些全新的东西来有效地解决新问题。Gen 对几率编程也是如此。”

Gen 的源代码是公开的，将在即将举行的开源开发者大会上展现，包括 Strange Loop 和 JuliaCon。这项工做部分获得了 DARPA 的支持。

原文连接：
http://news.mit.edu/2019/ai-programming-gen-0626