中國(guó)計(jì)算機(jī)學(xué)會(huì)理事

　　教育部計(jì)算機(jī)專業(yè)教學(xué)指導(dǎo)委員會(huì)委員

　　吉林省計(jì)算機(jī)學(xué)會(huì)副理事長(zhǎng)

　　主要從事計(jì)算機(jī)軟件和人工智能的教學(xué)和研發(fā)工作

　　在自動(dòng)推理，約束程序設(shè)計(jì)，智能決策支持系統(tǒng)等方面取得了系列研究成果，處于國(guó)內(nèi)領(lǐng)先行列，得到了同行專家們的高度評(píng)價(jià)。已發(fā)表論文（著）110多篇，負(fù)責(zé)了多項(xiàng)國(guó)家、省部級(jí)項(xiàng)目和應(yīng)用項(xiàng)目。負(fù)責(zé)開(kāi)發(fā)的PDM、糧食管理決策支持系統(tǒng)等應(yīng)用系統(tǒng)取得了很好的社會(huì)效益和經(jīng)濟(jì)效益。

　　曾獲省第三屆青年科技獎(jiǎng)；兩次獲得國(guó)家教委科技進(jìn)步二等獎(jiǎng)；三次獲得吉林省優(yōu)秀教學(xué)成果獎(jiǎng)。

　　1999年獲國(guó)務(wù)院特殊政府津貼；2003年吉林省杰出青年基金獲得者；2004年被聘為“離散數(shù)學(xué)”國(guó)家級(jí)精品課負(fù)責(zé)人；2004年被評(píng)為吉林省優(yōu)秀教師；2004年獲教育部“新世紀(jì)優(yōu)秀人才支持計(jì)劃”支持。

　　“約束推理與約束程序”（05年1月-07年12月）——國(guó)家自然科學(xué)基金項(xiàng)目。

　　“基于約束推理的產(chǎn)品配置器研究”（04年6月-07年5月）——吉林省科技發(fā)展計(jì)劃項(xiàng)目。

　　“約束程序理論及其應(yīng)用”（04年1月-06年12月）——吉林省杰出青年基金項(xiàng)目。

　　“非經(jīng)典邏輯的自動(dòng)推理”（03年1月-05年12月）——國(guó)家自然科學(xué)基金項(xiàng)目。

　　“糧食管理信息智能決策支持系統(tǒng)”（02年6月-04年6月）——吉林省科技發(fā)展計(jì)劃重大項(xiàng)目。

　　“約束推理與約束程序”（01年1月-03年12月）——國(guó)家自然科學(xué)基金項(xiàng)目。

　　“模態(tài)與時(shí)態(tài)邏輯模型生成”（00年6月-02年12月）——教育部骨干教師項(xiàng)目。

　　“常識(shí)推理與邏輯程序的擴(kuò)展”（98年1月－00年12月）——國(guó)家自然科學(xué)基金項(xiàng)目。

　　“約束程序”（00年6月-02年10月）——吉林省自然科學(xué)基金項(xiàng)目。

　　[1]輸入調(diào)解法和單元調(diào)解法在Horn集上的完備性 ，《軟件學(xué)報(bào)》1993年2月，4（1）。歐陽(yáng)丹彤，孫吉貴，劉敘華。

　　[2]Horn集上的有向調(diào)解法，《吉林大學(xué)自然科學(xué)學(xué)報(bào)》 1992年11月，（4）。歐陽(yáng)丹彤，孫吉貴，劉敘華。

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

　　[4]廣義因果理論上基于模型診斷過(guò)程的形式化，《吉林大學(xué)自然科學(xué)學(xué)報(bào)》 2000年10月，（4）。歐陽(yáng)丹彤，孫吉貴。

　　[5]基于模型診斷的形式化方法，《人工智能進(jìn)展（第六屆中國(guó)人工智能聯(lián)合學(xué)術(shù)會(huì)議論文集）》 2001年2月1日。歐陽(yáng)丹彤，孫吉貴，姜云飛。

　　[6]對(duì)基于模型診斷過(guò)程的形式化，《模式識(shí)別與人工智能》 2002年9月，15（3）。歐陽(yáng)丹彤，孫吉貴。

　　[7]“離散數(shù)學(xué)學(xué)習(xí)指導(dǎo)與習(xí)題解答”，高等教育出版社，2003年8月。

　　[8]約束邏輯的一個(gè)新語(yǔ)義研究，廣西師范大學(xué)學(xué)報(bào)（自然科學(xué)版），Vol.21, No.1, 2003,1-5。第七屆中國(guó)人工智能聯(lián)合學(xué)術(shù)會(huì)議論文集CJCAI2002，張永剛，孫吉貴。

　　[9]一種模型不完備條件下的診斷方法，廣西師范大學(xué)學(xué)報(bào)（自然科學(xué)版），Vol.21, No.1, 2003, 79-82。第七屆中國(guó)人工智能聯(lián)合學(xué)術(shù)會(huì)議論文集， CJCAI2002，林海，孫吉貴。

　　[10]基于模型診斷的替換測(cè)試與問(wèn)題分解的研究，廣西師范大學(xué)學(xué)報(bào)（自然科學(xué)版），第七屆中國(guó)人工智能聯(lián)合學(xué)術(shù)會(huì)議論文特刊Vol.21, No.1, 2003, 23-26。李占山，王濤，孫吉貴。

　　[11]受限的proflog語(yǔ)言及其表推演過(guò)程語(yǔ)義，廣西師范大學(xué)學(xué)報(bào)（自然科學(xué)版），第七屆中國(guó)人工智能聯(lián)合學(xué)術(shù)會(huì)議論文特刊，Vol.21, No.1, 2003, 27-33。陳榮，孫吉貴，姜云飛。

　　[12]一種多值規(guī)則量詞公式的tableau的方法，廣西師范大學(xué)學(xué)報(bào)（自然科學(xué)版），第七屆中國(guó)人工智能聯(lián)合學(xué)術(shù)會(huì)議論文特刊，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]非二元約束滿足問(wèn)題求解，計(jì)算機(jī)學(xué)報(bào)，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]量子搜索算法，軟件學(xué)報(bào)，Vol.14, No.3, 2003, pp334-344.。孫吉貴，何雨果。

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

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

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

　　[20]組合優(yōu)化調(diào)度問(wèn)題求解方法，計(jì)算機(jī)科學(xué)，Vol.30, No.2, 2003, pp9-16.張居陽(yáng)，孫吉貴。

　　[21]基于約束的調(diào)度研究與實(shí)現(xiàn)，2003中國(guó)計(jì)算機(jī)大會(huì)論文集1，北京，2003年12月，清華大學(xué)出版社，pp80-85.。張居陽(yáng)，禮欣，孫吉貴。

　　[22]適用于決策表的快速屬性約簡(jiǎn)算法，2003中國(guó)計(jì)算機(jī)大會(huì)論文集1，北京，2003年12月，清華大學(xué)出版社，pp41-46.。何雨果，孫吉貴。

　　[23]模糊集合的語(yǔ)義，中國(guó)人工智能學(xué)會(huì)全國(guó)第10屆全國(guó)學(xué)術(shù)年會(huì)論文集（下），廣州，2003年12月，2003，pp1072-1077。劉云翔，孫吉貴。

　　[24]基于t-norm算子的模糊邏輯和模糊推理。吉林大學(xué)學(xué)報(bào)（理學(xué)版），Vol.41, No.1, 2003.pp64-69。劉云翔，孫吉貴。

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

　　[26]量子并行計(jì)算，知識(shí)科學(xué)與計(jì)算科學(xué)研討會(huì)，烏魯木齊，2002年9月，見(jiàn)陸汝鈐主編“知識(shí)科學(xué)與計(jì)算科學(xué)”，清華大學(xué)出版社，2003年1月，236-242。孫吉貴，何雨果。

　　[27]基于模型的診斷問(wèn)題分解及其算法，計(jì)算機(jī)學(xué)報(bào)，Vol.26, No.9, 2003, 1171-1176.李占山，姜云飛，王濤。

　　[28]基于模型診斷方法的系統(tǒng)替換修復(fù)與重新配置，吉林大學(xué)學(xué)報(bào)（理學(xué)版），Vol.41, No.1, 2003, pp45-48.李占山，王濤，孫吉貴。

　　[29]商業(yè)智能技術(shù)及行業(yè)應(yīng)用分析，吉林大學(xué)學(xué)報(bào)（信息科學(xué)版），第21卷 第1期 2003.2.李澤海，孫吉貴，趙君。

　　[30]離散數(shù)學(xué)教學(xué)改革中的幾點(diǎn)做法和體會(huì)，中國(guó)教育理論雜志，第42期， 2003.11。張永剛，孫吉貴。

　　[31]21世紀(jì)《離散數(shù)學(xué)》教材與教學(xué)模式的改革現(xiàn)代教學(xué)與管理，2003.第8期。李占山 孫吉貴。