姜云飞

姜云飞，男，1945年生，中山大学计算机软件所教授，博士导师, 中国计算机学会理事，中国计算机教育专业委员会秘书长, 中国计算机学会人工智能专业委员会自动推理学组组长。现任吉林大学珠海学院计算机科学与技术系主任。姜云飞教授曾访问过英、美等国,在国际国内著名计算机刊物上曾发表过论文30多篇和《定理机器证明》（和刘叙华教授合著，科学出版社出版）等多部著作。

姜云飞教授主持和参加（作为项目主要参加者）过国家自然科学基金项目四项。参加过国家“863”高技术项目两项, 并在项目中起骨干作用。参加过国家攀登项目一项, 并在该项目中起骨干作用。主持博士点基金项目一项。另主持过“长春粮油商品交易所计算机网络交易系统”、“建筑预算系统”等计算机应用横向项目多项，这些项目在工农业生产中取得了很大的经济效益。

姜云飞教授获国家教委科技进步奖(甲类)二等奖三项、获吉林省教委科技进步一等奖一项、二等奖一项。其它计算机应用横向项目获部委以下奖励多项。

获学术奖励情况举例：

1、 定理机器证明与自动推理

该项目主要研究定理机器证明中常用的归结方法与非归结方法, 提出了算子模糊逻辑, 提出了新的重写证明方法并将这种方法成功地推广到一阶逻辑,对BOYER-MOORE定理证明器提出了改进,提高了证明效率。

关于此项成果的鉴定意见认为“他们在获得的成果是很好的，在国内处于领先地位，和国际上同类研究相比也是先进的”。该项研究成果得到国内外广泛的重视与引用. 该项研究成果获1990年国家教委科技进(甲类)二等奖。

2、 基于逻辑和知识的机器推理

该项目研究了三种主要归结方法的相容性问题,把归结方法引入算子模糊逻辑, 提出归结方法, 研究了非单调推理,探讨了择优蕴涵与传统蕴涵的异同,研究了缺省逻辑与相信逻辑的关系。

关于此项成果的鉴定意见认为“这些工作已有为数不少的国内外评论和引用,产生了广泛的影响,他们的研究已达到该课题中同类成果的国际先进水平”。该项成果获1992年国家教委科技进步奖(甲类)二等奖。

3、 模糊逻辑与模糊推理

该项成果深入研究了算子模糊逻辑与?-归结,提出模糊择优蕴涵的概念,证明了模糊择优逻辑的性质,给出了判定算法。 关于此项成果的鉴定意见认为他们的研究成果“已达到该课题中同类成果的国际先进水平”。该项成果获吉林省教委科技进步一等奖等。