人物生平
科研成果“制約邏輯在知識庫系統中的套用”、“模糊邏輯專家系統開發工具的改造和套用研究”、“定罪量刑參考系統”，“110接處警決策支持系統”和“多民族貧困地區文獻資源建設研究”等，已通過專家組鑑定，屬國內領先或省內領先，迄今國內外尚未發現同類研究和套用。其中兩項獲省政科技進步獎，一項獲省公安廳科技進步三等獎。
主要成就
發表論文《Knowledge Representation By CERLEL Approach》（第三屆雙年國際邏輯會議論文集，索非亞， 1990）、《Resoluti on Method Basedon Lin’s Entailment logic》（第九屆國際邏輯哲學方法大會論文集，瑞典 ，1991）、《模糊邏輯專家系統工具FLOPS的特性分析》（《微型計算機》，VoL.12，No.2，1992）、《軟體開發模型KFFEITO及基實例分析》（《華中理工大學學報》，VoL.26,No12,1998）、《SynthesinzingApplication of uncertainty Knowledge》（《ASSA》，USA，1996）等30餘篇，主編出版《軟體工程》、《計算機技術及其套用（英）》等專著三部。擔任資料庫、人工智慧和知識工程的科研教學。在國內外首次將ER模型和制約邏輯結合構造CERLEL方法表達複雜知識聯繫和變化；提出並證明基於制約邏輯的消解原理，實現了統一地對“必然可能偶然無緣”的信息進行處理的人工智慧系統LELAIL；研製了依據刑法確定被告是否犯罪，什麼罪名和處罰的刑種刑期的計算機專家系統。國內首次將基於實例推理和學習的方法套用於“110”報警信息的處理系統，實現初步智慧型化。誠懇希望與海內外同事加強交流共同探討知識表示、學習、推理和控制方法。
