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