控制论与人工智能专家，云南昆明人，毕业于北京大学数学力学系。中国科学院自动化研究所研究员。从事工程控制论与最优控制的研究，攻克快速控制的计算难题；最早在国内提出并进行模式识别学科的研究，1981年把统计模式识别与句法模式识别方法。开展了人工神经网络在知识工程中应用的研究，用人工神经网络通过学习进行模式识别、联想记忆和形象思维，提供了模式描述与知识表达的统一模型，并进一步提出了用物理符号处理、定性物理、可视知识及人工神经网络等综合各种模型的知识系统设计，并在技术上实现。1991年当选为中国科学院院士。