报告主讲:王驹教授
报告时间: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-演算、模型论等方面都有研究和成果,也研究过计算机科学及人工智能的若干专题,而近年来更多地致力于研究本体和描述逻辑,语义网络。
发布时间:2016-05-28 18:49:21