中國人工智慧專傢。福建福清人。1958年畢業於清華大學自動控制系並留校任教。清華大學電腦科學與技術系教授。歷任智慧技術與系統國傢重點實驗室主任，資訊科學技術學院學術委員會副主任、主任，清華大學學位委員會副主任委員等。1995年當選中國科學院院士。60～70年代，從事國防和工業自動化裝置研製。80年代後，從事人工智慧、模式識別、人工神經網路理論及應用、知識工程、智慧型機器人、智慧控制、人機交互技術等研究。提出人工智慧問題求解的商空間理論，解決不同粒度空間的問題描述、相互轉換、復雜性分析等理論問題。提出多層信息綜合、多層規劃與搜索等方法，給出基於拓撲的規劃算法、基於關系矩陣的時間規劃算法、統計啟發搜索算法等。提出研究不確定性處理、定性推理、模糊分析信息融會等新原理。著作有《問題求解理論及應用》中英文版、《人工神經網絡理論及應用》等。發表論文150多篇。獲國傢自然科學獎三等獎，國傢科技進步獎三等獎，國防科工委科技進步獎一等獎。
