所所长、中国数理逻辑学会副理事长，中国中文信息学会常务理事兼人工智能专业委员会主任等职务，同时也是《计算机科学》，《计算机研究与发展》等权威、核心学术期刊编委。
学术贡献.长期从事非单调推理、近似推理、神经网络、机器学习、分布式人工智能和网格计算的教学和研究工作。发表人工智能方面的论文210余篇。出版学术着作《自动推理导论》、《专家系统中的不确定推理－模型、方法和理论》和《人工智能探索》等。主持、主研完成国家“863”、国家自然科学基金、省市基金和攻关项目15项。在研“973”项目