人工智能曾被誉为计算机科学的 “王冠”，而逻辑推理被看做是王冠上的宝石。最初的人工智能便是建立在符号逻辑以及演绎推理之上。
推理技术有着悠久的历史，从最初定义计算机的 Lambda 演算，到现在各种智能计算平台；从上世纪的专家系统，到目前的大规模知识库服务，无不闪现着推理的身影。然而随着发展，推理技术渐渐地被机器学习及派生的诸多统计分析技术所掩盖。
本次 Guru Talk，我们以接地气的方式重新拾起推理技术。在知识图谱的语境下，我们一起看看推理技术在当下扮演着怎样的角色。
Talk 主要包括以下内容：
□ 推理在诸多方面发挥着意想不到的作用
1. 推理不仅在问答系统，无人驾驶等高端场景发挥着作用
2. 推理还在编译器优化，文档管理等小巧的应用中展现着它们精致而灵活的特点
3. 推理在证券投资领域也发挥着作用，大大减轻了投资者的选股负担
□ 以本体为上下文的推理场景以及所涉及的技术工具
1. 知识图谱的标准化语言：RDF/OWL
2. 基于本体的模式层推理：分类计算
3. 基于本体的实例层推理：物化计算
4. 基于本体的规则推理
5. 以上推理场景都将配以有趣的案例
□ 以年度资本大戏 “乐视网事件” 为例贯穿介绍目前知识图谱中的核心推理技术
1. 构建一个简单的本体
2. 以 “乐视网事件” 为上下文的推理案例
3. 本体查询语言 SPARQL 简单举例介绍
活动结束后，我们将对本次 Talk 所涉及到的高质量 paper 进行整理，并在社区 (www.paperweekly.site) 创建一个专题论文集，敬请关注。
嘉宾介绍
周张泉
东南大学计算机学院在读博士
在 ECAI，ICTAI 等会议杂志发表十余篇论文，于 ICTAI’’15 获得 “最佳学生论文” 奖励。感兴趣以及所从事的研究主题包括：知识图谱中的推理技术，计算复杂性，语言哲学，唯识与中观理论研究，配对套利模型研究。
活动时间
10 月 18 日（周三）20:00-21:00
45min Talk + 15min QA
报名方式
