首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

清华大学李涓子:AI系统如何实现认知推理

人工智能系统如何实现知识的表示和推理?...在2021年世界人工智能大会上,由AI TIME组织的“图神经网络与认知智能前沿技术论坛”中,清华大学计算机系教授李涓子围绕“知识图谱与认知推理”做了主题报告,从问答系统的角度解释了AI如何实现认知推理...图 2:认知推理框架 以下是报告全文,AI科技评论做了不改变原意的整理。 1 认知 VS 知识 图 3:本体 认知是人获取并应用知识的过程,知识图谱是人表示客观世界认知的一种形式。...诺贝尔经济学奖获得者丹尼尔卡尼曼提出,在人的认知系统中存在系统 1 和系统 2,其中系统 2 进行较慢的逻辑化、序列化的推理。...3 可解释的认知推理 图 13:问答系统 我们团队从图灵测试出发,尝试在问答任务中探索可解释的认知推理技术。

1.1K40

检修盒面板AI视觉检测系统,赋能工业发展!

制造业是中国工业化的源头,也是工业生产大国。任何一步的质量都可能影响生产过程的变化。表面缺陷不仅影响产品的美观和舒适性,还会对其性能产生不良影响。因此,制造商对产品的表面缺陷检测非常重视。...对于一些重要的按钮,尤其是停机和上下键安装错误,很容易导致严重事故,因此迫切需要使用人工智能检测手段,引入机器视觉检测,配合AI智能化算法,有效控制产品质量,从而消除或减少缺陷产品的产生,提高生产效率。...图片一、系统架构AI视觉检测系统主要通过光源和图像传感器(工业相机)获取产品的表面图像,利用图像处理算法提取图像的特征信息,然后根据特征信息对表面缺陷的定位、识别、分类等判定与统计,通过图像采集、图像校正...二、系统功能图像采集:500万像素8帧/秒定焦定高工业相机,由算法自动处理,面板高度不同带来的对焦可调整;图像预处理:预处理算法消除每个面板的长、宽、高均不相同,模板制作的好坏、视差的高低所带来的影响。...可扩展性:该系统可不仅仅局限于检修盒面板的检测,所有可以用模板匹配方法解决的问题,都可以无缝采用该软件系统。三、系统软件检验窗口:支持查看待检设备及模板图像、检验结果等,设置系统初始化配置。

1.3K40
您找到你想要的搜索结果了吗?
是的
没有找到

推理加速GPT-3超越英伟达方案50%!最新大模型推理系统Energon-AI开源,来自Colossal-AI团队

因此,多卡并行被视为AI大模型推理的必然选择。 但现有的推理系统仍旧存在不少弊端。 比如需要用户对通信、内存等各部分协作进行手动管理,需要额外编译等……导致用户使用门槛居高不下。...为此,大规模并行AI训练系统Colossal-AI团队提出了大模型推理系统Energon-AI。...而当前的深度学习推理系统,主要面向多实例单设备以及单实例单设备的简单推理场景,忽视了AI大模型推理所需要的单实例多设备的挑战与机遇,Energon-AI系统正是为了解决这一痛点而生。...△模型参数的迅速增长[https://arxiv.org/abs/2111.14247] Energon-AI系统设计 面向AI大模型部署,Colossal-AI团队设计了单实例多设备推理系统Energon-AI...△Energon-AI超大模型推理系统示意图 Energon-AI系统设计分为三个层次,即运行时系统(Runtime)、分布式推理实例(Engine)以及前端服务系统(Serving): Runtime

92810

推理加速GPT-3超越英伟达方案50%!最新大模型推理系统Energon-AI开源,来自Colossal-AI团队

因此,多卡并行被视为AI大模型推理的必然选择。 但现有的推理系统仍旧存在不少弊端。 比如需要用户对通信、内存等各部分协作进行手动管理,需要额外编译等……导致用户使用门槛居高不下。...为此,大规模并行AI训练系统Colossal-AI团队提出了大模型推理系统Energon-AI。...而当前的深度学习推理系统,主要面向多实例单设备以及单实例单设备的简单推理场景,忽视了AI大模型推理所需要的单实例多设备的挑战与机遇,Energon-AI系统正是为了解决这一痛点而生。...△模型参数的迅速增长[https://arxiv.org/abs/2111.14247] Energon-AI系统设计 面向AI大模型部署,Colossal-AI团队设计了单实例多设备推理系统Energon-AI...△Energon-AI超大模型推理系统示意图 Energon-AI系统设计分为三个层次,即运行时系统(Runtime)、分布式推理实例(Engine)以及前端服务系统(Serving): Runtime

1.4K20

【NVIDIA GTC2022】在自动光学检测(AOI)领域中推广Jetson Xavier 方案到底解决哪些痛点?

那么让我们来看看人工智能的实施阶段,如果我们不知道人工智能采用的流程,我们将永远不知道问题出在哪里。...第五个话题,我要和大家分享的是带有AI推理引擎的AOI的硬件系统。...如左图所示,在POE阶段通常使用一个带RTX GPU卡的工业电脑把控制系统推理系统放一起,因为非常简单,但是对于生产线中,AI推理与控制系统分开是非常重要的,因为你除了GPU卡外,还会要添加POE卡、...但是,你看到右边的图,我们可以使用Jetson Xavier系统作为推理引擎,与机器控制系统分离。...其次是灵活性,有时单个 RTX GPU 的性能无法达到客户的要求,但多 GPU 服务器解决方案的成本仍然很高,通过将多个带有以太网的 Jetson AGX Xavier 连接到 AI 机器,系统可以灵活性地扩展推理性能

2.3K20

加速AI边云协同创新!KubeEdge社区建立Sedna子项目

数据在哪里,计算就应该在哪里,人工智能也正逐步向边缘迁移,将云上AI能力下沉到边缘节点,做到本地处理,打通AI的最后一公里。...比如园区里面随处可见的智能摄像头,进行人脸识别,车牌识别;家里面的智能电视,智能音响;工业领域里面的无人机进行电力线路智能巡检等等,边缘AI正在极大的提高了我们的生产生活效率。...联合推理: 针对边缘资源需求大,或边侧资源受限条件下,基于边云协同的能力,将推理任务卸载到云端,提升系统整体的推理性能。...2)LocalController:实现增量训练、联邦学习、联合推理特性的本地闭环管理。数据集和模型管理的本地控制,AI任务的状态同步等。...3)Lib:给应用提供边云协同AI特性接口,用户基于该Lib实现边云协同的训练、聚合、评估和推理

1.5K30

大会 | AITech 次日,脑科学、智能外科、多模态智能等多个话题引热议

跨模态感知推理表达 作为首位上台演讲的嘉宾,京东 AI 平台与研究部 AI 研究院常务副院长何晓冬博士带来了主题为《多模态智能:语言和视觉的感知、推理及表达》的演讲。...为了模拟推理,他们做了一个基于多重关注神经网络的系统,主要涵盖四个模型,语言模型、图像模型、多重关注模型、答案预测模型,他也进一步讲解了这些模型具体的功能以及整体推理过程。...聚焦 AI 安全热点,促进产业健康发展 聚焦 AI 安全热点,促进产业健康发展 第二位演讲嘉宾是国家工业信息安全发展研究中心副主任李新社,他主要谈到我国人工智能发展态势以及 AI 安全方面的问题...他表示,基于以上种种谈到的技术,我们探讨 AI 落地时,未来企业的发展应该是以机器智能为核心。而他也描绘了人工智能落地的过程——目标在哪里?数据在哪里?问题边界在哪里?特征在哪里?...她接下来提到三层因果关系,即 Counterfactuals,Intervention,Association,之后,她说明了因果模型能解决目前 AI 系统的局限性,最后,她详细描述了来自因果推理的七个启发

99160

漆远:小数据学习和模型压缩存挑战,场景成为 AI 技术发展关键

“于是我们就在CTR预估上采用了这个系统。因为这个系统只要能提升1‰,就有很多收益;提升1% 的收益就更多。...它带来了图像识别、语音识别、NLP 等领域的长足进步,但是它的落地点在哪里?这就要问你的核心价值在哪里。一开始我们就很具体,就做客服。...PPT上显示的是三个简单的真实APP展示,展示了机器人本身是怎么来回答问题的;第二,在你没有问问题之前,不靠语音信号或者NLP输入信息,而是通过用户的行为轨迹自动判断当前可能的问题在哪里系统会根据用户的行为轨迹做出时间训练模型进行分析...基于加强学习的对话系统 “其实在对话系统没有很多数据的情况下,一开始你很难做加强学习,有可能你就只能做一个规则技术。...推理和知识图谱 很多问题需要你做推理,如果A发生了,到B,B发生,回到C,你怎样把推理过程做好?今天,大家做了很多深度学习,比如说一个文本里面,A会导致B的发生,你把这个相关的答案找到。

3K30

AIRankings世界高校AI排行榜出炉

AI世界排名:北清综合前三 AIRankings排名综合过去十年的研究,以及通用人工智能、计算机视觉、机器人、机器学习、自然语言处理、认知推理、多智能体系统与模拟这八个方向的表现。...其中,共列出人工智能最主要的六个领域:计算机视觉,自然语言处理,机器学习,认知推理,机器人以及多智能体系统,再加上通用人工智能和模拟两个领域,一共八个方向。...这个量又受两个因素影响: 第一是该文章发表在了哪里,反映在上式的权重系数Pi上。 第二是看文章有几位合著者(除去学生),比方说有K个合著者,那么每名合著者就会得到K^{-1}分。...中国科学院和哈尔滨工业大学分别位列第6和第7。 认知推理 这一项的前十也没有中国高校上榜。 在认知推理这个分支下我们和美国高校还是有一定差距。...多智能体系统 很遗憾,这一项中前十还是没有出现中国高校。 往后看一点的话,第13名是清华大学。从分数上来看,和第10名的差距并不大,杀入前十指日可待。

1.2K50

神经符号系统、因果推理、跨学科交互,李飞飞、Judea Pearl等16名学者共同探讨AI未来

这些问题的唯一系统。 接下来,机器学习研究科学家 Robert Ness 谈论了「因果推理与(深度)概率规划」。 Ness 表示:「概率规划将是解决因果推理的关键。」...她谈到了语言的重要性,并表示语言是「生成任务的推理」。她认为:「我们人类执行的是即时推理,这将成为未来 AI 发展的关键和根本性挑战之一。」...Yejin Choi 指出:人类有能力信任新奇的事物,并进行奇怪的因果推理。她问道:「我们是否想要建立一个类人的系统?」...一种是直观形式,另一种是更高级的推理形式。 Kahneman 认为,System 1 包含了任意非符号事物,但这不意味着它是非符号系统。...她以内容推荐的 AI 系统为例,认为此类系统会使人们形成「更强大的、难以纠正的错误认知」。比如亚马逊和领英利用 AI 进行招聘,可能对女性候选者造成负面影响。

57020

云边协同架构助力智能工厂视觉 AI 缺陷检测应用构建

随着工业智能化的迅速发展,视觉 AI 缺陷检测技术已逐步成熟并得到广泛应用。...这些设备或系统处于不同的网络环境中,如生产网、办公网或者云平台等,需要构建一条信息通道打通各个设备和系统之间数据交互壁垒,进行相关数据的全面感知和采集,才能实现基于视觉 AI 缺陷检测和其他生产、业务数据的大数据分析...「云」设立在厂级信息中心或集团的总部,掌握总体管控的功能,还可根据实际生产需要,选用合适的模型进行集中训练,再将训练好的模型发布给 「边缘」进行就近推理,并接收其返回的推理结果进行存储、管理;「边缘」则设立在工厂内每条生产线上...图片EMQ 视觉 AI 缺陷检测解决方案针对工业领域视觉 AI 缺陷检测场景现状,EMQ 通过云原生技术以及云边协同架构提供了完整解决方案,实现对视觉 AI 缺陷检测图像流及海量工业设备数据在「产线-工厂...通过 EMQ 的这套方案可以构建完整、自循环的云边一体 AI 模型训练流程:边缘端的图像流实时汇聚、持久化到云端,云端 AI 及时进行模型训练并周期性优化算法模型发布到边缘端,同时实时汇聚、持久化新模型推理结果

77750

苹果2亿美元收购“黑暗数据”公司莱迪思, DeepDive 系统AI推理引擎结构化数据

莱迪思数据是 DeepDive 系统的商业化,使用 AI 推理引擎来获取非结构化的“黑暗”数据,并将其转化为结构化(且更可用)的信息。...莱迪思数据使用 AI 推理引擎来获取非结构化的“黑暗”数据,并将其转化为结构化(且更可用)的信息。有消息源称收购价格约2 亿美元。...“从黑暗数据中提取价值”的系统。...这一系统的应用会是多方面的,可用于国际警务及侦破如人口贩卖之类的案件、医学研究以及整合及分析古生物研究,还可以通过创建更有用的数据源来帮助训练 AI 系统。...我们的猜测是,这一定是围绕着AI的 。据知情人士称,Lattice已经“与其他科技公司探讨如何加强他们的 AI 助手”,包括亚马逊的 Alexa 和三星的 Bixby。

82560

清华大学周伯文教授:从原则到实践解读多模态人工智能进展与可信赖AI

在演讲中,他主要介绍了多模态 AI 近期的突破以及可信 AI 的挑战。目前人工智能正在从 “AI” 走向“可信赖 AI”。在全球范围内,可信赖 AI 也正逐渐成为学术界和工业界研究和关注的热点问题。...近年来,我们持续推动 “可信赖 AI” 的系统性建设。...模型内部,在 MRC 任务给出答案支撑事实;模型外部,在 QA 任务中给出答案的推理过程,通过推理过程自洽性提高准确率。...比如在工业界,要做一个可信赖 AI系统,我们从用户需求的调研和用户问题的提出开始,就要思考这是不是可信赖 AI 的问题,再到数据的收集标注,算法设计,开发上线,最后到产品交付,保持用户体验,从工业角度来讲...我们的研究方向在哪里,通过这张图我们试图去回答这个问题。这张图有两个维度,横向列出了可信赖 AI 的八个原则,纵向讲的是端到端有哪些环节,这个图里面有不同的颜色,它们是不同领域的论文。

34820

清华大学周伯文教授:从原则到实践解读多模态人工智能进展与可信赖AI

在演讲中,他主要介绍了多模态 AI 近期的突破以及可信 AI 的挑战。目前人工智能正在从 “AI” 走向“可信赖 AI”。在全球范围内,可信赖 AI 也正逐渐成为学术界和工业界研究和关注的热点问题。...近年来,我们持续推动 “可信赖 AI” 的系统性建设。...模型内部,在 MRC 任务给出答案支撑事实;模型外部,在 QA 任务中给出答案的推理过程,通过推理过程自洽性提高准确率。...比如在工业界,要做一个可信赖 AI系统,我们从用户需求的调研和用户问题的提出开始,就要思考这是不是可信赖 AI 的问题,再到数据的收集标注,算法设计,开发上线,最后到产品交付,保持用户体验,从工业角度来讲...我们的研究方向在哪里,通过这张图我们试图去回答这个问题。这张图有两个维度,横向列出了可信赖 AI 的八个原则,纵向讲的是端到端有哪些环节,这个图里面有不同的颜色,它们是不同领域的论文。

54920

重磅 | 美国西北大学新系统在智力测试中超越75%民众,人类的推理能力也不及AI了?

要知道,根据2016年的数据显示,一般18岁成年人的平均智商为97,6岁儿童的平均智商为55.5,相比之下谷歌人工智能系统的智商则为47.3,微软小冰是24.5。...另外,由于对人来说很难的题目对模型来说通常也很难,这表示该模型已经可以表现出一些人类认知系统中特有的重要属性。” Ken Forbus教授 实力这么强,这个模型到底是如何工作的呢?...据悉,该模型建立在一个名为CogSketch的“草图”(sketch)理解系统之上,该系统同样是Ken Forbus团队的研究成果。...CogSketch系统可以基于草图进行空间建模和逻辑推理,再配合此次最新研发的计算模型,因而能够在瑞文氏标准推理测试中脱颖而出。...当前,人工智能系统对图像和语音的识别能力已经相当出色,但对于语义和图像含义的理解、推理能力仍有待提高。

93150

腾讯吴运声:「即插即用」式AI服务,加速产业数实融合进程

融合了腾讯自研的AI超大规模预训练模型「混元大模型」,和TNN开源推理框架,面向客户输出数据处理、模型训练、应用及推理加速等多维度服务,显著降低AI开发门槛、提升研发精度和效率。...TI-ACC支持大规模的训练和推理加速,尤其在模型推理方面,已经支持并持续增加对多种模型库的海量模型进行推理加速;TI-ACC对深度学习算法的基础算子进行了深度优化,一键为用户完成模型推理优化,轻松获得至少...在今年7月,腾讯云联合工联院发布了《工业AI质检标准化研究报告》,在最新的IDC权威报告中,腾讯云智能仅用2年时间便成功跻身工业AI质检行业前三。...其次,不少传媒客户的业务系统依然是数据割裂难以统管的状态;不同的业务团队差异化的运营目标难以兼顾;传媒行业开放生态和数据资产全域打通,成为企业实现高效数字化建设的关键因素。...媒体内容中台通过内容入库标准化,流程编排配置,跨模态智能检索,智能生产工具等,量身打造了为内容汇聚和智能生产服务的完整系统,帮助融媒企业完成数字化转型及协同办公平台的构建,形成以智慧AI能力为驱动、内容中台为驱干

98330

学界 | 两位AI考生今年走上高考考场,而且数学已经考及格了

科大讯飞作为牵头单位,联合清华大学、中科院自动化所、北京大学、北京理工大学、中科院软件所、南京大学、电子科技大学、哈尔滨工业大学等超过30家科研院校和企业共同负责项目的研发与实施,科大讯飞执行总裁胡郁任项目的首席科学家...高耸的AI-MATHS AI-MATHS诞生于2014年,于去年5月宣布参加高考,今年2月以较高分通过中期评测。林辉介绍,AI-MATHS是通过综合逻辑推理平台来解题,而非学习储存题库。...“AI这次是系统阶段性成功公开测试,由于此次活动无法与高考同时同台进行,所以命名为模拟高考,但最关键的是整个过程是严格按照断网、断库、自然语言理解、综合复杂推理等严格流程进行的公开透明测试。”...林辉介绍,近1年多来,AI在复杂逻辑推理、直觉观察推理、计算机算法、深度学习上都进行了深入攻关,“AI是通过综合逻辑推理平台来解题,而非学习储存题库,因此在完全掐断题库、断网、无人干涉、仅有12台服务器...“想知道自己解题错在哪里”正是学霸君想要帮学生达到的重要目标之一。

1.3K120

多位CS教授操刀,这本书带你入门「提升概率推理」,免费预览章节放出

统计关系人工智能(Statistical relational AI, StaRAI)是研究「不确定性下的推理」和「个人与关系推理」之间的整合。StaRAI 使用的表征通常被称为关系概率模型。...最近,UCLA 计算机科学副教授 Guy Van den Broeck、达姆施塔特工业大学计算机科学教授 Kristian Kersting 以及英属哥伦比亚大学计算机科学教授 David Poole...目前,该书放出了一些预览章节(前四章),主要介绍了统计关系 AI 的表征、推理与学习、统计关系学习(SRL)(又包括 SRL 模型、SRL 模型的参数学习、马尔可夫逻辑网络及其参数与结构学习等)和提升变量排除...Kristian Kersting 于 2006 年在弗莱堡大学获得博士学位,并先后就职于麻省理工学院、Fraunhofer IAIS、波恩大学和多特蒙德工业大学。...他的主要研究兴趣是人工智能、知识表示、不确定性推理、计算逻辑、概率论证系统、关于行为推理、决策理论规划等。

51020
领券