姜雲飛[吉林大學珠海學院計算機科學與技術系主任]

姜雲飛，男，1945年生，中山大學計算機軟體所教授，博士導師， 中國計算機學會理事，中國計算機教育專業委員會秘書長， 中國計算機學會人工智慧專業委員會自動推理學組組長。現任吉林大學珠海學院計算機科學與技術系主任。姜雲飛教授曾訪問過英、美等國，在國際國內著名計算機刊物上曾發表過論文30多篇和《定理機器證明》（和劉敘華教授合著，科學出版社出版）等多部著作。另有同名人物為柳州市發展和改革委員會主任。

成績及榮譽

姜雲飛教授主持和參加（作為項目主要參加者）過國家自然科學基金項目四項。參加過國家“863”高技術項目兩項, 並在項目中起骨幹作用。參加過國家攀登項目一項, 並在該項目中起骨幹作用。主持博士點基金項目一項。另主持過“長春糧油商品交易所計算機網路交易系統”、“建築預算系統”等計算機套用橫向項目多項，這些項目在工農業生產中取得了很大的經濟效益。

姜雲飛教授獲國家教委科技進步獎(甲類)二等獎三項、獲吉林省教委科技進步一等獎一項、二等獎一項。其它計算機套用橫向項目獲部委以下獎勵多項。

學術獎勵

1、 定理機器證明與自動推理

該項目主要研究定理機器證明中常用的歸結方法與非歸結方法, 提出了運算元模糊邏輯, 提出了新的重寫證明方法並將這種方法成功地推廣到一階邏輯,對BOYER-MOORE定理證明器提出了改進,提高了證明效率。

關於此項成果的鑑定意見認為“他們在獲得的成果是很好的，在國內處於領先地位，和國際上同類研究相比也是先進的”。該項研究成果得到國內外廣泛的重視與引用. 該項研究成果獲1990年國家教委科技進(甲類)二等獎。

2、 基於邏輯和知識的機器推理

該項目研究了三種主要歸結方法的相容性問題,把歸結方法引入運算元模糊邏輯, 提出歸結方法, 研究了非單調推理,探討了擇優蘊涵與傳統蘊涵的異同,研究了預設邏輯與相信邏輯的關係。

關於此項成果的鑑定意見認為“這些工作已有為數不少的國內外評論和引用,產生了廣泛的影響,他們的研究已達到該課題中同類成果的國際先進水平”。該項成果獲1992年國家教委科技進步獎(甲類)二等獎。

3、 模糊邏輯與模糊推理

該項成果深入研究了運算元模糊邏輯與?-歸結,提出模糊擇優蘊涵的概念,證明了模糊擇優邏輯的性質,給出了判定算法。 關於此項成果的鑑定意見認為他們的研究成果“已達到該課題中同類成果的國際先進水平”。該項成果獲吉林省教委科技進步一等獎等。