语义网逻辑基础.pptVIP

语义网的逻辑基础 Logical Foundation of the semantic Web RKC 主讲:黄智生 Zhisheng Huang TS Vrije University Amsterdam, The Netherlands huang@cs. vu. nl 助教:胡伟 Wei hu Southeast University whu@ China 2009  万维网与逻辑 WWW and logics 个急遽发展的全新领域 RKC 个历史沧桑的永恒话题 个激动人心的技术时代 充满挑战的科学问题 China 2009  教学方法论思考 Methodological Studies of Teaching RKC 跨越文化障碍 ·突破思维局限 把握核心思想 ·了解技术概况 China 2009  课程时间表 Schedule 日期 上午 下午 感K]20第9月24日星期 第计:代逻银导论 WS24用星2二迹钱导论题讨论选逻错与知示 2108月2E星期三) 第三计:瑟辑:可断性与复 集体活动远足或其它动 09(计语义选性学藻五计:本体挂理与管理 China 2009  CSWS09导课 Tutorials of cswsog 8月29日星期六 09:00-12:00导课1: Introduction to the RKC Semantic Web ( Ivan herman) 14:00-15:30导课2: Semantic Web rule Languages (Jeff Z Pan) ·16:00-17:30导课3:计算基于描述逻辑 的蕴涵逻辑辩解(漆桂林) China 2009  思考题与练习题 简单的问题 The Richter cale 一般的练习 K回·可作为课程设计的河题 by seismograph ws·可作为一篇研究的 (2-29)吗 w问题 (8-89)grudges destoyed. 可作为博士论文的问题 ·可作为一篇足以震撼整 个学术领域的问题 (5-5. chunks cf plas China 2009  思考题与练习题 0-19)·简单的问题 般的练习 RKC w深,可作为课程没计的问题 可作为一篇研究论文的问题 ·可作为一篇博士论文的问题 ·可作为一篇足以震撼整个学术领域 的问题 China 2009  讲座1:现代逻辑导论 Lecture 1: Introduction to Modern logics RKC 逻辑是什么? 经典逻辑 现代逻辑的核心思想 现在逻辑大观 China 2009  逻辑与科学 Logics and Sciences 部人类文明史就是一部人类 思想发展史,也就是一部基于 回逻辑分析的科学思维的发展史 w·基于逻辑的分析方法已经成为 现代科学的基石,贯串着科学 领域的方方面面。 它不仅是所有自然科学领域的 方法论基础,也是所有社会科 学领域的方法论基础。 China 2009  避免对逻辑的一个常见误解 Avoiding a pervasive Misunderstanding on logics 逻辑理论实际上是一个规范性的 泰( normative)理论,而不是一个描述 IWS性的( descriptive)理论,也就是说 它并不是来描述人类究竞是采用何种 形式来推理的,而是来研究人类应如 何更有效地进行推理的。 China 2009