鄧安生[大連海事大學教授]

鄧安生()吉林蛟河人。1985年7月於北京大學計算機科學與技術系獲理學學士學位;1988年6月于吉林大學計算機科學系獲工學碩士學位;1995年12月于吉林大學計算機科學系獲理學博士學位。 1988年6月至2001年5月在東北師範大學計算機科學系任教;2001年5月至2005年7月在廈門大學信息科學與技術學院計算機科學系任教;2005年7月至2007年1月在北京交通大學計算機與信息技術學院計算機科學系任教;2007年1月調入大連海事大學。現任計算機科學與技術學院教授、博士生導師,主要從事計算機軟體與理論教學和人工智慧及套用技術研究工作。

•研究方向

自1985年開始從事人工智慧和計算機軟體理論研究,作為主要成員參加了國家自然科學基金項目“基於歸結方法的定理機器證明”(69373004)、“運算元模糊邏輯及其推理”(69473027)、“不相容知識庫中的推理研究”和國家“八六三”高技術項目“常識推理與歸納推理研究”(課題編號:863-306-504,獲1997年國家教育部科技進步[甲類]二等獎,第4完成人,證書號:96-087),曾參與了國家(攀登計畫)基礎性研究重大科研項目“定理證明及其套用”子課題的研究工作。作為項目負責人承擔了國家自然科學基金項目“布爾運算元模糊邏輯及其自動推理研究”(69703010)、 國家自然科學基金(高技術探索)項目“常識推理中不一致信念的定量非修正處理方法研究”(69983002)、福建省科技計畫重點項目“不一致信念的定量非修正處理算法的最佳化與實現研究”(2001J001)、福建省自然科學基金項目“認識邏輯的計算模型研究”(A0310006)、國家教育部吉林大學符號計算與知識工程開放研究實驗室訪問學者基金項目“常識推理中不一致信念的定量非修正處理算法的最佳化與實現研究”(教技司【2000】123)。曾作為高級訪問學者赴德國Chemnitz大學計算機學院從事合作研究。

熱門詞條

聯絡我們