李德毅

CCF会士,中国工程院院士,中国人工智能学会理事长。1967年毕业于南京工学院,1983年获英国爱丁堡海里奥特·瓦特大学博士学位。现任总参第61研究所研究员,中国指挥和控制学会名誉理事长,中国人工智能学会理事长。李德毅参加了多项电子信息系统重大工程的研制和开发;最早提出“控制流—数据流”图对理论和一整套用逻辑语言实现的方法;证明了关系数据库模式和谓词逻辑的对等性;提出云模型、云变换、云推理、云控制等方法用于不确定性认知和云计算,在智能控制“三级倒立摆动平衡”实验和智能驾驶中取得显著成效。获国家和省部级二等奖以上奖励9项,获得10项发明专利,发表论文130多篇,出版中文著作5本、英文专著3本。

演讲题目:脑认知的形式化

摘要:从解开脑认知之谜的认知神经学方法和认知物理学方法两条不同途径谈开去,指出脑认知的本质是概率认知,建议要从计算认知、记忆认知和交互认知三方面对脑认知进行形式化,可惜图灵机架构只能实现计算认知。当前,人工智能不是要造出一个生物意义上的人脑,而是要通过一个个特定的问题域, 研究脑认知的形态和进化,如驾驶过程中的感知、认知和行为。我们尝试研发不带情绪的机器驾驶脑,其架构设计、模块划分和界面约定成为当前智能车产业的核心竞争力,可先利用微电子技术生产专用芯片和板卡,采用GPU+CPU+FPGA的架构,实现计算智能、记忆智能和交互智能并重,三位一体,同时寻找新的替代物。报告还探讨了在变更特定的问题域后,机器脑认知形式化的普遍性。