形式:学术报告
时间:2009年9月12日(星期六) 下午3:00-5:00
地点:北京师范大学 主楼 A809
演讲人: 黄智生 博士 (荷兰 阿姆斯特丹自由大学)
题目:网络, 逻辑,与知识社会 ---论语义网的逻辑基础及其应用
Web, Logics, and Knowledge-based Society --- On the Logical Foundation of the Semantic Web and its Applications
摘要: 万维网已经对人类社会产生巨大的影响。
语义网与本体技术作为面向知识社会的新一代的万维网技术受到了广 泛的关注。 语义网与本体技术的最显著的特征就是采用逻辑的手段来描述知识体 系与网络信息资源。本报告将从现代逻辑的主要思想和技术出发, 阐述逻辑方法如何成为科学描述和理性思维的最重要的工具, 从而推进现代社会和现代科技的发展。 进而介绍语义网与本体技术的逻辑基础和主要思想及其对未来社会的 影响。讲演人将结合发生在我们现实生活中的许多实际的例子, 展现现代逻辑(主要是基于 可能世界语义的模态逻辑等) 用于科学思维和理性分析丰富多彩的技术内容, 其中包括如何使用现代逻辑分析“襄樊贫困生受助不感恩” 的讨论和分析郑州官员“说话门”事件等, 以及如何使用语义网技术用于政治分析(荷兰大选政治形势分析) 等一系列具体的应用实例。
关于黄智生博士的个人背景材料的介绍, 可参照下列网站的相关信息:
http://iws.seu.edu.cn/csws2009/summer_school.html