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