何华灿：中国人工智能先行者

　　何华灿，男，1938年1月出生于湖北省江陵县，西北工业大学教授，博士生导师，中国人工智能学会的创始人之一，曾任学会副理事长、人工智能基础专委会主任。

　　学术与科研

　　1960年西北工业大学计算机专业本科毕业，毕业前作为预备教师曾去中科院计算所二室(师从吴几康研究员)和清华大学自动控制系计算机专业进修，学习计算机原理并参加当时国内最先进的晶体管型109机科研实践，毕业后留西工大计算机教研室，一直从事计算机和人工智能方面的科研和教学工作：参与计算机专业创建、建设实验室、开设专业课程、生产调试电子数字计算机等工作。在整个70年代，根据国防型号任务的需要，主持设计生产和试飞打靶过两个型号的航空火力控制计算机(晶体管型和小规模集成电路型)，并担任航空工业部机载计算机发展规划领导小组副组长。

　　1978年为实现智能航空的理想转入人工智能和实用专家系统研究，先后完成过两个与智能有关的航空基金项目，主持设计过各种不同类型的实用专家系统，如计算机代数系统、常微分方程求解系统、加氢裂化装置实时故障诊断系统、炼油装置生产过程自寻优专家系统、制式服装衣片自动优化排版专家系统等。

　　2003年退休前任西北工业大学计算机系科研副系主任(计算机学院的前身)、计算机学院教授、博士研究生导师，退休后受聘为北京邮电大学计算机学院教授、博士研究生导师。主要研究方向是计算机科学与技术、人工智能基础、实用专家系统和泛逻辑理论，晚年一直在坚持人工智能逻辑基础和柔性神经元的研究和完善至今。近年来与钟义信教授和汪培庄教授三人深度融合，共同创立了机制主义人工智能基础理论，并据此向国家提出了全面提升我国人工智能开发应用水平的《洛神计划》建议书。

　　成果与贡献

　　1.我国早期从事人工智能研究的学者之一

　　他坚持用辩证唯物观研究智能、知识和逻辑，在跟踪学习中不忘自主创新。如1978年在王湘浩主办的“计算机科学暑期讨论会”上发表《仿智学概论》，1980年在CAAI第一届学术讨论会上发表《第二次科学革命和智能科学》，1980年与汪培庄和袁萌共同在京发起“全国模糊数学和人工智能中级研讨班”两个月，1983年主编出版的中文教材《人工智能导论》以广义问题求解为主线，用高阶自动机来理解智能机制、学习机理和人-机关系等，都初具自主创新特色。

　　2.在人工智能理论危机后他开始了泛逻辑研究

　　面对20世纪80年代中期的人工智能理论危机，他认为这不是对逻辑和知识在人工智能中地位的否定，而是呼唤新的逻辑和知识推理技术以满足客观存在的各种不确定性、辩证矛盾和涌现效应的需要。90年代他决心转入人工智能基础理论—泛逻辑学研究。1996年在《中国科学》上提出泛逻辑概念，主张把刚性逻辑算子扩张为受参数控制的连续逻辑算子簇，2001年在科学出版社出版《泛逻辑学原理》，提出了完整的泛逻辑研究纲要，建立了可交换的柔性命题逻辑，给出泛非、泛与、泛或、泛蕴含、泛等价、泛平均、泛组合等7个逻辑算子的完整簇，引入4种命题级的不确定性调整参数及调整机制，并在多级倒立摆控制、知识推理等方面获得应用检验。2005年在瑞士召开首届世界泛逻辑大会，他是两个大会报告人之一，题目“Research on Universal Logics in China”，引起国际同行的关注和认可。2006年作为中国人工智能学会纪念人工智能诞生50周年系列丛书、英文版《Principle of Universal Logics》在科学出版社和西工大出版社联合出版。以上这些成果获陕西省科学进步一等奖1项、二等奖1项和三等奖7项。

　　3.近十多年来的新研究成果

　　晚年他仍坚持泛逻辑研究，2007年西工大基础研究基金批准50万元支持他开展“智能科学的逻辑基础研究”。2007年第二届世界泛逻辑大会在西工大举行，全球200余人出席，他是大会两主席之一。2012年他的特邀论文“The outline on Continuous-valued logic algebra”在《International Journal of Advanced Intelligence》发表。现已全面完成命题级柔性逻辑理论体系和柔性神经元模型的建立：1)引入相对权重系数b，确定了b 对7个逻辑算子完整簇的影响方式和程度，建立了不可交换的柔性命题逻辑。2)揭示了以往使用非标准逻辑出现异常结果的原因，建立了使用柔性命题逻辑算子的健全性标准。3)建立了可满足智能信息处理各种需要的完备的命题级算子库，以后台软件形式提供给应用程序调用。4)针对当前AI系统的可解释性瓶颈，给出了柔性逻辑算子和柔性神经元的一一对应关系，为实现深度神经网络的强可解释性提供了理论基础。

　　以上研究成果为建立人工智能通用基础理论奠定了重要的逻辑基础。

　　出版情况：《人工智能导论》、《人工智能丛书》一套、《泛逻辑学原理》、《Principle of Universal Logics》、《信息、智能与逻辑》丛书一套等，发表科研论文160余篇。

　　获奖情况：省部级科技进步一等奖1项、二等奖2项、三等奖13项。被国务院评为有突出贡献的专家，享受国务院特殊津贴，获国防科工委光华基金3等奖。

　　人才培养

　　何华灿教授先后指导博士生42名，硕士生25名，其中参与泛逻辑理论和应用研究的博士生有：刘永怀(基于广义范数的不确定性推理理论研究，1997毕业);白振兴(泛符号机制及知识表示的超拓扑结构研究，1999毕业);艾丽蓉(设计模式基于规则的表示及施用过程研究，2000毕业);谷晓巍(泛类比推理原理研究，2000毕业);周延泉(关联知识挖掘算法研究及应用, 2000毕业);谷晓巍(泛类比推理原理研究, 2000毕业);王拥军(需求工程中的不确定性研究，2001毕业);张保稳(时间序列数据挖掘研究，2002毕业);李新(面向神经计算的视觉信息处理研究，2002毕业);，陈丹(基于精细分层编码的视频通信技术研究，2002毕业);张保稳(时间序列数据挖掘研究，2002毕业);金翊(三值光计算机原理和结构，2003毕业);鲁斌(广义智能系统柔性超拓扑空间模型研究与应用，2003毕业);陈志成(复杂系统中分形混沌与逻辑的相关性推理研究，2004毕业);杜永文(基于灵活内核的和欣操作系统研究，2004毕业);付利华(复杂系统的柔性逻辑控制理论及应用研究，2005毕业);张静(基于粗糙集理论的数据挖掘算法研究，2005毕业);张剑(多粒度免疫网络研究及应用，2005毕业);罗敏霞(泛逻辑学语构理论研究，2005毕业);张小红(基于T-模与伪T-模的逻辑系统及其代数分析，2005毕业);赵敏(基于IP网络视频质量自适应控制的研究，2006毕业);何汉明(基于角色的多智能体社会模型研究与应用，2006毕业);毛明毅(面向对象的广义空间逻辑运算模型与推理研究，2006毕业);马盈仓(命题泛逻辑的演算理论及推理研究，2006毕业);刘扬，面向协同共享的网格资源管理技术研究，2006毕业);薛占熬(柔性区间逻辑及推理研究，2006毕业);王澜(基于关系系数的Agent交互作用研究，2006毕业);胡麒(智能辅导系统关键技术研究，2006毕业);刘丽(基于柔性逻辑的智能控制研究，2007毕业);贾澎涛(基于柔性逻辑的时间序列数据挖掘研究，2008毕业);林卫(fMRI脑图分析--特征提取、回归与机器学习，2008毕业);张宏(生态化MAS的认知与自动协商模型研究，2009毕业);范艳峰([0,∞]值柔性逻辑运算模型及分类问题研究，2009毕业);王万森(基于泛逻辑学的柔性概率逻辑研究，2009毕业);李梅(基于三值光计算机的光学向量矩阵乘法研究，2010毕业);陈佳林(柔性逻辑的健全性研究与应用，2011毕业)。其中上海大学的金翊教授已经是三值计算机的发明人，电子科技大学的祝峰教授已经是连续三年的高被引科学家。

　　他不光在职期间，指导博士、硕士研究生，也十分注意引导与发现一些业余青年的研究成果。其中安徽广德一个奥数培训学校的数学教师张金成，在他的引导下，发现并建立了“S型超协调逻辑系统”，出版有《超协调逻辑原理》等专著，并在2018年的法国维希第六届世界泛逻辑大会上，做了题为S-shape transconsistent logic system的报告。

　　影响与评价

　　何华灿教授从1978年开始进入人工智能研究领域，是我国最早从事人工智能研究的学者之一，也是中国人工智能学会的创始人之一，曾任中国人工智能学会第2、3、4、5届理事会副理事长，中国人工智能学会基础理论专业委员会首届、二届主任委员。

　　何华灿教授长期从事人工智能的基础理论研究，曾于20世纪80年代早期出版《人工智能导论》，后来专攻人工智能逻辑学理论研究，经过长期深入探索，于2001年在科学出版社出版学术专著《泛逻辑学原理》，这是我国、也是世界第一部泛逻辑学的理论著作。他的泛逻辑理论把非真即假的刚性逻辑发展成为可由参数定义的柔性逻辑理论，建立了能够把现有各种逻辑理论有机统一起来的逻辑理论体系。这是逻辑学界的重大突破与创新，对于建立通用的人工智能理论具有重要作用。

　　何华灿教授对中国人工智能学会的建设与发展也作了大量积极的贡献，在他担任学会副理事长期间，积极倡导和支持人工智能的自主创新研究，对学会的组织发展、专业委员会的建设、以及各项规章制度的完善都花费了很多心血，对于学会获得中国科协的优秀学会称号起了重要作用。退休至今仍然兢兢业业从事人工智能逻辑学理论的探索并不断取得新的进展。