报告主讲：王驹教授

报告时间：2016年6月7日15:00-18:00

报告地点：北京大学第三教学楼107室

报告摘要：人类已经进入信息时代。二十多年来，语义网络和本体领域任凭着自身的强大生命力得到了全面的，深入的迅猛发展。XML, RDF, OWL, OWL_2, SPARQL, SWRL 等等已经成为计算机专业学生的最熟悉词汇。W3C的建立、世界各团队构建的各个开发平台、无数的庞大的本体库（当然其中包含带语义的大数据）——无论是百科全书式的，还是特别领域式的——作为该领域的实体，加上网络的力量，越来越深刻地影响着人类及个人生活，并给社会和人类注入新的发展动力。描述逻辑是语义网络的高层设计使用的逻辑工具：它的语言、推理机制和其中理论问题一直是语义网络工程语言、技术研究和构建的基础。这次报告，尽量涉及该领域的最基本的几个方面：1.  语义网络及本体的基本思想；2.  为什么描述逻辑是语义网络和本体的核心语言和理论；3.  描述逻辑的语义及语法；4.  基本推理问题；5. 描述逻辑框架下的本体；循环定义；保守扩充以及模块化知识；6.  人们现在如何做模态逻辑+描述逻辑。

主讲简介：王驹，文革后师从胡世华先生学习数理逻辑，后赴美留学于1986年在UCLA取得数理逻辑的博士学位（导师为Kirby Baker教授），后曾任中科院软件所逻辑室研究员、室主任。曾在SUNY New Paltz，University of South Carolina, UCLA, UC Davis 等访问，后任广西师大计算机科学及信息学院教授至2011年退休。王驹教授兴趣广泛：在公理集合论，证明论、多值逻辑、线性逻辑、lamda-演算、pi-演算、模型论等方面都有研究和成果，也研究过计算机科学及人工智能的若干专题，而近年来更多地致力于研究本体和描述逻辑，语义网络。