时 间 表：

时间  上午  下午
2011.8.22  报到  第一讲：现代逻辑导论
2011.8.23  第二讲：描述逻辑导论  专题讨论：描述逻辑与知识表示
2011.8.24  第三讲：语义Web与逻辑I  集体活动：远足或其它活动
2011.8.25  第四讲：语义Web与逻辑II  第五讲：本体推理与管理
2011.8.26  第六讲：语义技术与应用开发  专题研讨会：语义技术与生命科学
2011.8.27  CCF YOCSEF论坛：Large-Scale and Scalable Semantic Computing
2011.8.28  首届“语义技术与与生命科学”高峰论坛(待定)

报名方式：
1. 《语义万维网的逻辑基础》课程的报名时间为：2011年4月1日至2011年6月30日。由于教室场地限制，课程仅接受国内在校研究生、博士后和青年教师报名。计划接受兄弟院校的研究生、博士后和青年教师30名。各院校报名人数请尽量控制在5名以内（含5名），博士生优先。原则上，先报先得，但是不排除根据报名情况酌情调整。最终以电子邮件的形式回复确认；
2. 课程不收取任何学费，食宿自理；
3. 报名时，请从本课程网站下载填写课程报名表（http://ontoweb.wust.edu.cn/sw2011/register.doc），并且通过电子邮件发送给课程助教胡青(Email: huqing@wust.edu.cn)，
邮件标题请注明：语义万维网暑期课程+姓名+学校。
另外，发送邮件时请一并提供有效的身份证明材料（例如，有效的研究生证、工作证扫描件）。

===================================

    万维网已经对人类社会产生巨大的影响。作为面向知识社会的新一代信息技术，语义万维网与本体技术受到了广泛的关注，已经在许多领域（如生命科学、软件工程、智能交通、社会科学等）得到广泛的应用，它最显著的特征是采用逻辑的手段来描述知识体系与网络信息资源。本次暑期培训班是继2009年在南京举办的首届《语义万维网逻辑基础》暑期班后的第二期培训班，但在内容安排上与上次的培训班相比有较大的调整，增加了面向语义技术应用开发的内容。本次活动由武汉科技大学计算机科学与技术学院、软件工程国家重点实验室(武汉大学)、武汉大学信息资源研究中心、武汉大学中南医院主办，由武汉科技大学计算机科学与技术学院具体承办。培训班后将联合中国计算机学会青年计算机科技论坛（YOCSEF）武汉分会，组织部分语义网专家和青年学者针对大规模语义计算和可扩展语义计算等主题进行讨论，并将组织首届“语义技术与生命科学”高峰论坛(待定)。

简    历：
    黄智生博士毕业于荷兰阿姆斯特丹大学逻辑研究所，目前担任荷兰阿姆斯特丹自由大学计算机系高级研究员、东南大学计算机学院和江苏科技大学等多个大学的客座教授。研究兴趣包括：语义Web的逻辑基础、智能多媒体技术、智能Agent的形式化理论与实现、决策支持系统的应用逻辑以及行为推理等。在国际高水平、期刊会议上发表学术论文百余篇。
    个人主页：http://www.cs.vu.nl/~huang/

组织委员会：
董  慧  武汉大学信息资源研究中心教授，博导
彭  蓉  武汉大学计算机学院 教授，博导  软件工程国家重点实验室(武汉大学) 副主任
俞思伟  武汉大学中南医院学术交流中心 主任，研究员
顾进广  武汉科技大学计算机科学与技术学院 教授[/B]

http://ontoweb.wust.edu.cn/sw2011

有关食宿等信息将在近期补上。根据2009年在南京举办的首届语义万维网暑期班的经验，许多同学是自费前来参加的，我们这次特地找一些便宜的旅馆，以减轻同学们的负担。

感谢黄老师为广大同学做周到的考虑！

强烈呼吁在中国学界普及逻辑学

苏州大学哲学教授 周可真

几千年来中国的体力劳动者和脑力劳动者都是勤奋异常的，至少决不比西方人差，但为什么西方的知识是如此发达？而相对地中国的知识是如此落后？有一个不容忽视的原因，就是西方自古至今有逻辑且自觉地加以运用，而中国自古至今都没有逻辑或有了也只是摆设而不能自觉地加以运用。

逻辑是个人思维社会化的必要条件。一个族群有了逻辑，就是意味着该族群有了共同的思维行为规则。有了共同的思维行为规则，该族群在思维领域的社会分工与合作就有可能实现了；反之，思维领域的社会分工与合作是不可能实现的。而某个群族在思维领域的社会分工与合作所导致的必然结果，就是该群族的整体思维效率的提高。在这个意义上，逻辑对于族群思维的意义是在于它能起到管理族群思维的作用。

逻辑对于族群思维的管理作用是属于思维控制作用。逻辑规则就是族群思维管理中的控制标准，它是对族群个体的具体思维行为进行衡量与评价从而采取适当矫正措施的依据，因而是实现对族群思维的有效控制所不可或缺的条件，离开了这个条件，就无法达到对族群思维的控制目的，亦即无以实现族群的整体思维目标，也正是在这个意义上，逻辑对于现实地形成族群的整体思维目标具有决定意义，若缺乏逻辑，族群的整体思维目标即使有也等于无，因为它不可能实现。

一个缺乏逻辑的族群，其各个个体的思维行为必然是散乱的，从而其依赖于思维的知识创造活动也不能以秩然有序的群体行为的方式来进行，而只能以杂乱无章的个体行为的方式来进行。从族群思维进化角度看，显然，秩然有序的群体思维行为是有利于族群思维进化的，反之，杂乱无章的个体思维行为是不利于族群思维进化的，因为前者的整体思维效率高，后者的整体思维效率低。一个族群的整体思维效率之高低，直接关系到该族群的知识创造力的强弱。其整体思维效率较高，其族群的知识创造力也相应的较强；反之，其整体思维效率较低，其族群的知识创造力也相应的较弱。

中国自古至今都没有逻辑或有了也只是摆设而不能自觉地加以运用，其思维是习惯性地依靠个人的经验与直觉，相应地，其思维过程中所做的判断是经验判断和直觉判断。

经验判断依赖于个人经验的积累，各人经验的丰富程度不一，其经验判断的准确程度也相应有差异：经验较丰富者，其判断的准确程度相应较高；经验较欠缺者，其判断的准确程度相应较低。通常老人的经验较丰富，故中国人惯于听信老人的经验判断。俗语有云：“不听老人言，吃苦在眼前。”这正反映了中国人崇尚经验判断的思维传统。

直觉判断则依赖于个人天赋的悟性，各人天赋高低程度不同，其直觉判断的准确程度也相应有差异：天赋较高者，其判断的准确程度相应较高；天赋较低者，其判断的准确程度相应较低。天赋最高的人就是孔子所谓“生而知之”、孟子所谓“先知先觉”的圣人，于是便有“畏圣人之言”的儒教和注疏“圣人之言”的经学传统，这都反映了中国人崇尚直觉判断的思维传统。

缺乏逻辑而崇尚经验判断和直觉判断的思维传统，使得作为一个族群的中国人的知识创造高度依赖于经验丰富的老人和天赋至高的圣人。

老人依据其丰富经验所创造的知识是中青年所难以体会其真意的，所以只能将信将疑地盲目听信“老人言”。圣人依赖其天赋高才所创造的知识又是天赋较低的普通人所难以领悟的，所以只能是“畏圣人之言”抑或主观地注解“圣人之言”。

这样，在老人与中青年之间和圣人与常人之间，其知识实际上是缺乏统一标准的，并且因其缺乏统一标准，他们之间并不能真正达到其知识的共享，在理性层面上只能是“公说公有理，婆说婆有理”，也因此在现实世界中只能由“圣明”的帝王或由帝王授权的学术权威来公断是非。这是中国缺乏逻辑思维传统所必然造成的知识发展状态。

自近代严复以来，西方逻辑学逐渐被介绍到中国，但逻辑学从来只是少数学者研究的学问，它在学界的普及程度向来极低，至今中国大学里只有极个别专业开设逻辑课程，故从事自然科学和人文社会科学的学者普遍不具有自觉的逻辑思维，实际上仍然主要只能依靠经验和直觉来进行思维，从而在相对封闭的年代里，中国的知识创造仍然高度依赖于经验丰富的老人和天赋至高的伟人，在现实社会中则只能由“伟大领袖”或由“伟大领袖”所信任的学术权威来公断是非；而在相对开放的年代里，中国的知识创造则高度依赖于西方，中国学者是“言必称西方”——“不听老人言，吃苦在眼前”的老话实际变成了“不听西人言，吃苦在眼前”；“畏圣人之言”的儒教则实际变成了“畏西圣之言”的新教，从而中国学者就像中国传统的经学家那样也只是对“西圣之言”做些注解工作，诸如人文社会科学领域的 “注马（克思）经”、自然科学领域的“注牛（顿）经”、“注爱（因斯坦）经”之类——至今中国学者何尝有过自造的“经”了呢？可怜啊，连一本“正经”都没有啊！为什么？ 因为中国至今都尚未形成一个逻辑思维传统，又怎能自造出可以被大家所共享的知识之“经”来呢！

这次暑期班的报名总人数大大超过我们的预期（已逼近140人！！）， 我们将想办法， 尽量保证现有报名的人都能够有机会前来听课。

如果你很想参加这次暑期班， 务必在近日内报名。

为了保证现有报名的学员的良好的听课环境， 我们很可能要提前截止报名日期，敬请原谅！

请问黄老师，在这次听课之前，我们需要具备哪些方面的基础知识？
想事先自己补一下。。。

谢谢！

如果你比较好地掌握了离散数学中所介绍的命题逻辑和一阶谓词逻辑，对于这次暑期班的学习很有帮助。除此之外，最好还要具备网络技术的基本知识， 如HTML语言， XML语言等。