张明义：冷板凳上熬出国际科学大奖.docVIP

张明义：冷板凳上熬出国际科学大奖2014年夏天，第二届维也纳逻辑之夏科学盛会，在来自世界各地的2500多名逻辑学家及学者的见证下，著名国际学术组织――库尔特?哥德尔学会将终身成就奖奖章戴在了71岁的贵州科学家张明义的胸前。这是库尔特?哥德尔学会首次颁发终身成就奖，张明义也成为获该领域重要国际大奖的首位中国科学家。这枚具有双重意义的奖章，充分肯定了张明义的重大贡献，正如颁奖词所说――“他是中国人工智能和知识表示研究领域的一个拓荒者。他在贵阳创立了一个研究非单调逻辑的团队，长期以来促进中西方科学家的交流。他对各种形式的非单调逻辑，包含缺省逻辑，回答集程序以及信念修改贡献了大量的结果……张明义指导过的一些学生已经成为国际同行尊重的研究者。”“开门研究”的国际学者上个世纪80年代，担任贵州科学院应用数学研究室主任的张明义，专心进行泛系语义分析等领域的研究，获得过省科技进步奖等重要奖项。在一次全国理论计算机科学会议上，两名年轻学者关于“非单调逻辑”的论述，让张明义从现有的状态中“惊醒”。他放弃了已有的成绩，将视线投向在中国尚属空白的“非单调逻辑”领域，一头扎入纯粹的学术研究。1992年，张明义向国际顶级学术刊物《人工智能》投送了一份论文。维也纳科技大学教授Gottlob审阅此稿时，建议增加计算复杂性，并提出与之合作完成此篇论文，以两人的名字联合发表。已经为该论文做了主要工作的张明义，毫不犹豫地答应了。此篇论文最终让张明义成为在《人工智能》上发表论文的首位中国学者。因为文章署名按英文字母顺序排列，他的名字排在Gottlob之后，张明义却没有计较，之后他与Gottlob继续合作，成为学术至交。“开门做研究”，让张明义逐渐具备国际视野，他的研究成果先后在多种国际顶级学术刊物上发表，引起国际学术界的广泛关注。“以文会友，合作共赢”是“开门做研究”的宗旨，走出去要有学术见识和独立见解，要有不计较论文排名、共享研究发现的豁达。秉持这样的观念，从1993年开始，张明义先后到奥地利维也纳科技大学、德国海德堡大学、加拿大阿尔伯达大学、香港科技大学等世界知名高等学府讲学或进行合作研究，并与国内外许多知名专家建立了长期互访和合作关系。德国人工智能学会会长Brewka、澳大利亚人工智能之父Norman Foo等，都来到贵阳与张明义进行学术交流。长期卓有成效的科学研究，让张明义在国际学术界逐步树立了权威。1993年，他成为进入世界人工智能会议程序委员会委员的首位中国大陆学者。他还担任过重要国际学术刊物《人工智能通讯》编委，并多次被聘为国际知识表示与推理会议等国际重要学术会议程序委员会成员。中山大学、厦门大学、西南大学等多所高校曾花重金“挖”张明义到学校任教，可他仍选择了留下。除了对家乡的眷念，还有一个重要原因是张明义对科研的领悟――“只要开门做研究，在哪儿都能出成果”。桃李天下的良师益友张明义在贵阳创立了一个非单调逻辑的科研团队，这是库尔特?哥德尔学会授予他终身成就奖的原因之一。这支科研团队，是他以自己严谨的科研态度、丰硕的学术成就以及独特的人格魅力打造出来的。团队的成员，都是张明义亲自指导过的博士或者硕士研究生。贵州大学计算机学院博导王以松教授说，张明义老师是自己的领路人。“他要求我们，每一篇论文都要经得起国际同行的评议，每一个证明和定义都必须准确无误。有时候他的批注比学生论文的字数还多，从他手中拿到博士学位并非易事。”不计较与学生合作论文的署名排名顺序，不限制学生的学术成长范围，尽力开拓学生的国际视野，让学生们在真正自由的学术氛围内健康成长――凡是张明义指导过的硕士和博士研究生，都非常庆幸自己遇到了这样一位良师。“张老师不仅因材施教指导硕士或者博士生，更鼓励每个学生有自己的思想和研究方向，即使你从事的研究与他申报的课题项目无关。”贵州大学计算机学院博士杨静教授说，张明义教授不同凡响的学术精神和人格魅力，是他的科研团队能不断出成果的重要原因。张明义指导的博士生，从没有因为身处贵州而与国际“脱节”。事实上，他们经常跟随导师出国进行学术访问活动，一开始就站在了学术研究前沿领域，因此视野开阔、成果显著，常常被国内其他著名高校同专业博士生所羡慕。张明义的学生，即使毕业甚至离开贵州，仍然与导师保持学术交流。甘愿吃亏的知识分子张明义先后主持了国家863计划3个智能计算机主题项目，1个国家自然科学基金重大计划《可信软件基础研究》培育项目、2项贵州省优秀科技教育人才省长专项基金。他先后被评为国家级及省级“有突出贡献的中青年优秀专家”、“省管专家”和省级劳模，并获得贵州省科技进步个人奖、国家教委科技进步奖以及国务院和首批贵州省政府特殊津贴。尽管头顶诸多光环，张明义很早就意识到拿奖、评职称并非自己搞科研的出发点，他宁愿沉下心来从事自己真正有兴趣的科研。这一次，他赢回了一枚极具分量