智能系統(tǒng)的分析和驗證專題前言

摘要： <正>近年來,基于深度學(xué)習(xí)算法的智能系統(tǒng)在一些長期未解決的任務(wù)中取得了與人類相當(dāng)?shù)哪芰?然而另一方面,智能系統(tǒng)同時面臨著亟待解決的安全性和可靠性等可信性問題,比如對于自動駕駛系統(tǒng),路標(biāo)識別錯誤可能會導(dǎo)致災(zāi)難性的后果.智能系統(tǒng)的可信性已經(jīng)逐漸成為制約人工智能技術(shù)在實際生產(chǎn)和生活中應(yīng)用的關(guān)鍵問題,尤其是安全攸關(guān)領(lǐng)域.專題圍繞智能系統(tǒng)的可信性問題,探討可信智能系統(tǒng)在學(xué)術(shù)和產(chǎn)業(yè)界面臨的...