希发基思2007年(nián )因在(zài )模(mó )型检查理论和(hé )应用(yòng )方面的贡献获得图灵奖。他在年会发(fā )言中指出,当(dāng )前人类社(shè )会还处在“弱人工智能”时代,对AI系统的使用主要有助手(shǒu )、监视器和控(kòng )制器三种方式。就后两种方式而言,需要能够结合生成(chéng )式人(rén )工(gōng )智能(néng )和传统信息通(tōng )信(xìn )技术的(de )系统工程学(xué ),也需要新的基础和(hé )技术确(què )保安全性和保障性。中国可以凭(píng )借庞大的工业系统,在人工智能领域取得领先地位。
Copyright © 2008-2018