计算机科学家。原籍江苏苏州，1935年2月15日生于上海。1959年毕业于德国耶拿大学数学系，获学士学位。中国科学院数学与系统科学研究院数学研究所研究员。1999年当选为中国科学院院士。2020年当选为中国工业与应用数学学会会士。

在知识工程和基于知识的软件工程方面作了系统的、创造性的工作，是我国该领域研究的开拓者之一。设计并主持研制了知识工程语言TUILI和大型专家系统开发环境《天马》。首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法，把ICAI生成技术推进到以自动知识获取为特征的第三代，并开发出基于知识的应用软件自动生成技术。研究出能把中文童话故事自动转换成动画片的计算机动画全过程自动生成技术，在艺术创造领域内推进了人工智能。