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