孙吉贵 男，1962年11月出生，辽宁庄河人。博士、教授、博士生导师，中国计算机学会理事、教育部计算机专业教学指导委员会委员、吉林省计算机学会副理事长。2008年3月31日9时18分因病不幸逝世，享年46岁。

1993年博士毕业于吉林大学计算机科学系，1997年7月晋升为教授；97年至98年在英国Ulster大学留学；曾任教育部“符号计算与知识工程”重点实验室（吉林大学）主任、吉林大学计算机学院副院长，兼任中国计算机学会理事、教育部高等学校计算机科学与技术专业教学指导分委员会委员，吉林省计算机学会副理事长，南京大学软件新技术国家重点实验室学术委员会委员。

曾获省第三届青年科技奖；两次获得国家教委科技进步二等奖；三次获得吉林省优秀教学成果奖。

1999年获国务院特殊政府津贴；2003年吉林省杰出青年基金获得者；2004年被聘为“离散数学”国家级精品课负责人；2004年被评为吉林省优秀教师；2004年获教育部“新世纪优秀人才支持计划”支持。

负责和承担国家和省部级等课题30余项，发表论文140余篇，2次获国家教委科技进步二等奖。曾获省部级科技进步二等奖3项、三等奖1项，吉林省优秀教学成果奖3项。1994年获吉林省第三届青年科技奖，1999年6月被评为博士导师；1999年获国务院政府特殊津贴，2000年6月任吉林大学计算机学院副院长。2003年8月任“符号计算与知识工程”教育部重点实验室主任，同年获吉林省杰出青年基金，2004年被教育部聘为“离散数学”国家级精品课负责人，2004年被评为吉林省优秀教师，2004年获教育部新世纪优秀人才，2007年被评为吉林省第三届高等院校教学名师。

主要从事计算机软件和人工智能的教学和研发工作，在自动推理，约束程序设计，智能决策支持系统等方面取得了系列研究成果，处于国内领先行列，得到了同行专家们的高度评价。已发表论文（著）110多篇，负责了多项国家、省部级项目和应用项目。负责开发的PDM、粮食管理决策支持系统等应用系统取得了很好的社会效益和经济效益。

“约束推理与约束程序”（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, 数据 Mining, and Granular Computing, Lecture Notes in Artificial Intelligence 2639, Edited by J.G.Carbonell and J.Siekmann, Subseries of Lecture Notes in 计算机 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, 二氧化氮, 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期。李占山 孙吉贵。