张明义:博学笃行 才望兼隆

他是中国人工智能知识表示研究领域的一个拓荒者。他在贵阳创立了一个研究非单调逻辑的团队,长期以来促进中西方科学家的交流。他对各种形式的非单调逻辑,包含缺省逻辑、回答集程序以及信念修改贡献了大量的结果,成为我国首位获得库尔特哥德尔终生成就奖的科学家。他就是贵州大学教授、贵州科学院研究员张明义。