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

作　　者：凌洁 

机构地区：[1]不详

出　　处：《晚晴》2024年第7期38-41,共4页

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

关 键 词：非单调逻辑 库尔特 西方科学家 缺省逻辑 哥德尔 贵州大学 中国人工智能 拓荒者 

分 类 号：G63[文化科学—教育学]