纪念天津大学计算机专业
成立60周年系列活动
“北洋智算论坛”第八讲
讲座时间
2018年11月21日（周三）
14:00
讲座地点
北洋园校区 55B202
主讲人
王喆
讲座题目：
对有存在量词的规则的展开和遗忘
讲座内容：
有存在量词的规则是一类重要的本体语言，有很好的表达性和推理机制。另一方面，遗忘是一个被广泛研究的本体操作，有重要的本体重用、本体混淆和本体分析方面的应用背景。然而，对有存在量词的规则建立遗忘理论却颇具挑战性。我们提出一种新的规则展开操作。具体而言，引入了基于查询回答的遗忘操作的定义，并通过展开操作提出了对遗忘的刻画。而遗忘的结果可能无法表达，于是我们通过有界性来刻画遗忘的可表达性，并且提出了一个可判断的片段。最后，提供了一个在这个片段中遗忘的有效算法。
简介：
王喆博士是澳大利亚格里菲斯大学的讲师。他曾在牛津大学的在语义技术方面国际领先的团队作过2年的博士后研究员，参与HermiT系统的开发与维护，后回到格里菲斯大学作过2年的研究员。他2011年于格里菲斯大学获得博士学位，博士论文是关于描述逻辑的本体知识演化技术。王喆博士取得了很多在人工智能和语义技术方面国际领先的研究成果，他的研究兴趣包括知识图谱技术和应用，基于本体知识的数据管理，本体知识管理和演化，知识表示，语义网络等。他的研究成果已经发表在Journal of Artificial Intelligent Research, Journal of Automated Reasoning, IJCAI和AAAI 等国际一流期刊和会议上。
