人工智能專家獲裘槎優秀科研者獎

28/03/2006

人工智能專家獲裘槎優秀科研者獎

香港科技大學（科大）計算機科學系副教授林方真博士獲頒“裘槎優秀科研者獎”，以表彰他在人工智能領域的卓越研究 成就。 林博士與其他六位獲獎者在裘槎基金會今天（2006年3月28日）舉行的典禮上， 接受由中國科學技術協會主席周光召教授頒授的獎狀。 林博士為人工智能專家，主力研究知識表達與推論的理論與應用。 他提出了一套計算機輔助的定理發現方法，並以此來發現有關計算機程序的定 理，分析及預測程序的行為。這項工作有助於設計更可靠的計算機軟件，解決計 算機科學的一個核心問題。 林博士表示，現今很多複雜的系統，例如太空船、飛機和通訊系統，都是由計算 機控制的。這些系統軟件的可靠性至關重要。他說：“我們希望上述研究工作能夠 開發一些新的技術，協助我們設計更為可靠的系統軟件。” 林博士在答集程序設計方面亦 作出重要貢獻。他提出一個新方法使得答集的求解可以通過標準的可 滿足問題求解器來實現。答集程序設計是一種新的基於約束的程序設 計方法，已被應用到語義網、演化語言學及調度算法等多個領域。 林博士的研究多年來屢獲殊榮：1997年，他的研究論文在人工智能領 域中權威的國際人工智能聯合會上被評為最佳論文。在2000年的第七 屆知識表達和推論國際會議、及2004年美國人工智能協會上，林博士 再獲最佳論文獎。 林博士1991年於美國史丹福大學取得計算機科學博士學位，1996年加入科大計算機科學系任教，之前曾於史丹福大學及 加拿大多倫多大學任研究科學家。 優秀科研者獎項由裘槎基金會於1997年設立，以表揚本地科研人 員卓越的研究成就。得獎者於一年內可獲免除教學及行政職務， 專注研究工作。

黃寶賢

電話︰2358-6317

電郵︰

[email protected]

更多科大新聞及資訊