资讯

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