科技日报讯 （记者刘志强）日前，第二届维也纳逻辑之夏联合颁奖典礼在维也纳科技大学举行，世界各国逻辑学领域(计算机、人工智能和数学）众多著名科学家、学者出席颁奖仪式。贵州科学院张明义研究员在颁奖典礼上，荣获由库尔特·哥德尔学会颁发的2014年维也纳逻辑之夏终生成就奖，以表彰他在中国人工智能及知识表示领域，尤其是对在各种非单调性推理多变形式的数学描述上进行的开创性研究。

    2014年第二届维也纳逻辑之夏是一场科学盛会，由库尔特·哥德尔学会在维也纳科技大学举办，期间有数学逻辑、计算机逻辑及人工智能逻辑领域的12场主要会议以及部分学术研讨会，吸引了世界各国多达2500多名该领域的科学家和研究学者参会。

    库尔特·哥德尔学会1987年成立于奥地利维也纳，是旨在促进逻辑学、哲学及数学历史研究的国际性组织，学会以著名的奥地利逻辑学家、数学家及哲学家库尔特·弗里德里希·哥德尔命名，以纪念他在这一领域卓越的成就。

    今年已73岁的张明义研究员是我国在人工智能及知识表示研究领域的先行者，也是我国第一位荣获逻辑学领域哥德尔学会颁发的终身成就奖的科学家。他从事该领域研究已有30多年，在贵州建立了非单调性逻辑领域研究团队，并促进了中国与西方其他国家在这一领域的交流。他在各种形式的非单调性推理的研究方面作出了显著贡献，主要体现在缺省逻辑、回答集程序及信念修正等方面的研究上。他与合作者一同提出了一个基于生成规则集的回答集的一个特征，并引入了将回答集程序与经典逻辑紧密联系起来的一阶环公式概念。特别是早在1992年，他就提出缺省逻辑及其主要变种的重要特征，从而为解释清楚这些逻辑的计算特征和开发相应的缺省推理算法铺平了道路。