沉痛悼念孙吉贵老师.........

  今天忽然得到孙老师去世的噩耗，简直不敢相信。震撼!!!!!!!!!!

  还记得大二上离散数学的时候，教我们的是他的学生冯莎莎老师，虽然冯老师也是一位让我尊敬如长姐的老师，后来我在我考研的过程中她曾很无私的在离散数学的复习中给了我很大的帮助，甚至在她去曼彻斯特大学继续攻读博士学位前还热心的请张永刚老师继续在离散数学上帮助我，但我依然为没有上过孙老师的离散课而有些遗憾，与孙老师唯一的接触就是听过他量子计算机的讲座，渊博的知识，谦虚平和的态度，严谨的思维，以及那一身干净的深色西装，都给我留下了深深的印象。孙老师的学术水平和个人品德在学生之间是有口皆碑的，很少有这样一个老师能让几乎所有的学生都如此钦佩和尊敬，孙老师走了，年仅46岁！

  孙老师，请允许一名离开吉林大学刚刚一年的不曾是您学生的学生以最崇敬的目光目送您的背影.........

  孙老师，一路走好......................

以下摘自百度百科：

孙吉贵
       男，1962年11出生，博士、教授、博士生导师。1993年博士毕业于吉林大学计算机科学系，1997年7月晋升为教授；97年至98年在英国Ulster大学留学；现任教育部“符号计算与知识工程”重点实验室（吉林大学）主任、吉林大学计算机学院副院长，兼任中国计算机学会理事、教育部高等学校计算机科学与技术专业教学指导分委员会委员，林省计算机学会副理事长，南京大学软件新技术国家重点实验室学术委员会委员。研究方向为智能信息处理。负责和承担国家和省部级等课题30余项，发表论文140余篇，2次获国家教委科技进步二等奖。曾获省部级科技进步二等奖3项、三等奖1项，吉林省优秀教学成果奖3项。1994年获吉林省第三届青年科技奖，1999年获国务院政府特殊津贴，2003年获吉林省杰出青年基金，2004年被教育部聘为“离散数学”国家级精品课负责人，2004年被评为吉林省优秀教师，2004年获教育部新世纪优秀人才，2007年被评为吉林省第三届高等院校教学名师。
      2 008年3月31日9时18分因病不幸逝世，享年46岁。

科研项目

“约束推理与约束程序”（05年1月-07年12月）《国家自然科学基金项目》。
“基于约束推理的产品配置器研究”（04年6月-07年5月）《吉林省科技发展计划项目》。
“约束程序理论及其应用”（04年1月-06年12月）《吉林省杰出青年基金项目》。
“非经典逻辑的自动推理”（03年1月-05年12月）《国家自然科学基金项目》。
“粮食管理信息智能决策支持系统”（02年6月-04年6月）《吉林省科技发展计划重大项目》。
“约束推理与约束程序”（01年1月-03年12月）《国家自然科学基金项目》。
“模态与时态逻辑模型生成”（00年6月-02年12月）《教育部骨干教师项目》。
“常识推理与逻辑程序的扩展”（98年1月－00年12月）《国家自然科学基金项目》。
“约束程序”（00年6月-02年10月）《吉林省自然科学基金项目》。

学术论文

输入调解法和单元调解法在Horn集上的完备性 ，《软件学报》1993年2月，4（1）。欧阳丹彤，孙吉贵，刘叙华
Horn集上的有向调解法，《吉林大学自然科学学报》 1992年11月，（4）。欧阳丹彤，孙吉贵，刘叙华
Completeness of Input Symmetric Paramodulation and Unit Symmetric Paramodulation on Horn Set,《Chinese Journal of Advanced Software Research》 1994年5月，1（2）。欧阳丹彤，孙吉贵，刘叙华
广义因果理论上基于模型诊断过程的形式化，《吉林大学自然科学学报》 2000年10月，（4）。欧阳丹彤，孙吉贵
基于模型诊断的形式化方法，《人工智能进展（第六届中国人工智能联合学术会议论文集）》 2001年2月1日。欧阳丹彤，孙吉贵，姜云飞
对基于模型诊断过程的形式化，《模式识别与人工智能》 2002年9月，15（3）。欧阳丹彤，孙吉贵
“离散数学学习指导与习题解答”，高等教育出版社，2003年8月。
约束逻辑的一个新语义研究，广西师范大学学报（自然科学版），Vol.21, No.1, 2003,1-5。第七届中国人工智能联合学术会议论文集CJCAI2002，张永刚，孙吉贵。
一种模型不完备条件下的诊断方法，广西师范大学学报（自然科学版），Vol.21, No.1, 2003, 79-82。第七届中国人工智能联合学术会议论文集， CJCAI2002，林海，孙吉贵。
基于模型诊断的替换测试与问题分解的研究，广西师范大学学报（自然科学版），第七届中国人工智能联合学术会议论文特刊Vol.21, No.1, 2003, 23-26。李占山，王涛，孙吉贵。
受限的proflog语言及其表推演过程语义，广西师范大学学报（自然科学版），第七届中国人工智能联合学术会议论文特刊，Vol.21, No.1, 2003, 27-33。陈荣，孙吉贵，姜云飞。
一种多值规则量词公式的tableau的方法，广西师范大学学报（自然科学版），第七届中国人工智能联合学术会议论文特刊，Vol.21, No.1, 2003,，101-105。刘全，孙吉贵。
Theorem Proving Based on the Extension Rule, Journal of Automated Reasoning 31, 2003, pp11-21.LIN Hai, SUN Jigui, ZHANG Yimin.
非二元约束满足问题求解，计算机学报，Vol.26, No.12, 2003, pp1746-1752.孙吉贵，景沈艳.
The Concept of Approximation Based on Fuzzy Dominance Relation in Decision-Making, Proceedings 9th International Conference, RSFDGrC2003, Chongqing, China, May 2003. In Guoyin Wang, Qing Liu, Yiyu Yao and Andrzej Skowron eds: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Lecture Notes in Artificial Intelligence 2639, Edited by J.G.Carbonell and J.Siekmann, Subseries of Lecture Notes in Computer Science. Springer, pp382-385.。Yunxiang Liu, Jigui Sun, Shengsheng Wang.
量子搜索算法，软件学报，Vol.14, No.3, 2003, pp334-344.。孙吉贵，何雨果。
提高一阶多值逻辑Tableau推理效率的布尔剪枝方法，计算机学报，Vol.26, No.9, 2003, 1165-1170.。刘全，孙吉贵。
一种含等词的分阶段Tableau算法，计算机工程，Vol.29, No.8, 2003, pp44-46.。刘全，孙吉贵，张永刚。
一种多值规则量词公式的Tableau的方法，计算机工程，Vol.29, No.8, 2003, pp128-130.。刘全，孙吉贵，窦全胜。
组合优化调度问题求解方法，计算机科学，Vol.30, No.2, 2003, pp9-16.张居阳，孙吉贵.
孙吉贵，基于约束的调度研究与实现，2003中国计算机大会论文集1，北京，2003年12月，清华大学出版社，pp80-85.。张居阳，礼欣 。
适用于决策表的快速属性约简算法，2003中国计算机大会论文集1，北京，2003年12月，清华大学出版社，pp41-46.。何雨果，孙吉贵。
模糊集合的语义，中国人工智能学会全国第10届全国学术年会论文集（下），广州，2003年12月，2003，pp1072-1077。刘云翔，孙吉贵。
基于t-norm算子的模糊逻辑和模糊推理。吉林大学学报（理学版），Vol.41, No.1, 2003.pp64-69。刘云翔，孙吉贵。
模型生成与约束求解，知识科学与计算科学研讨会，乌鲁木齐，2002年9月，见陆汝钤主编“知识科学与计算科学”，清华大学出版社，2003年1月，197-232。孙吉贵，张永刚。
量子并行计算，知识科学与计算科学研讨会，乌鲁木齐，2002年9月，见陆汝钤主编“知识科学与计算科学”，清华大学出版社，2003年1月，236-242。孙吉贵，何雨果。
基于模型的诊断问题分解及其算法，计算机学报，Vol.26, No.9, 2003, 1171-1176.李占山，姜云飞，王涛.
基于模型诊断方法的系统替换修复与重新配置，吉林大学学报（理学版），Vol.41, No.1, 2003, pp45-48.李占山，王涛，孙吉贵.
商业智能技术及行业应用分析，吉林大学学报（信息科学版），第21卷 第1期 2003.2.李泽海， 孙吉贵 ，赵君.
离散数学教学改革中的几点做法和体会，中国教育理论杂志，第42期， 2003.11。张永刚 ，孙吉贵。
21世纪<离散数学>教材与教学模式的改革现代教学与管理，2003.第8期。李占山 孙吉贵。