院士寄语  

出　　处：《高科技与产业化》2013年第10期1-1,共1页High-Technology & Commercialization

摘　　要：李德毅 指挥自动化和人工智能专家。现任总参第61研究所研究员，中国人工智能学会理事长。参加了多项电子信息系统重大工程的研制和开发。最早提出控制流一数据流图对理论和一整套用逻辑语言实现的方法。证明了关系数据库模式和一阶谓词逻辑的对等性，提出云模型和发现状态空间，用于不确定性知识表示和数据控制，在智能控制“三级倒立摆动平衡”实验中取得显著成效。2004年当选为国际欧亚科学院院士。1999年当选中国工程院院士。

关 键 词：中国工程院院士 关系数据库模式 电子信息系统 一阶谓词逻辑 人工智能 指挥自动化 三级倒立摆 逻辑语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]