孫吉貴

曾獲省第三屆青年科技獎；兩次獲得國家教委科技進步二等獎；三次獲得吉林省優秀教學成果獎。

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、糧食管理決策支持系統等應用系統取得了很好的社會效益和經濟效益。

孫吉貴課堂講課照(9張)

“約束推理與約束程序”（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月）——吉林省自然科學基金項目。

孫吉貴日常生活照(14張)

[1]輸入調解法和單元調解法在Horn集上的完備性 ，《軟件學報》1993年2月，4（1）。歐陽丹彤，孫吉貴，劉敍華。

[2]Horn集上的有向調解法，《吉林大學自然科學學報》 1992年11月，（4）。歐陽丹彤，孫吉貴，劉敍華。

[3]Completeness of Input Symmetric Paramodulation and Unit Symmetric Paramodulation on Horn Set,《Chinese Journal of Advanced Software Research》 1994年5月，1（2）。歐陽丹彤，孫吉貴，劉敍華。

[4]廣義因果理論上基於模型診斷過程的形式化，《吉林大學自然科學學報》 2000年10月，（4）。歐陽丹彤，孫吉貴。

[5]基於模型診斷的形式化方法，《人工智能進展（第六屆中國人工智能聯合學術會議論文集）》 2001年2月1日。歐陽丹彤，孫吉貴，姜雲飛。

[6]對基於模型診斷過程的形式化，《模式識別與人工智能》 2002年9月，15（3）。歐陽丹彤，孫吉貴。

[7]“離散數學學習指導與習題解答”，高等教育出版社，2003年8月。

[8]約束邏輯的一個新語義研究，廣西師範大學學報（自然科學版），Vol.21, No.1, 2003,1-5。第七屆中國人工智能聯合學術會議論文集CJCAI2002，張永剛，孫吉貴。

[9]一種模型不完備條件下的診斷方法，廣西師範大學學報（自然科學版），Vol.21, No.1, 2003, 79-82。第七屆中國人工智能聯合學術會議論文集， CJCAI2002，林海，孫吉貴。

[10]基於模型診斷的替換測試與問題分解的研究，廣西師範大學學報（自然科學版），第七屆中國人工智能聯合學術會議論文特刊Vol.21, No.1, 2003, 23-26。李佔山，王濤，孫吉貴。

[11]受限的proflog語言及其表推演過程語義，廣西師範大學學報（自然科學版），第七屆中國人工智能聯合學術會議論文特刊，Vol.21, No.1, 2003, 27-33。陳榮，孫吉貴，姜雲飛。

[12]一種多值規則量詞公式的tableau的方法，廣西師範大學學報（自然科學版），第七屆中國人工智能聯合學術會議論文特刊，Vol.21, No.1, 2003,，101-105。劉全，孫吉貴。

[13]Theorem Proving Based on the Extension Rule, Journal of Automated Reasoning 31, 2003, pp11-21.LIN Hai, SUN Jigui, ZHANG Yimin.

[14]非二元約束滿足問題求解，計算機學報，Vol.26, No.12, 2003, pp1746-1752.孫吉貴，景沈豔。

[15]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.

[16]量子搜索算法，軟件學報，Vol.14, No.3, 2003, pp334-344.。孫吉貴，何雨果。

[17]提高一階多值邏輯Tableau推理效率的布爾剪枝方法，計算機學報，Vol.26, No.9, 2003, 1165-1170.。劉全，孫吉貴。

[18]一種含等詞的分階段Tableau算法，計算機工程，Vol.29, No.8, 2003, pp44-46.。劉全，孫吉貴，張永剛。

[19]一種多值規則量詞公式的Tableau的方法，計算機工程，Vol.29, No.8, 2003, pp128-130.。劉全，孫吉貴，竇全勝。

[20]組合優化調度問題求解方法，計算機科學，Vol.30, No.2, 2003, pp9-16.張居陽，孫吉貴。

[21]基於約束的調度研究與實現，2003中國計算機大會論文集1，北京，2003年12月，清華大學出版社，pp80-85.。張居陽，禮欣，孫吉貴。

[22]適用於決策表的快速屬性約簡算法，2003中國計算機大會論文集1，北京，2003年12月，清華大學出版社，pp41-46.。何雨果，孫吉貴。

[23]模糊集合的語義，中國人工智能學會全國第10屆全國學術年會論文集（下），廣州，2003年12月，2003，pp1072-1077。劉雲翔，孫吉貴。

[24]基於t-norm算子的模糊邏輯和模糊推理。吉林大學學報（理學版），Vol.41, No.1, 2003.pp64-69。劉雲翔，孫吉貴。

[25]模型生成與約束求解，知識科學與計算科學研討會，烏魯木齊，2002年9月，見陸汝鈐主編“知識科學與計算科學”，清華大學出版社，2003年1月，197-232。孫吉貴，張永剛。

[26]量子並行計算，知識科學與計算科學研討會，烏魯木齊，2002年9月，見陸汝鈐主編“知識科學與計算科學”，清華大學出版社，2003年1月，236-242。孫吉貴，何雨果。

[27]基於模型的診斷問題分解及其算法，計算機學報，Vol.26, No.9, 2003, 1171-1176.李佔山，姜雲飛，王濤。

[28]基於模型診斷方法的系統替換修復與重新配置，吉林大學學報（理學版），Vol.41, No.1, 2003, pp45-48.李佔山，王濤，孫吉貴。

[29]商業智能技術及行業應用分析，吉林大學學報（信息科學版），第21卷 第1期 2003.2.李澤海，孫吉貴，趙君。

[30]離散數學教學改革中的幾點做法和體會，中國教育理論雜誌，第42期， 2003.11。張永剛，孫吉貴。

[31]21世紀《離散數學》教材與教學模式的改革現代教學與管理，2003.第8期。李佔山 孫吉貴。