孫吉貴 男，1962年11月出生，遼寧莊河人。博士、教授、博士生導(dǎo)師，中國計算機學(xué)會理事、教育部計算機專業(yè)教學(xué)指導(dǎo)委員會委員、吉林省計算機學(xué)會副理事長。2008年3月31日9時18分因病不幸逝世，享年46歲。
1993年博士畢業(yè)于吉林大學(xué)計算機科學(xué)系，1997年7月晉升為教授；97年至98年在英國Ulster大學(xué)留學(xué)；曾任教育部“符號計算與知識工程”重點實驗室（吉林大學(xué)）主任、吉林大學(xué)計算機學(xué)院副院長，兼任中國計算機學(xué)會理事、教育部高等學(xué)校計算機科學(xué)與技術(shù)專業(yè)教學(xué)指導(dǎo)分委員會委員，吉林省計算機學(xué)會副理事長，南京大學(xué)軟件新技術(shù)國家重點實驗室學(xué)術(shù)委員會委員。
個人榮譽
曾獲省第三屆青年科技獎；兩次獲得國家教委科技進(jìn)步二等獎；三次獲得吉林省優(yōu)秀教學(xué)成果獎。
1999年獲國務(wù)院特殊政府津貼；2003年吉林省杰出青年基金獲得者；2004年被聘為“離散數(shù)學(xué)”國家級精品課負(fù)責(zé)人；2004年被評為吉林省優(yōu)秀教師；2004年獲教育部“新世紀(jì)優(yōu)秀人才支持計劃”支持。
負(fù)責(zé)和承擔(dān)國家和省部級等課題30余項，發(fā)表論文140余篇，2次獲國家教委科技進(jìn)步二等獎。曾獲省部級科技進(jìn)步二等獎3項、三等獎1項，吉林省優(yōu)秀教學(xué)成果獎3項。1994年獲吉林省第三屆青年科技獎，1999年6月被評為博士導(dǎo)師；1999年獲國務(wù)院政府特殊津貼，2000年6月任吉林大學(xué)計算機學(xué)院副院長。2003年8月任“符號計算與知識工程”教育部重點實驗室主任，同年獲吉林省杰出青年基金，2004年被教育部聘為“離散數(shù)學(xué)”國家級精品課負(fù)責(zé)人，2004年被評為吉林省優(yōu)秀教師，2004年獲教育部新世紀(jì)優(yōu)秀人才，2007年被評為吉林省第三屆高等院校教學(xué)名師。
人物科研
主要從事計算機軟件和人工智能的教學(xué)和研發(fā)工作，在自動推理，約束程序設(shè)計，智能決策支持系統(tǒng)等方面取得了系列研究成果，處于國內(nèi)領(lǐng)先行列，得到了同行專家們的高度評價。已發(fā)表論文（著）110多篇，負(fù)責(zé)了多項國家、省部級項目和應(yīng)用項目。負(fù)責(zé)開發(fā)的PDM、糧食管理決策支持系統(tǒng)等應(yīng)用系統(tǒng)取得了很好的社會效益和經(jīng)濟(jì)效益。
“約束推理與約束程序”（05年1月-07年12月）——國家自然科學(xué)基金項目。
“基于約束推理的產(chǎn)品配置器研究”（04年6月-07年5月）——吉林省科技發(fā)展計劃項目。
“約束程序理論及其應(yīng)用”（04年1月-06年12月）——吉林省杰出青年基金項目。
“非經(jīng)典邏輯的自動推理”（03年1月-05年12月）——國家自然科學(xué)基金項目。
“糧食管理信息智能決策支持系統(tǒng)”（02年6月-04年6月）——吉林省科技發(fā)展計劃重大項目。
“約束推理與約束程序”（01年1月-03年12月）——國家自然科學(xué)基金項目。
“模態(tài)與時態(tài)邏輯模型生成”（00年6月-02年12月）——教育部骨干教師項目。
“常識推理與邏輯程序的擴(kuò)展”（98年1月－00年12月）——國家自然科學(xué)基金項目。
“約束程序”（00年6月-02年10月）——吉林省自然科學(xué)基金項目。
學(xué)術(shù)論文
輸入調(diào)解法和單元調(diào)解法在Horn集上的完備性，《軟件學(xué)報》1993年2月，4（1）。歐陽丹彤，孫吉貴，劉敘華。
Horn集上的有向調(diào)解法，《吉林大學(xué)自然科學(xué)學(xué)報》 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）。歐陽丹彤，孫吉貴，劉敘華。
廣義因果理論上基于模型診斷過程的形式化，《吉林大學(xué)自然科學(xué)學(xué)報》 2000年10月，（4）。歐陽丹彤，孫吉貴。
基于模型診斷的形式化方法，《人工智能進(jìn)展（第六屆中國人工智能聯(lián)合學(xué)術(shù)會議論文集）》 2001年2月1日。歐陽丹彤，孫吉貴，姜云飛。
對基于模型診斷過程的形式化，《模式識別與人工智能》 2002年9月，15（3）。歐陽丹彤，孫吉貴。
“離散數(shù)學(xué)學(xué)習(xí)指導(dǎo)與習(xí)題解答”，高教社，2003年8月。
約束邏輯的一個新語義研究，廣西師范大學(xué)學(xué)報（自然科學(xué)版），Vol.21, No.1, 2003,1-5。第七屆中國人工智能聯(lián)合學(xué)術(shù)會議論文集CJCAI2002，張永剛，孫吉貴。
一種模型不完備條件下的診斷方法，廣西師范大學(xué)學(xué)報（自然科學(xué)版），Vol.21, No.1, 2003, 79-82。第七屆中國人工智能聯(lián)合學(xué)術(shù)會議論文集， CJCAI2002，林海，孫吉貴。
基于模型診斷的替換測試與問題分解的研究，廣西師范大學(xué)學(xué)報（自然科學(xué)版），第七屆中國人工智能聯(lián)合學(xué)術(shù)會議論文特刊Vol.21, No.1, 2003, 23-26。李占山，王濤，孫吉貴。
受限的proflog語言及其表推演過程語義，廣西師范大學(xué)學(xué)報（自然科學(xué)版），第七屆中國人工智能聯(lián)合學(xué)術(shù)會議論文特刊，Vol.21, No.1, 2003, 27-33。陳榮，孫吉貴，姜云飛。
一種多值規(guī)則量詞公式的tableau的方法，廣西師范大學(xué)學(xué)報（自然科學(xué)版），第七屆中國人工智能聯(lián)合學(xué)術(shù)會議論文特刊，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.
非二元約束滿足問題求解，計算機學(xué)報，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, 數(shù)據(jù) 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.
量子搜索算法，軟件學(xué)報，Vol.14, No.3, 2003, pp334-344.。孫吉貴，何雨果。
提高一階多值邏輯Tableau推理效率的布爾剪枝方法，計算機學(xué)報，Vol.26, No.9, 2003, 1165-1170.。劉全，孫吉貴。
一種含等詞的分階段Tableau算法，計算機工程，Vol.29, No.8, 2003, pp44-46.。劉全，孫吉貴，張永剛。
一種多值規(guī)則量詞公式的Tableau的方法，計算機工程，Vol.29, No.8, 2003, pp128-130.。劉全，孫吉貴，竇全勝。
組合優(yōu)化調(diào)度問題求解方法，計算機科學(xué)，Vol.30, 二氧化氮, 2003, pp9-16.張居陽，孫吉貴。
基于約束的調(diào)度研究與實現(xiàn)，2003中國計算機大會論文集1，北京，2003年12月，清華大學(xué)出版社，pp80-85.。張居陽，禮欣，孫吉貴。
適用于決策表的快速屬性約簡算法，2003中國計算機大會論文集1，北京，2003年12月，清華大學(xué)出版社，pp41-46.。何雨果，孫吉貴。
模糊集合的語義，中國人工智能學(xué)會全國第10屆全國學(xué)術(shù)年會論文集（下），廣州市，2003年12月，2003，pp1072-1077。劉云翔，孫吉貴。
基于t-norm算子的模糊邏輯和模糊推理。吉林大學(xué)學(xué)報（理學(xué)版），Vol.41, No.1, 2003.pp64-69。劉云翔，孫吉貴。
模型生成與約束求解，知識科學(xué)與計算科學(xué)研討會，烏魯木齊市，2002年9月，見陸汝鈐主編“知識科學(xué)與計算科學(xué)”，清華大學(xué)出版社，2003年1月，197-232。孫吉貴，張永剛。
量子并行計算，知識科學(xué)與計算科學(xué)研討會，烏魯木齊，2002年9月，見陸汝主編“知識科學(xué)與計算科學(xué)”，清華大學(xué)出版社，2003年1月，236-242。孫吉貴，何雨果。
基于模型的診斷問題分解及其算法，計算機學(xué)報，Vol.26, No.9, 2003, 1171-1176.李占山，姜云飛，王濤。
基于模型診斷方法的系統(tǒng)替換修復(fù)與重新配置，吉林大學(xué)學(xué)報（理學(xué)版），Vol.41, No.1, 2003, pp45-48.李占山，王濤，孫吉貴。
商業(yè)智能技術(shù)及行業(yè)應(yīng)用分析，吉林大學(xué)學(xué)報（信息科學(xué)版），第21卷 第1期 2003.2.李澤海，孫吉貴，趙君。
離散數(shù)學(xué)教學(xué)改革中的幾點做法和體會，中國教育理論雜志，第42期， 2003.11。張永剛，孫吉貴。
21世紀(jì)《離散數(shù)學(xué)》教材與教學(xué)模式的改革現(xiàn)代教學(xué)與管理，2003.第8期。李占山 孫吉貴。
參考資料 >