||
学术报告预报
题 目:网络, 逻辑,与知识社会 ---论语义网的逻辑基础及其应用
报告人:黄智生博士 科学网博主、荷兰自由大学高级研究员
时 间:2010年10月27日(星期三)下午2:00
地 点:中国科学技术信息研究所一层第五会议室(196房间)
(北京复兴路15号,中央电视台西侧)
黄智生博士简介: 现任荷兰自由大学高级研究员,长期从事人工智能知识表示与行动推理等方向的研究,在国际人工智能界享有很高的声誉,目前主持SEKT(Semantically Enabled Knowledge Technologies)的核心技术“语义网中非协调本体的推理”(Reasoning with inconsistent ontologies for the Semantic Web)的研究。
报告提纲 万维网已经对人类社会产生巨大的影响。语义网与本体技术作为面向知识社会的新一代的万维网技术受到了广泛的关注。语义网与本体技术的最显著的特征就是采用逻辑的手段来描述知识体系与网络信息资源。本报告将从现代逻辑的主要思想和技术出发,阐述逻辑方法如何成为科学描 述和理性思维的最重要的工具,从而推进现代社会和现代科技的发展。进而介绍语义网与本体技术的逻辑基础和主要思想及其对未来社会的影响。讲演人将结合发生在我们现实生活中的许多实际的例子,展现现代逻辑(主要是基于可能世界语义的模态逻辑等)用于科学思维和理性分析丰富多彩的技术内容,其 中包括如何使用现代逻辑分析“襄樊贫困生受助不感恩” 的讨论等一系列具体的应用实例。
欢迎所内外各界人士踊跃参加!
中国科学技术信息研究所
信息技术支持中心
学术委员会
二零一零年十月二十五日
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-20 19:45
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社