基本介紹
- 中文名：姜雲飛
- 國籍：中國
- 民族：漢
- 出生日期：1945年
- 性別：男
成績及榮譽,學術獎勵,
成績及榮譽
姜雲飛教授主持和參加（作為項目主要參加者）過國家自然科學基金項目四項。參加過國家“863”高技術項目兩項, 並在項目中起骨幹作用。參加過國家攀登項目一項, 並在該項目中起骨幹作用。主持博士點基金項目一項。另主持過“長春糧油商品交易所計算機網路交易系統”、“建築預算系統”等計算機套用橫向項目多項，這些項目在工農業生產中取得了很大的經濟效益。
姜雲飛教授獲國家教委科技進步獎(甲類)二等獎三項、獲吉林省教委科技進步一等獎一項、二等獎一項。其它計算機套用橫向項目獲部委以下獎勵多項。
學術獎勵
1、 定理機器證明與自動推理
該項目主要研究定理機器證明中常用的歸結方法與非歸結方法, 提出了運算元模糊邏輯, 提出了新的重寫證明方法並將這種方法成功地推廣到一階邏輯,對BOYER-MOORE定理證明器提出了改進,提高了證明效率。
關於此項成果的鑑定意見認為“他們在獲得的成果是很好的，在國內處於領先地位，和國際上同類研究相比也是先進的”。該項研究成果得到國內外廣泛的重視與引用. 該項研究成果獲1990年國家教委科技進(甲類)二等獎。
2、 基於邏輯和知識的機器推理
該項目研究了三種主要歸結方法的相容性問題,把歸結方法引入運算元模糊邏輯, 提出歸結方法, 研究了非單調推理,探討了擇優蘊涵與傳統蘊涵的異同,研究了預設邏輯與相信邏輯的關係。
關於此項成果的鑑定意見認為“這些工作已有為數不少的國內外評論和引用,產生了廣泛的影響,他們的研究已達到該課題中同類成果的國際先進水平”。該項成果獲1992年國家教委科技進步獎(甲類)二等獎。
3、 模糊邏輯與模糊推理
該項成果深入研究了運算元模糊邏輯與?-歸結,提出模糊擇優蘊涵的概念,證明了模糊擇優邏輯的性質,給出了判定算法。 關於此項成果的鑑定意見認為他們的研究成果“已達到該課題中同類成果的國際先進水平”。該項成果獲吉林省教委科技進步一等獎等。
